Forcing Chain

Eine Forcing Chain nimmt eine einzelne Kandidatenzelle mit zwei möglichen Werten und untersucht beide Zweige. Im einen Zweig ist die Zelle die Ziffer a; im anderen die Ziffer b. Jeder Zweig propagiert sich durchs Rätsel, soweit die Standardregeln es zulassen — hier ein versteckter Einer platziert, dort ein Kandidat eliminiert. Wenn beide Zweige am Ende einer anderen Zelle dieselbe Ziffer zuweisen, ist diese Zelle erzwungen, unabhängig davon, welcher Zweig sich als richtig herausstellt.

Die zwei Zweigtypen

Forcing Chains kommen in zwei praktischen Varianten.

Konvergenz-Forcing. Beide Zweige stimmen über eine Platzierung an einer Stelle abseits der Startzelle überein. Die Startzelle selbst bleibt unbekannt — du weißt nicht, ob sie a oder b ist — aber die Folgezelle ist so oder so bestimmt. Platzier die Ziffer dort; die Platzierung kann weitere Züge freischalten, die später die ursprüngliche Zelle auflösen.

Widerspruchs-Forcing. Ein Zweig führt zu einem Widerspruch (eine Zelle ohne Kandidaten, zwei gleiche Ziffern in einer Einheit, eine Einheit, in der die geforderte Ziffer keinen Platz mehr hat). Dieser Zweig ist unmöglich; die Startzelle muss die andere Ziffer aufnehmen. Diese Variante heißt manchmal contradiction net oder einfach Nishio, wenn sie auf den Wahrheitswert einer einzelnen Ziffer angewendet wird.

Warum sie an der Grenze „echter" Deduktion sitzt

Forcing Chains liegen an der umstrittenen Kante reiner Deduktion. In einer Lesart sind sie eine logisch gültige Technik: Die Sudoku-Regeln bestimmen, was jeder Zweig produziert, also ist jede Übereinstimmung zwischen den Zweigen eine echte Konsequenz der Rätselbedingungen. In einer anderen Lesart sind sie Trial-and-Error mit Zwischenschritten — der Löser wählt einen Wert und probiert ihn aus, was sich näher am Raten anfühlt als an Deduktion.

Die puristische Position lehnt Forcing Chains zugunsten von Techniken wie AIC ab, die dieselben Eliminierungen über formale Kettenlogik produzieren, ohne je einen Wert anzunehmen. Die pragmatische Position akzeptiert Forcing Chains als natürliche Erweiterung von Simple Coloring, das selbst eine Art Zwei-Fall-Analyse auf dem Strong-Link-Graphen einer einzelnen Ziffer ist.

In der Praxis: Die meisten veröffentlichten Sudoku-Löser listen Forcing Chains neben anderen fortgeschrittenen Techniken auf, mit einem Hinweis auf die Kontroverse. Sie tauchen in den Deduktionsbäumen der härtesten Rätsel auf, wo jeder andere Ansatz erschöpft ist.

Länge und Komplexität

Eine Forcing Chain der Länge zwei — probier a, verfolg sie einen Schritt; probier b, verfolg sie einen Schritt — ist nur ein Y-Wing oder eine XY-Chain in Verkleidung. Längere Ketten laufen mehrere Schritte tief in jeden Zweig, und genau hier verdient sich die Technik ihren Ruf, von Hand schwer zu verifizieren zu sein. Software-Löser finden Forcing Chains natürlich; menschliche Löser bevorzugen meist alternative Darstellungen wie AIC, weil die Wechselregel die Buchführung sauber hält.