Nishio är ett noggrant ”tänk om?”. Du provar en kandidat som sann och följer tvingade följder (inga vilda gissningar). Om den världen bryter mot reglerna var provkandidaten falsk.
Det här är bevis genom motsägelse – fortfarande logik, inte slumpmässig gissning.
Varför det fungerar
Sudoku tillåter aldrig en motsägelse. Om antagandet att siffran D står i en cell tvingar fram två likadana siffror i en enhet, eller tömmer en cell på alla kandidater, kan D inte stå där.
Du godtar bara tvingade drag i provet. Coachen skiljer på att validera tvingande kedjor (bevisa ett mönster) och vilda gissningar – Nishio är den noggranna varianten.
Så hittar du det
Följ bara tvingade drag i provvärlden – aldrig vilda gissningar. Om världen går sönder är provkandidaten falsk.
Demonstration
När enklare mönster tar slut, välj en lovande kandidat och fråga: tänk om den här vore sann?
Följ bara tvingade placeringar och elimineringar. Här leder provet av mönstret på 1 till en motsägelse – Nishio.
En giltig sudoku kan inte hamna i den trasiga världen. Så provkandidaten kan inte vara sann.
Eliminera den omöjliga kandidaten/de omöjliga kandidaterna (rött) (här 1).
Exempel 1
Prova en kandidat och följ den tvingande kedjan (bara tvingade drag).
Nishio visar att 6 inte kan vara sann här – det exploderar i en motsägelse.
Ta bort den motsagda kandidaten/de motsagda kandidaterna (rött) (här 6). Den provvärlden var otillåten.
Exempel 2
Prova en kandidat och följ den tvingande kedjan (bara tvingade drag).
Nishio visar att 7 inte kan vara sann här – det exploderar i en motsägelse.
Ta bort den motsagda kandidaten/de motsagda kandidaterna (rött) (här 7). Den provvärlden var otillåten.