Cadenas Forzadas

Las cadenas forzadas se sitúan en la frontera entre la técnica humana y la lógica de prueba. Siguen lo que ocurriría con cada uno de los dos candidatos de una celda bivalente, y si ambas ramas fuerzan la misma conclusión en otro lugar, esa conclusión es verdadera sin importar la elección inicial.

Cómo funciona

Encuentra una celda bivalente con candidatos {A, B}. Asume que la celda toma A y sigue las deducciones: singles ocultos, singles desnudos, pares apuntadores y cualquier otra cosa que no requiera una nueva suposición. Anota las colocaciones forzadas.

Reinicia, luego asume que la celda toma B y ejecuta la misma cadena hacia adelante. Otra vez, anota las colocaciones forzadas.

Ahora compara las dos ramas. Si ambas ramas fuerzan el mismo dígito en alguna otra celda, ese dígito es correcto sin importar qué valor tome la celda inicial. Colócalo. Si una rama produce una contradicción (dos del mismo dígito en una unidad, o una celda sin candidatos), el otro candidato era el verdadero. Elimínalo.

Cuándo buscarlo

Después de que coloreado, XY-wing y X-wing hayan fracasado. Los sudokus diabólicos requieren cadenas forzadas con frecuencia. Elige una celda bivalente con consecuencias ricas para ambos candidatos; las celdas donde cada elección desencadena una secuencia de movimientos forzados son productivas.

Ejemplo paso a paso

1. 1
   Elige un inicio bivalente

   Una celda con dos candidatos A y B. Cuantas menos celdas vacías la rodeen, más rápido converge la cadena.
2. 2
   Rama A

   Coloca A tentativamente. Aplica todos los movimientos forzados que puedas: singles, pares apuntadores, cualquier cosa mecánica. Detente cuando no queden más movimientos forzados.
3. 3
   Reinicio

   Deshaz todas las colocaciones de la rama A. Paso crítico. Las marcas de prueba obsoletas corrompen el resto de la resolución.
4. 4
   Rama B

   Coloca B y ejecuta la misma cadena hacia adelante.
5. 5
   Compara

   ¿Misma conclusión en ambas? Colócala. ¿Contradicción en una? La otra rama es la verdadera.

Consejos para detectarlo

• Empieza con celdas bivalentes cuyos dos candidatos desencadenen largas secuencias de movimientos forzados.
• Usa dos colores de lápiz para que las colocaciones de prueba se distingan de las reales.
• Sigue la cadena en papel si tu memoria no la puede sostener. Veinte colocaciones son demasiadas para recordar.
• Busca convergencia y contradicción simultáneamente. Ambas dan información útil.

Errores comunes

• Olvidar deshacer las colocaciones de prueba cuando la rama falla. Las marcas obsoletas corrompen todo lo que sigue.
• Sacar conclusiones de una sola rama. Ambas deben converger o una debe romperse.
• Cadenas cortas sin convergencia. Inútiles. Elige una celda de inicio más larga la próxima vez.
• Recurrir a las cadenas forzadas antes de agotar el coloreado. El coloreado es más barato cuando aplica.

Practícalo

Las cadenas forzadas brillan en sudoku diabólico. Elige una celda bivalente y sigue cada rama con cuidado. Después de algunas resoluciones verás qué inicios producen cadenas convergentes y cuáles se desinflan. La habilidad se transfiere directamente a Nishio, que usa la misma lógica de prueba sobre un único candidato.