Nishio, c’est un « et si ? » prudent. Tu supposes qu’un candidat est vrai et tu suis les conséquences forcées (pas des suppositions au hasard). Si ce monde enfreint les règles, le candidat testé était faux.
C’est une preuve par l’absurde — toujours de la logique, pas du hasard.
Pourquoi ça marche
Le sudoku n’autorise jamais de contradiction. Si supposer le chiffre D dans une case force deux fois le même chiffre dans une unité, ou vide une case de tous ses candidats, alors D ne peut pas être là.
Pendant l’essai, tu n’acceptes que des coups forcés. Le coach distingue la validation par chaîne forcée (prouver une figure) de la devinette au hasard — Nishio en est la version rigoureuse.
Comment la repérer
Dans le monde d’essai, ne suis que des coups forcés — jamais de devinettes au hasard. Si le monde casse, le candidat testé est faux.
Démonstration
Quand les figures plus simples ne donnent plus rien, choisis un candidat prometteur et demande-toi : et si c’était vrai ?
Ne suis que les placements et éliminations forcés. Ici, essayer la figure sur 1 mène à une contradiction — Nishio.
Un sudoku valide ne peut pas aboutir à ce monde cassé. Le candidat testé ne peut donc pas être vrai.
Élimine le ou les candidats impossibles (en rouge) (ici 1).
Exemple 1
Teste un candidat et suis la chaîne forcée (coups forcés uniquement).
Nishio montre que 6 ne peut pas être vrai ici — tout s’effondre dans une contradiction.
Retire le ou les candidats contredits (en rouge) (ici 6). Ce monde d’essai était impossible.
Exemple 2
Teste un candidat et suis la chaîne forcée (coups forcés uniquement).
Nishio montre que 7 ne peut pas être vrai ici — tout s’effondre dans une contradiction.
Retire le ou les candidats contredits (en rouge) (ici 7). Ce monde d’essai était impossible.