Nice Loop -. Regla 1

Los Nice Loops que alternan inferencias fuerte-débil-fuerte-débil y así sucesivamente, se denominan "continuos", y deben tener siempre un número par de nodos (casillas). Con un Ciclo X continuo, se pueden eliminar candidatos fuera del loop y que se encuentran dentro de la unidad (fila, columna o caja) de los enlaces con inferencia débil.

En el ejemplo de la figura anterior, se muestra en azul un loop continuo del candidato 8. Como se puede ver, tiene una inferencia débil, luego una fuerte, luego una débil y finalmente cierra el loop con una inferencia fuerte. Además se verifica que tiene un número par de nodos, en este caso cuatro. Las inferencias débiles se encuentran en la tercera columna y en la quinta columna. Aplicando la Regla 1, podemos entonces eliminar con seguridad los 8 que se encuentran en la tercera columna y en la quinta columna y que no forman parte del loop, esto es, los que están marcados en las celdas amarillas. Éste es un caso típico de X-Wing, pero resuelto ahora desde la perspectiva de un Ciclo X continuo, aplicando la regla 1 de Nice Loop.

El siguiente ejemplo es aún mucho más interesante, y fue propuesto por Andrew C. Stuart.

Este loop empieza en el 9 azul de la primera caja, el cual tiene una inferencia fuerte con el único otro 9 de la segunda fila, ubicado en la segunda caja. Éste tiene una inferencia débil con el 9 azul de la tercera fila, porque existen más de dos 9 en la segunda caja. Éste 9 tiene una inferencia fuerte con el único otro 9 que tiene la sexta columna, ubicado en la caja cinco. Éste nueve tiene una inferencia débil con el 9 azul de la quinta columna (caja cinco), porque hay más de dos 9 en la caja cinco. Éste tiene una inferencia fuerte con el único otro 9 que tiene la sexta fila. Y éste tiene una inferencia débil con el nueve inicial de la caja uno, porque hay más de dos 9 en la tercera columna. Como se aprecia es un Ciclo X continuo. La primera inferencia débil está en la segunda caja. La segunda inferencia débil está en la caja cinco. Y la tercera inferencia débil está en la tercera columna. Por lo tanto, aplicando la regla 1 de Nice Loop, se pueden eliminar todos los 9 que estén en las cajas dos y cinco, así como los de la tercera columna y que no pertenezcan al loop. En otras palabras se pueden eliminar todos los 9 que están en las celdas amarillas.

Pásenlo bien.