Cadenas de Inferencias Alternas -Parte 6.

Continuo hoy, después de este largo período estival, el análisis de las técnicas avanzadas de resolución de sudokus endemoniadamente difíciles. En el sudoku de hoy tenemos una cadena corta y elegante. Se inicia en 9[f2c8], baja al 9[f7c8], el cual tiene una inferencia débil con 3[f7c8]. De éste se enlaza con 3[f7c9], el cual tiene una inferencia débil con 5[f7c9]. Finalmente, vuelve arriba al 5[f2c9]. En este punto se obtiene algo muy interesante. En este caso no es necesario trazar la línea que cierra el loop alterno, porque notamos que el 5[f2c9] comparte caja y fila con el 5[f2c8]. Al comenzar con un enlace fuerte desde 9[f2c8], estamos diciendo que "si el 9 no está en [f2c8], debe estar en [f7c8]. Pero si no está en [f2c8], entonces el 5 debe ser verdad en [f2c8]. Sin embargo, siguiendo el loop, hemos demostrado que si [f2c8]=5, entonces también [f2c9]=5, lo cual es contradictorio. Se puede establecer entonces una nueva regla. Si el final de una cadena de inferencias alternas llega a la misma unidad (fila, columna o caja) del inicio de la cadena, y ambos números son diferentes (en nuestro ejemplo 9 y 5), entonces cada número final de la cadena no puede existir en la punta contraria de la misma. Esto es porque ambas puntas de la cadena con verdad. En nuestro ejemplo, el 5 no puede ser en [f2c8] y el 9 no puede ser en [f2c9], aunque en este caso en esta casilla no existe ningún nueve. En resumen se puede borrar el 5 de [f2c8].

Saludos, y pásenlo bien.