THE THREE RULES, RECALLED
Takuzu has three rules: (1) No three in a row — no row or column may contain three consecutive identical digits. (2) Balance — every row and column contains exactly the same number of 0s and 1s (for an even- sized grid, that's N/2 each). (3) No duplicates — no two rows are identical, and no two columns are identical.
Most Takuzu solvers use Rule 1 instinctively and occasionally invoke Rule 2. Rule 3 is often ignored until the endgame. Proper Takuzu strategy uses all three rules actively — and Rule 3 is often the one that breaks an otherwise unsolvable grid.
TECHNIQUE 1: THE THREE-IN-A-ROW BLOCK
If two consecutive identical digits appear in a row or column, the cell immediately before and the cell immediately after must both be the opposite digit — otherwise you'd get three in a row.
This is the most commonly applied rule and the first thing to scan for. Any pair of identical neighbours immediately constrains both flanking cells. Apply this across every row and column on your first pass; it often solves 30–40% of the empty cells on beginner grids.
TECHNIQUE 2: THE GAP FILL
If two identical digits appear with exactly one empty cell between them — X _ X — the gap must be the opposite digit. Placing the same digit in the gap would create three in a row.
This is a variation of Technique 1 that's easy to miss on first scan because the two identical cells aren't adjacent. After your first consecutive-pair pass, do a second pass specifically looking for one-cell gaps between same-digit cells.
TECHNIQUE 3: BALANCE ARITHMETIC
Every row and column must have exactly N/2 zeros and N/2 ones. As you fill in cells, count running totals: how many 0s and how many 1s does each row/column already contain?
When a row has reached its quota of one digit, all remaining empty cells in that row must be the other digit. For example, in an 8×8 grid, once a row has 4 ones, all remaining cells in that row must be zeros.
This is often where a stalled grid suddenly resolves — you haven't explicitly counted the balance in a near-complete row, but once you do, the remaining cells fill in immediately and cascade into adjacent rows/columns.
Track balance early and update it as you go. Don't wait until a row is "almost done" — catching a balance constraint with 3 cells left is more useful than catching it with 1.
TECHNIQUE 4: OVERLAP FORCING
When a row has only 2 empty cells and needs one of each digit, you know the two empty cells are 0 and 1 (in some order). If only one assignment avoids three-in-a-row, that assignment is forced.
More generally: when the remaining empty cells in a row are few, enumerate the valid completions. Often only one valid completion exists (given the balance + no-three-in-a-row constraints), forcing all remaining cells at once.
This is the fastest technique for near-complete rows and columns — it's essentially exhaustive search at small scale, but with only 2–3 cells left, the search tree is tiny.
TECHNIQUE 5: NO-DUPLICATE-ROW INFERENCE
Rule 3 (no two identical rows or columns) is the most powerful technique in hard Takuzu — and the most consistently underused.
The setup: two rows are nearly identical — same digits in all but one or two positions. If completing one of them to match the other would create a duplicate row, the cells in question must be placed to break the potential duplicate.
In practice: if two rows differ in exactly one empty cell, and the same digit in that cell would make them identical, the other digit is forced. The same logic applies to columns.
On 6×6 grids this fires frequently (only 20 valid row patterns exist; with 6 rows, duplicates become likely). On 8×8 grids it fires less often but is decisive when it does. Always check for near-duplicate rows in the endgame — it's often the one technique that unsticks a completely stalled grid.
TECHNIQUE 6: CROSS-CONSTRAINT PROPAGATION
Every cell belongs to a row AND a column. A cell forced by its row constraint immediately updates the column, and vice versa. The most efficient Takuzu solving alternates between row-scan and column-scan rather than exhausting one before starting the other.
Practical approach: after each forced cell, check its column (if you found it via its row) or its row (if you found it via its column). Forced cells cascade — a single constraint resolution often triggers three or four more in alternating directions.
If you've exhausted all five techniques above and are stuck, pick the row or column with the fewest remaining empty cells and apply the no-three-in-a-row + balance + no-duplicate constraints simultaneously to enumerate its valid completions. Usually only one valid completion remains.
THE SOLVING ORDER THAT WORKS
- Pass 1: Three-in-a-row blocks — scan every row and column for adjacent pairs.
- Pass 2: Gap fills — X _ X patterns.
- Pass 3: Balance arithmetic — count running totals; fill any quota-reached lines.
- Pass 4: Cross-constraint propagation — alternating row/column scans for new cascades.
- Pass 5 (if stalled): No-duplicate-row inference — find near-duplicate rows and resolve the forced digit.
- Pass 6 (if still stalled): Overlap forcing on the most constrained line.
Most beginner and intermediate Takuzu grids resolve entirely in passes 1–4. The no-duplicate-row technique and overlap forcing are mainly needed on hard grids — but knowing they exist prevents the mistake of guessing when the standard patterns stall.