Wczoraj podczas zabawy z moim dzieckiem zauważyłem numer w jego pociągu z zabawkami:

Mamy więc które można podzielić na lub

Tak proste wyzwanie: biorąc pod uwagę nieujemną liczbę jako dane wejściowe, zwracaj spójne wartości truey i falsey, które reprezentują, czy ciąg znaków reprezentujący liczbę (w podstawie 10 i bez zer wiodących) może być w jakiś sposób podzielony na liczby o sile 2 .

Przykłady:

4281      truthy (4-2-8-1)
164       truthy (16-4 or 1-64)
8192      truthy (the number itself is a power of 2)
81024     truthy (8-1024 or 8-1-02-4)
101       truthy (1-01)
0         falsey (0 cannot be represented as 2^x for any x)
1         truthy
3         falsey
234789    falsey
256323    falsey (we have 256 and 32 but then 3)
8132      truthy (8-1-32)

Tests for very large numbers (not really necessary to be handled by your code):
81024256641116  truthy (8-1024-256-64-1-1-16)
64512819237913  falsey

To jest kod-golf , więc może wygrać najkrótszy kod dla każdego języka!

05AB1E , 9 8 bajtów

Ýos.œåPZ

-1 bajt dzięki @Emigna przy użyciu Z(maks.) Dla listy zer i jedynek w celu naśladowania anypolecenia 1(prawda).

Wypróbuj online lub sprawdź wszystkie przypadki testowe . (UWAGA: W тnagłówku jest 100tylko pierwsze 100 potęgi 2 liczb, zamiast pierwszej wejściowej ilości potęgi 2 liczb. Działa również z wejściową ilością potęgi 2, ale jest dość nieefektywna i może limit czasu w TIO, jeśli wejście jest wystarczająco duże).

Wyjaśnienie:

Ý            # Create a list in the range [0,n], where n is the (implicit) input
             # (or 100 in the TIO)
             #  i.e. 81024 → [0,1,2,3,...,81024]
 o           # Raise 2 to the `i`'th power for each `i` in the list
             #  → [1,2,4,8,...,451..216 (nr with 24391 digits)]
  s          # Swap to take the input
   .œ        # Create each possible partition of this input
             #  i.e. 81024 → [["8","1","0","2","4"],["8","1","0","24"],...,["8102","4"],["81024"]]
     å       # Check for each if it's in the list of powers of 2
             #  → [[1,1,0,1,1],[1,1,0,0],...,[0,1],[0]]
      P      # Check for each inner list whether all are truthy
             #  → [0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0]
       Z     # Take the maximum (and output implicitly)
             #  → 1 (truthy)

JavaScript (Node.js) , 54 bajty

f=(v,o=10)=>v&v-1|!v?v>o?f(v%o)&f(v/o|0)|f(v,o*10):0:1

Wypróbuj online!

JavaScript (Node.js) , _{69 64} 58 bajtów

f=(x,m=10,q=!(x%m&x%m-1|!x))=>x<m?q:q&&f(x/m|0)||f(x,10*m)

Wypróbuj online!

Wpisz jako liczbę. Część logiczna jest dość skomplikowana, więc nie mam pojęcia, jak ją rozwiązać i się pozbyć q.

-11 bajtów przez zagranie w golfa testu 2.

JavaScript (Node.js) , 75 69 bajtów

-6 bajtów dzięki @Arnauld. Obsługa co najwyżej wersji 32-bitowej

f=x=>+x?[...x].some((_,i)=>(y=x.slice(0,++i))&~-y?0:f(x.slice(i))):!x

Wypróbuj online!

Wprowadź jako ciąg.

Galaretka , 9 bajtów

ŒṖḌl2ĊƑ€Ẹ

Sprawdź pakiet testowy!

Alternatywny

Nie działa w przypadku dużych przypadków testowych z powodu problemów z precyzją.

ŒṖḌæḟƑ€2Ẹ

Sprawdź pakiet testowy!

W jaki sposób?

Program I

ŒṖḌl2ĊƑ€Ẹ     Full program. N = integer input.
ŒṖ            All possible partitions of the digits of N.
  Ḍ           Undecimal (i.e. join to numbers).
   l2         Log2. Note: returns (-inf+nanj) for 0, so it doesn't fail.
     ĊƑ€      For each, check if the logarithm equals its ceil.
        Ẹ     Any. Return 0 if there are no truthy elements, 1 otherwise.

