¿Qué es una cadena forzada en el sudoku?

Una cadena forzada es una secuencia de candidatos enlazados donde suponer un valor inicial fuerza una cascada de consecuencias de casilla en casilla. Si dos o más suposiciones iniciales distintas fuerzan todas el mismo candidato dentro (o fuera) de una casilla concreta, ese resultado debe ser verdadero independientemente de cuál suposición sea la correcta. Permite hacer una deducción sin conocer el valor inicial real.

¿Cómo se usan las cadenas forzadas para resolver un puzle?

Elige una casilla o un candidato y traza a dónde lleva cada posibilidad siguiendo enlaces fuertes y débiles a través del tablero. Cuando cada rama que exploras converge en la misma conclusión para alguna casilla, puedes colocar o eliminar ese candidato. En la práctica a menudo empiezas desde una casilla bivalente y pruebas ambos candidatos, quedándote con la eliminación en la que coinciden ambos caminos.

¿Cuál es la diferencia entre las cadenas forzadas y una X-Chain o XY-Chain?

Las X-Chains y las XY-Chains son tipos de cadena específicos y estructurados, restringidos a un solo dígito o a casillas bivalentes con un patrón de enlaces repetitivo. Las cadenas forzadas son más generales: permiten ramificaciones desde múltiples estados iniciales y pueden mezclar dígitos y tipos de casilla libremente. Al ser más amplias, las cadenas forzadas pueden resolver posiciones que los patrones de cadena más estrechos no pueden.

¿Se consideran las cadenas forzadas como adivinar?

No, las cadenas forzadas son pura lógica, no adivinación. Supones un valor temporalmente solo para trazar sus consecuencias lógicas, y la conclusión se acepta únicamente cuando cada suposición posible lleva al mismo resultado. Nada se coloca por corazonada, así que la deducción está garantizada como correcta.

Cadenas Forzadas. Técnica de Sudoku Explicada

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
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
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
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
Rama B
Coloca B y ejecuta la misma cadena hacia adelante.
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.

Cadenas Forzadas