De puzzel is jonger dan de iPhone. Het idee waarmee hij speelt, dat twee tekens alles kunnen dragen als je ze maar goed aan banden legt, gaat drie eeuwen terug en draait nog steeds in het apparaat waarop je dit leest.
In het Engels geschreven en geredigeerd. Deze Nederlandse versie is met machinevertaling gemaakt; waar precisie ertoe doet, is het Engelse origineel leidend. Lees het origineel in het Engels →
Binairo is een jonge puzzel. Hij werd in 2009 bedacht door de Belgen Peter De Schepper en Frank Coussement, vrijwel op hetzelfde moment dat de Italiaan Adolfo Zanellati een bijna identiek spel ontwierp dat hij Tohu wa Vohu noemde. 1 Het idee lag kennelijk voor het oprapen: een rooster, twee symbolen en een handvol regels over evenwicht en nabuurschap. Het dook onafhankelijk van elkaar in twee landen tegelijk op.
Het gevolg is een puzzel die naar een hele reeks namen luistert. Afhankelijk van de krant of app waarin je hem tegenkomt, heet hetzelfde spel onder meer Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles of Sudoku Binary; "Binairo" en "Takuzu" zijn in de Europese Unie als merk geregistreerd. 1 Onder elke naam gelden de regels die deze engine afdwingt: evenwichtige lijnen, nooit drie gelijke op een rij, en geen twee lijnen die gelijk zijn. 2
De echte voorouder van de puzzel is het binaire talstelsel zelf. In 1703 schreef Gottfried Wilhelm Leibniz Explication de l'Arithmétique Binaire, "Uitleg van de binaire rekenkunde, die alleen de tekens 1 en 0 gebruikt", waarmee hij het idee formaliseerde dat elke hoeveelheid, en uiteindelijk elke boodschap, met slechts twee tekens kan worden geschreven. 3 Leibniz was er zo door gefascineerd dat hij er meer dan honderd manuscripten over volschreef, waarvan de meeste nooit zijn gepubliceerd. 3
Drie eeuwen later is dat alfabet van twee symbolen de ondergrond van alles wat digitaal is, en een Binairo-rooster is er een kleine, met de hand oplosbare uitloper van. Elk vakje is letterlijk een bit; een ingevuld bord van 10×10 is een patroon van honderd bits dat toevallig aan een paar heel specifieke voorwaarden voldoet. Het spel is, zonder dat het opvalt, een puzzel over de rekenkunde van twee symbolen, dezelfde rekenkunde die Leibniz uiteenzette.
Bekijk een opgelost Binairo-bord en het leest als een wolk ruis. Dat is het allerminst. Twee van zijn regels, houd elke lijn in evenwicht en laat een symbool nooit drie keer achter elkaar voorkomen, zijn precies de eigenschappen waarvan mensen ten onrechte denken dat echte willekeur ze moet hebben. Gevraagd om een reeks muntworpen te verzinnen, houden de meesten van ons kop en munt instinctief in elk kort stuk ongeveer gelijk en schrikken we terug voor reeksen, omdat een reeks "onwillekeurig" aanvoelt. 4
Maar echte munten gedragen zich niet zo. Echte willekeur levert voortdurend reeksen en plaatselijke onevenwichtigheden op; de overtuiging dat ze zichzelf moet corrigeren, is de goed gedocumenteerde gokkersdrogreden, die wortelt in onze gewoonte om te verwachten dat korte steekproeven het gemiddelde op lange termijn weerspiegelen. 4 Binairo neemt die verkeerde intuïtie en verheft haar tot wet. De borden zijn helemaal niet willekeurig, ze zijn een zorgvuldig geconstrueerde imitatie van de wanorde die we ons voorstellen, netter dan het toeval ooit zou zijn.
Een Binairo-rooster is wanorde met een reglement: de nette, reeksvrije, perfect evenwichtige willekeur die de menselijke intuïtie verlangt, en die echt toeval nooit levert.
Hier komt de wending die de cirkel rondmaakt. Die twee voorwaarden van "nepwillekeur" zijn niet alleen een cognitieve eigenaardigheid: ingenieurs leggen ze bewust op aan echte bitstromen, om harde fysieke redenen. Wanneer gegevens over een draad worden verzonden of naar een schijf worden geschreven, is een lange reeks identieke bits gevaarlijk: de ontvanger kan de klok uit het oog verliezen, en de gemiddelde spanning van het signaal kan gaan verlopen. Daarom worden transmissiecodes zo gebouwd dat ze precies verbieden wat Binairo verbiedt.
Het klassieke voorbeeld is 8b/10b-codering, in 1983 beschreven door Al Widmer en Peter Franaszek bij IBM en gebruikt in interfaces zoals Gigabit Ethernet, USB 3.0 en de eerste generaties van PCI Express. Die garandeert dat "er niet meer dan vijf enen of nullen achter elkaar staan", een begrenzing van de reekslengte, en houdt via een lopende telling die disparity (dispariteit) heet het aantal enen en nullen vrijwel gelijk, zodat "het verschil tussen het aantal enen en nullen in een reeks van minstens 20 bits niet meer dan twee bedraagt". 5 Een begrenzing van de reekslengte en een evenwichtsregel: de twee voorwaarden die een ingenieur aan een gezonde bitstroom stelt, zijn in wezen de twee voorwaarden die een Binairo-bord aan zijn rijen en kolommen stelt.
Zo staat de bescheiden logicapuzzel op een verrassend kruispunt. Zijn alfabet is dat van Leibniz, zijn textuur is de nette pseudowillekeur waar onze geest naar hunkert, en zijn regels zijn precies de regels die echte data leesbaar houden terwijl ze door glasvezel en flashgeheugen razen. Wanneer je een Binairo-rooster invult, elke lijn in evenwicht brengt en elke derde op een rij weigert, doe je in het klein het werk dat een lijncoderingschip tot honderden miljoenen keren per seconde doet: ruwe bits vormen tot een stroom die evenwichtig, reeksvrij en eenduidig is. 2
Dat is misschien de stille reden waarom de puzzel zoveel voldoening geeft. Een ingevuld bord is niet alleen correct; het is welgevormd, zoals een zuiver signaal welgevormd is. Twee symbolen, een paar voorwaarden, precies één antwoord: het oudste idee in de informatica, omgevormd tot iets wat je met de hand kunt oplossen bij een kop koffie.