Forcing Chains in Sudoku: The Expert Strategy Explained

Forcing chains let you crack puzzles that resist every simpler technique. You pick a candidate, trace what must follow if it is correct — and what must follow if it is wrong — then use the contradiction or shared conclusion to eliminate impossible values.

Jump by level: Beginner · Intermediate · Advanced · AIC · What's next

What Are Forcing Chains?

Forcing chains are master-level techniques that follow logical cause-and-effect through the puzzle. Instead of spotting static patterns like X-Wing or Naked Pairs, you trace dynamic chains of implications from a starting candidate. Before tackling forcing chains, you should be comfortable with Simple Coloring — it applies the same if-then reasoning to a single candidate — and understand how XY-Wing links three cells logically, which is the simplest forcing chain pattern.

The core idea: start with a cell that has two or three candidates. Ask "what if this candidate is the answer?" Then follow every forced consequence. If a different starting assumption leads to the same elimination, that elimination is guaranteed — no guessing involved.

Alternating Inference Chains (AIC) formalize this process. They alternate between strong links (if one candidate is false, another must be true) and weak links (two candidates that see each other, so both can't be true). This structured approach makes even long chains trackable and verifiable.

Practice idea: Download Sudoku puzzles to print for pencil-and-paper chain tracing, or play daily puzzles in the Sudoku a Day app.

Why are they called "Forcing Chains"?

They're called "Forcing Chains" because each link in the chain forces the next step. If you assume a candidate is true (or false), it forces implications down the chain like falling dominoes. When different chains converge on the same conclusion, they "force" that result to be true.

The "Alternating Inference Chain" name describes the structure: strong inferences alternate with weak inferences, creating a logical chain that connects distant parts of the puzzle.


Why Forcing Chains Matter

Forcing chains mark the shift from pattern recognition to systematic logical deduction. They're worth learning because:

  • They crack diabolical puzzles — Many extremely difficult grids require chaining to solve without guessing.
  • They connect simpler techniques — Many expert strategies (like Simple Coloring and XY-Wing) are special cases of forcing chains.
  • They replace trial and error — Unlike guessing, forcing chains provide logical certainty at every step.
  • They build toward advanced methods — Techniques like Nice Loops, Kraken Fish, and ALS Chains extend forcing chain logic further.

Once you internalize the if-then tracing habit, your solving confidence on hard puzzles improves permanently.


Step-by-Step: How to Build a Forcing Chain

  1. Identify a starting candidate - Choose a bi-value cell or strong link as your starting point.
  2. Trace strong links - If candidate X is false here, it must be true there (conjugate pairs).
  3. Follow weak links - If candidate X is true here, it can't be true in cells that see it.
  4. Alternate between strong and weak - Build the chain by alternating inference types.
  5. Look for convergence - Find where different paths lead to the same conclusion.
  6. Make the elimination - The common conclusion is guaranteed to be true.

When to Use Forcing Chains

Forcing chains are an expert-level last resort. Apply them only after exhausting simpler techniques:

  • All easier techniques are dry — naked singles, hidden singles, pairs, triples, quads fully applied
  • Fish patterns yield nothingX-Wing, Swordfish, Jellyfish checked
  • Coloring and wings are doneSimple Coloring, XY-Wing, and XYZ-Wing provide no more moves
  • The grid has multiple 2–3 candidate cells with no static pattern resolving them

Prerequisites: Understand Simple Coloring (if-then logic on conjugate pairs) and XY-Wing (a three-node forcing chain). Complete pencil marks in every cell are essential — one missing candidate will break the chain.


Types of Forcing Chains

Cell Forcing Chains

A cell forcing chain starts from a bi-value cell {A, B}. Trace all consequences if it is A, then all consequences if it is B. If both paths eliminate the same candidate elsewhere, that elimination is valid — regardless of which value the cell holds.

Step-by-step example: R5C5 = {3, 7}. No simpler technique resolves it.

Chain A — assume R5C5 = 3:

  1. R5C5 = 3 places 3 in Row 5 and Box 5.
  2. R5C2 = {3, 7} loses its 3 → R5C2 = 7 (forced).
  3. R5C2 = 7 places 7 in Column 2, removing 7 from all other Column 2 cells.
  4. R2C2 = {7, 9} loses its 7 → R2C2 ≠ 7. ✓

Chain B — assume R5C5 = 7:

  1. R5C5 = 7 places 7 in Column 5 and Box 5.
  2. R8C5 = {3, 7} loses its 7 → R8C5 = 3 (forced).
  3. R8C5 = 3 propagates constraints through Row 8.
  4. Following the chain, R2C2 ≠ 7. ✓

Result: Both chains eliminate 7 from R2C2. Remove it without knowing which value R5C5 holds.

Unit Forcing Chains

A unit forcing chain considers all possible placements of a candidate within a unit. If every placement leads to the same consequence, that consequence is certain.

Step-by-step example: Candidate 4 in Row 2 can only sit in R2C3 or R2C8.

Chain A — assume 4 is at R2C3:

  1. R2C3 = 4 places 4 in Column 3.
  2. R7C3 = {4, 6} loses its 4 → 4 is eliminated from R7C3. ✓

Chain B — assume 4 is at R2C8:

  1. R2C8 = 4 places 4 in Column 8 and Box 3.
  2. This forces 4's only remaining position in Column 3 to be R4C3.
  3. R4C3 = 4 → R7C3 ≠ 4 (same column). ✓

Result: Whether 4 sits in R2C3 or R2C8, R7C3 ≠ 4. Eliminate 4 from R7C3.

Alternating Inference Chains (AIC)

AICs formalize chains by alternating between strong links (=: if one end is false, the other must be true) and weak links (-: both ends cannot be true simultaneously). Standard notation: (X=Y)cell1 - (Y=Z)cell2

Step-by-step example: R1C1 = {5, 8} and R4C1 = {5, 8}, both in Column 1.

Chain: (5=8)R1C1 - (8=5)R4C1

  1. Assume R1C1 ≠ 5 → R1C1 = 8 (strong link: bi-value cell).
  2. R1C1 = 8 → R4C1 ≠ 8 (weak link: same column, both can't be 8).
  3. R4C1 ≠ 8 → R4C1 = 5 (strong link: bi-value cell).

Flipping the start: assume R1C1 = 5 → R4C1 ≠ 5 (weak link) → R4C1 = 8 (strong link).

Elimination rule: One of R1C1 or R4C1 must equal 5. Any cell visible to both endpoints cannot contain 5. If R7C1 = {3, 5} is in Column 1 (sees both), eliminate 5 from R7C1 → R7C1 = 3.


Worked Example: Tracing a Cell Forcing Chain

The following example walks every step of a cell forcing chain, showing exactly how both branches converge.

Grid state: R3C3 = {2, 9} — all simpler techniques are exhausted. We cannot determine which value is correct, but we can trace what each assumption forces.

Step Chain A: R3C3 = 2 Chain B: R3C3 = 9
1 R3C3 = 2 → 2 placed in Row 3 R3C3 = 9 → 9 placed in Col 3
2 R3C7 = {2,9} loses 2 → R3C7 = 9 R7C3 = {2,9} loses 9 → R7C3 = 2
3 R3C7 = 9 → R7C7 ≠ 9 (same column) R7C3 = 2 → Row 7 needs 9 elsewhere
4 R7C7 ≠ 9 → R7C2 = 9 (only place in Row 7) R7C2 = 9 (only remaining place in Row 7)
5 R7C2 = 9 → R4C2 ≠ 9 ✓ R7C2 = 9 → R4C2 ≠ 9 ✓

Conclusion: Both chains converge at Step 4 — R7C2 = 9 in every case — which forces R4C2 ≠ 9. Eliminate 9 from R4C2 with certainty.

Notice the convergence: the two chains reached identical intermediate results (R7C2 = 9) via completely different paths. That convergence is the validity proof.


Strategies for Building Chains Effectively

  1. Start with bi-value cells - Cells with only two candidates provide clear branching points.
  2. Track your chains on paper - Use notation or diagrams to avoid getting lost in complex chains.
  3. Look for conjugate pairs - Strong links (only two cells in a unit for a candidate) are chain-building blocks.
  4. Focus on one candidate at a time - Tracing a single digit's chain is easier than mixing candidates.
  5. Use candidate highlighting - Digital solvers with coloring tools make chains visible.
  6. Practice with simple chains first - Build confidence with 3-4 link chains before attempting longer ones.

Common Pitfalls

  • Mixing weak links incorrectly - Weak links mean "both can't be true" but both CAN be false. Don't assume one must be true.
  • Losing track of implications - Long chains require careful tracking. One mistake invalidates the entire chain.
  • Confusing with trial and error - Forcing chains are systematic logic, not random testing. Each step must be certain.
  • Forgetting to verify convergence - The elimination is only valid if ALL paths lead to the same conclusion.
  • Overcomplicating short chains - Sometimes a 2-3 link chain is sufficient. Don't build unnecessarily long chains.

Worked Example 2: Practice Chain

Try to trace this chain before reading the solution.

Setup: R2C5 = {4, 7}. Complete pencil marks show no simpler elimination. Trace both values.

Chain A — assume R2C5 = 4:

  1. R2C5 = 4 places 4 in Row 2 and Column 5.
  2. R2C8 = {4, 7} loses its 4 → R2C8 = 7 (only remaining candidate).
  3. R2C8 = 7 places 7 in Column 8.
  4. R5C8 = {4, 7} loses its 7 → R5C8 = 4 (forced).
  5. R5C8 = 4 → R5C2 ≠ 4 (same row, 4 already placed). ✓

Chain B — assume R2C5 = 7:

  1. R2C5 = 7 places 7 in Row 2 and Column 5.
  2. R8C5 = {4, 7} loses its 7 → R8C5 = 4 (forced).
  3. R8C5 = 4 places 4 in Column 5.
  4. R5C2 = {4, 6} — does R5C2 see R8C5? Not directly, but the chain continues through constraints.
  5. Following Box/Row constraints: R5C2 ≠ 4. ✓

What can you eliminate?

Answer: Eliminate 4 from R5C2. Both paths — R2C5 = 4 and R2C5 = 7 — force R5C2 ≠ 4. The elimination holds regardless of R2C5's actual value.


Quick Recap

Technique How it Works Difficulty
Forcing Chains Trace logical implications until different paths converge on same conclusion Master
Simple Coloring Uses two colors to track conjugate pairs and contradictions Expert
XY-Wing Three-cell pattern creating forced eliminations Advanced

Wrap-Up

Forcing chains are the master key for Sudoku's hardest puzzles. They require patience, but the reward is solving power that no static pattern can match. Start with short 3-4 link chains on printable expert puzzles, build confidence, and you'll unlock grids you never thought possible.

Ready to go deeper? See the What to Learn Next section below for a full progression map — from Nice Loops as the direct continuation to ALS chains, Kraken Fish, and beyond.


Frequently Asked Questions

What are Forcing Chains in Sudoku?

Forcing Chains are master-level Sudoku techniques that follow logical chains of implications. Starting from a candidate, you trace what must happen if that candidate is true or false. When multiple paths converge on the same conclusion, you can make an elimination or placement with certainty.

What is an Alternating Inference Chain (AIC)?

An Alternating Inference Chain (AIC) is a formalized type of forcing chain that alternates between strong links (if one is false, the other must be true) and weak links (both can't be true simultaneously). AICs provide a systematic framework for chain-based reasoning in Sudoku.

How do Forcing Chains differ from Simple Coloring?

Simple Coloring focuses on conjugate pairs (exactly two candidates in a unit) and uses two colors to track implications. Forcing Chains are more general, following any logical implications regardless of conjugate pairs, and can involve multiple candidates and complex branching patterns.

Are Forcing Chains the same as trial and error?

No. While both explore hypothetical scenarios, Forcing Chains are pure logic: you systematically trace certain implications without guessing. Trial and error involves randomly testing values and backtracking if they fail. Forcing Chains guarantee logical deductions, not guesses.

When should I use Forcing Chains?

Use Forcing Chains on extremely difficult puzzles when all other techniques have failed. They're time-intensive but powerful, often providing the only logical path forward in diabolical puzzles without resorting to trial and error.

What is the difference between forcing chains and AIC in Sudoku?

Forcing chains is the general term for any if-then logic path in Sudoku. Alternating Inference Chains (AIC) are a specific, formalized type of forcing chain that alternates between strong links and weak links in a structured pattern. All AICs are forcing chains, but not all forcing chains follow the strict AIC format.


What to Learn Next

Ready to go further? Here are the clearest paths forward from Forcing Chains:

The direct next step

  • Nice Loops — the natural continuation from forcing chains. Closing an AIC into a loop gives you two new elimination types (discontinuous and continuous) with a single unified rule. If you have worked through the AIC examples on this page, Nice Loops is where to go next.

Extend your chain toolkit

  • ALS-XZ — a different chain foundation using Almost Locked Sets instead of individual candidates. Start here before ALS Chains to build intuition for set-based eliminations gradually.
  • ALS Chains — links three or more ALS through shared restricted common candidates; the most powerful set-chain technique at the master level.
  • Kraken Fish — fuses fish patterns (Swordfish, Jellyfish) with forcing chain logic for eliminations neither technique can make alone. Apply when you spot fish-like structures that fall just short of a clean pattern.

Review the prerequisites

  • Simple Coloring — if forcing chains still feel hard, revisit this: it applies identical if-then logic to a single conjugate pair, the simplest forcing chain of all.
  • XY-Wing — the three-node forcing chain; practising XY-Wing builds the instinct for tracing short chains before you tackle longer ones.
  • Multi-Coloring — extended coloring across multiple conjugate clusters; bridges Simple Coloring and full forcing chains.

Practice

  • Printable Expert Sudoku — PDF grids for pencil-and-paper chain tracing; best for working through examples slowly with full notation
  • Today's free daily Sudoku — a new expert-level grid every day; the fastest way to encounter real forcing chain positions
  • Sudoku a Day app — ad-free daily puzzles on iOS with pencil mark support

Further reading

← Back to All Strategies

Ready to practice? Try the Sudoku a Day app — ad-free, with daily puzzles from beginner to expert. Download on the App Store