Takuzu, also known as Binairo, is a
logic puzzle
A logic puzzle is a puzzle deriving from the mathematics, mathematical field of deductive reasoning, deduction.
History
The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the a ...
involving placement of two symbols, often 1s and 0s, on a rectangular grid. The objective is to fill the grid with 1s and 0s, where there is an equal number of 1s and 0s in each row and column and no more than two of either number adjacent to each other. Additionally, there can be no identical rows or columns. Similar to
Sudoku
Sudoku (; ; originally called Number Place) is a logic puzzle, logic-based, combinatorics, combinatorial number-placement puzzle. In classic Sudoku, the objective is to fill a 9 × 9 grid with digits so that each column, each row, and ...
, each puzzle begins with several squares in the grid already filled.
Names and variations
The game is known as Binairo, Takuzu, Binero,
(Formless and Empty), Eins und Zwei (One and Two), Binary Puzzles, Binoxxo, Zernero,
Tic-Tac-Logic,
and Sudoku Binary. The names "Binairo" and "Takuzu" are trademarked in the European Union. The name "Binero" is trademarked in France by Editions Megastar.
LinkedIn publishes a version of this game as well, called Tango.
Certain names imply specific symbols being used. For example, Binary Puzzles use 1s and 0s (i.e.
binary number
A binary number is a number expressed in the Radix, base-2 numeral system or binary numeral system, a method for representing numbers that uses only two symbols for the natural numbers: typically "0" (zero) and "1" (one). A ''binary number'' may ...
s), Tic-Tac-Logic uses Xs and Os (like
tic-tac-toe
Tic-tac-toe (American English), noughts and crosses (English in the Commonwealth of Nations, Commonwealth English), or Xs and Os (Canadian English, Canadian or Hiberno-English, Irish English) is a paper-and-pencil game for two players who ta ...
), Eins und Zwei uses 1s and 2s, and Tohu-Wa-Vohu uses T and V symbols. However, many of the names are used for any variation of symbols. Black and white circles (or squares) are another commonly used pair of symbols. Any variation of two numbers, letters, colors, or pictures can work as the two symbols, though it is generally common for the symbols to be 1s, Xs, or shapes.
The rectangular grid sizes can vary greatly. Since the objective is to have equal number of both symbols in each row and column, the number of rows and columns is normally even. Though not required, grids are often square. Common sizes range from 4x4 to 20x20.
Larger puzzles are also made, including ones that use a 30x40 grid.
Some variations allow identical rows and columns.
[ Another variation, Odd Binairo, has an odd number of rows and columns with each containing one more 1 than 0s (i.e. in a 11x11 grid, each row and column has 5 zeros and 6 ones).]
History
There are two competing origins to the puzzle, both created around the same time. Tohu wa Vohu was invented by Italian Adolfo Zanellati.[ Binairo was created by Belgians Peter De Schepper and Frank Coussement in 2009.][
Tic-Tac-Logic claims its origin on creating a single-player version of tic-tac-toe. Like tic-tac-toe, it uses Xs and Os. The two-player game's goal is to create three in a row, while in Tic-Tac-Logic, the goal is to prevent any three in a row.][
]
Solving methods
File:Takuzu unsolved grid.svg, An unsolved 4×4 Takuzu grid
File:Takuzu solved grid.svg, The same grid, solved
* Each row and each column must contain an equal number of 0s and 1s. Therefore, if the required number of 0s or 1s is reached in a row or a column, the remaining cells must contain the other digit (1xx101 → 100101).
* More than two of the same digits can't be adjacent. Therefore, if two adjacent cells contain the same digit, the cells next to the digits must contain the other digit (xxx00x → xx1001). Likewise, if two cells contain the same digit with one empty cell in between, this empty cell must contain the other digit, because otherwise three same digit appears (x1x1xx → x101xx).
* Eliminate the impossible. For example, if the sixth cell in 110xxx is made a 1, balancing the number of 0s and 1s forces a trio to appear (110xxx → 110xx1 → 110001), so it can't be a 1. Therefore, the sixth cell must contain a 0 (110xxx → 110xx0).
* Each row and column is unique (100101 & 1001xx → 100101 & 100110).
Mathematics
A zero-knowledge proof
In cryptography, a zero-knowledge proof (also known as a ZK proof or ZKP) is a protocol in which one party (the prover) can convince another party (the verifier) that some given statement is true, without conveying to the verifier any information ...
for the puzzle was published in Jun 2016.
The puzzle was adapted for modeling quantum agents.
Mathematicians of Dutch university (PH Utomo and RH Makarim) proposed three different approaches to solve binary puzzles: using backtrack-based search, SAT solvers, and Gröbner bases algorithms.
References
External links
Python Takuzu solver
{{Use dmy dates, date=September 2019
Logic puzzles