Колмогорова-мания

32

Колмогорова сложность струнного х определяется как длина кратчайшей программы P , который выводит с. Если длина P короче, чем длина s, то s называется сжимаемым , иначе s несжимаемым . Большинство строк несжимаемы ...

Напишите самую короткую программу, которая выводит эту строку (без пробелов и без перевода строки):

d9 a6 b6 33 56 a7 95 4b 29 b0 ac 7f 2a aa 6d 19 b8 4b 4c f8 b6 2a ac 95 
a1 4b 4e a5 9d b3 e7 c9 4c 49 59 ec 94 b3 aa 6c 93 8f 11 5a 4d 39 75 82 
ec ea 24 cc d3 2d c3 93 38 4e b7 a6 0d d2 b5 37 23 54 ad 1b 79 aa 6e 49 
55 52 94 5a a7 3a 6a e9 e4 52 cd 2d 79 ad c6 12 b5 99 5b b4 76 51 17 4e 
94 f3 9a a2 e7 15 6a 55 14 4d 4e 4a a3 5c 2f ab 63 cc b5 a6 a4 92 96 8a 
2e c3 d8 88 9b 8c a9 16 f5 33 22 5b a2 e2 cc 1b 27 d4 e8 db 17 a4 39 85 
ca aa 5b 4f 36 24 d3 c6 f6 94 ad d7 0f 71 24 e1 b1 c5 ef 65 35 6c 8d d7 
1a 87 1e 25 df 5d c0 13 b2 6f 5a 57 28 98 bd 41 66 04 ed a2 52 c9 ac 83 
b3 6c 56 7e d1 c6 cc 53 4a 62 c5 59 a9 b2 d4 af 22 a5 a9 f4 b2 99 23 32 
f8 fb ae 48 6a 8a 9a b5 46 7a 36 59 9f 92 d3 25 b5 19 bd 8a 4a 49 62 a5 
e4 59 fb e5 ba a2 35 dd a9 36 1d a9 c9 69 89 77 6a b2 34 2d 1d 22 61 c5 
c2 66 1c e2 76 74 52 a5 d9 84 b9 8a a6 b5 14 ec 29 58 b2 bc 96 16 16 48 
f5 c5 bd 2f 32 1b 3d 4f 4b 2e b2 6b 9a d9 32 a4 4b 5c bc 92 b7 b3 26 39 
fa 42 2d 64 ed 1a 79 49 4c a3 b7 85 b2 a6 e2 8c d9 55 90 e1 a8 87 4b 60 
a6 e1 ba c4 bb ec 32 39 76 90 a6 b4 c6 65 79 61 91 aa 3d 54 b7 18 3d 15 
4b 06 db 30 8a 4d 4a a1 35 75 5d 3b d9 98 ac 55 5b 10 dd b3 e2 cc f1 5e 
b3 2b 53 90 b6 ee 2b ac 8f 88 8d 95 5a 75 df 59 2d 1c 5a 4c e8 f4 ea 48 
b9 56 de a0 92 91 a9 15 4c 55 d5 e9 3a 76 8e 04 ba e7 b2 aa e9 ab 2a d6 
23 33 45 3d c4 e9 52 e3 6a 47 50 ba af e4 e5 91 a3 14 63 95 26 b3 8b 4c 
bc aa 5a 92 7a ab ad a6 db 53 2e 97 06 6d ba 3a 66 49 4d 95 d7 65 c2 aa 
c3 1a 92 93 3f ca c2 6c 2b 37 55 13 c9 88 4a 5c 62 6b a6 ae cc de 72 94 

Вывод должен выглядеть так:

d9a6b63356a7954b29b0ac7f2aaa6d19b84b4cf8b62aac95a14b4e...7294

Примечание: ввод пользователя запрещен, ни веб-доступ, ни библиотеки (кроме той, которая требуется для печати вывода).

Правка I: последовательность кажется случайной ... но она оказывается очень сжимаемой, обрабатывая немного простых чисел ...

Редактировать II: Молодец! Я рассмотрю ответы в следующие часы, а затем назначу награду. Это моя идея о том, как это можно решить:

  1. Если вы попытаетесь сжать данные, вы не уйдете далеко ...
  2. В интернете вы можете найти (хорошо известную?) Онлайновую энциклопедию целочисленных последовательностей (OEIS);
  3. попытка первых шестнадцатеричных цифр d9, a6, b6, 33, ...(или их десятичного представления) не даст результата;
  4. но если вы преобразуете числа в двоичные ( 1,1,0,1,1,0,0,1,1,0,1,0,0,1,1,0) и ищете их в OEIS, вы получите такой результат .
  5. Как отметил Клавдиу, я также дал небольшую подсказку в этом вопросе (Изменить I выше) ... :-)

