Nishio is een zorgvuldige “wat als?” Je neemt aan dat een kandidaat waar is en volgt de afgedwongen gevolgen (geen wilde gokken). Als die wereld de regels breekt, was de kandidaat onwaar.
Dit is bewijs uit het ongerijmde — nog steeds logica, geen willekeurig gokken.
Waarom het werkt
Sudoku staat nooit een tegenspraak toe. Als de aanname van cijfer D in een cel twee keer hetzelfde cijfer in een eenheid afdwingt, of een cel van al zijn kandidaten berooft, dan kan D daar niet staan.
Je accepteert in de proef alleen afgedwongen zetten. De coach maakt onderscheid tussen het valideren van een dwangketen (een patroon bewijzen) en wild gokken — Nishio is de zorgvuldige variant.
Zo herken je het
Volg in de proefwereld alleen afgedwongen zetten — nooit wilde gokken. Als de wereld breekt, is de uitgeprobeerde kandidaat onwaar.
Demonstratie
Als eenvoudigere patronen vastlopen, kies dan een veelbelovende kandidaat en vraag je af: wat als deze waar was?
Volg alleen afgedwongen plaatsingen en eliminaties. Hier leidt het uitproberen van het patroon op 1 tot een tegenspraak — Nishio.
Een geldige sudoku kan die kapotte wereld niet bereiken. De uitgeprobeerde kandidaat kan dus niet waar zijn.
Streep de onmogelijke kandidaat of kandidaten weg (rood) (hier 1).
Voorbeeld 1
Probeer een kandidaat uit en volg de dwangketen (alleen afgedwongen zetten).
Nishio laat zien dat 6 hier niet waar kan zijn — het loopt uit op een tegenspraak.
Haal de tegengesproken kandidaat of kandidaten weg (rood) (hier 6). Die proefwereld was ongeldig.
Voorbeeld 2
Probeer een kandidaat uit en volg de dwangketen (alleen afgedwongen zetten).
Nishio laat zien dat 7 hier niet waar kan zijn — het loopt uit op een tegenspraak.
Haal de tegengesproken kandidaat of kandidaten weg (rood) (hier 7). Die proefwereld was ongeldig.