Forcing Chains im Sudoku
Lerne, wie Forcing Chains funktionieren und wie du mit Verzweigungen schwierige Stellen in Expertenrätseln auflöst.
Forcing Chains gehören zu den stärksten Techniken für fortgeschrittene Sudoku-Löser. Sie stehen an der Grenze zwischen reiner Logik und dem, was viele fälschlich mit Raten verwechseln – sind aber kein Raten. Eine Forcing Chain folgt ausgehend von einer Startannahme einer Kette unvermeidbarer Schlussfolgerungen und nutzt diese, um Eliminierungen abzuleiten, die unabhängig davon gelten, welche Startannahme richtig war. Dieser Artikel erklärt, was Forcing Chains sind, die drei Hauptformen, wie du sie anwendest und wie sie sich von Nice Loops unterscheiden.
Was sind Forcing Chains im Sudoku?
Eine Forcing Chain ist eine logische Technik: Du nimmst vorübergehend an, ein Kandidat sei wahr oder falsch, und verfolgst die Konsequenzen Schritt für Schritt durch das Raster. Der Kern: Wenn jede mögliche Startannahme an einer anderen Stelle im Raster zur gleichen Schlussfolgerung führt, muss diese Schlussfolgerung gelten – egal, welche Annahme am Ende richtig ist.
Du musst also nicht wissen, welche Annahme stimmt. Es reicht zu zeigen, dass alle Fälle dasselbe Ergebnis erzwingen – dann ist das eine sichere, logisch gedeckte Deduktion, kein Raten.
Forcing Chains brauchen saubere Bleistiftnotizen und systematisches Mitverfolgen. Typisch sind sie auf Experten- und Meister-Gittern, wenn einfachere Techniken – Singles, Locked Candidates, Paare, Drillinge, Fischmuster – erschöpft sind. Regeln im Detail: Forcing-Chains-Strategieseite.
Arten von Forcing Chains (Zelle, Einheit, Nishio)
Es gibt drei gängige Varianten – unterscheiden sich nach der Startannahme:
Cell Forcing Chains
Eine Cell Forcing Chain startet in einem Feld mit genau zwei Kandidaten – etwa 4 und 7. Du nimmst an, 4 sei richtig, und verfolgst die Kette; dann 7 stattdessen. Führen beide Ketten zur gleichen Schlussfolgerung (z. B. darf ein bestimmtes Feld in Zeile 6 keine 3 enthalten), ist die Eliminierung gültig. Einer der beiden Kandidaten muss stimmen – also gilt jedes gemeinsame Ergebnis.
Unit Forcing Chains
Eine Unit Forcing Chain betrachtet alle verbleibenden Positionen einer Ziffer in Zeile, Spalte oder Block. Kann die 5 in einer Spalte nur noch in drei Feldern stehen, nimmst du nacheinander an, sie steht im ersten, zweiten, dritten Feld, und verfolgst jeweils die Folgen. Erzeugen alle drei Zweige dieselbe Schlussfolgerung woanders, ist sie gültig. Aufwendiger als die Zellvariante, weil drei oder mehr Zweige nötig sein können.
Nishio (Widerspruch)
Die Nishio-Kette (nach Tetsuya Nishio) nimmt an, ein Kandidat sei wahr, und verfolgt die Folgen, bis ein logischer Widerspruch entsteht – z. B. eine Zeile ohne Platz für eine benötigte Ziffer. War die Annahme falsch, streichst du den Startkandidaten. Anders als die Standard-Forcing Chain nur ein Zweig – aber du musst den Widerspruch zuverlässig erkennen und alle Bedingungen mitführen.
Ablauf: Cell Forcing Chain Schritt für Schritt
Vorgehen für eine Zelle mit zwei Kandidaten:
- Bi-Wert-Feld finden. Genau zwei Kandidaten, z. B. {3, 8} in Zeile 2, Spalte 5 – das sind deine beiden Annahmen.
- Annahme A verfolgen. Feld = 3. Sofortige Folgen: Eliminierungen, erzwungene Setzungen (Naked/Hidden Singles, Locked Candidates), bis keine erzwungenen Schritte mehr gehen. Alles notieren.
- Annahme B verfolgen. Ausgangszustand, Feld = 8, gleicher Prozess.
- Vergleichen. Kandidaten, die in beiden Ketten wegfallen, oder Setzungen, die in beiden vorkommen – das ist sicher anwendbar.
- Gemeinsame Schlüsse anwenden und das Raster neu scannen – oft folgen wieder einfachere Techniken.
Klare Notation hilft – viele nutzen z. B. „Wenn R2C5=3 → R4C5≠3 → R4C5=7 → …“, damit die Logik nachvollziehbar bleibt.
Forcing Chains vs. Nice Loops
Verwandt, die Grenze ist fließend. Wichtige Unterschiede:
- Nice Loops bilden einen geschlossenen Zyklus aus abwechselnd starken und schwachen Verknüpfungen und kommen zum Startpunkt zurück; Eliminierungen folgen aus der Schleife.
- Forcing Chains verzweigen von einer Annahme und müssen nicht zum Ursprung zurück; Ende durch Widerspruch (Nishio) oder wenn Zweige auf dieselbe Konsequenz treffen.
- Nice Loops sind stärker strukturiert und oft leichter zu prüfen; Forcing Chains sind flexibler und fehleranfälliger beim Aufbau.
- Forcing Chains können stärker sein, kosten aber mehr Aufwand. Praktisch: zuerst Nice Loops suchen; wenn keine helfen, Forcing Chains.
Beide hängen mit Simple Coloring zusammen – guter Einstieg vor voller Forcing-Chain-Logik.
Wann brauchst du Forcing Chains?
Auf den schwierigsten Gittern (Experte+), wenn:
- alle Naked und Hidden Singles aufgebraucht sind,
- Locked Candidates, Naked/Hidden Pairs nichts mehr liefern,
- Fisch- und Wing-Techniken nicht weiterhelfen,
- viele Bi-Wert-Felder übrig bleiben.
Vor Forcing Chains prüfen, ob wirklich alles Einfachere versucht wurde – oft übersehene Paare oder Drillinge sind schneller. Wenn du sicher bist, ist eine Cell Forcing Chain ab einem Bi-Wert-Feld ein guter erster Versuch.
Ist das Raten?
Nein – häufiges Missverständnis. Raten heißt: eine Annahme fest eintragen und hoffen. Bei Forcing Chains verpflichtest du dich keiner Annahme – du wertest nur aus, was beide Fälle gemeinsam erzwingen. Das ist deduktiv, vergleichbar mit Fallunterscheidung oder Widerspruchsbeweis.
Nah an „Raten“ ist eher Trial and Error: eine Setzung festhalten, weiterlösen, bei Widerspruch zurück. Forcing Chains bleiben begrenzt und ziehen nur sichere gemeinsame Schlüsse.
Für reine Logiklösung der härtesten Rätsel sind Forcing Chains legitim. Probiere das tägliche Sudoku und schau, wie weit du ohne Ketten kommst.