Победителем стал Питер Тейлор (GolfScript, 50), со специальным упоминанием Клаудиу (Python, 92), первым, кто «решил» это.

Марцио де Биаси
источник
2
Чем это интереснее других вопросов по сложности комогоров ?
Дверная ручка
2
@ Doorknob: возможно, ничего ... по крайней мере, пока кто-нибудь не отправит ответ :-)
Марцио Де Биаси
5
Это должна быть игра «Угадай константу»?
Питер Тейлор
7
Не дай решение! Люди работают над этим :-)
Mau
3
Я думаю, что конкурс должен состоять из двух частей. Первая часть - это приз, который получают те, кто нашел ответ. Вторая часть - это приз, который получают те, кто действительно умеет сжимать код и генерировать самые маленькие. Прямо сейчас, это больше вопрос «угадай мой алгоритм», который исключает таких тупиц, как я, а также настоящих профессионалов, играющих в гольф, (я тоже не такой), а также тех, кто знает APL и другие лаконичные языки (до сих пор не я) ).

Ответы:

11

GolfScript (50 байт)

$ wc -c codegolf24909.min.gs 
50 codegolf24909.min.gs
$ md5sum codegolf24909.min.gs 
ce652060039fba071d17333a1199fd72  codegolf24909.min.gs
$ time golfscript.rb codegolf24909.min.gs 
d9a6b63356a7954b29b0ac7f2aaa6d19b84b4cf8b62aac95a14b4ea59db3e7c94c4959ec94b3aa6c938f115a4d397582ecea24ccd32dc393384eb7a60dd2b5372354ad1b79aa6e495552945aa73a6ae9e452cd2d79adc612b5995bb47651174e94f39aa2e7156a55144d4e4aa35c2fab63ccb5a6a492968a2ec3d8889b8ca916f533225ba2e2cc1b27d4e8db17a43985caaa5b4f3624d3c6f694add70f7124e1b1c5ef65356c8dd71a871e25df5dc013b26f5a572898bd416604eda252c9ac83b36c567ed1c6cc534a62c559a9b2d4af22a5a9f4b2992332f8fbae486a8a9ab5467a36599f92d325b519bd8a4a4962a5e459fbe5baa235dda9361da9c96989776ab2342d1d2261c5c2661ce2767452a5d984b98aa6b514ec2958b2bc96161648f5c5bd2f321b3d4f4b2eb26b9ad932a44b5cbc92b7b32639fa422d64ed1a79494ca3b785b2a6e28cd95590e1a8874b60a6e1bac4bbec32397690a6b4c665796191aa3d54b7183d154b06db308a4d4aa135755d3bd998ac555b10ddb3e2ccf15eb32b5390b6ee2bac8f888d955a75df592d1c5a4ce8f4ea48b956dea09291a9154c55d5e93a768e04bae7b2aae9ab2ad62333453dc4e952e36a4750baafe4e591a314639526b38b4cbcaa5a927aabada6db532e97066dba3a66494d95d765c2aac31a92933fcac26c2b375513c9884a5c626ba6aeccde7294

real    365m11.938s
user    364m45.620s
sys     0m6.520s

Поскольку все остальные теперь раскрывают свой код, я также опущу запрос OP на необоснованность:

38200,{:x,{)x\%!},,2=},4/{3\{2&!!1$++}/.57>39*+}%+

Обзор рассечения

  • Вычислите простые числа, меньшие чем N, с N = 38200: это дает первые 4032 простых числа:38200,{:x,{)x\%!},,2=},
  • Нам нужен один бит на простое число с шестнадцатеричным преобразованием, поэтому разбейте их на группы по 4: 4/
  • Для каждой группы, сопоставить каждый штрих pк p&2 != 0и сделать базу-2 в базовой 16 преобразования: {3\{2&!!1$++}/.57>39*+}%(это где интересные приемы)
  • Теперь у нас есть массив значений ASCII плюс пустая строка из stdin; объединить их, чтобы получить одну строку для вывода:+

Более подробное изучение базовой конверсии

