Ver la cuadrícula del ejemplo
Nishio prueba un candidato mediante deducciones forzadas. Si deja una casilla sin posibilidades o un número necesario sin sitio, la hipótesis es falsa.
Un ejemplo de la app
Examinamos el candidato 7 en C1. Por ahora solo suponemos que es cierto. Todas las demás entradas de la vista previa dependen de esa suposición.
Seguimos solo Naked y Hidden Singles forzados. Si una casilla se queda sin posibilidades o un número necesario sin sitio, la suposición queda refutada. Después se descarta toda la vista previa.
Solo como hipótesis, suponemos C1 = 7 y seguimos los Singles que aparecen. El cuadrícula real no cambia.
Bajo esta suposición, en H1 solo queda 8. Este Naked Single se introduce en el cuadrícula hipotético.
Bajo esta suposición, 8 solo cabe en D2 dentro de la fila 2. Este Hidden Single se introduce en el cuadrícula hipotético.
Bajo esta suposición, 1 solo cabe en F2 dentro de la fila 2. Este Hidden Single se introduce en el cuadrícula hipotético.
Bajo esta suposición, 5 solo cabe en E2 dentro de la fila 2. Este Hidden Single se introduce en el cuadrícula hipotético.
Bajo esta suposición, en E9 solo queda 6. Este Naked Single se introduce en el cuadrícula hipotético.
Bajo esta suposición, en E8 solo queda 7. Este Naked Single se introduce en el cuadrícula hipotético.
El 7 necesario ya no tiene sitio en la fila 7. Es una contradicción, así que la suposición inicial era falsa.
De vuelta al cuadrícula inicial sin cambios, los casos hipotéticos justifican eliminar estas notas: C1: 7. Solo esas notas cambian en el cuadrícula real.
La imagen muestra los candidatos relevantes para este paso. Que una nota no se vea no significa que se haya eliminado lógicamente.
Sigue practicando
La versión de Unisu sigue solo Naked Single y Hidden Single. Se vuelve a la cuadrícula inicial y se elimina únicamente el candidato refutado.
En la app puedes seguir el razonamiento de la lección correspondiente y aplicarlo después por tu cuenta. En un puzle nuevo, parte siempre de sus candidatos reales.
Preguntas sobre Nishio
¿Qué se supone con Nishio?
Se considera provisionalmente verdadero un candidato. Los pasos siguientes dependen de esa hipótesis y no cambian la partida real.
¿Qué cuenta como contradicción?
Por ejemplo, una casilla sin candidatos o un número necesario sin posición en una zona. Eso refuta la suposición inicial.
¿Quedarme sin Singles refuta la rama?
No. Estar bloqueado no es una contradicción. Sin una contradicción real no puedes eliminar el candidato supuesto.
¿Qué cambios puedo aplicar al final?
Solo la eliminación justificada del candidato inicial refutado. Las cifras provisionales del razonamiento se descartan.
¿En qué se diferencia de Forcing Chain?
Nishio refuta una sola suposición. La Forcing Chain mostrada compara dos posibilidades y usa su conclusión común.
Sigue practicando en Unisu
Descarga Unisu para iPhone o Android. Resuelve un puzle o practica la técnica con una lección guiada.
