Nishio Forcing Chain Sudoku Technique

Updated

A Nishio forcing chain is a proof by contradiction on one candidate: assume a digit goes in a cell, follow every naked and hidden single that assumption forces, and if the chain reaches an impossible position, erase that candidate from the cell.

When a Nishio forcing chain applies

Forcing chains are the techniques that carry the hardest puzzles, the ones that resist every fixed pattern from fish to AIC. The Nishio is the simplest of them. It starts from one candidate, a digit d in a cell, and asks a single question: if d were placed here, would the board stay consistent? To answer it, place d and then apply only the cheapest logic — naked singles and hidden singles — again and again, writing down each forced placement.

Most of the time the chain simply fizzles out, and the test proves nothing. Sometimes it collides with itself: a cell is left with no candidates, or a row, column or box loses every place for a digit it still needs. A real solution can never produce that state, so the starting assumption was false. The candidate is removed, and nothing else on the board changes.

That is the difference between a forcing chain and a guess. A guess commits to a digit and hopes. A Nishio commits to nothing: it only keeps the conclusion that the assumption is impossible, which is a fact about the puzzle no matter what the solution turns out to be. Suuudokuuu’s solver only reports a chain that touches at least four cells, leaving the shortest collisions to the simpler techniques that already cover them.

Worked example

Assuming r1c6 is 4 forces r1c3 to 5, r3c6 to 5 and r3c7 to 4, which leaves r3c1 with no candidates at all. The solver erases 4 from r1c6.
c1c2c3c4c5c6c7c8c9
r11624578234923473457923489289239
r247824732469246715268929
r3459245823463456234671
r461457457891414821793579
r538912328975368126912694
r63457123457245713469346126712568
r723457134934783478937895896
r8345793457612349123478347891237891258923579
r937987951236736791237942379
Pattern cells
r1c3, r1c6, r3c6, r3c7
Eliminations
4 from r1c6

r1c6 holds 3, 4, 5, 7 and 9. Assume it is 4 and follow the singles. In row 1, digit 5 only fits in r1c3 and r1c6; with r1c6 taken, r1c3 must be 5. In the top-middle box, 5 only fits in r1c6 and r3c6, so r3c6 must be 5. In the top-right box, 4 only fits in r1c7 and r3c7, and r1c7 shares row 1 with the assumed 4, so r3c7 must be 4.

Now look at r3c1, which started with just 4 and 5. The 5 in r1c3 sits in the same box, and the 4 in r3c7 sits in the same row. r3c1 has nothing left. No solution can contain an empty cell, so r1c6 cannot be 4, and the solver removes that candidate. The four highlighted cells are the assumption and the three placements that led to the contradiction.

How to use a Nishio forcing chain

  1. Pick a promising candidateChoose a candidate in a crowded area, ideally one whose removal would leave its cell with very few options.
  2. Assume it and follow the singlesPlace it on scratch paper or in your head, then apply every naked and hidden single it forces, one at a time.
  3. Watch for a contradictionStop when a cell runs out of candidates or a unit has no place left for a digit it still needs.
  4. Erase the starting candidateUndo the scratch placements and remove only the candidate you assumed. If no contradiction appeared, nothing is learned.

Common mistakes

Nishio forcing chain FAQ

Is a Nishio forcing chain the same as guessing?

No. A guess keeps the assumed digit and hopes it is right. A Nishio only keeps the proof that the assumption leads to an impossible board, which is true whatever the solution is.

Where does the name Nishio come from?

It is named after the Japanese puzzle author Tetsuya Nishio. In its original form it tests the placements of a single digit; solvers now use the name for any single-candidate contradiction test like the one shown here.

How is a Nishio different from a cell forcing chain?

A Nishio tests one candidate and needs a contradiction. A cell forcing chain tests every candidate of a cell and keeps what all of the branches agree on, so it can also place a digit.

Which puzzles need a Nishio forcing chain?

Puzzles beyond the reach of every fixed pattern. Every board in Suuudokuuu’s Hell tier needs a forcing chain of some kind, and the record puzzles in the Infinity tier lean on them heavily.