Math
Suche mit Rückverfolgung
Verfolge Entscheidungen und Rückschritte beim Damenproblem und Sudoku.
Zum Ausprobieren
Wahlen, verworfene Zweige und Rückzüge in einer echten rekursiven Suche beobachten. Damen schließen gemeinsame Spalten und Diagonalen aus. Sudoku verwendet Zeilen-, Spalten- und 3×3-Bedingungen; MRV wählt die am stärksten eingeschränkte leere Zelle.
Gleichungen des Moduls
Gleichungen Damen: qᵢ ≠ qⱼ und |qᵢ−qⱼ| ≠ |i−j| Sudoku: Jede Zeile, Spalte und jedes 3×3-Feld enthält 1…9 Backtracking untersucht eine Teilbelegung und macht sie dann rückgängig MRV wählt eine unbelegte Variable mit den wenigsten zulässigen Werten
