Forcing Chains

A forcing chain picks a cell with two candidates, assumes each candidate in turn, and follows the deductions. If both assumptions force the same conclusion in another cell, that conclusion is true regardless.

Forcing chains sit at the boundary between human technique and trial logic. They follow what would happen under each of two candidates in a bivalue cell, and if both branches force the same conclusion elsewhere, that conclusion is true regardless of the starting choice.

How it works

Find a bivalue cell with candidates {A, B}. Assume the cell takes A and follow the deductions: hidden singles, naked singles, pointing pairs and anything else that does not require a new assumption. Note the forced placements.

Reset, then assume the cell takes B and run the same forward chain. Again, note the forced placements.

Now compare the two branches. If both branches force the same digit in some other cell, that digit is correct no matter which value the starting cell holds. Place it. If one branch produces a contradiction (two of the same digit in a unit, or a cell with no candidates), the other candidate was the true one. eliminate it.

FORCING CHAIN — testing 2 @ r5c23782911684299687846336156281594935228696127913
Assume 2 (orange) → forced moves reach a cell with no candidates (red). So erase 2.

When to look for it

After coloring, XY-wing and X-wing have all failed. Evil puzzles routinely require forcing chains. Pick a bivalue cell with rich consequences for both candidates; cells where each choice triggers a sequence of forced moves are productive.

Step-by-step example

  1. 1
    Pick a bivalue start
    A cell with two candidates A and B. The fewer empty cells around it, the faster the chain converges.
  2. 2
    Branch A
    Tentatively place A. Apply every forced move you can: singles, pointing pairs, anything mechanical. Stop when no more forced moves remain.
  3. 3
    Reset
    Undo every placement from branch A. Critical step. Stale trial marks corrupt the rest of the solve.
  4. 4
    Branch B
    Place B and run the same forward chain.
  5. 5
    Compare
    Same conclusion in both? Place it. Contradiction in one? The other branch is true.

Tips for spotting it

  • Start with bivalue cells whose two candidates each trigger long sequences of forced moves.
  • Use two pencil colours so trial placements are distinguishable from real ones.
  • Track the chain on paper if your memory cannot hold it. Twenty placements is too many to remember.
  • Look for convergence and contradiction simultaneously. Both yield useful information.

Common mistakes

  • Forgetting to undo trial placements when the branch fails. Stale marks corrupt everything that follows.
  • Drawing conclusions from a single branch. Both must converge or one must break.
  • Short chains without convergence. Useless. Pick a longer starting cell next time.
  • Reaching for forcing chains before exhausting coloring. Coloring is cheaper when it applies.

Practise it

Forcing chains shine on evil sudoku. Pick a bivalue cell and follow each branch carefully. After a few solves you will see which starts produce convergent chains and which fizzle. The skill carries directly to Nishio, which uses the same trial logic on a single candidate.

Forcing Chains FAQ

What is a forcing chain in sudoku?
A forcing chain is a sequence of linked candidates where assuming one starting value forces a cascade of consequences from cell to cell. If two or more different starting assumptions all force the same candidate into (or out of) a particular cell, that result must be true regardless of which assumption is correct. It lets you make a deduction without knowing the actual starting value.
How do you use forcing chains to solve a puzzle?
Pick a cell or a candidate and trace where each possibility leads by following strong and weak links through the grid. When every branch you explore converges on the same conclusion for some cell, you can place or eliminate that candidate. In practice you often start from a bivalue cell and test both candidates, keeping whichever elimination both paths agree on.
What is the difference between forcing chains and an X-Chain or XY-Chain?
X-Chains and XY-Chains are specific, structured chain types restricted to one digit or to bivalue cells with a repeating pattern of links. Forcing chains are more general: they allow branching from multiple starting states and can mix digits and cell types freely. Because they are broader, forcing chains can solve positions that the narrower chain patterns cannot.
Are forcing chains considered guessing?
No, forcing chains are pure logic, not guessing. You temporarily assume a value only to trace its logical consequences, and the conclusion is accepted only when every possible assumption leads to the same result. Nothing is placed on a hunch, so the deduction is guaranteed correct.