Ciclos X Agrupados.

En esta entrada comenzaré a explicar los Ciclos X Agrupados, que afortunadamente, no tiene nada que ver con "grupos" de ciclos X. El concepto "agrupado" se refiere a nodos en un ciclo X individual, los cuales contienen dos o tres celdas en vez de una.

En la figura, todas las celdas con letras contienen al candidato 3. Hay un ciclo continuo (enlaces fuertes y débiles alternando) comenzando en A. Hay un enlace débil en BC y otro en DE. Sin saber aún cuál de las celdas X, Y o Z es la solución (vale 3), si es que una de ellas es la solución, lo cierto es que cualquiera de ellas eliminará a A o a E (si por ejemplo X=3, A y E ya no pueden valer 3). De igual modo, si E es verdad, entonces no lo son ni X, ni Y, ni Z, y A es verdad.

Podemos pensar en XYZ como un nodo para los propósitos de nuestra lógica. Esto promueve los enlaces desde A y E (hasta XYZ) a enlaces fuertes, y la notación para esta parte del loop queda entonces:

3[E]=3[X][Y][Z]=3[A]=

La característica importante es que las celdas (XYZ) estén todas en la misma caja. Una punta de la cadena (en este caso A) está siendo apuntada por las celdas del nodo; la otra (en este caso E) está generalmente dentro de la misma caja del nodo. Podemos tener tantos nodos en un loop o cadena como queramos. En la figura, el enlace A-XYZ ha sido dibujado como un enlace de inferencia débil, como ya sabemos podemos hacer con los enlaces fuertes. El resultado es un ciclo X continuo en 3. esto nos permite eliminar el 3 de la celda amarilla (regla número 1 de Nice Loops).

La próxima semana les mostraré algunos ejemplos con sudokus reales. Les dejo, para que se entretengan, un sudoku aparecido en uno de los foros de internet, en el que se puede practicar ciclos X.

También puede resolverse con técnicas más simples: 2 pointing pairs, 1 gemela, 1 trilliza y 1 rectángulo vacío.

Que lo pasen bien.