Eine Forcing Chain vergleicht die logischen Konsequenzen einer vollständigen Menge von Alternativen.
Statt nur einer AIC-Endpunktbeziehung zu folgen, fragst du:
Wenn jede mögliche Startalternative wahr wäre, welches Ergebnis entsteht in jedem Zweig?
Schalten alle Alternativen Kandidat Z aus, kann Z eliminiert werden. Erzwingen alle Alternativen Z, kann Z gesetzt werden.
Die Deduktion ist logisch, weil die Startalternativen alle gültigen Fälle abdecken.
Forcing Chains sind kein zufälliges Trial and Error
Das Wort „wenn“ kann Forcing Chains wie Raten wirken lassen.
Ein gültiger Forcing-Beweis unterscheidet sich klar:
- er wählt eine vollständige Menge von Alternativen;
- er verfolgt nur gültige Sudoku-Implikationen;
- er vergleicht alle Zweige;
- er übernimmt nur ein Ergebnis, das jeder Zweig teilt.
Du wählst niemals den Zweig, der dir besser gefällt.
Führen Zweig A und B zu verschiedenen ungelösten Zuständen ohne gemeinsame Aussage, gibt es noch keinen Forcing-Zug.
Digit Forcing Chain
Eine Digit Forcing Chain beginnt häufig mit einem Kandidaten, der an oder aus sein kann, oder mit den Alternativen einer Ziffer in einer eingeschränkten Struktur.
Beispielidee:
- wenn
r2c4=7, wird Zielkandidat 5 eliminiert; - wenn
r2c4<>7, erzwingt ein Strong Link eine andere 7, deren Chain ebenfalls Zielkandidat 5 eliminiert.
Da der Startkandidat entweder wahr oder falsch sein muss, wird Zielkandidat 5 in jedem Fall entfernt.
Cell Forcing Chain
Eine Cell Forcing Chain startet mit allen Kandidaten einer ungelösten Zelle.
Enthält eine Zelle {2,5,8}, muss genau einer dieser drei Kandidaten wahr sein.
Verfolge alle Zweige:
- nimm 2 an;
- nimm 5 an;
- nimm 8 an.
Erzwingen alle drei Zweige anderswo dieselbe Eliminierung oder Platzierung, ist diese Schlussfolgerung gültig.
Die Kandidatenmenge der Zelle ist vollständig; es gibt keine vierte Möglichkeit.
Unit Forcing Chain
Eine Unit Forcing Chain beginnt mit allen möglichen Positionen einer Ziffer in einem House.
Kann Ziffer 4 in Zeile 7 nur in c2, c5 oder c9 stehen, muss eine dieser drei 4en wahr sein.
Verfolge jede mögliche wahre Position. Erreichen alle Zweige dasselbe Ergebnis, ist dieses Ergebnis erzwungen.
Das ist das positionsbasierte Gegenstück zur Cell Forcing Chain.
Durchgearbeitete Forcing Chain
Verity: jeder Zweig erreicht dasselbe Ergebnis
Eine Forcing-Verity ist ein Ergebnis, das in jeder Alternative bestätigt wird.
Zum Beispiel:
- Zweig A →
r5c5=9; - Zweig B →
r5c5=9; - Zweig C →
r5c5=9.
Daher gilt r5c5=9.
Das gemeinsame Ergebnis kann ebenso eine Eliminierung sein.
Widerspruchsbasiertes Forcing
Eine weitere gültige Form zeigt, dass eine Startalternative zu einem unmöglichen Zustand führt:
- Zelle ohne Kandidaten;
- zwei wahre Ziffern in einer Zelle;
- keine Position für eine benötigte Ziffer in einem House;
- doppelte feste Ziffer in einem House.
Sind die Startalternativen binär, bestätigt das Widerlegen einer Alternative automatisch die andere.
Diese Logik überschneidet sich mit Nishio und Widerspruchslösen, aber der Beweis muss vollständig und explizit bleiben.
Forcing Chains vs. AIC
Eine AIC ist linear: Jeder Link hängt von der unmittelbar vorherigen Inferenz ab, Strong und Weak Links alternieren.
Eine Forcing Chain kann mehrere lineare Chains vergleichen, die aus verschiedenen vollständigen Startalternativen hervorgehen.
Die einzelnen Zweige können selbst AIC-artige Implikationsfolgen enthalten.
Entscheidend ist der Vergleich der Zweige, nicht bloß das Vorhandensein von Chains.
Forcing Chains vs. Forcing Nets
Ein Forcing Net erlaubt, dass Konsequenzen innerhalb eines Zweigs weiter verzweigen und interagieren bzw. wieder zusammenlaufen, sodass keine einfache lineare Chain mehr reicht.
Das ist allgemeiner – und für Menschen deutlich schwerer zu prüfen.
Forcing Nets liegen bewusst außerhalb dieses Freeze. Die V2-Bibliothek endet bei linearen Forcing Chains, damit die Grenze didaktisch klar bleibt.
Forcing Chains vs. Raten
Raten sagt:
Ich probiere 7 und mache weiter, solange nichts kaputtgeht.
Ein Forcing-Beweis sagt:
Ich berücksichtige hier jede mögliche Belegung/jeden möglichen Zustand und mache nur einen Zug, wenn alle Alternativen dieselbe Schlussfolgerung beweisen oder alle bis auf eine Sudoku widersprechen.
Das zweite ist deduktive Fallanalyse.
Forcing Chains verantwortungsvoll suchen
Verzweige nicht auf beliebige neun Möglichkeiten.
Bevorzuge stark eingeschränkte Starts:
- bivalue Zellen;
- trivalue Zellen mit starken Folgewirkungen;
- Ziffern mit zwei oder drei Positionen in einem House;
- Kandidatenzustände mit vielen Strong Links.
Und stoppe, sobald eine einfachere Technik verfügbar wird.
Forcing-Methoden sind für Menschen teuer und sollten normales Scanning oder klare Chains nicht ersetzen, wenn diese ausreichen.
Häufige Fehler
Nicht alle Startalternativen abdecken
Dann ist das gemeinsame Ergebnis nicht garantiert.
Eine ungültige Implikation in einem Zweig verwenden
Ein einziger falscher Link macht den gesamten Zweigbeweis wertlos.
Nur die Zweige vergleichen, die das gewünschte Ziel unterstützen
Alle Alternativen zählen.
Eine lange Vermutung Forcing Chain nennen
Das Ergebnis muss systematisch aus vollständigen logischen Fällen abgeleitet werden.
Ein Net mit einer Chain verwechseln
Interne Verzweigungen können bereits über das lineare Forcing-Chain-Modell hinausgehen.
FAQ
Sind Forcing Chains logische Sudoku-Techniken?
Ja, wenn die Startfälle vollständig sind und jede Implikation gültig ist. Es handelt sich um formale Fallanalyse, nicht um willkürliches Raten.
Welche Haupttypen von Forcing Chains gibt es?
Übliche Kategorien sind Digit, Cell und Unit Forcing Chains.
Sind Forcing Chains dasselbe wie AIC?
Nein. AIC ist eine lineare Alternating-Inference-Struktur; Forcing-Techniken vergleichen die Folgen mehrerer vollständiger Alternativen.
Was ist ein Forcing Net?
Eine allgemeinere verzweigende Konsequenzstruktur. Sie bleibt für die spätere Expertenerweiterung nach dem Freeze offen.
Sollte ich Forcing Chains häufig einsetzen?
Meist nur in sehr schweren Rätseln, nachdem einfachere direkte Muster und Chains ausgeschöpft sind.
Was du als Nächstes lernen solltest
Für diesen V2-Freeze bilden Forcing Chains das Ende der formalen Technikleiter. Spätere Expertenerweiterungen können Forcing Nets, Nishio-Varianten, ALS Chains und weitere Methoden ergänzen, sobald Daten eine tiefere Abdeckung rechtfertigen.