Łamigłówka jest młodsza od iPhone'a. Pomysł, którym się bawi, że dwa znaki mogą przenieść wszystko, jeśli dobrze się je ograniczy, sięga trzech stuleci wstecz i wciąż działa wewnątrz urządzenia, na którym to czytasz.
Napisane i zredagowane po angielsku. Ta polska wersja powstała w wyniku tłumaczenia maszynowego; tam, gdzie liczy się precyzja, rozstrzygający jest angielski oryginał. Przeczytaj oryginał po angielsku →
Binairo to młoda łamigłówka. Stworzyli ją Belgowie Peter De Schepper i Frank Coussement w 2009 roku, niemal w tym samym momencie, w którym Włoch Adolfo Zanellati wymyślił niemal identyczną grę, nazwaną przez niego Tohu wa Vohu. 1 Pomysł najwyraźniej dojrzał: siatka, dwa symbole i niewielki zestaw zasad dotyczących równowagi i sąsiedztwa. Pojawił się niezależnie w dwóch krajach naraz.
W efekcie łamigłówka odpowiada na całą gromadkę nazw. Zależnie od gazety czy aplikacji, w której ją spotkasz, ta sama gra nazywa się Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles, Sudoku Binary i jeszcze inaczej; „Binairo” i „Takuzu” są zastrzeżonymi znakami towarowymi w Unii Europejskiej. 1 Pod każdą nazwą obowiązują te same zasady, których pilnuje ten silnik: zrównoważone linie, żadnego ciągu trzech takich samych symboli i żadnych dwóch identycznych linii. 2
Prawdziwym przodkiem łamigłówki jest sam dwójkowy system liczbowy. W 1703 roku Gottfried Wilhelm Leibniz napisał Explication de l'Arithmétique Binaire, „Objaśnienie arytmetyki dwójkowej, która posługuje się wyłącznie znakami 1 i 0”, formalizując ideę, że każdą wielkość, a w końcu każdą wiadomość, można zapisać za pomocą zaledwie dwóch znaków. 3 Leibniz był tym tak zafascynowany, że zapełnił na ten temat ponad sto rękopisów, w większości nigdy nieopublikowanych. 3
Trzy stulecia później ten dwuznakowy alfabet jest podłożem wszystkiego, co cyfrowe, a siatka Binairo jest jego małą wychodnią, którą da się rozwiązać ręcznie. Każde pole to dosłownie bit; ukończona plansza 10×10 to stubitowy wzór, który akurat spełnia pewne bardzo szczególne ograniczenia. Gra jest, po cichu, łamigłówką o arytmetyce dwóch symboli, tej samej arytmetyce, którą wyłożył Leibniz.
Spójrz na rozwiązaną planszę Binairo, a wyda ci się rozsypanym szumem. Nie jest nim wcale. Dwie z jej zasad, utrzymuj każdą linię w równowadze i nigdy nie pozwól, by symbol pojawił się trzy razy z rzędu, to dokładnie te własności, które ludzie błędnie przypisują prawdziwej losowości. Poproszeni o zmyślenie sekwencji rzutów monetą, większość z nas instynktownie utrzymuje orły i reszki blisko równowagi w każdym krótkim odcinku i unika serii, bo seria wydaje się „nielosowa”. 4
Ale prawdziwe monety tak się nie zachowują. Prawdziwa losowość bez przerwy wytwarza serie i lokalne nierównowagi; przekonanie, że musi się sama korygować, to dobrze udokumentowany błąd hazardzisty, zakorzeniony w naszym nawyku oczekiwania, że krótkie próbki odzwierciedlą średnią długoterminową. 4 Binairo bierze tę mylną intuicję i czyni z niej prawo. Jego plansze wcale nie są losowe, są starannie zaprojektowaną imitacją nieładu, jaki sobie wyobrażamy, porządniejszą, niż kiedykolwiek byłby przypadek.
Siatka Binairo to nieład z regulaminem: uporządkowana, wolna od serii, idealnie zrównoważona losowość, jakiej pragnie ludzka intuicja i jakiej prawdziwy przypadek nigdy nie dostarcza.
Oto zwrot akcji, który zamyka pętlę. Te dwa ograniczenia „udawanej losowości” nie są tylko osobliwością poznawczą: inżynierowie celowo nakładają je na prawdziwe strumienie bitów, z twardych, fizycznych powodów. Gdy dane są przesyłane przewodem lub zapisywane na dysku, długa seria identycznych bitów jest niebezpieczna: odbiornik może zgubić synchronizację zegara, a średnie napięcie sygnału może dryfować. Dlatego kody transmisyjne buduje się tak, by zakazywały dokładnie tego, czego zakazuje Binairo.
Klasycznym przykładem jest kodowanie 8b/10b, opisane w 1983 roku przez Ala Widmera i Petera Franaszka z IBM i stosowane w takich interfejsach jak Gigabit Ethernet, USB 3.0 i wczesne generacje PCI Express. Gwarantuje ono, że „nie występuje więcej niż pięć jedynek lub zer z rzędu”, czyli ogranicza długość serii, a dzięki bieżącemu bilansowi zwanemu dysparytetem utrzymuje liczby jedynek i zer niemal równe, tak że „różnica między liczbą jedynek i zer w ciągu co najmniej 20 bitów wynosi nie więcej niż dwa”. 5 Ograniczenie długości serii i zasada równowagi: dwa ograniczenia, które inżynier nakłada na zdrowy strumień bitów, to w gruncie rzeczy te same dwa ograniczenia, które plansza Binairo nakłada na swoje wiersze i kolumny.
Ta skromna łamigłówka logiczna stoi więc na zaskakującym skrzyżowaniu. Jej alfabet pochodzi od Leibniza, jej faktura to uporządkowana pseudolosowość, której łakną nasze umysły, a jej zasady to te same, które utrzymują prawdziwe dane w czytelnej postaci, gdy pędzą przez światłowody i pamięć flash. Gdy wypełniasz siatkę Binairo, równoważąc każdą linię i odrzucając każdy trzeci symbol z rzędu, wykonujesz w miniaturze pracę, którą układ kodowania liniowego wykonuje nawet setki milionów razy na sekundę: kształtujesz surowe bity w strumień zrównoważony, wolny od serii i jednoznaczny. 2
Być może to jest cichy powód, dla którego ta łamigłówka daje satysfakcję. Ukończona plansza jest nie tylko poprawna; jest dobrze uformowana tak, jak dobrze uformowany jest czysty sygnał. Dwa symbole, kilka ograniczeń, dokładnie jedna odpowiedź: najstarsza idea informatyki, zamieniona w coś, co można rozwiązać ręcznie przy filiżance kawy.