Ця головоломка молодша за iPhone. Ідея, з якою вона грає, — що дві позначки можуть передати все, якщо добре їх обмежити, — має три століття історії і досі працює всередині пристрою, на якому ви це читаєте.
Написано й відредаговано англійською. Цю українську версію створено машинним перекладом; там, де важлива точність, авторитетним є англійський оригінал. Читати оригінал англійською →
Binairo — молода головоломка. Її створили бельгійці Петер Де Скеппер і Франк Куссеман 2009 року, майже тоді ж, коли італієць Адольфо Цанеллаті вигадав майже ідентичну гру, яку назвав Tohu wa Vohu. 1 Ідея, вочевидь, дозріла: сітка, два символи й невеликий набір правил балансу та сусідства. Вона з’явилася незалежно в двох країнах одночасно.
Наслідок — головоломка, що відгукується на цілий гурт назв. Залежно від газети чи застосунку, де ви її зустрінете, та сама гра називається Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles чи Sudoku Binary, серед інших; «Binairo» і «Takuzu» є зареєстрованими торговельними марками в Європейському Союзі. 1 Під кожною назвою правила ті самі, що їх застосовує цей рушій: збалансовані лінії, жодної серії з трьох і жодних двох однакових ліній. 2
Справжній предок головоломки — сама двійкова система числення. 1703 року Ґотфрід Вільгельм Ляйбніц написав Explication de l'Arithmétique Binaire («Пояснення двійкової арифметики, яка використовує лише символи 1 і 0»), формалізувавши думку, що будь-яку величину, а зрештою й будь-яке повідомлення, можна записати лише двома позначками. 3 Ляйбніц був настільки захоплений, що присвятив цій темі понад сотню рукописів, більшість із яких так і не була опублікована. 3
Через три століття ця двосимвольна абетка є основою всього цифрового, а сітка Binairo — її маленький виступ на поверхні, який можна розв’язати вручну. Кожна клітинка — це буквально біт; завершена дошка 10×10 — це стобітовий візерунок, що задовольняє кілька дуже специфічних обмежень. Гра непомітно є головоломкою про арифметику двох символів — ту саму арифметику, яку виклав Ляйбніц.
Погляньте на розв’язану дошку Binairo, і вона виглядає як розсип шуму. Але це зовсім не так. Два з її правил — тримати кожну лінію збалансованою і ніколи не допускати, щоб символ з’явився тричі поспіль, — це саме ті властивості, які, як помилково вважають люди, повинна мати справжня випадковість. Коли нас просять вигадати послідовність підкидань монети, більшість із нас інстинктивно тримає кількість гербів і чисел майже рівною на кожному короткому відрізку й уникає серій, бо серія здається «невипадковою». 4
Але справжні монети так не поводяться. Справжня випадковість постійно створює серії та локальні дисбаланси; віра в те, що вона мусить сама себе виправляти, — це добре задокументована помилка гравця, що коріниться в нашій звичці очікувати, що короткі вибірки відображатимуть середнє на довгій дистанції. 4 Binairo бере цю хибну інтуїцію і робить її законом. Її дошки зовсім не випадкові, вони — ретельно сконструйована імітація безладу, який ми собі уявляємо, охайніша, ніж будь-коли була б випадковість.
Сітка Binairo — це безлад зі зводом правил: охайна, позбавлена серій, ідеально збалансована випадковість, якої прагне людська інтуїція і якої справжній випадок ніколи не дає.
Ось поворот, що замикає коло. Ці два обмеження «удаваної випадковості» — не просто когнітивна примха: інженери свідомо накладають їх на реальні потоки бітів, і на те є вагомі фізичні причини. Коли дані передаються дротом або записуються на диск, довга серія однакових бітів небезпечна: приймач може втратити синхронізацію з тактовим сигналом, а середня напруга сигналу може дрейфувати. Тому коди передавання будують так, щоб заборонити саме те, що забороняє Binairo.
Класичний приклад — кодування 8b/10b, описане 1983 року Елом Відмером і Пітером Франашеком в IBM, яке використовують у таких інтерфейсах, як Gigabit Ethernet, USB 3.0 і ранні покоління PCI Express. Воно гарантує, що «поспіль не буває більше ніж п’ять одиниць або нулів», — обмеження довжини серії, — а завдяки поточному підрахунку, що зветься диспаритетом, підтримує кількість одиниць і нулів майже рівною, тож «різниця між кількістю одиниць і нулів у рядку щонайменше з 20 бітів не перевищує двох». 5 Обмеження довжини серії і правило балансу: два обмеження, які інженер накладає на здоровий потік бітів, за своєю суттю збігаються з двома обмеженнями, які дошка Binairo накладає на свої рядки та стовпці.
Тож скромна логічна головоломка стоїть на несподіваному перехресті. Її абетка — від Ляйбніца, її фактура — охайна псевдовипадковість, якої прагне наш розум, а її правила — саме ті, що зберігають реальні дані розбірливими, поки вони мчать оптоволокном і флеш-пам’яттю. Коли ви заповнюєте сітку Binairo, балансуючи кожну лінію й відкидаючи кожен третій символ поспіль, ви в мініатюрі виконуєте роботу, яку мікросхема лінійного кодування робить до сотень мільйонів разів на секунду: формуєте із сирих бітів потік, збалансований, без серій і однозначний. 2
Можливо, саме в цьому тиха причина того, що головоломка приносить задоволення. Завершена дошка не просто правильна; вона добре сформована так само, як добре сформований чистий сигнал. Два символи, кілька обмежень, рівно одна відповідь — найдавніша ідея обчислювальної техніки, перетворена на щось, що можна розв’язати вручну за чашкою кави.