Nishio é un “e se…?” coidadoso. Probas un candidato como verdadeiro e segues as consecuencias obrigadas (non adiviñas ao chou). Se ese mundo rompe as regras, o candidato probado era falso.
Isto é unha proba por contradición: segue sendo lóxica, non adiviñar ao azar.
Por que funciona
O sudoku nunca permite unha contradición. Se supoñer o díxito D nunha cela obriga a ter dous díxitos iguais nunha unidade, ou deixa unha cela sen candidatos, entón D non pode estar alí.
Na proba só aceptas movementos obrigados. O titor distingue entre validar unha cadea forzada (demostrar un patrón) e adiviñar ao chou: Nishio é a versión coidadosa.
Como detectalo
No mundo de proba segue só movementos obrigados, nunca adiviñas ao chou. Se o mundo rompe, o candidato probado é falso.
Demostración
Cando os patróns máis sinxelos se atascan, escolle un candidato prometedor e pregunta: e se isto fose verdadeiro?
Segue só colocacións e eliminacións obrigadas. Aquí probar o patrón en 1 leva a unha contradición: Nishio.
Un sudoku válido non pode chegar a ese mundo roto. Así que o candidato probado non pode ser verdadeiro.
Elimina o(s) candidato(s) imposible(s) (vermello) (aquí 1).
Exemplo 1
Proba un candidato e segue a cadea forzada (só movementos obrigados).
Nishio mostra que 6 non pode ser verdadeiro aquí: estoupa nunha contradición.
Quita o(s) candidato(s) contraditos (vermello) (aquí 6). Ese mundo de proba era ilegal.
Exemplo 2
Proba un candidato e segue a cadea forzada (só movementos obrigados).
Nishio mostra que 7 non pode ser verdadeiro aquí: estoupa nunha contradición.
Quita o(s) candidato(s) contraditos (vermello) (aquí 7). Ese mundo de proba era ilegal.