Bucles nice: cierra una cadena de inferencias alternas
En la notación donde cada nodo representa un candidato, un bucle nice continuo alterna enlaces fuertes y débiles en todo su recorrido, incluida la unión final. No determina que un vértice sea verdadero. Un bucle discontinuo alterna los enlaces salvo en un candidato: dos enlaces débiles que se unen allí lo descartan; dos enlaces fuertes lo fuerzan a ser verdadero. Cada enlace debe estar justificado.
Idea clave
En un bucle continuo, cada enlace débil también adquiere una inferencia fuerte: al menos uno de sus extremos debe ser verdadero. Elimina los candidatos que entren en conflicto con ambos extremos.
Mira la jugada paso a paso
Sigue un bucle de cuatro nodos para el candidato 7 en las filas 1 y 4.
Paso 1 de 4
Elige una red de candidatos
Céntrate en el candidato 7 y busca pares conjugados que puedan conectarse a través de unidades compartidas.
Paso 2 de 4
Alterna enlaces fuertes y débiles
Los cuatro candidatos de los vértices forman un bucle cerrado: enlaces fuertes en cada fila y débiles en cada columna.
Paso 3 de 4
Usa la consecuencia del bucle
R5C1 ve los dos estados posibles del bucle a lo largo de la columna 1, así que el candidato 7 no puede permanecer allí.
Paso 4 de 4
Conserva el bucle y elimina el candidato externo
El propio bucle queda sin resolver mientras R5C1 pierde el candidato 7.
Pruébala con el sudoku de hoy
Un enlace fuerte significa que al menos un extremo es verdadero; uno débil significa que como máximo uno lo es. En este ejemplo, o bien R1C1 y R4C3 contienen el 7, o bien R1C3 y R4C1 contienen el 7. R5C1 ve un 7 en la columna 1 en ambos casos, por lo que se elimina su 7 mientras los vértices quedan sin resolver. Volver a la suposición inicial no es, por sí solo, una contradicción: sigue las implicaciones en lugar de contar un número par o impar de enlaces débiles.
Juega hoy