Tentativi e contraddizioni: verifica un candidato fino alla contraddizione
La ricerca per tentativi assume temporaneamente un candidato, segue soltanto le mosse obbligate e verifica se il ramo produce una contraddizione.
Idea chiave
Un’ipotesi che porta a una contraddizione è falsa, quindi l’altro candidato è vero. Il metodo è rigoroso soltanto se ogni passaggio di propagazione viene registrato e può essere annullato.
Guarda la mossa passo dopo passo
Metti alla prova il candidato 2 in R1C5 e segui le conseguenze lungo la colonna 5.
Passaggio 1 di 4
Scegli una cella a due candidati
R1C5 contiene 2 e 8. La colonna 5 offre un percorso breve e verificabile per mettere alla prova il candidato 2.
Passaggio 2 di 4
Segna l’ipotesi
Supponi che R1C5 sia 2. I singoli obbligati collocano quindi 7 in R7C5 e 3 in R8C5.
Passaggio 3 di 4
Fermati alla prima contraddizione
R9C5 perde 2, 3 e 7 e non ha più candidati validi. Il ramo è impossibile.
Passaggio 4 di 4
Annulla il ramo e conserva la dimostrazione
Elimina 2 da R1C5 e inserisci 8. Tutti i valori temporanei del ramo vengono annullati.
Prova la strategia sul sudoku del giorno
Usa questo metodo soltanto dopo aver esaurito le tecniche sistematiche. Cambia un’ipotesi alla volta, registra ogni conseguenza obbligata e annulla completamente il ramo prima di proseguire.
Risolvi il sudoku di oggi