Nishio er et forsiktig «hva om?». Du prøver en kandidat som sann og følger de tvungne konsekvensene (ikke ville gjetninger). Hvis den verdenen bryter reglene, var prøvekandidaten usann.
Dette er bevis ved motsigelse — fortsatt logikk, ikke tilfeldig gjetting.
Hvorfor det virker
Sudoku tillater aldri en motsigelse. Hvis det å anta sifferet D i en celle tvinger frem to like sifre i en enhet, eller tømmer en celle for alle kandidater, kan ikke D stå der.
Du godtar bare tvungne trekk i prøven. Coachen skiller mellom å validere tvangskjeder (å bevise et mønster) og vill gjetting — Nishio er den forsiktige versjonen.
Slik finner du den
Følg bare tvungne trekk i prøveverdenen — aldri ville gjetninger. Hvis verdenen bryter sammen, er prøvekandidaten usann.
Demonstrasjon
Når enklere mønstre stopper opp, velg en lovende kandidat og spør: hva om denne var sann?
Følg bare tvungne plasseringer og elimineringer. Her fører prøven av mønsteret på 1 til en motsigelse — Nishio.
En lovlig sudoku kan aldri havne i den ødelagte verdenen. Så prøvekandidaten kan ikke være sann.
Eliminer den eller de umulige kandidatene (rødt) (her 1).
Eksempel 1
Prøv en kandidat og følg tvangskjeden (bare tvungne trekk).
Nishio viser at 6 ikke kan være sann her — det eksploderer i en motsigelse.
Fjern den eller de motsagte kandidatene (rødt) (her 6). Den prøveverdenen var ulovlig.
Eksempel 2
Prøv en kandidat og følg tvangskjeden (bare tvungne trekk).
Nishio viser at 7 ikke kan være sann her — det eksploderer i en motsigelse.
Fjern den eller de motsagte kandidatene (rødt) (her 7). Den prøveverdenen var ulovlig.