Math
Ricerca con ritorno sui passi
Segui scelte e scarti nel problema delle regine e nel sudoku.
Da provare
Osserva scelte, rami scartati e ritirate in una vera ricerca ricorsiva. Le regine escludono colonne e diagonali condivise. Il sudoku usa vincoli di riga, colonna e 3×3; MRV sceglie la cella vuota più vincolata.
Equazioni del modulo
Equazioni Regine: qᵢ ≠ qⱼ e |qᵢ−qⱼ| ≠ |i−j| Sudoku: ogni riga, colonna e riquadro 3×3 contiene 1…9 La ricerca con ritorno sui passi esplora un'assegnazione parziale, poi la annulla MRV sceglie una variabile non assegnata con il minor numero di valori ammessi
