CIA's - Parte 3.

Démosle hoy una nueva mirada al sudoku de la semana pasada. Hay un autor de sudokus y programador, me parece holandés, Henk Westhuis, a quien le debo su particular visión de encontrar una manera más intuitiva de hallar las Cadenas de Inferencia Alternas. Él hace uso de los mismos conceptos BIVALUE (celda con dos candidatos distintos) y BILOCATION (un candidato sólo dos veces en una caja, fila o columna), pero en vez de buscar alternancias de inferencias, busca cadenas de implicancias al modo como veíamos en las cadenas forzadas dobles y cadenas forzadas triple. A diferencia de las cadenas forzadas de implicancias, que no terminan en el mismo candidato en que comienzan, acá se trata de formar un loop de implicancias y por lo tanto, debe terminar en la misma celda y candidato en que comienzan.

En el sudoku de la semana pasada, el 1[f9c9] implica que [f1c9] = 3. El 3[f1c9] implica que [f1c7] = 6. Este 6 implica que [f9c7] = 3 (porque de lo contrario la séptima columna se quedaría sin 3). Este 3 implica que [f9c3] = 1. Este loop de implicancias está diciendo que si [f9c9] = 1 entonces [f9c3] = 1, lo cual es una contradicción porque la fila 9 quedaría con dos 1. Por lo tanto [f9c9] no puede ser 1. La misma conclusión a la que llegamos la semana pasada mediante la explicación más ortodoxa de las Cadenas de Inferencias Alternas. En el loop que muestro en el diagrama anterior, intencionalmente no cerré con una línea discontinua desde 1[f9c3] al 1[f9c9], para no enredar el dibujo, pero en rigor debe ir.

Este método de encontrar las Cadenas de Inferencias Alternas es mucho más intuitivo y fácil de hallar para el ojo humano, en la sopa de candidatos que suelen haber en un sudoku a medio terminar, que encontrar las alternancias de inferencias. Y es, a mi juicio, el modo en que hay que acostumbrar el ojo. En las próximas semanas continuaré con más de...Cadenas de Inferencias Alternas (porque aún no lo hemos visto todo). ¡Que lo pasen bien!