O quebra-cabeça é mais novo que o iPhone. A ideia com que ele brinca, a de que duas marcas podem carregar tudo, se você as restringir bem, tem três séculos de profundidade e ainda funciona dentro da máquina em que você está lendo isto.
Escrito e editado em inglês. Esta versão em português foi produzida por tradução automática; quando a precisão importa, o original em inglês é a referência. Ler o original em inglês →
O Binairo é um quebra-cabeça jovem. Foi criado pelos belgas Peter De Schepper e Frank Coussement em 2009, quase no mesmo momento em que o italiano Adolfo Zanellati concebeu um jogo quase idêntico, que chamou de Tohu wa Vohu. 1 A ideia evidentemente estava madura: uma grade, dois símbolos e um pequeno conjunto de regras de equilíbrio e adjacência. Ela surgiu de forma independente em dois países ao mesmo tempo.
A consequência é um quebra-cabeça que atende por uma pequena multidão de nomes. Dependendo do jornal ou do aplicativo em que você o encontra, o mesmo jogo se chama Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles ou Sudoku Binary, entre outros; “Binairo” e “Takuzu” são marcas registradas na União Europeia. 1 Sob qualquer nome, as regras são as que este motor aplica: linhas equilibradas, nenhuma sequência de três e nenhuma linha igual a outra. 2
O verdadeiro ancestral do quebra-cabeça é o próprio sistema de numeração binária. Em 1703, Gottfried Wilhelm Leibniz escreveu Explication de l'Arithmétique Binaire, “Explicação da aritmética binária, que usa apenas os caracteres 1 e 0”, formalizando a noção de que qualquer quantidade, e com o tempo qualquer mensagem, pode ser escrita com apenas duas marcas. 3 Leibniz ficou fascinado a ponto de encher mais de cem manuscritos sobre o assunto, a maioria deles nunca publicada. 3
Três séculos depois, esse alfabeto de dois símbolos é o substrato de tudo o que é digital, e uma grade de Binairo é um pequeno afloramento dele, resolvível à mão. Cada casa é literalmente um bit; um tabuleiro 10×10 concluído é um padrão de cem bits que por acaso satisfaz algumas restrições muito particulares. O jogo é, discretamente, um quebra-cabeça sobre a aritmética de dois símbolos, a mesma aritmética que Leibniz expôs.
Olhe para um tabuleiro de Binairo resolvido e ele parece uma dispersão de ruído. Não é nada disso. Duas de suas regras, manter cada linha equilibrada e nunca deixar um símbolo aparecer três vezes seguidas, são precisamente as propriedades que as pessoas erroneamente acreditam que a verdadeira aleatoriedade deve ter. Quando precisamos inventar uma sequência de cara ou coroa, a maioria de nós mantém instintivamente caras e coroas quase empatadas em cada trecho curto e evita as sequências repetidas, porque uma sequência parece “pouco aleatória”. 4
Mas moedas de verdade não se comportam assim. A verdadeira aleatoriedade produz sequências e desequilíbrios locais o tempo todo; a crença de que ela precisa se autocorrigir é a bem documentada falácia do apostador, enraizada em nosso hábito de esperar que amostras curtas espelhem a média de longo prazo. 4 O Binairo pega essa intuição equivocada e a transforma em lei. Seus tabuleiros não são nada aleatórios: são uma imitação cuidadosamente projetada da desordem que imaginamos, mais arrumada do que o acaso jamais seria.
Uma grade de Binairo é desordem com livro de regras: a aleatoriedade arrumada, sem sequências repetidas e perfeitamente equilibrada que a intuição humana deseja, e que o acaso real nunca entrega.
Eis a reviravolta que fecha o ciclo. Essas duas restrições de “falsa aleatoriedade” não são apenas uma peculiaridade cognitiva: engenheiros as impõem deliberadamente a fluxos reais de bits, por razões físicas sérias. Quando dados são enviados por um fio ou gravados em um disco, uma longa sequência de bits idênticos é perigosa: o receptor pode perder a referência do relógio, e a tensão média do sinal pode derivar. Por isso, os códigos de transmissão são construídos para proibir exatamente o que o Binairo proíbe.
O exemplo clássico é a codificação 8b/10b, descrita em 1983 por Al Widmer e Peter Franaszek na IBM e usada em interfaces como Gigabit Ethernet, USB 3.0 e as primeiras gerações do PCI Express. Ela garante que “não haja mais de cinco uns ou zeros seguidos”, um limite de comprimento de sequência, e, por meio de uma contagem contínua chamada disparidade, mantém quase iguais as quantidades de uns e zeros, de modo que “a diferença entre as contagens de uns e zeros em uma cadeia de pelo menos 20 bits não passa de dois”. 5 Um limite de comprimento de sequência e uma regra de equilíbrio: as duas restrições que um engenheiro impõe a um fluxo de bits saudável são, em essência, as duas restrições que um tabuleiro de Binairo impõe às suas linhas e colunas.
Assim, o modesto quebra-cabeça de lógica está numa encruzilhada surpreendente. Seu alfabeto é o de Leibniz, sua textura é a pseudoaleatoriedade arrumada que nossa mente deseja, e suas regras são exatamente as que mantêm os dados reais legíveis enquanto correm por fibra óptica e memória flash. Quando você preenche uma grade de Binairo, equilibrando cada linha e recusando cada terceiro símbolo seguido, está fazendo, em miniatura, o trabalho que um chip de codificação de linha faz até centenas de milhões de vezes por segundo: moldar bits brutos em um fluxo equilibrado, sem sequências repetidas e sem ambiguidade. 2
Talvez seja essa a razão discreta pela qual o quebra-cabeça satisfaz. Um tabuleiro concluído não está apenas correto; está bem formado, do mesmo jeito que um sinal limpo é bem formado. Dois símbolos, algumas restrições, exatamente uma resposta: a ideia mais antiga da computação, transformada em algo que você pode resolver à mão, com uma xícara de café.