Dynamic Forcing Chain Plus
Eine Dynamic Forcing Chain Plus wendet gewöhnliche Deduktionen innerhalb des temporären Zustands an, der von einer Startannahme erzeugt wurde. Diese Deduktionen können die Verzweigung verlängern, aber jedes Ergebnis bleibt bedingt durch die Startannahme, bis ein Widerspruch oder eine erschöpfende Schlussfolgerung sie entlädt.
Was ist eine Dynamic Forcing Chain Plus?
Das „Plus“-Label beschreibt die erlaubten Zwischendeduktionen, nicht andere Wahrheitsregeln. Jede Teilmenge, Schnittmenge, jeder Fish oder Wing muss seine normalen Prämissen im aktuellen angenommenen Zustand erfüllen und die äußere Annahme im schriftlichen Beweis bewahren.
So erkennen Sie sie
Notieren Sie das ursprüngliche Gitter und den Verzweigungszustand getrennt. Wenn die direkte Propagation stoppt, prüfen Sie den temporären Zustand auf eine korrekte Zwischendeduktion, wenden Sie sie nur innerhalb dieses Zustands an und fahren Sie fort. Übertragen Sie eine Zwischeneliminierung nicht frühzeitig auf das ursprüngliche Gitter.
Die Logik
Widerspricht der vollständige angenommene Zustand schließlich einer Sudoku-Bedingung, verwerfen Sie die Startannahme. Erreicht jede erschöpfende Startalternative dieselbe Zielschlussfolgerung, akzeptieren Sie diese Schlussfolgerung. Zwischendeduktionen liefern Implikationen; sie entladen die Annahme nicht selbst.