Учитывая стек, содержащий пустую строку и список простых чисел, нам нужно сделать два преобразования:

  1. Преобразовать каждое простое число в бит, указывающий, равно ли оно 2 или 3 (мод 4)
  2. Преобразовать биты в шестнадцатеричные цифры

Есть много одинаково длинных способов сделать 1; например

{4%1>}%
{4%2/}%
{2/1&}%
{2/2%}%
{2&!!}%

или даже

{2&}% followed by a 2/ after the base conversion

Для 2 очевидный подход

2base 16base{'0123456789abcdef'=}%+

Но база - это длинное слово, и, поскольку 16 = 24, мы можем легко сохранить несколько символов с помощью

4/{2base'0123456789abcdef'=}%+

Теперь самая очевидная трата - 18 символов, посвященных этой последовательности. Нам просто нужна функция от цифры до кода ASCII. Мы хотим , чтобы отобразить 0на '0' = 48..., 9чтобы '9' = 57, 10чтобы 'a' = 97... 15к 'f' = 102.

4/{2base.9>39*+48+}%+

Но теперь бросьте в смесь запрет base. Мы должны реализовать это сами. Очевидная реализация (в этом направлении, легкая) заключается в том, что k baseэто складка {\k*+}*. Немного больше альтернативой является простой итерации, который необходим базовый случай: 0\{\k*+}/. База 2 немного особенная: 1$++эквивалентна \2*+той же длине, и я выбрал этот подход.

Оба они длиннее, чем 5-символьные 2base, но, поскольку теперь мы перебираем значения, мы можем потянуть в части 1 один цикл. Мы заменяем

{2&!!}%4/{2base.9>39*+48+}%+

с

4/{{2&!!1$++}*.9>39*+48+}%+

для хорошего сохранения 1 символа или

4/{0\{2&!!1$++}/.9>39*+48+}%+

за потерю 1 символа

Но хотя эта потеря на 1 символ выглядит как шаг назад, рассмотрим, что происходит с этим 0. Он умножается на 16 и добавляется к выводу базового преобразования. И последнее, что мы делаем, это добавляем кратное число 16 к выводу. Таким образом, мы можем объединить два как

4/{3\{2&!!1$++}/.57>39*+}%+

Совместный кратчайший и бонусный ум делает его более интересным.

Питер Тейлор
источник
1
360 минут! Это довольно долго. Интересно, какой подход ты выбрал .. мое занимает <1 мин
Клавдиу
4
@Claudiu, я мог бы сделать это намного быстрее, но это добавило бы около 5 символов, а это колмогоровская сложность, а не код-гольф с временными ограничениями.
Питер Тейлор
Сколько вы могли бы получить его, если вы использовали base? Все другие решения используют эквивалент (мои использует hex, C использует один, использует printf("%x")haskell showHex)
Claudiu
1
@Claudiu, на самом деле мой лучший лучший подход baseдольше, чем этот, потому что большую часть оптимизации я выполнил, объяснив, что не могу его использовать. baseдает мне значение от 0 до 15, так что все еще нужно немного поработать, чтобы преобразовать в 0-9a-f. Я мог бы вернуться к использованию baseв какой-то момент, но не сегодня вечером.
Питер Тейлор,
32

Python, 92 символа

Вот это дамы и господа, сам код!

>>> code = "R=range;print hex(int(''.join(`i/2%2`for i in R(38198)if all(i%x for x in R(2,i))),2))[2:-1]"
>>> len(code)
92
>>> exec code
d9a6b63356a7954b29b0ac7f2aaa6d19b84b4cf8b62aac95a14b4ea59db3e7c94c4959ec94b3aa6c938f115a4d397582ecea24ccd32dc393384eb7a60dd2b5372354ad1b79aa6e495552945aa73a6ae9e452cd2d79adc612b5995bb47651174e94f39aa2e7156a55144d4e4aa35c2fab63ccb5a6a492968a2ec3d8889b8ca916f533225ba2e2cc1b27d4e8db17a43985caaa5b4f3624d3c6f694add70f7124e1b1c5ef65356c8dd71a871e25df5dc013b26f5a572898bd416604eda252c9ac83b36c567ed1c6cc534a62c559a9b2d4af22a5a9f4b2992332f8fbae486a8a9ab5467a36599f92d325b519bd8a4a4962a5e459fbe5baa235dda9361da9c96989776ab2342d1d2261c5c2661ce2767452a5d984b98aa6b514ec2958b2bc96161648f5c5bd2f321b3d4f4b2eb26b9ad932a44b5cbc92b7b32639fa422d64ed1a79494ca3b785b2a6e28cd95590e1a8874b60a6e1bac4bbec32397690a6b4c665796191aa3d54b7183d154b06db308a4d4aa135755d3bd998ac555b10ddb3e2ccf15eb32b5390b6ee2bac8f888d955a75df592d1c5a4ce8f4ea48b956dea09291a9154c55d5e93a768e04bae7b2aae9ab2ad62333453dc4e952e36a4750baafe4e591a314639526b38b4cbcaa5a927aabada6db532e97066dba3a66494d95d765c2aac31a92933fcac26c2b375513c9884a5c626ba6aeccde7294
>>> import hashlib; hashlib.sha256(code).hexdigest()
'60fa293bbe895f752dfe208b7b9e56cae4b0c8e4cdf7c5cf82bf7bab60af3db6'

