Takuzu , también conocido como Binairo , es un rompecabezas de lógica que implica la colocación de dos símbolos, a menudo 1 y 0, en una cuadrícula rectangular. El objetivo es llenar la cuadrícula con unos y ceros, donde hay un número igual de unos y ceros en cada fila y columna y no más de dos de cada número adyacentes entre sí. Además, no puede haber filas o columnas idénticas. Al igual que en el Sudoku , cada rompecabezas comienza con varios cuadrados de la cuadrícula ya llenos.
El juego se conoce como Binairo, Takuzu, Binero, [1] [2] Tohu-Wa-Vohu (Sin forma y vacío), Eins und Zwei (Uno y dos), Binary Puzzles, Binoxxo, Zernero, [3] Tic-Tac. -Lógica, [4] y Sudoku Binario. [5] Los nombres "Binairo" y "Takuzu" son marcas registradas en la Unión Europea. [6] [7] El nombre "Binero" es una marca registrada en Francia por Editions Megastar. [8]
Ciertos nombres implican el uso de símbolos específicos. Por ejemplo, los rompecabezas binarios usan 1 y 0 (es decir, números binarios ), Tic-Tac-Logic usa X y Os (como tic-tac-toe ), Eins und Zwei usa 1 y 2, y Tohu-Wa-Vohu usa T y Símbolos V. Sin embargo, muchos de los nombres se utilizan para cualquier variación de símbolos. Los círculos (o cuadrados) en blanco y negro son otro par de símbolos de uso común. Cualquier variación de dos números, letras, colores o imágenes puede funcionar como dos símbolos, aunque generalmente es común que los símbolos sean 1, X o formas.
Los tamaños de la cuadrícula rectangular pueden variar mucho. Dado que el objetivo es tener el mismo número de ambos símbolos en cada fila y columna, el número de filas y columnas normalmente es par. Aunque no es obligatorio, las cuadrículas suelen ser cuadradas. Los tamaños comunes van desde 4x4 hasta 20x20. [9] [10] También se fabrican rompecabezas más grandes, incluidos los que utilizan una cuadrícula de 30x40. [11]
Algunas variaciones permiten filas y columnas idénticas. [3] Otra variación, Odd Binairo, tiene un número impar de filas y columnas y cada una contiene un 1 más que 0 (es decir, en una cuadrícula de 11x11, cada fila y columna tiene 5 ceros y 6 unos). [12]
El rompecabezas tiene dos orígenes en competencia, ambos creados aproximadamente al mismo tiempo. Tohu wa Vohu fue inventado por el italiano Adolfo Zanellati. [3] Binairo fue creado por los belgas Peter De Schepper y Frank Coussement en 2009. [1] [12]
Tic-Tac-Logic afirma su origen al crear una versión de tres en raya para un jugador. Al igual que el tres en raya, utiliza X y O. El objetivo del juego de dos jugadores es crear tres seguidos, mientras que en Tic-Tac-Logic, el objetivo es evitar tres seguidos. [4]
En junio de 2016 se publicó una prueba de conocimiento cero para el rompecabezas . [13] [14]
El rompecabezas fue adaptado para modelar agentes cuánticos. [15]
Los matemáticos de la universidad holandesa (PH Utomo y RH Makarim) propusieron tres enfoques diferentes para resolver acertijos binarios: utilizando búsqueda basada en retroceso, solucionadores SAT y algoritmos de bases de Gröbner. [16] Los dos últimos enfoques reducen el problema de resolver un rompecabezas binario a un problema de satisfacibilidad booleano y resolver sistemas de ecuaciones polinómicas sobre el campo binario.
{{cite web}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)