Math
Przeszukiwanie z nawrotami
Śledź wybory i odrzucenia w problemie hetmanów i sudoku.
Co wypróbować
Obserwuj wybory, odrzucone gałęzie i nawroty w prawdziwym przeszukiwaniu rekurencyjnym. Hetmany wykluczają wspólne kolumny i przekątne. Sudoku używa ograniczeń wiersza, kolumny i bloku 3×3; MRV wybiera najbardziej ograniczone puste pole.
Równania modułu
Równania Hetmany: qᵢ ≠ qⱼ oraz |qᵢ−qⱼ| ≠ |i−j| Sudoku: każdy wiersz, kolumna i blok 3×3 zawiera 1…9 Nawroty badają częściowe przypisanie, a potem je cofają MRV wybiera niewypełnioną zmienną o najmniejszej liczbie dozwolonych wartości