Program II

ŒṖḌæḟƑ€2Ẹ     Full program. N = integer input.
ŒṖ            All possible partitions of the digits of N.
  Ḍ           Undecimal (i.e. join to numbers).
     Ƒ€       For each partition, check whether its elements are invariant under...
   æḟ  2      Flooring to the nearest power of 2.
        Ẹ     Any. Return 0 if there are no truthy elements, 1 otherwise.

Python 2 , 72 70 bajtów

f=lambda n,m=10:n>=m/10and(n%m&n%m-1<1and(n/m<1or f(n/m))or f(n,m*10))

Wypróbuj online!

JavaScript, 59 bajtów

s=>eval(`/^(${(g=x=>x>s?1:x+'|0*'+g(x+x))(1)})+$/`).test(s)

Wypróbuj online!

Tworzy wyrażenie regularne /^(1|0*2|0*4|0*8|0*16|0*32|…|0*1)+$/o potęgach 2 i testuje je s.

Oczywiście działa tylko z dokładnością do liczb JavaScript: w końcu wyrazy w wyrażeniu regularnym będą wyglądać 1.2345678e30(lub Inf). Ponieważ jednak potęgi 2 są łatwe do dokładnego przedstawienia w liczbach zmiennoprzecinkowych, nigdy nie będą złymi liczbami całkowitymi, co, moim zdaniem, byłoby bardziej dyskwalifikujące.

@tsh zapisał 14 bajtów. Neato!

Python 2 , 85 bajtów

f=lambda n:bin(int(n)).count('1')==1or any(f(n[:i])*f(n[i:])for i in range(1,len(n)))

Wypróbuj online!

Perl 6 , 28 24 23 bajtów

-4 bajty dzięki Jo Kingowi

{?/^[0*@(2 X**^32)]+$/}

Wypróbuj online!

Obsługuje moc do 2 ³¹ .

APL (NARS), 154 znaków, 308 bajtów

∇r←f w;g;b;z;k
   g←{⍵≤0:1⋄t=⌊t←2⍟⍵}⋄→A×⍳∼w≤9⋄r←g w⋄→0
A: z←w⋄b←0⋄k←1
B: b+←k×10∣z⋄z←⌊z÷10
   →C×⍳∼g b⋄r←∇z⋄→0×⍳r
C: k×←10⋄→B×⍳z≠0
   r←0
∇
h←{⍵=0:0⋄f ⍵}

Funkcją ćwiczenia jest h. Algorytm nie wydaje się wykładniczy ani silni ... test:

  h¨ 4281 164 8192 81024 101 
1 1 1 1 1 
  h¨ 0 1 3 234789 256323 8132
0 1 0 0 0 1 
  h 81024256641116
1
  h 64512819237913
0

Python 2 , 57 bajtów

f=lambda n,k=10:k<11*n>n%k&n%k-1<(n<k)|f(n/k)|f(n,10*k)*n

Wypróbuj online!

Python 2 , 86 bajtów

lambda n:re.match('^(%s)*$'%'|'.join('0*'+`1<<k`for k in range(n)),`n`)and 0;import re

Wypróbuj online!

Rubin , 55 bajtów

