Adivinación sistemática y retroceso como técnica de último recurso
Prueba y error (también llamado Bifurcación o Análisis de hipótesis) es la técnica de último recurso. Cuando no se puede encontrar ningún patrón lógico, eliges una celda de dos valores, asumes un valor y sigues la cadena de consecuencias hasta llegar a una solución o una contradicción.
Elige una celda con la menor cantidad de candidatos, idealmente una celda de dos valores (exactamente 2 candidatos).
Escoge un candidato y colócalo tentativamente. Marca tus notas claramente para poder retroceder.
Sigue todas las consecuencias forzadas: naked singles, hidden singles y cualquier otra técnica que se active.
Si llegas a una contradicción (una celda sin candidatos, o una casa sin lugar para un dígito), el valor asumido era incorrecto.
Borra todo el trabajo tentativo y coloca el OTRO candidato en la celda original: debe ser correcto.
Si no surge una contradicción rápidamente, puede que necesites hacer una segunda suposición más profunda en la cadena.
Esto se llama "búsqueda en profundidad" en ciencias de la computación. La mayoría de los puristas del Sudoku lo consideran poco elegante, pero siempre funciona.
Consejo clave: agota todas las técnicas lógicas primero; esto hace que la prueba y error sea más rápida porque quedan menos celdas.
La celda F4C4 tiene solo candidatos {3,8}. Asumimos F4C4=3. Esto fuerza F4C7=8 (último lugar para 8 en la fila 4), lo que fuerza F2C7=6 (único candidato restante), lo que fuerza F6C4=9. Pero entonces F7C4 no tiene candidatos válidos: ¡contradicción! Por lo tanto, F4C4 debe ser 8.