O Nishio é um “e se?” cuidadoso. Você testa um candidato como verdadeiro e segue as consequências obrigatórias (nada de chutes). Se esse mundo quebra as regras, o candidato testado era falso.
Isso é prova por contradição — continua sendo lógica, não chute aleatório.
Por que funciona
O Sudoku nunca permite uma contradição. Se supor o dígito D em uma célula obriga dois dígitos iguais em uma unidade, ou deixa uma célula sem nenhum candidato, então D não pode ficar ali.
No teste, você só aceita jogadas obrigatórias. O treinador separa a validação por cadeia forçada (provar um padrão) do chute — o Nishio é a versão cuidadosa.
Como identificar
No mundo de teste, siga só jogadas obrigatórias — nunca chutes. Se o mundo quebra, o candidato testado é falso.
Demonstração
Quando os padrões mais simples empacam, escolha um candidato promissor e pergunte: e se este fosse verdadeiro?
Siga só posicionamentos e eliminações obrigatórios. Aqui, testar o padrão em 1 leva a uma contradição — Nishio.
Um Sudoku válido não pode chegar a esse mundo quebrado. Então o candidato testado não pode ser verdadeiro.
Elimine o(s) candidato(s) impossível(is) (vermelho) (aqui 1).
Exemplo 1
Teste um candidato e siga a cadeia forçada (só jogadas obrigatórias).
O Nishio mostra que 6 não pode ser verdadeiro aqui — ele explode em uma contradição.
Remova o(s) candidato(s) contraditório(s) (vermelho) (aqui 6). Aquele mundo de teste era inválido.
Exemplo 2
Teste um candidato e siga a cadeia forçada (só jogadas obrigatórias).
O Nishio mostra que 7 não pode ser verdadeiro aqui — ele explode em uma contradição.
Remova o(s) candidato(s) contraditório(s) (vermelho) (aqui 7). Aquele mundo de teste era inválido.