Марцио оставил умный намек, сказав, что «это оказывается очень сжимаемым, обрабатывая немного простых чисел». Я был уверен, что «немного» не было выделено курсивом случайно, поэтому я преобразовал шестнадцатеричную строку в биты и попытался найти шаблоны. Я думал, что сначала он представлял все простые числа как биты и объединял их вместе, но это не сработало. Тогда, возможно, взяв всего несколько цифр или отбросив все нули в битовой строке - все равно нет. Может быть, это цепочка наименее значимого бита первых нескольких простых чисел? Не совсем. Но в конце концов я нашел тот, который сработал - это цепочка второго, наименее значимого бита из первых, однако, многих простых чисел.

Итак, мой код делает именно это: генерирует достаточно простых чисел, берет второй бит каждого ( i/2%2), объединяет их в виде двоичной строки, затем преобразовывает ее в base-10 ( int(..., 2)) и затем в base-16 ( hex(...)).

Клаудиу
источник
1
Большой! Я новичок в коде гольфа, но хэш-материал - это хороший способ позволить другим людям весело узнать, «как это сделать». Я подожду два дня, затем открою щедрость (которую я буду вознаграждать за доверие :).
Марцио Де Биаси
5
@MarzioDeBiasi: Конечно, это работает! Или, может быть, лучше сказать, что вы наградите его за день до назначения награды, и если победитель не раскрывает свой ответ, выигрывает 2-е место и т. Д. ... зачем полагаться на доверие, когда вам не нужно ?
Клавдиу
Почему код в hashlib не был учтен? Разве это не код запускается для генерации вывода?
Филколборн
2
@philcolbourn: Нет, код не использует hashlib. Это просто для генерации хэша sha256, поэтому завтра я могу доказать, что написал код, когда впервые опубликовал это. Вы увидите завтра!
Клавдиу
@Claudiu: Теперь вы должны объяснить мне, как вы взломали проблему! Отлично сработано!
Рубик
9

Хаскелл, 105

Хэш SHA1: a24bb0f4f8538c911eee59dfc2d459194ccb969c

Выход:

d9a6b63356a7954b29b0ac7f2aaa6d19b84b4cf8b62aac95a14b4ea59db3e7c94c4959ec94b3aa6c938f115a4d397582ecea24ccd32dc393384eb7a60dd2b5372354ad1b79aa6e495552945aa73a6ae9e452cd2d79adc612b5995bb47651174e94f39aa2e7156a55144d4e4aa35c2fab63ccb5a6a492968a2ec3d8889b8ca916f533225ba2e2cc1b27d4e8db17a43985caaa5b4f3624d3c6f694add70f7124e1b1c5ef65356c8dd71a871e25df5dc013b26f5a572898bd416604eda252c9ac83b36c567ed1c6cc534a62c559a9b2d4af22a5a9f4b2992332f8fbae486a8a9ab5467a36599f92d325b519bd8a4a4962a5e459fbe5baa235dda9361da9c96989776ab2342d1d2261c5c2661ce2767452a5d984b98aa6b514ec2958b2bc96161648f5c5bd2f321b3d4f4b2eb26b9ad932a44b5cbc92b7b32639fa422d64ed1a79494ca3b785b2a6e28cd95590e1a8874b60a6e1bac4bbec32397690a6b4c665796191aa3d54b7183d154b06db308a4d4aa135755d3bd998ac555b10ddb3e2ccf15eb32b5390b6ee2bac8f888d955a75df592d1c5a4ce8f4ea48b956dea09291a9154c55d5e93a768e04bae7b2aae9ab2ad62333453dc4e952e36a4750baafe4e591a314639526b38b4cbcaa5a927aabada6db532e97066dba3a66494d95d765c2aac31a92933fcac26c2b375513c9884a5c626ba6aeccde7294

