Nishio to ostrożne „a co, jeśli?”. Zakładasz, że kandydat jest prawdziwy, i śledzisz wymuszone konsekwencje (nie dzikie zgadywanie). Jeśli ten świat łamie zasady, sprawdzany kandydat był fałszywy.
To dowód przez sprzeczność — nadal logika, a nie losowe zgadywanie.
Dlaczego to działa
Sudoku nigdy nie dopuszcza sprzeczności. Jeśli założenie cyfry D w polu wymusza dwie takie same cyfry w obszarze albo pozbawia pole wszystkich kandydatów, to D nie może tam być.
W próbie akceptujesz tylko wymuszone ruchy. Podpowiedzi odróżniają sprawdzanie łańcuchem wymuszającym (dowodzenie wzoru) od dzikiego zgadywania — Nishio to ta ostrożna wersja.
Jak to wypatrzyć
W świecie próbnym podążaj tylko za wymuszonymi ruchami — nigdy nie zgaduj na ślepo. Jeśli świat się rozpada, sprawdzany kandydat jest fałszywy.
Pokaz
Gdy prostsze wzory utkną, wybierz obiecującego kandydata i zapytaj: co, jeśli to prawda?
Podążaj tylko za wymuszonymi wpisami i eliminacjami. Tutaj sprawdzenie wzoru na 1 prowadzi do sprzeczności — to Nishio.
Poprawne sudoku nie może dojść do takiego zepsutego świata. Sprawdzany kandydat nie może więc być prawdziwy.
Wyeliminuj niemożliwych kandydatów (na czerwono) (tutaj 1).
Przykład 1
Sprawdź kandydata i podążaj łańcuchem wymuszającym (tylko wymuszone ruchy).
Nishio pokazuje, że 6 nie może być tu prawdą — prowadzi do sprzeczności.
Usuń kandydatów, którzy doprowadzili do sprzeczności (na czerwono) (tutaj 6). Ten świat próbny był niedozwolony.
Przykład 2
Sprawdź kandydata i podążaj łańcuchem wymuszającym (tylko wymuszone ruchy).
Nishio pokazuje, że 7 nie może być tu prawdą — prowadzi do sprzeczności.
Usuń kandydatów, którzy doprowadzili do sprzeczności (na czerwono) (tutaj 7). Ten świat próbny był niedozwolony.