Wyzwanie

Biorąc pod uwagę listę dodatnich liczb całkowitych, sprawdź, czy istnieje permutacja, w której biorąc do jednego bitu z każdej liczby całkowitej, można utworzyć liczbę binarną składającą się ze wszystkich 1s.

Liczba bitów w wynikowej liczbie binarnej jest równa najwyższemu MSB na liście liczb całkowitych.

Wydajność

Twój kod musi generować lub zwracać wartość true / falsey wskazującą, czy istnieje taka permutacja.

Przykłady

Prawda:

Z listą [4, 5, 2]i jej reprezentacją binarną [100, 101, 10]możemy użyć odpowiednio trzeciego, pierwszego i drugiego bitu, aby utworzyć 111:

4  ->  100  ->  100  ->  1
5  ->  101  ->  101  ->    1
2  ->  010  ->  010  ->   1
Result                   111

Dzięki tej liście [3, 3, 3]wszystkie liczby mają ustawiony zarówno pierwszy, jak i drugi bit jako 1, więc możemy wybrać nasz numer z rezerwowym:

3  ->  11  ->  11  ->  1
3  ->  11  ->  11  ->   1
3  ->  11  ->  11  ->
Result                 11

Falsey:

Na liście [4, 6, 2]żaden z numerów nie ma ustawionego pierwszego bitu jako 1, więc nie można utworzyć liczby binarnej:

4  ->  100
6  ->  110
2  ->  010

W przypadku listy [1, 7, 1]tylko jedna z liczb ma ustawiony drugi i trzeci bit jako 1, a liczby nie można utworzyć:

1  ->  001
7  ->  111
1  ->  001

Oczywiście, jeśli maksymalna liczba ustawionych bitów przekracza liczbę całkowitą, liczby wynikowej nigdy nie można utworzyć.

Przypadki testowe

Prawda:

[1]
[1, 2]
[3, 3]
[3, 3, 3]
[4, 5, 2]
[1, 1, 1, 1]
[15, 15, 15, 15]
[52, 114, 61, 19, 73, 54, 83, 29]
[231, 92, 39, 210, 187, 101, 78, 39]

Falsey:

[2]
[2, 2]
[4, 6, 2]
[1, 7, 1]
[15, 15, 15]
[1, 15, 3, 1]
[13, 83, 86, 29, 8, 87, 26, 21]
[154, 19, 141, 28, 27, 6, 18, 137]

Zasady

Standardowe luki są zabronione. Ponieważ jest to golf golfowy , wygrywa najkrótszy wpis!

Galaretka , 11 bajtów

BUT€ŒpṬz0PẸ

Wypróbuj online!

Jak to działa

BUT€ŒpṬz0PẸ  Main link. Argument: A (array)

             Example: A = [4, 5, 2]
