Análisis de sudokus.

Vuelvo sobre el sudoku analizado ayer y el sábado. Ayer mostré una forma de seguir, en el paso 29, eliminando el candidato 5 en [f3c1] mediante una Cadena de Inferencias Alternas. Sin embargo, también es posible jugar, como paso 29, la solución mostrada el sábado, mediante una Cadena de Implicancias que permite eliminar el candidato 8 en [f5c3]. El sábado la mostré graficamente. Ahora anoto la fórmula lógica:

8[f5c3]=>2[f5c2]=>5[f5c5]=>[f6c4] ≠ 5 =>5[f7c4]=>[f7c9] ≠ 5 =>5[f3c9]=> [f3c3] ≠ 5 => 5[f2c3]=> 6[f3c3] => 8[f3c8] => [f3c2] ≠ 8 => 8[f5c2] => [f5c3] ≠ 8. Luego podemos excluir el 8 de [f5c3].

Al excluir ese 8, el sudoku queda:

Y este sudoku queda con la bendita gracia de haberse convertido desde un sudoku extra difícil en un sudoku muy fácil de resolver, pues como ya lo dije el sábado, se va resolviendo mediante los singles que van apareciendo. Por ejemplo: [f5c2] =8 => [f5c5] =2 => [f4c3] =2 y así sucesivamente. Esto se debe a que el 8 en [f5c3] constituye un "backdoor" del puzzle, algo así como una puerta de escape (no se me ocurre una mejor traducción). Los backdoors son candidatos que al eliminarlos, el sudoku en el que están se convierte en un sudoku trivial. Un sudoku puede tener varios backdoors y basta eliminar sólo uno de ellos para que el sudoku pase de extra difícil a extra fácil. No existe un método lógico para encontrarlos (hasta donde yo sé), y cuando se encuentra uno, no siempre existe un método lógico para excluirlo. Pero bueno, en este caso el proceso fue al revés: primero se halló la cadena de implicancias que permitía eliminar el 8 en [f5c3] y posteriormente uno se da cuenta que el sudoku mágicamente se desenreda.

Con esto doy por concluído el análisis de este sudoku, pues está resuelto. Marcelo, a tí te queda por ver por qué Master Sudoku no encontró esta cadena de implicancias, o la cadena de inferencias alternas mostrada en mi análisis de ayer. De todas formas pienso que el software es un gran programa. El sudoku que elegí para probarlo es extremo.

Saludos.