Редактировать: Код:

import Numeric;f(x:z)s=f[y|y<-z,0/=mod y x]$s*2+quot(mod x 4)2;f[]s=s;main=putStr$showHex(f[2..38198]0)""

Я пропустил правило о том, что не следует использовать какие-либо библиотечные функции, кроме печати (putStr). Я бы предположил, что математические операторы, хотя они и являются технически функциональными, разрешены.

user253751
источник
9

C 136 116 109 103 символов

Хорошо, вот мои усилия:

i;p;q;main(n){for(;n++,q<4032;){for(i=1;++i<n&&n%i;);if(i==n)p+=p+(n&2)/2,p=++q&3?p:printf("%x",p)*0;}}

MD5 hash = f638552ef987ca302d1b6ecbf0b50e66
брезгливый оссифраж
источник
1
Так как printfвозвращает количество записанных символов, которое здесь всегда ненулевое, вы можете использовать !printf(...)вместо того, printf(...)*0чтобы сохранить один символ.
user12205
@ace * хлопает себя по лбу * А почему я не подумал об этом ?? Спасибо, как всегда :-) (Можно также оставить код таким, какой он есть, поскольку он должен совпадать с хешем MD5.)
брезгливое ossifrage
7

JS, 764

если мы рассмотрим эту строку как base64, мы можем получить уменьшенную версию, используя версию un-base-64-ed:

btoa("wÖºo­÷离÷ÛÖôiÎßÙ¦éÝ}oÎáÇüo­iÏyk^áæ¹õÖ÷{·=áÎ=ç×÷÷i®÷×^ZáÝýï6yÇÛw}swßÎo¶ºÑ×voûÛ~xiÝ[ïÖéî=çv÷Zk½Ú駽{vqÝïÖs­vo}å¶øï®u×¾÷÷õ¦¶{½yé®y×áîk~\Ùöëwoºkv÷¯Ùç7wÏ<õ¿kÝz÷Ûn[kg¶qÍ[Û·x{Ç[׶¸ßß9q¦å¾ß­¸ww:¯xi×{ÑþõÛµoW9yþ¹ßñ×{Õ¯;Õí¹uþ]sMwonå®{ÛÏ|mÞ5ë­8yÖ¶çg=iÏ7o~ç®ÞwW:qÎw᮶s}kÖöwÛf¹k×øoo}Û}öÇÛiî<é¯õ¦ùã®Úß®}õÿvw}¹o}mßá®=ëf¹{}}·¹m¦¶ß]kÝúÕÖ½sÞ½óÞûé¦ößÕݶëW9snºÕǶï®øçf¹wß8oßk¦ù×ÛÞ|ofÜ÷­z×®<9mÝßm[ÝÞá½onõ§}ßf¸á¾\mÏvo¶÷Û­ý}®6ÙÞ¸yÝZïÞ=áÆ·o¿9ofº{owÞy÷GµkÏ;á¾´k§µm§8m·ßmýï¯tk¦øs®¹ïÞµ÷VÝÞxo½|ÝÝyá½:u½ôñ®á¦µßùåÝÛwß|iÎyå½tuÖ÷{g^^o}çto§Ù¶ñÿ<ñßyå®ùuþ}ÙÝ\å®{Çøy®<oÞzuæ´÷oukÝyáÎyw½Ý®úñí8m§»of{ÖÙ§zÛ}÷ãÝs½çg·é®;çFÚi÷¸{uk}xëyÛ¦÷ñ¾mÆå¯ví¦iÖºu¾wÙï{Ó®m­Úë®=áßyw¾¹sfs}Z÷owÝ÷snÙ½ûçwsß<á®\ënk¦qÇ^ïox")

Но я думаю, что автор хочет, чтобы мы нашли логику этой неслучайной строки.

XEM
источник
1
Чтобы избежать "спуска вниз голосов", я добавил некоторые детали в вопрос :-)
Марцио Де Биаси
4

Mathetmatica - 56

Тайна уже разгадана, поэтому просто реализую идею

