Forcing Net

المستوى 12 · Black Belt

المتطلب السابق: Forcing

Overview

Forcing Net extends Forcing Chains by following all implications from each candidate simultaneously, not just single chains. This creates a branching implication network that can find deeper contradictions and common outcomes.

How It Works

Find a cell with multiple candidates.
Assume each candidate in turn and follow ALL resulting implications (not just one chain).
If an assumption leads to a contradiction (impossible state), eliminate that candidate.
If all assumptions force the same conclusion, that conclusion is valid.

Example

Cell r1c1 has 3 candidates: {1, 3, 9}.

1 / 4

Tips & Patterns

Forcing Nets are more powerful than Forcing Chains because they follow every implication, not just one path.
They're computationally expensive and are typically a last resort before brute force.
The branching nature makes them hard to track by hand.