->n{a=*b=1;a<<b*=2until b>n;n.to_s=~/^(0*(#{a*?|}))*$/}

Wypróbuj online!

Dane wyjściowe są 0prawdziwe, a niljeśli fałszywe.

Rubinowy , 49 bajtów

->n{n.to_s=~/^(0*(#{(0..n).map{|x|2**x}*?|}))*$/}

Wypróbuj online!

Działa tylko w teorii. Trwa wiecznie dla dużych wartościn

PHP, 101 bajtów

Nie wydaje się, aby uzyskać to poniżej 100; ale mógłbym dostać go do 100, jeśli 101był to przypadek fałszowania.

function f($s){for($x=.5;$s>=$x*=2;)if(preg_match("/^$x(.*)$/",$s,$m)?!~$m[1]||f(+$m[1]):0)return 1;}

$NULL$$1$

wariacje:

for($x=.5;$s>=$x*=2;)
while($s>=$x=1<<$i++)   # yields notices "undefined variable $i"

?!~$m[1]||f(+$m[1]):0
?~$m[1]?f(+$m[1]):1:0

PHP 5 lub starszy, 95 bajtów

function f($s){while($s>=$x=1<<$i++)if(ereg("^$x(.*)$",$s,$m)?$m[1]>""?f(+$m[1]):1:0)return 1;}

Czerwony , 212 211 bajtów

func[n][g: func[x][(log-2 do x)% 1 = 0]repeat i 2 **((length? s: form n)- 1)[b: a:
copy[] k: i foreach c s[append b c if k % 2 = 0[alter a g rejoin b
b: copy[]]k: k / 2]append a g form c if all a[return on]]off]

Wypróbuj online!

Kolejne długie przesłanie, ale nie jestem całkowicie niezadowolony, ponieważ nie ma wbudowanej funkcji wyszukiwania wszystkich podciągów w kolorze czerwonym.

Bardziej czytelny:

f: func [ n ] [
    g: func [ x ] [ (log-2 do x) % 1 = 0 ]
    repeat i 2 ** ((length? s: form n) - 1) [
        b: a: copy []
        k: i
        foreach c s [
            append b c
            if k % 2 = 0 [ 
                append a g rejoin b
                b: copy []
            ]
            k: k / 2 
        ]
        append a g form c
        if all a[ return on ]
    ]
    off
]

Aksjomat, 198 bajtów

G(a)==(a<=1=>2>1;x:=log_2 a;x=floor x)
F(n)==(n<=9=>G n;z:=n;b:=0;k:=1;repeat(b:=b+k*(z rem 10);z:=z quo 10;if G b and F z then return 2>1;k:=k*10;z<=0=>break);1>1)
H(n:NNI):Boolean==(n=0=>1>1;F n)

golf i test

g(a)==(a<=1=>2>1;x:=log_2 a;x=floor x)
f(n)==
   n<=9=>g n
   z:=n;b:=0;k:=1
   repeat
      b:=b+k*(z rem 10);z:=z quo 10;
      if g b and f z then return 2>1
      k:=k*10
      z<=0=>break
   1>1
h(n:NNI):Boolean==(n=0=>1>1;f n)

(15) -> [[i,h i] for i in [4281,164,8192,81024,101]]
   (15)  [[4281,true],[164,true],[8192,true],[81024,true],[101,true]]
                                                      Type: List List Any
(16) -> [[i,h i] for i in [0,1,3,234789,256323,8132]]
   (16)  [[0,false],[1,true],[3,false],[234789,false],[256323,false],[8132,true]]
                                                      Type: List List Any
(17) -> [[i,h i] for i in [81024256641116, 64512819237913]]
   (17)  [[81024256641116,true],[64512819237913,false]]
                                                      Type: List List Any
(18) -> h 44444444444444444444444444
   (18)  true
                                                            Type: Boolean
(19) -> h 44444444444444444128444444444
   (19)  true
                                                            Type: Boolean
(20) -> h 4444444444444444412825444444444
   (20)  false
                                                            Type: Boolean
(21) -> h 2222222222222244444444444444444412822222222222210248888888888882048888888888888888
   (21)  true
                                                            Type: Boolean
(22) -> h 222222222222224444444444444444441282222222222225128888888888882048888888888888888
   (22)  true
                                                            Type: Boolean

Japt -!, 12 bajtów

Pobiera dane wejściowe jako ciąg.

ÊÆòXÄÃex_&ZÉ

Spróbuj

C # 157 bajtów

bool P(string s,int i=1)=>i>=s.Length?((Func<ulong,bool>)((x)=>(x!=0)&&((x&(x-1))==0)))(ulong.Parse(s)):(P(s,i+1)||(P(s.Substring(0,i))&&P(s.Substring(i))));

Możesz wypróbować online

APL (NARS), 70 znaków, 140 bajtów

P←{k←↑⍴⍵⋄x←11 1‼k k⋄y←⍵⋄∪{x[⍵;]⊂y}¨⍳↑⍴x}
f←{⍵=0:0⋄∨/∧/¨y=⌊y←2⍟⍎¨¨P⍕⍵}

test:

  f¨ 4281 164 8192 81024 101
1 1 1 1 1 
  f¨ 0 1 3 234789 256323 8132
0 1 0 0 0 1 
  f 126
0

nie próbuję robić innych, większych liczb ... muszę zauważyć, że P nie jest normalną partycją, ale jest to jedna partycja, w której wszystkie elementy są podzbiorem, które mają członka wszystkie kolejne, na przykład

  ⎕fmt P 'abc'
┌4──────────────────────────────────────────────────┐
│┌1─────┐ ┌2─────────┐ ┌2─────────┐ ┌3─────────────┐│
││┌3───┐│ │┌2──┐ ┌1─┐│ │┌1─┐ ┌2──┐│ │┌1─┐ ┌1─┐ ┌1─┐││
│││ abc││ ││ ab│ │ c││ ││ a│ │ bc││ ││ a│ │ b│ │ c│││
││└────┘2 │└───┘ └──┘2 │└──┘ └───┘2 │└──┘ └──┘ └──┘2│
│└∊─────┘ └∊─────────┘ └∊─────────┘ └∊─────────────┘3
└∊──────────────────────────────────────────────────┘

zauważ, że nie ma elementu ((ac) (b)) lub lepszego ,, ¨ („ac”) „b”

  ⎕fmt ,,¨('ac')'b'
┌2─────────┐
│┌2──┐ ┌1─┐│
││ ac│ │ b││
│└───┘ └──┘2
└∊─────────┘

POSIX ERE, 91 bajtów

(0*([1248]|16|32|64|128|256|512|1024|2048|4096|8192|16384|32768|65536|131072|262144|524288))+

Jest to całkowicie oszustwo, oparte na tekście o dużych liczbach (tak naprawdę nie jest to konieczne do obsługi przez kod) w pytaniu; obsługuje wszystkie wartości w zakresie wielkości przykładów. Oczywiście można rozszerzyć do pełnego zakresu 32- lub 64-bitowych liczb całkowitych kosztem rozmiaru. Napisałem go głównie jako demonstrację tego, jak problem naturalnie pasuje do narzędzia. Zabawnym ćwiczeniem byłoby przepisanie go jako programu, który generuje ERE dla dowolnego zakresu, a następnie dopasowuje się do niego.

C (gcc) , -DA=asprintf(&c,+ 108 = 124 bajty

p,c;f(a,i){c="^(0*(1";for(i=0;i<31;)A"%s|%d",c,1<<++i);A"%s))+$",c);regcomp(&p,c,1);a=!regexec(&p,a,0,0,0);}

Wypróbuj online!

To buduje regex potęgi od 2 do 2 ** 32, a następnie dopasowuje ciąg wejściowy przeciwko niemu.

PowerShell, 56 bajtów

$x=(0..63|%{1-shl$_})-join'|0*'
"$args"-match"^(0*$x)+$"

Skrypt testowy:

$f = {

    $x=(0..63|%{1-shl$_})-join'|0*'
    "$args"-match"^(0*$x)+$"

}

@(
    ,(4281            ,$true)
    ,(164             ,$true)
    ,(8192            ,$true)
    ,(81024           ,$true)
    ,(101             ,$true)
    ,(0               ,$false)
    ,(1               ,$true)
    ,(3               ,$false)
    ,(234789          ,$false)
    ,(256323          ,$false)
    ,(8132            ,$true)
    ,("81024256641116"  ,$true)
    ,("64512819237913"  ,$false)
) | % {
    $n, $expected = $_
    $result = &$f $n
    "$($result-eq$expected): $result <- $n"
}

Wydajność:

True: True <- 4281
True: True <- 164
True: True <- 8192
True: True <- 81024
True: True <- 101
True: False <- 0
True: True <- 1
True: False <- 3
True: False <- 234789
True: False <- 256323
True: True <- 8132
True: True <- 81024256641116
True: False <- 64512819237913

Wyjaśnienie:

Tworzy wyrażenie regularne ^(0*1|0*2|0*4|0*8|0*16|0*32|…)+$o potęgach 2 i testuje je na argumentach.

JavaScript (Node.js) , 56 bajtów

f=(x,c=v=1)=>x<v?x.match('^('+c+')+$'):f(x,c+'|'+(v*=2))

Wypróbuj online!