⌊.5Prime@Range@4032⌋~Mod~2~FromDigits~2~IntegerString~16
рассекать
источник
Ницца. Мне любопытно, какая самая короткая вероятность сейчас, когда кошка вышла из сумки
Claudiu
Вы называете это "нет библиотек (кроме той, которая требуется для печати вывода)"?
Питер Тейлор,
@PeterTaylor Да, нет импорта - нет библиотеки.
swish
Судя по комментариям, я не думаю, что именно так OP намеревался интерпретировать это.
Питер Тейлор,
3

J - 46 символов

Не обращайте на меня внимания, просто загляните сюда для игры в гольф. Не был достаточно умен, чтобы понять трюк.

4[1!:2&4'0123456789abcdef'{~#.2|<.-:p:i.1007 4

Разъяснение:

  • p:i.1007 4- Создайте 1007-строчную матрицу из 4 столбцов целых чисел от 0, затем возьмите простые числа, соответствующие этим целым числам. Да, p:это J встроенный. Да, у нас четыре простых числа.

  • 2|<.-:- Половину каждого числа ( -:), напольные (( <.), и возьми это по модулю 2 ( 2|). Это то же самое, что взять следующий бит в аренду.

  • #.- Конвертировать каждую строку результата из базы 2 в целое число. Это дает нам 1007 номеров от 0 до 15 включительно.

  • '0123456789abcdef'{~#.- Возьмите каждую строку этой матрицы битов в качестве двоичного для числа, и используйте это число, чтобы выбрать из списка шестнадцатеричных цифр. Это преобразует каждые четыре бита в гекс.

  • 1!:2&4- У интерпретатора J есть проблема с выводом строк длиннее 256 символов, поэтому мы должны отправить эти данные напрямую в stdout. Вы выигрываете, вы проигрываете.

  • 4[- Наконец, откажитесь от результата 1!:2и вместо этого выведите недостающие 4 из выходных данных. Мы делаем это, потому что это короче, чем включение последних четырех простых чисел и возвращение пустого результата здесь.

algorithmshark
источник
0

JS, 503

Следующая идея @xem:

s='Ù¦¶3V§K)°¬*ªm¸KLø¶*¬¡KN¥³çÉLIY쳪lZM9uìê$ÌÓ-Ã8N·¦\nÒµ7#T­yªnIURZ§:jéäRÍ-y­Æµ[´vQNó¢çjUMNJ£\/«c̵¦¤.ÃØ©õ3"[¢âÌ'+"'"+'ÔèÛ¤9ʪ[O6$ÓÆö­×q$á±Åïe5l×%ß]À²oZW(½Afí¢Rɬ³lV~ÑÆÌSJbÅY©²Ô¯"¥©ô²#2øû®HjµFz6YÓ%µ½JIb¥äYûåº\n5Ý©6©Éiwj²4-"aÅÂfâvtR¥Ù¹¦µì)X²¼HõŽ/2=OK.²kÙ2¤K\¼·³&9úB-díyIL£·²¦âÙUá¨K`¦áºÄ»ì29v¦´Æeyaª=T·=KÛ0MJ¡5u];Ù¬U[ݳâÌñ^³+S¶î+¬ZußY-ZLèôêH¹VÞ ©LUÕé:vºç²ªé«*Ö#3E=ÄéRãjGPº¯äå£c&³L¼ªZz«­¦ÛS.mº:fIM×eªÃ?ÊÂl+7UÉJ\bk¦®ÌÞr'
r=''
for(var i=0;i<s.length;i++) r+=s.charCodeAt(i).toString(16);
console.log(r)
Антонио Раганьин
источник
0

Математика, 55

Prime~Array~4031~BitAnd~2~FromDigits~2~IntegerString~16

Проверено на Mathematica 8. Для этого используются два наблюдения:

  • Mathematica FromDigitsфактически не проверяет диапазон заданных цифр, поэтому, если вы примените его к списку формы, {2,0,2,2,0,...}вы просто получите в два раза больший результат, чем при обращении {1,0,1,1,0,...}. Но это именно та форма, которая получается путём BitAndсложения простых чисел с 2.
  • Последний бит числа, шестнадцатеричное представление которого мы хотим, оказывается равным нулю (о чем свидетельствует строка, заканчивающаяся четной цифрой), так что это всего лишь в два раза больше числа, которое вы получите с одним простым числом меньше. Но фактор два - это именно то, что мы получаем при использовании предыдущего наблюдения, поэтому все идеально сочетается.
celtschk
источник