Math
Пошук із поверненням
Простежте вибір і відкидання варіантів у задачі про ферзів та судоку.
Що спробувати
Спостерігайте за виборами, відхиленими гілками та відступами в справжньому рекурсивному пошуку. Ферзі виключають спільні стовпці та діагоналі. Судоку використовує обмеження рядків, стовпців і блоків 3×3; MRV обирає найбільш обмежену порожню клітинку.
Рівняння модуля
Рівняння Ферзі: qᵢ ≠ qⱼ та |qᵢ−qⱼ| ≠ |i−j| Судоку: кожен рядок, стовпець і блок 3×3 містить 1…9 Пошук із поверненням досліджує часткове присвоєння, а потім скасовує його MRV обирає незаповнену змінну з найменшою кількістю допустимих значень
