^{ispirato a questa conversazione di chat}

Un numero soddisfacente è un numero la cui rappresentazione decimale è della forma abx, con le seguenti proprietà:

• xè il suffisso ripetuto finale più lungo o l'ultima cifra se non c'è ripetizione alla fine ( 123333-> 3333, 545656-> 5656, 123-> 3)
• bè la cifra singola prima di x( 123333-> 2, 55545656-> 4)
• aè il prefisso rimanente ( 123333-> 1, 55545656-> 555)
• a == c**b( **indica esponentazione), dove cè il numero di ripetizioni della porzione ripetuta più piccola di x( 1623333-> 4( 3 3 3 3, non 33 33))

Per esempio, 8300è un numero che soddisfa con a = 8, b = 3, c = 2e x = 00. 24651non è un numero che soddisfa, perché x = 1, b = 5, a = 246, e non c'è numero intero cche soddisfa c^5 = 246. 1222non è anche un numero soddisfacente, perché con x = 222e b = 1non ci sono cifre rimanenti per a.

Dato un numero intero positivo n >= 100, nindica se è un numero soddisfacente.

Esempi

8300: True (a=8, b=3, c=2, x=00)
24651: False 
1222: False
92555: True (a=9, b=2, c=3, x=555)
64633: True (a=64, b=6, c=2, x=33)
512944: True (a=512, b=9, c=2, x=44)
123: True (a=1, b=2, c=1, x=3)
822809: False 
376664: False 
723799: False 
1234: False 
34330000000: True (a=343, b=3, c=7, x=0000000)
92313131: True (a=9, b=2, c=3, x=313131)
16424442444: True (a=16, b=4, c=2, x=24442444)

Gelatina , 26 byte

^{sembra troppo lungo}

DŒṖṖEÐƤḄ$ÐṀLÐṂṪµḢ*@0¦LµṪ⁼Ḍ

Un collegamento monadico che prende un numero intero e ritorna 1se l'input è soddisfacente e in 0caso contrario.

Provalo online! o vedere una suite di test

Come?

DŒṖṖEÐƤḄ$ÐṀLÐṂṪµḢ*@0¦LµṪ⁼Ḍ - Link: integer, n    e.g. 8300
D                          - to decimal list          [8,3,0,0]
 ŒṖ                        - all partitions           [[[8],[3],[0],[0]],[[8],[3],[0,0]],[[8],[3,0],[0]],[[8],[3,0,0]],[[8,3],[0],[0]],[[8,3],[0,0]],[[8,3,0],[0]],[[8,3,0,0]]]
   Ṗ                       - pop (the "no tail" one)  [[[8],[3],[0],[0]],[[8],[3],[0,0]],[[8],[3,0],[0]],[[8],[3,0,0]],[[8,3],[0],[0]],[[8,3],[0,0]],[[8,3,0],[0]]]
         ÐṀ                - keep maximal under the operation: e.g. for [[8,3],[0],[0]]
        $                  -   last two links as a monad:
     ÐƤ                    -     for suffixes:   i.e. [[[8,3],[0],[0]],[[0],[0]],[[0]]]
    E                      -       all equal?         [0              ,1        ,1]
       Ḅ                   -     convert from binary  3
                           -          ...which yields [[[8],[3],[0],[0]],[[8,3],[0],[0]]]
            ÐṂ             - keep minimal under the operation:
           L               -   length
                           -          ...which yields [[[8,3],[0],[0]]]
              Ṫ            - tail (rightmost)         [[8,3],[0],[0]] 
               µ           - monadic chain separation
                Ḣ          - yield head and modify    [8,3]   ...leaving [[0],[0]]
                     L     - length (of modified)     2
                    ¦      - sparse application       (to the [8,3])
                   0       -   ...to index: 0         (to the rightmost digit, the 3)
                 *@        -   power (sw@p args)      [8,8]  ([8, 3*@2] = [8, 2*3] = [8,8])
                      µ    - monadic chain separation
                       Ṫ   - yield tail and modify    8   ...leaving [8]
                         Ḍ - from decimal (modified)  8
                        ⁼  - equal?                   1

Python 3 , 141 byte

a=b=0;k=[]
c=[*input()];l=len(c)
while c[1:]>[]==k:a=a*10+b;b=int(c.pop(0));k=[i for i in range(2,l)if c==i*c[:l//i]];l-=1
a==(k+[1])[0]**b>q

Provalo online!

Python 3 , 144 byte

a=b='';k=[]
c=[*input()];l=len(c)
while c[1:]>[]==k:a+=b;b,*c=c;k=[i for i in range(2,l)if c==i*c[:l//i]];l-=1
int(a or-1)==(k+[1])[0]**int(b)>q

Provalo online!

l'uscita è tramite il codice di uscita

Perl 6 , 66 byte

{/^(\d+?)(\d)((\d+?)$0+||\d)$/&&($2.comb/($2[0]||1).comb)**$1==$0}

Provalo online!

Python 3 , 101 byte

import re
x,_,b,a=re.findall(r"((.+?)\2+)(.)(.*)",input()[::-1])[0]
if int(a[::-1])!=len(x)**int(b):d

Python 3 , 107 byte

import re
x,_,b,a=re.findall(r"((.+?)\2+)(.)(.*)",input()[::-1])[0]
if int(a[::-1])!=len(x)**int(b):int('')

L'output è per codice di uscita.

Questo codice non funziona correttamente su Tio a causa di un errore di intervallo. Funziona perfettamente in IDLE.

JavaScript (ES6), 282 268 byte

t=(d,n,l,i,r)=>d.slice((m=-l*i)-l,m).join``!=n?r:t(d,n,l,i+1,{p:r.p+n,r:r.r+1});p=(d,l,r)=>l<1?r:p(d,l-1,r.r<(z=t(d,(m=d.slice(-l).join``),l,1,{p:m,r:1})).r&&(z.r>1|l==1)?z:r);u=n=>(d=[...n]).slice(0,(q=(s=d.length)-(m=p(d,s,{p:"",r:0})).p.length-1)).join``==m.r**d[q]

function onChange() {
  var value = document.getElementById("input").value;
  console.log("%s => %s", value, u(value));
}

<input id="input" type="number" onchange="onChange()" />

Python 2, 286 byte

_Yeesh.

n=`input()`
N=lambda p,l=0:N(n[:-len(p)],p,l+1)if n[-len(p):]==p else l
try:
    s=[(N(n[-i-1:]),n[-i-1:])for i,_ in enumerate(n)if N(n[-i-1:])!=1]
    if len(s)==0:s=[(1,n[-1])]
    q=max(s,key=lambda a:len(a[0]*a[1]))
    i=len(q[0]*q[1])
    print n[:-i-1]==`min(s)[0]**int(n[-i-1])`
except:print 0

Nè una funzione ricorsiva che trova il numero di volte in cui una sottostringa di suffisso viene ripetuta in una stringa. Questo in sostanza scorre attraverso tutti i possibili suffissi, trovando il numero di volte in cui ciascuno viene ripetuto usando N; questo esclude tutti i valori dove N==1perché si riferiscono a nessuna ripetizione; se l'elenco finisce vuoto, il suffisso dell'ultimo carattere viene aggiunto all'elenco.

Quindi, viene preso il suffisso più lungo, ( q), viene trovato il numero di caratteri che assume ( i) e a==c**bviene controllato ( print ...).

Se lungo la strada si verifica un errore (che spesso accade), viene rilevato nel exceptblocco.

Tutti i suggerimenti sono più che benvenuti!