Vedi la griglia dell’esempio
Nishio verifica un candidato con deduzioni forzate. Se una casella resta senza possibilità o una cifra necessaria non ha più posto, l’ipotesi è falsa.
Un esempio dall’app
Esaminiamo il candidato 7 in C1. Per ora supponiamo solo che sia vero. Tutti i numeri successivi dell’anteprima dipendono da questa ipotesi.
Seguiamo solo Naked e Hidden Singles obbligati. Se una casella non ha possibilità o un numero necessario non ha posto, l’ipotesi è smentita. Poi l’anteprima viene scartata interamente.
Solo come ipotesi, supponiamo C1 = 7 e seguiamo i Singles che ne derivano. La griglia reale non cambia.
Con questa ipotesi, in H1 resta solo 8. Questo Naked Single viene inserito nella griglia ipotetica.
Con questa ipotesi, 8 ha un solo posto in la riga 2: D2. Questo Hidden Single viene inserito nella griglia ipotetica.
Con questa ipotesi, 1 ha un solo posto in la riga 2: F2. Questo Hidden Single viene inserito nella griglia ipotetica.
Con questa ipotesi, 5 ha un solo posto in la riga 2: E2. Questo Hidden Single viene inserito nella griglia ipotetica.
Con questa ipotesi, in E9 resta solo 6. Questo Naked Single viene inserito nella griglia ipotetica.
Con questa ipotesi, in E8 resta solo 7. Questo Naked Single viene inserito nella griglia ipotetica.
Il 7 necessario non ha più posto in la riga 7. È una contraddizione: l’ipotesi iniziale era falsa.
Tornando alla griglia iniziale invariata, i casi ipotetici giustificano queste esclusioni: C1: 7. Nella griglia reale cambiano solo quelle note.
L’immagine mostra i candidati utili a questo passaggio. Una nota nascosta non è per questo eliminata logicamente.
Continua a esercitarti
La versione Unisu segue soltanto Naked Single e Hidden Single. Si torna alla griglia iniziale invariata e si elimina solo il candidato smentito.
Nell’app puoi seguire il ragionamento della lezione corrispondente e applicarlo in autonomia. Con una nuova griglia, riparti sempre dai suoi candidati reali.
Domande su Nishio
Che cosa si suppone con Nishio?
Un candidato viene considerato provvisoriamente vero. Tutti i passi successivi dipendono dall’ipotesi e non cambiano la partita reale.
Che cosa conta come contraddizione?
Per esempio, una casella senza candidati o una cifra necessaria senza posizione in una zona. Questo confuta l’ipotesi iniziale.
Non trovare più Singles confuta il ramo?
No. Essere bloccati non è una contraddizione. Senza una contraddizione reale non puoi eliminare il candidato ipotizzato.
Quali modifiche posso mantenere alla fine?
Solo l’esclusione giustificata del candidato iniziale confutato. Gli inserimenti provvisori del ragionamento vengono scartati.
Che differenza c’è con Forcing Chain?
Nishio confuta una sola ipotesi. La Forcing Chain mostrata confronta due possibilità e usa la loro conclusione comune.
Continua a esercitarti in Unisu
Scarica Unisu per iPhone o Android. Risolvi un sudoku o esercitati sulla tecnica con una lezione guidata.