B            Binary; convert each n in A to base 2.
                      [[1, 0, 0], [1, 0, 1], [1, 0]]
 U           Upend; reverse all arrays of binary digits.
                      [[0, 0, 1], [1, 0, 1], [0, 1]]
  T€         Truth each; for each binary array, get all indices of 1's.
                      [[3], [1, 3], [2]]
    Œp       Take the Cartesian product of all index arrays.
                      [[3, 1, 2], [3, 3, 2]
      Ṭ      Untruth; map each index array to a binary arrays with 1's at
             at the specified indices.
                      [[1, 1, 1], [0, 1, 1]]
       z0    Zip/transpose the resulting 2D array, filling shorter rows with 0's.
                      [[1, 0], [1, 1], [1, 1]]
         P   Take the columnwise product.
                      [1, 0]
          Ẹ  Any; yield 1 if any of the products is non-zero, 0 otherwise.
                      1

J , 30 bajtów

Wszystkie podziękowania należą się mojemu koledze Marshallowi .

Nienazwana funkcja ukrytego przedrostka.

[:+./ .*(1->./@${.|:)^:2@|:@#:

Wypróbuj online!

( @jest kompozycją funkcji)

#: anty-2

|: transponować

(… )^:2 Zastosuj dwukrotnie następującą funkcję:

 1- Boolean negate

 >./ maksymalny

 @ z

 $ długości osi

 {. weź (wypełnienie zerami) z

 |: transponowany argument

+./ .* „szalona determinująca magia” *

[: Don't hook (no-op - służy do skomponowania poprzedniej części z resztą)

^{* Słowami Marshalla.}

JavaScript (ES6), 104 ... 93 83 bajty

Zwraca 0lub 1.

f=(a,m=Math.max(...a),s=1)=>s>m|a.some((n,i)=>n&s&&f(b=[...a],m,s*2,b.splice(i,1)))

Przypadki testowe

f=(a,m=Math.max(...a),s=1)=>s>m|a.some((n,i)=>n&s&&f(b=[...a],m,s*2,b.splice(i,1)))

console.log('Truthy')
console.log(f([1]))
console.log(f([1, 2]))
console.log(f([3, 3]))
console.log(f([3, 3, 3]))
console.log(f([4, 5, 2]))
console.log(f([1, 1, 1, 1]))
console.log(f([15, 15, 15, 15]))
console.log(f([52, 114, 61, 19, 73, 54, 83, 29]))
console.log(f([231, 92, 39, 210, 187, 101, 78, 39]))

console.log('Falsy')
console.log(f([2]))
console.log(f([2, 2]))
console.log(f([4, 6, 2]))
console.log(f([1, 7, 1]))
console.log(f([15, 15, 15]))
console.log(f([1, 15, 3, 1]))
console.log(f([13, 83, 86, 29, 8, 87, 26, 21]))
console.log(f([154, 19, 141, 28, 27, 6, 18, 137]))

metoda

Biorąc pod uwagę tablicę wejściową A = [a ₀ , a ₁ , ..., a _N-1 ] , szukamy permutacji [a _{p [0]} , a _{p [1]} , ..., a _{p [N- 1]} ] z a i liczba całkowita x ≤ N taki, że:

• s = 1 + (a _{p [0]} AND 2 ⁰ ) + (a _{p [1]} AND 2 ¹ ) + ... + (a _{p [x-1]} AND 2 ^x-1 ) = 2 ^x
• i y jest większy od największego elementu m o A

Sformatowane i skomentowane

f = (                 // f = recursive function taking:
  a,                  //   - a = array
  m = Math.max(...a), //   - m = greatest element in a
  s = 1               //   - s = current power of 2, starting at 1
) =>                  //
  s > m               // success condition (see above) which is
  |                   // OR'd with the result of this some():
  a.some((n, i) =>    // for each element n at position i in a:
    n & s &&          //   provided that the expected bit is set in n,
    f(                //   do a recursive call with:
      b = [...a],     //     b = copy of a
      m,              //     m unchanged
      s * 2,          //     s = next power of 2
      b.splice(i, 1)  //     the current element removed from b
    )                 //   end of recursive call
  )                   // end of some()

Łuska , 14 bajtów

SöV≡ŀToṁ∂Pmo↔ḋ

Wypróbuj online!

Wyjaśnienie

SöV≡ŀToṁ∂Pmo↔ḋ  Implicit input, say [4,5,2].
          m  ḋ  Convert each to binary
           o↔   and reverse them: x = [[0,0,1],[1,0,1],[0,1]]
         P      Take all permutations of x
      oṁ∂       and enumerate their anti-diagonals in y = [[0],[0,1],[1,0,0],[1,1],[1]..
S    T          Transpose x: [[0,1,0],[0,0,1],[1,1]]
    ŀ           Take the range up to its length: z = [1,2,3]
                Then z is as long as the longest list in x.
 öV             Return the 1-based index of the first element of y
   ≡            that has the same length and same distribution of truthy values as z,
                i.e. is [1,1,1]. If one doesn't exist, return 0.

05AB1E , 23 22 20 bajtów

-1 bajt dzięki Mr.Xcoder

Prawda: 1, fałsz: 0

2вí0ζœεvyƶNè})DgLQ}Z

Wypróbuj online!

Objaśnienia:

2вí0ζœεvyƶNè})DgLQ}Z   Full program (implicit input, e.g. [4, 6, 2])
2в                     Convert each to binary ([1,0,0], [1,1,0], [1,0])
  í                    Reverse each ([0,0,1], [0,1,1], [0,1])
   0ζ                  Zip with 0 as a filler ([0,0,0],[0,1,1],[1,1,0])
     œ                 Get all sublists permutations
      ε           }    Apply on each permutation...
       vyƶNè}            For each sublist...
        yƶ                  Multiply each element by its index
          Nè                Get the element at position == sublist index
             )           Wrap the result in a list
              DgLQ       1 if equal to [1,2,...,length of item]
                   Z   Get max item of the list (1 if at least 1 permutations fill the conditions)
                       -- implicit output

