El puzle es más joven que el iPhone. La idea con la que juega, que dos marcas pueden contenerlo todo si se las restringe bien, tiene tres siglos de antigüedad y sigue funcionando dentro de la máquina en la que estás leyendo esto.
Redactado y editado en inglés. Esta versión en español se ha generado mediante traducción automática; cuando la precisión importe, la versión de referencia es el original en inglés. Leer el original en inglés →
Binairo es un puzle joven. Lo crearon los belgas Peter De Schepper y Frank Coussement en 2009, casi en el mismo momento en que el italiano Adolfo Zanellati ideaba un juego casi idéntico al que llamó Tohu wa Vohu. 1 Era evidente que la idea estaba madura: una cuadrícula, dos símbolos y un pequeño conjunto de reglas de equilibrio y adyacencia. Surgió de forma independiente en dos países a la vez.
La consecuencia es un puzle que responde a un pequeño tropel de nombres. Según el periódico o la aplicación en que te lo encuentres, el mismo juego se llama Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles o Sudoku Binary, entre otros; «Binairo» y «Takuzu» son marcas registradas en la Unión Europea. 1 Bajo cualquier nombre, las reglas son las que aplica este motor: líneas equilibradas, nada de tres seguidos y ninguna línea repetida. 2
El verdadero antepasado del puzle es el propio sistema binario de numeración. En 1703, Gottfried Wilhelm Leibniz escribió Explication de l'Arithmétique Binaire, «Explicación de la aritmética binaria, que utiliza solo los caracteres 1 y 0», con la que formalizaba la noción de que cualquier cantidad, y con el tiempo cualquier mensaje, puede escribirse con solo dos marcas. 3 A Leibniz le fascinó tanto el asunto que llenó más de un centenar de manuscritos sobre él, la mayoría nunca publicados. 3
Tres siglos después, ese alfabeto de dos símbolos es el sustrato de todo lo digital, y una cuadrícula de Binairo es un pequeño afloramiento suyo que puede resolverse a mano. Cada casilla es literalmente un bit; un tablero de 10×10 terminado es un patrón de cien bits que resulta cumplir unas restricciones muy particulares. El juego es, discretamente, un puzle sobre la aritmética de dos símbolos, la misma aritmética que expuso Leibniz.
Mira un tablero de Binairo resuelto y parece un revoltijo de ruido. No es nada de eso. Dos de sus reglas, mantener equilibrada cada línea y no dejar nunca que un símbolo aparezca tres veces seguidas, son precisamente las propiedades que la gente cree, equivocadamente, que debe tener el verdadero azar. Si nos piden inventar una secuencia de lanzamientos de moneda, la mayoría mantenemos por instinto las caras y las cruces casi igualadas en cada tramo corto y evitamos las rachas, porque una racha «no parece aleatoria». 4
Pero las monedas de verdad no se comportan así. El azar auténtico produce rachas y desequilibrios locales continuamente; la creencia de que debe corregirse solo es la conocida falacia del jugador, que nace de nuestra costumbre de esperar que las muestras cortas reflejen el promedio a largo plazo. 4 Binairo toma esa intuición errónea y la convierte en ley. Sus tableros no son aleatorios en absoluto: son una imitación cuidadosamente diseñada del desorden que imaginamos, más ordenada de lo que el azar lo sería jamás.
Una cuadrícula de Binairo es desorden con reglamento: el azar pulcro, sin rachas y perfectamente equilibrado que quiere la intuición humana, y que el azar real nunca ofrece.
Este es el giro que cierra el círculo. Esas dos restricciones de «falso azar» no son solo una peculiaridad cognitiva: los ingenieros las imponen deliberadamente a flujos reales de bits, por sólidas razones físicas. Cuando se envían datos por un cable o se escriben en un disco, una racha larga de bits idénticos es peligrosa: el receptor puede perder la sincronía con el reloj y la tensión media de la señal puede derivar. Por eso los códigos de transmisión se diseñan para prohibir exactamente lo que prohíbe Binairo.
El ejemplo clásico es la codificación 8b/10b, descrita en 1983 por Al Widmer y Peter Franaszek en IBM y utilizada en interfaces como Gigabit Ethernet, USB 3.0 y las primeras generaciones de PCI Express. Garantiza que «no hay más de cinco unos o ceros seguidos», un límite de longitud de racha, y, mediante un recuento acumulado llamado disparidad, mantiene casi iguales las cantidades de unos y de ceros, de modo que «la diferencia entre el número de unos y de ceros en una cadena de al menos 20 bits no es mayor que dos». 5 Un límite de longitud de racha y una regla de equilibrio: las dos restricciones que un ingeniero impone a un flujo de bits sano son, en esencia, las dos restricciones que un tablero de Binairo impone a sus filas y columnas.
Así que este modesto puzle de lógica se sitúa en una encrucijada sorprendente. Su alfabeto es el de Leibniz, su textura es el pseudoazar ordenado que ansía nuestra mente, y sus reglas son las mismas que mantienen legibles los datos reales mientras recorren a toda velocidad la fibra óptica y la memoria flash. Cuando rellenas una cuadrícula de Binairo, equilibrando cada línea y negándote a poner el tercero seguido, estás haciendo en miniatura el trabajo que un chip de codificación de línea realiza hasta cientos de millones de veces por segundo: dar a los bits en bruto la forma de un flujo equilibrado, sin rachas y sin ambigüedades. 2
Quizá esa sea la razón callada por la que el puzle satisface. Un tablero terminado no solo es correcto; está bien formado, del mismo modo que lo está una señal limpia. Dos símbolos, unas pocas restricciones, exactamente una respuesta: la idea más antigua de la informática, convertida en algo que puedes resolver a mano con una taza de café.