Dynamic Forcing Chain
Eine Dynamic Forcing Chain startet von einer expliziten Annahme und wendet jede erzwungene Konsequenz auf einen temporären Kandidatenzustand an. Neue Singles oder andere Deduktionen, die in diesem Zustand entstehen, können die Kette verlängern. Jedes Zwischenergebnis bleibt bedingt durch die Startannahme, bis der Beweis einen Widerspruch oder eine erschöpfende Schlussfolgerung erreicht und entlädt.
Was ist eine Dynamic Forcing Chain?
Dynamisch bedeutet, dass spätere Inferenzen sich auf Kandidaten stützen können, die früher unter derselben Annahme entfernt wurden. Einen Kandidaten aus einer Zweiwert-Zelle zu entfernen hinterlässt einen Single; ihren letzten Kandidaten zu entfernen erzeugt einen Widerspruch. Der temporäre Zustand darf nicht mit dem ursprünglichen Gitter verwechselt werden.
Beispiel mit Erklärung
Ein Walkthrough einer Dynamischen Forcing-Kette: erzwungene Konsequenzen werden auf einen temporären Kandidatenzustand angewendet, sodass neue Singles den Zweig erweitern, bis er sich entlädt.
Schritt 1
Betrachte diese Zellen.
Schritt 2
Nehme A1 muss den Wert 7 enthalten an. Der Widerspruch verwirft diese Annahme; die Ketten unten zeigen warum. Diese dynamische Forcing-Kette verwendet dynamische Rasterveränderung (Kandidaten werden während der Kettenuntersuchung entfernt), um die Aussage zu beweisen: A1 kann den Wert 7 nicht enthalten. Kette 1 (Annahme AN): 1. Wenn A1 enthält den Wert 7, dann kann nicht enthalten A9 den Wert 7 (der Wert kann in der Spalte nur einmal vorkommen) 2. Wenn A9 enthält nicht den Wert 7, dann muss enthalten A9 den Wert 5 (einziger verbleibender möglicher Wert in der Zelle) 3. Wenn A9 enthält den Wert 5, dann kann nicht enthalten A7 den Wert 5 (der Wert kann im Block nur einmal vorkommen) 4. Wenn A7 enthält nicht den Wert 5, dann muss enthalten A7 den Wert 9 (einziger verbleibender möglicher Wert in der Zelle). Kette 2 (Annahme AUS): 1. Wenn A1 enthält den Wert 7, dann kann nicht enthalten C3 den Wert 7 (der Wert kann im Block nur einmal vorkommen) 2. Wenn C3 enthält nicht den Wert 7, dann muss enthalten C4 den Wert 7 (einzige verbleibende mögliche Position in der Spalte) 3. Wenn C4 enthält den Wert 7, dann kann nicht enthalten C4 den Wert 9 (die Zelle kann nur einen Wert enthalten) 4. Wenn C4 enthält nicht den Wert 9, dann muss enthalten A4 den Wert 9 (einzige verbleibende mögliche Position im Block) 5. Wenn A4 enthält den Wert 9, dann kann nicht enthalten A7 den Wert 9 (der Wert kann in der Spalte nur einmal vorkommen).
Schritt 3
Daher kann A1 7 entfernt werden: Die dynamische Forcing-Kette beweist, dass A1 kann den Wert 7 nicht enthalten.
Dieser Walkthrough zeigt ein gültiges Beispiel der definierten Deduktion. Prüfen Sie die angegebene Quellmenge oder Annahme, dass jeder Zweig getestet wurde und dass die angewendete Schlussfolgerung von allen geteilt wird, bevor Sie dieselbe Deduktion auf ein anderes Gitter anwenden. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man sie findet
Notieren Sie die Startannahme, dann annotieren Sie jede Konsequenz mit dem aktuellen angenommenen Zustand. Verwenden Sie eine Deduktion nur, wenn ihre Prämissen in diesem Zustand bereits erzwungen sind. Stoppen Sie, wenn die Annahme einen Widerspruch erzeugt oder wenn alle erschöpfenden Alternativen dieselbe Zielschlussfolgerung begründen.
Die Logik
Eine Dynamic Forcing Chain hält einen temporären Zustand für ihre Startannahme. Einen Kandidaten aus einer Zweiwert-Zelle zu entfernen hinterlässt ihren anderen Kandidaten als naked single; den letzten Kandidaten einer Zelle zu entfernen ist stattdessen ein Widerspruch. Jeder neue Single, gesperrte Kandidat, Teilmenge, Fish oder Wing, der später verwendet wird, muss in genau diesem temporären Zustand gültig sein. Erreicht der Zustand einen Widerspruch, ist die Startannahme falsch. Andernfalls kann eine Schlussfolgerung erst auf das ursprüngliche Gitter übertragen werden, nachdem die Annahme entladen wurde oder jede erschöpfende Verzweigung sie begründet hat.