Math
Búsqueda con retroceso
Sigue decisiones y descartes en el problema de las reinas y el sudoku.
Qué probar
Observa las elecciones, las ramas rechazadas y los retrocesos en una búsqueda recursiva real. Las reinas excluyen columnas y diagonales compartidas. El sudoku usa restricciones de fila, columna y 3×3; MRV elige la casilla vacía más restringida.
Ecuaciones del módulo
Ecuaciones Reinas: qᵢ ≠ qⱼ y |qᵢ−qⱼ| ≠ |i−j| Sudoku: cada fila, columna y caja de 3×3 contiene 1…9 La búsqueda con retroceso explora una asignación parcial y luego la deshace MRV elige una variable sin asignar con la menor cantidad de valores legales
