Nishio er et omhyggeligt »hvad nu hvis?«. Du prøver en kandidat som sand og følger de tvungne konsekvenser (ikke vilde gæt). Hvis den verden bryder reglerne, var den afprøvede kandidat falsk.
Det er bevis ved modstrid – stadig logik, ikke tilfældigt gætteri.
Hvorfor det virker
Sudoku tillader aldrig en modstrid. Hvis antagelsen om ciffer D i en celle tvinger to ens cifre ind i et hus eller tømmer en celle for alle kandidater, kan D ikke stå der.
Du accepterer kun tvungne træk i afprøvningen. Der er forskel på at validere en tvangskæde (bevise et mønster) og vildt gætteri – Nishio er den omhyggelige version.
Sådan finder du den
Følg kun tvungne træk i afprøvningsverdenen – aldrig vilde gæt. Hvis verdenen bryder sammen, er den afprøvede kandidat falsk.
Demonstration
Når de simplere mønstre går i stå, så vælg en lovende kandidat, og spørg: hvad nu hvis den var sand?
Følg kun tvungne placeringer og elimineringer. Her fører en afprøvning af mønsteret på 1 til en modstrid – Nishio.
En gyldig sudoku kan ikke nå den ødelagte verden. Så den afprøvede kandidat kan ikke være sand.
Eliminér de umulige kandidater (rød) (her 1).
Eksempel 1
Afprøv en kandidat, og følg tvangskæden (kun tvungne træk).
Nishio viser, at 6 ikke kan være sand her – det ender i en modstrid.
Fjern de modbeviste kandidater (rød) (her 6). Den afprøvede verden var ugyldig.
Eksempel 2
Afprøv en kandidat, og følg tvangskæden (kun tvungne træk).
Nishio viser, at 7 ikke kan være sand her – det ender i en modstrid.
Fjern de modbeviste kandidater (rød) (her 7). Den afprøvede verden var ugyldig.