Forcing Chains – wenn alle Wege zum selben Ziel führen
Die wohl mächtigste manuell durchführbare Sudoku-Technik. Du wählst eine Zelle mit zwei Kandidaten, verfolgst beide hypothetisch und schaust, ob beide Hypothesen zur selben Schlussfolgerung führen. Wenn ja, ist diese Schlussfolgerung zwingend wahr.
Die Grundidee
Bei einer Zelle mit Bi-Value-Kandidaten (z. B. {3, 8}) gibt es nur zwei mögliche Belegungen. Sukzessive trägst du beide Möglichkeiten gedanklich ein und verfolgst die Konsequenzen: Welche Naked und Hidden Singles entstehen daraus? Welche weiteren Zellen werden festgelegt?
💡 Die Schlussfolgerung: Wenn sowohl die Annahme „Zelle = 3“ als auch die Annahme „Zelle = 8“ am Ende zur selben Behauptung führen – z. B. „die Zelle X ist eine 5“ –, dann ist diese Behauptung immer wahr, unabhängig davon, welche der beiden Hypothesen richtig ist. Du kannst die 5 in Zelle X eintragen, ohne zu wissen, welcher Pfad korrekt war.
Vorgehen Schritt-für-Schritt
- Wähle eine Startzelle mit genau zwei Kandidaten.
- Verfolge Pfad A: Trage hypothetisch den ersten Kandidaten ein und schaue, welche Naked/Hidden Singles direkt daraus folgen. Notiere die Konsequenz-Kette.
- Verfolge Pfad B: Mache dasselbe mit dem zweiten Kandidaten.
- Vergleiche die Endpunkte: Gibt es eine Zelle, in der beide Pfade denselben Wert erzwingen? Oder einen Kandidaten, der in beiden Pfaden aus derselben Zelle eliminiert wird?
- Trage die gemeinsame Konsequenz ein bzw. streiche den gemeinsamen Kandidaten – das Ergebnis gilt unabhängig vom richtigen Pfad.
Warum Forcing Chains besonders sind
Im Gegensatz zu allen vorherigen Techniken schaut Forcing Chains nicht auf statische Muster, sondern auf dynamische Auswirkungen. Sie sind die manuelle Variante dessen, was Computer-Solver mit Backtracking machen – aber bewusst und nachvollziehbar.
Nice Loops, AIC und der Rest
Forcing Chains haben Geschwister-Techniken:
- Nice Loops: Verfolgen Ketten von Implikationen rund im Kreis und ziehen Schlussfolgerungen aus widersprüchlichen oder bestätigenden Schleifen.
- Alternating Inference Chains (AIC): Wechseln zwischen starken und schwachen Verknüpfungen, um Implikationen zu propagieren.
- Coloring: Markiert Zellen mit zwei Farben je nach hypothetischem Wert – wenn zwei gleichfarbige Zellen in einer Einheit liegen, ist diese Farbe falsch.
⚠️ Pflichtbewusstsein: Forcing Chains werden oft als „verstecktes Raten“ kritisiert. Echtes Forcing erfordert disziplinierte Buchführung: Beide Pfade müssen vollständig verfolgt werden, und das Ergebnis muss in beiden Pfaden identisch sein. Wer „guessing“ mit „forcing“ verwechselt, macht Fehler.
Wann braucht man Forcing Chains?
Für „extreme“ und „evil“-Sudokus, die selbst Swordfish, X-Wing und XY-Wings ausschöpfen, ohne zur Lösung zu kommen. In gut gestalteten Sudokus mit eindeutiger Lösung gibt es immer einen manuell findbaren Pfad – aber er kann lang werden.
Ende des Lernpfads
Damit hast du alle 12 wichtigen Sudoku-Lösetechniken durchlaufen – vom einfachen Scanning bis zu den Forcing Chains. Wenn du diese Sammlung beherrschst, knackst du die allermeisten Sudokus, die manuell überhaupt lösbar sind.
Was jetzt? Probiere alles am interaktiven Spielfeld aus oder vertiefe einzelne Themen aus dem Profi-Techniken-Hub.