Il rompicapo è più giovane dell'iPhone. L'idea con cui gioca, che due segni possano trasportare tutto, se li vincoli bene, ha tre secoli di profondità, e funziona ancora dentro la macchina su cui state leggendo queste righe.
Scritto e redatto in inglese. Questa versione italiana è stata prodotta con traduzione automatica; dove conta la precisione, fa fede l'originale inglese. Leggi l'originale in inglese →
Binairo è un rompicapo giovane. Fu creato dai belgi Peter De Schepper e Frank Coussement nel 2009, quasi nello stesso momento in cui l'italiano Adolfo Zanellati ideava un gioco pressoché identico che chiamò Tohu wa Vohu. 1 L'idea era evidentemente matura: una griglia, due simboli e un piccolo insieme di regole di equilibrio e di adiacenza. Arrivò in modo indipendente in due paesi contemporaneamente.
La conseguenza è un rompicapo che risponde a una piccola folla di nomi. A seconda del giornale o dell'app in cui lo si incontra, lo stesso gioco si chiama Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles o Sudoku Binary, fra gli altri; "Binairo" e "Takuzu" sono marchi registrati nell'Unione Europea. 1 Sotto ogni nome le regole sono quelle che questo motore applica: linee bilanciate, nessuna sequenza di tre e nessuna coppia di linee uguali. 2
Il vero antenato del rompicapo è il sistema numerico binario stesso. Nel 1703 Gottfried Wilhelm Leibniz scrisse Explication de l'Arithmétique Binaire, "Spiegazione dell'aritmetica binaria, che usa solo i caratteri 1 e 0", formalizzando l'idea che qualsiasi quantità, e in seguito qualsiasi messaggio, possa essere scritta con due soli segni. 3 Leibniz ne era così affascinato da riempire più di cento manoscritti sull'argomento, per lo più mai pubblicati. 3
Tre secoli dopo, quell'alfabeto a due simboli è il substrato di tutto ciò che è digitale, e una griglia di Binairo ne è un piccolo affioramento risolvibile a mano. Ogni casella è letteralmente un bit; una griglia 10×10 completata è uno schema di cento bit che soddisfa, guarda caso, alcuni vincoli molto particolari. Il gioco è, in sordina, un rompicapo sull'aritmetica di due simboli, la stessa aritmetica che Leibniz espose.
Guardate una griglia di Binairo risolta e vi sembrerà una dispersione di rumore. Non è niente del genere. Due delle sue regole, mantenere bilanciata ogni linea e non lasciare mai che un simbolo compaia tre volte di fila, sono esattamente le proprietà che le persone credono erroneamente che la vera casualità debba avere. Se ci chiedono di inventare una sequenza di lanci di moneta, quasi tutti per istinto teniamo teste e croci vicine alla parità in ogni breve tratto ed evitiamo le serie, perché una serie ci sembra "poco casuale". 4
Ma le monete vere non si comportano così. La vera casualità produce di continuo serie e squilibri locali; la convinzione che debba autocorreggersi è la ben documentata fallacia del giocatore, radicata nella nostra abitudine di aspettarci che i campioni brevi rispecchino la media di lungo periodo. 4 Binairo prende quell'intuizione sbagliata e la trasforma in legge. Le sue griglie non sono affatto casuali: sono un'imitazione accuratamente progettata del disordine che immaginiamo, più ordinata di quanto il caso sarebbe mai.
Una griglia di Binairo è disordine con un regolamento: la casualità ordinata, senza serie e perfettamente bilanciata che l'intuizione umana desidera, e che il vero caso non offre mai.
Ecco il colpo di scena che chiude il cerchio. Quei due vincoli di "falsa casualità" non sono solo una stranezza cognitiva: gli ingegneri li impongono deliberatamente a flussi reali di bit, per solide ragioni fisiche. Quando i dati viaggiano lungo un cavo o vengono scritti su un disco, una lunga sequenza di bit identici è pericolosa: il ricevitore può perdere la sincronizzazione con il clock, e la tensione media del segnale può andare alla deriva. Per questo i codici di trasmissione sono costruiti per vietare esattamente ciò che vieta Binairo.
L'esempio classico è la codifica 8b/10b, descritta nel 1983 da Al Widmer e Peter Franaszek presso IBM e usata in interfacce come Gigabit Ethernet, USB 3.0 e le prime generazioni di PCI Express. Garantisce che "non ci siano più di cinque uni o zeri di fila", un limite di lunghezza delle sequenze, e, tramite un conteggio progressivo chiamato disparità, mantiene quasi uguali i conteggi di uni e zeri, così che "la differenza tra il numero di uni e di zeri in una stringa di almeno 20 bit non sia superiore a due". 5 Un limite di lunghezza delle sequenze e una regola di equilibrio: i due vincoli che un ingegnere impone a un flusso di bit sano sono, nella sostanza, i due vincoli che una griglia di Binairo impone alle sue righe e colonne.
Così il modesto rompicapo logico si trova a un crocevia sorprendente. Il suo alfabeto è quello di Leibniz, la sua trama è la pseudocasualità ordinata che la nostra mente desidera, e le sue regole sono proprio quelle che mantengono leggibili i dati reali mentre sfrecciano attraverso la fibra ottica e la memoria flash. Quando riempite una griglia di Binairo, bilanciando ogni linea e rifiutando ogni terzo simbolo di fila, state facendo in miniatura il lavoro che un chip di codifica di linea svolge fino a centinaia di milioni di volte al secondo: dare forma a bit grezzi per ottenere un flusso bilanciato, senza serie e privo di ambiguità. 2
Forse è questa la ragione silenziosa per cui il rompicapo dà soddisfazione. Una griglia completata non è solo corretta; è ben formata, nel modo in cui è ben formato un segnale pulito. Due simboli, pochi vincoli, esattamente una soluzione: l'idea più antica dell'informatica, trasformata in qualcosa che si può risolvere a mano davanti a una tazza di caffè.