Wolfram Language (Mathematica) , 65 bajtów

Max[Tr/@Permutations[n=PadLeft[#~IntegerDigits~2]]]==Tr[1^#&@@n]&

Wypróbuj online!

Wyjaśnienie

#~IntegerDigits~2

Zaczynamy od konwersji wszystkich danych wejściowych na listy binarne.

n=PadLeft[...]

Następnie wypełniamy wszystkie te listy zerami po lewej stronie, aby tablica była prostokątna. Wynik zostanie zapisany nna później.

Permutations[...]

Tak, brutalna siła, zdobądźmy wszystkie możliwe kombinacje wejścia.

Tr/@...

Pobiera to ślad dla każdej permutacji, tj. Sumę elementów ukośnych w permutacji. Innymi słowy, dodajemy MSB od pierwszego numeru, następny do MSB od drugiego numeru i tak dalej. Jeśli permutacja jest poprawny, wszystkie z nich będzie 1 i nie będzie tylu 1 s jak największa liczba wejściowa jest szeroki.

Max[...]

Otrzymujemy maksymalny ślad, ponieważ ślad nigdy nie może być większy niż ślad prawidłowej permutacji.

...==Tr[1^#&@@n]

Prawa strona jest po prostu golfową wersją Length @ First @ n, tzn. Dostaje szerokość prostokątnego układu, a zatem szerokość największej liczby wejściowej. Chcemy mieć pewność, że ślad niektórych permutacji jest równy.

PHP, 255 243 160 bajtów

-12 bajtów,
dzięki Tytusowi wyjęto sortowanie -83 bajtów (!)

<?function f($a,$v=NULL,$b=[]){($v=$v??(1<<log(max($a),2)+1)-1)||die("1");if($p=array_pop($a))while($p-=$i)($b[$i=1<<log($p,2)]|$v<$i)||f($a,$v-$i,[$i=>1]+$b);}

Wypróbuj online!

Drukuje 1 za prawdę, nic za falsey.

Oryginalna wersja bez golfa:

<?php
unset($argv[0]);                                                   // remove filename from arguments
$max = pow(2,floor(log(max($argv),2))+1)-1;                        // get target number (all bits set to 1)
solve($argv,$max,[]);
function solve($array,$value,$bits){
  if(!$value){                                                     // if we've reached our target number (actually subtracted it to zero)
    die("1");                                                      // print truthy
  }
  if(count($array)){                                               // while there are arguments left to check
    $popped = array_pop($array);                                   // get the largest argument
    while($popped > 0 && ($mybit = pow(2,floor(log($popped,2))))){ // while the argument hasn't reached zero, get the highest power of 2 possible
      $popped -= $mybit;                                           // subtract power from argument
      if($value >= $mybit && !$bits[$i]){                          // if this bit can be subtracted from our argument, and we haven't used this bit yet
        $copy = $bits;                                             // create a copy to pass to the function
        $copy[$mybit] = 1;                                         // mark the bit as used in the copy
        solve($array,$value-$mybit,$copy);                         // recurse
      }
    }
  }
}

Lua 5.2, 85 bajtów

m=math
x=function(...)print(bit32.bor(...)==2^(m.floor(m.log(m.max(...),2))+1)-1)end

To ustawia x na funkcję, która akceptuje zmienną liczbę danych wejściowych (oczekiwanych 32-bitowych liczb całkowitych) i wypisuje na standardowe wyjście „true” lub „false”.

Stosowanie:

x(13, 83, 86, 29, 8, 87, 26, 21) -- Prints "false"

PHP, 121 bajtów

function f($a,$s=0){($v=array_pop($a))||(0|$g=log($s+1,2))-$g||die("1");for($b=.5;$v<=$b*=2;)$v&$b&&~$s&$b&&f($a,$s|$b);}

Wypróbuj online .

awaria

function f($a,$s=0)
{
    ($v=array_pop($a))          # pop element from array
    ||                          # if nothing could be popped (empty array)
    (0|$g=log($s+1,2))-$g       # and $s+1 is a power of 2
        ||die("1");                 # then print "1" and exit
    for($b=.5;$v>=$b*=2;)       # loop through the bits:
        $v&$b                       # if bit is set in $v
        &&~$s&$b                    # and not set in $s
            &&f($a,$s|$b);              # then set bit in $s and recurse
}

J , 49 bajtów

g=.3 :'*+/*/"1+/"2((#y){.=i.{:$#:y)*"2#:(i.!#y)A.,y'

Czy muszę liczyć także „g =.”? Jestem gotów to dodać.

Tym razem długi, wyraźny czasownik. Próbowałem milczącego dla tego samego algorytmu, ale okazało się, że jest on jeszcze dłuższy i brzydszy niż ten. Daleko od rozwiązania Adáma.

Objaśnienie: (y jest właściwym argumentem funkcji)

                                             ,y - adds a leading axis to the argument 
                                             (if it's scalar becomes an array of length 1)
                                          .A    - finds the permutations according to the left argument
                                   (i.!#y)      - factorial of the length of the argument, for all permutations
                                 #:             - convert each element to binary
                             *"2                - multiply each cell by identity matrix
           (                )                   - group 
                   =i.{:$#:y                    - identity matrix with size the length
                                                  of the binary representation of the argument 
             (#y){.                             - takes as many rows from the identity matrix 
                                                  as the size of the list (pad with 0 if neded)
    */"1+/"2                                    - sums the rows and multiplies the items
                                                  to check if forms an identity matrix
 *+/                                            - add the results from all permutations and
                                                  returns 1 in equal or greater then 1

Wypróbuj online!

Python 3 , 126 120 bajtów

Zapisano 6 bajtów dzięki Mr. Xcoder

lambda x:g(x,max(map(len,map(bin,x)))-3)
g=lambda x,n:n<0 or any(g(x[:i]+x[i+1:],n-1)for i in range(len(x))if x[i]&2**n)

Wypróbuj online!

Galaretka , 17 bajtów

BUz0Œ!ŒD€Ẏ
ṀBo1eÇ

Monadyczny link pobierający listę liczb i zwracający 1(prawda) lub 0(falsey).

Wypróbuj online!

Limit czasu dla TIO będzie najdłuższy z każdego z przypadków testowych.

W jaki sposób?

BUz0Œ!ŒD€Ẏ - Link 1, possibilities (plus some shorter ones & duplicates): list of numbers
                                     e.g. [4, 5, 2]
B          - to binary list (vectorises)  [[1,0,0],[1,0,1],[1,0]]
 U         - upend                        [[0,0,1],[1,0,1],[0,1]]
   0       - literal zero                  0
  z        - transpose with filler        [[0,1,0],[0,0,1],[1,1,0]]
    Œ!     - all permutations             [[[0,1,0],[0,0,1],[1,1,0]],[[0,1,0],[1,1,0],[0,0,1]],[[0,0,1],[0,1,0],[1,1,0]],[[0,0,1],[1,1,0],[0,1,0]],[[1,1,0],[0,1,0],[0,0,1]],[[1,1,0],[0,0,1],[0,1,0]]]
      ŒD€  - diagonals of €ach            [[[0,0,0],[1,1],[0],[1],[0,1]],[[0,1,1],[1,0],[0],[0],[1,0]],[[0,1,0],[0,0],[1],[1],[0,1]],[[0,1,0],[0,0],[1],[0],[1,1]],[[1,1,1],[1,0],[0],[0],[0,0]],[[1,0,0],[1,1],[0],[0],[0,1]]]
         Ẏ - tighten                      [[0,0,0],[1,1],[0],[1],[0,1],[0,1,1],[1,0],[0],[0],[1,0],[0,1,0],[0,0],[1],[1],[0,1],[0,1,0],[0,0],[1],[0],[1,1],[1,1,1],[1,0],[0],[0],[0,0],[1,0,0],[1,1],[0],[0],[0,1]]

ṀBo1eÇ - Main link: list of numbers  e.g. [4, 5, 2]
Ṁ      - maximum                           5
 B     - to binary list                   [1,0,1]
   1   - literal one                       1
  o    - or (vectorises)                  [1,1,1]
     Ç - last link as a monad             [[0,0,0],[1,1],[0],[1],[0,1],[0,1,1],[1,0],[0],[0],[1,0],[0,1,0],[0,0],[1],[1],[0,1],[0,1,0],[0,0],[1],[0],[1,1],[1,1,1],[1,0],[0],[0],[0,0],[1,0,0],[1,1],[0],[0],[0,1]]
    e  - exists in?                        1    --------------------------------------------------------------------------------------------------------------^

R , 247 bajtów 221 bajtów

function(i){a=do.call(rbind,Map(`==`,Map(intToBits,i),1));n=max(unlist(apply(a,1,which)));any(unlist(g(a[,1:n,drop=F],n)))}
g=function(a,p){if(p==1)return(any(a[,1]));Map(function(x){g(a[x,,drop=F],p-1)},which(a[,p])*-1)}

Wypróbuj online!

Wersja bez golfa

f=function(i){                                   #anonymous function when golfed
  a=do.call(rbind,Map(`==`,Map(intToBits,i),1))  #convert integers to binary, then logical
                                                 #bind results together in matrix
  n=max(unlist(apply(a,1,which)))                #determine max number of bits
  any(unlist(g(a[,1:n,drop=F],n)))               #apply recursive function
}

g=function(a,p){
  if(p==1)return(any(a[,1]))                   #check if first bit is available still
  Map(function(x){g(a[x,,drop=F],p-1)},which(a[,p])*-1) #strip row used for current bit
                                                        #and apply the function recursively
}

Uświadomiłem sobie, że sprawdzenie drop=Fargumentów nie było konieczne . Usunięto także trochę nieznośnych białych znaków.

PHP, 152 bajty

<?function b($a,$b,$s){$a[$s]=0;$r=$b-1;foreach($a as$i=>$v)if($v&1<<$b)$r=max(b($a,$b+1,$i),$r);return$r;}$g=$argv;$g[0]=0;echo!(max($g)>>b($g,0,0)+1);

Nie drukuje nic za fałsz, 1 za prawda.

Nie golfowany:

<?

// Search an array for a value having a bit set at the given bit index.
// For each match, search for a next higher bit index excluding the current match.
// This way it "climbs up" bit by a bit, finally returning the highest bit index reached.
function bitSearch($valArr, $bitInd, $skipInd) {
    unset($valArr[$skipInd]);
    $result = $bitInd - 1;
    foreach ($valArr as $ind => $v) {
        if ($v & (1 << $bitInd)) {
            $result = max(bitSearch($valArr, $bitInd + 1, $ind), $result);
        }
    }
    return $result;
}

$argv[0] = 0;
$r = bitSearch($argv, 0, 0);
// Check if the highest bit index reached was highest in the largest value given.
if (max($argv) >> ($r + 1)) {
    echo("False\n");
} else {
    echo("True\n");
}

Galaretka , 17 bajtów

BUz0×J$€ŒpṢ=JPƲ€Ẹ

Zestaw testowy.

C, 79 bajtów

b,i;main(a){for(;~scanf("%d",&a);i++)b|=a;puts("false\0true"+(b==(1<<i)-1)*6);}