Nishio è un “e se?” fatto con attenzione. Provi un candidato come vero e segui le conseguenze obbligate (non tentativi a caso). Se quel mondo infrange le regole, il candidato di prova era falso.
È una dimostrazione per assurdo: sempre logica, non tirare a indovinare.
Perché funziona
Il Sudoku non ammette mai contraddizioni. Se supporre la cifra D in una cella porta a due cifre uguali in un’unità, o lascia una cella senza candidati, allora D non può stare lì.
Nella prova accetti solo mosse obbligate. Il coach distingue la verifica con catene forzanti (dimostrare uno schema) dal tirare a indovinare: Nishio è la versione rigorosa.
Come individuarlo
Nel mondo di prova segui solo mosse obbligate, mai tentativi a caso. Se il mondo si rompe, il candidato di prova è falso.
Dimostrazione
Quando gli schemi più semplici si bloccano, scegli un candidato promettente e chiediti: e se fosse vero?
Segui solo inserimenti ed eliminazioni obbligati. Qui provare lo schema su 1 porta a una contraddizione: Nishio.
Un Sudoku valido non può arrivare a quel mondo rotto. Quindi il candidato di prova non può essere vero.
Elimina i candidati impossibili (in rosso) (qui 1).
Esempio 1
Prova un candidato e segui la catena forzante (solo mosse obbligate).
Nishio mostra che 6 non può essere vero qui: porta a una contraddizione.
Rimuovi i candidati contraddetti (in rosso) (qui 6). Quel mondo di prova non era valido.
Esempio 2
Prova un candidato e segui la catena forzante (solo mosse obbligate).
Nishio mostra che 7 non può essere vero qui: porta a una contraddizione.
Rimuovi i candidati contraddetti (in rosso) (qui 7). Quel mondo di prova non era valido.