Guías / Cadena forzada de Nishio
Cadena forzada de Nishio
> Requisito previo: [Chain Basics](learning://chains)
Advanced
Cadena forzada de Nishio
Requisito previo: Chain Basics
Descripción general
Nishio Forcing Chain es una técnica de eliminación de prueba por contradicción.
Cuando un candidato parece “sospechoso” pero no puedes eliminarlo con una técnica directa, puedes hacer esto:
- elija un candidato para realizar la prueba (rojo)
- supongamos que es verdad
- propagar la verdad/falsedad forzada (azul = verdad forzada, amarillo = falso forzado)
- si llegas a una contradicción (por ejemplo, en una fila no hay lugar para un dígito)
⇒ la suposición es imposible
⇒ eliminar al candidato inicial
Tutorial
En la imagen de arriba, el objetivo de eliminación rojo es candidato 5 en r1c3.
Comenzamos una prueba de contradicción asumiendo que r1c3 = 5 es verdadero.
Luego seguimos la cadena de forzamiento:
- Los candidatos azules se fuerzan a ser verdaderos bajo este supuesto.
- Los candidatos amarillos se fuerzan a ser falsos bajo esta suposición.
No es necesario que verifiques cada salto al principio; céntrate en la contradicción:
En este ejemplo, la cadena finalmente elimina todos los candidatos 7 en la fila 1, lo que significa que la fila 1 no tiene lugar para el dígito 7.
Pero cada fila debe contener los dígitos del 1 al 9, por lo que esto es una contradicción.
Por lo tanto, el supuesto r1c3 = 5 no puede ser cierto y el candidato 5 en r1c3 puede eliminarse.
Ejemplos
Aquí hay dos ejemplos más de Nishio. Intente seguir este orden de visualización: inicio rojo (se supone verdadero) → propagación azul/amarillo → contradicción → eliminar rojo.
Cómo detectar a Nishio
Lista de verificación de una línea: cuando esté atascado, elija un candidato clave y pruébelo por contradicción; si rápidamente fuerza una contradicción, elimínela.
Lista de verificación práctica:
- Prefiera candidatos de “alto impacto”: celdas bivalor o candidatos cerca de pares conjugados
- Suponga que es cierto, luego aplique solo la propagación determinista
- Si llegas a una contradicción (celda vacía / no hay lugar para un dígito en una casa), elimina al candidato inicial