Catene forzate: confronta ogni ramo
Una forcing chain segue le conseguenze della scelta di un candidato. Per una catena basata su una cella, considera ogni candidato di quella cella; per una catena basata su un'unità, considera ogni posizione ancora possibile di una cifra in una riga, colonna o riquadro. Una conclusione comune è sicura solo dopo aver controllato tutti i casi iniziali. Una contraddizione, invece, confuta l'ipotesi che l'ha prodotta.
Idea chiave
Se ciascuno dei due valori possibili della cella bivalue iniziale rende obbligatorio il candidato Z in una cella collegata alla cella obiettivo, Z può essere eliminato dalla cella obiettivo.
Guarda la mossa passo dopo passo
Usa lo stesso esempio svolto della lezione sull'XY-Wing per seguire entrambe le possibilità: R1C3 può contenere 5 oppure 7. Le note dei candidati tengono conto delle eliminazioni precedenti.
Passaggio 1 di 4
Scegli un punto di diramazione controllato
R1C3 ha esattamente due candidati, quindi l'analisi si divide in due casi esaustivi.
Passaggio 2 di 4
Segui entrambe le implicazioni
Se R1C3 contiene 5, R1C4 deve contenere 6. Se R1C3 contiene 7, R2C3 deve contenere 6.
Passaggio 3 di 4
Trova il risultato comune
R2C4 vede entrambi i possibili 6 forzati, quindi non può contenere il 6 in nessuno dei due rami.
Passaggio 4 di 4
Mantieni solo la conclusione valida per entrambi i rami
Elimina il 6 da R2C4. Non inserire alcun candidato ipotetico, a meno che un ramo non sia stato confutato.
Prova la strategia sul sudoku del giorno
Usa catene brevi quando le tecniche più semplici non portano progressi. Una catena di inferenze alternate (AIC) alterna legami forti (se un candidato è falso, l'altro deve essere vero) e deboli (se uno è vero, l'altro deve essere falso). In questa griglia, se R1C4 non è 6, deve essere 5; R1C3 non può quindi essere 5 ed è 7; R2C3 non può quindi essere 7 ed è 6. Dunque R1C4 o R2C3 deve contenere 6, che si può escludere dalla cella R2C4, visibile da entrambe. È la stessa eliminazione espressa come AIC. Verifica ogni legame con i candidati attuali, non soltanto con la forma disegnata. La lezione precedente sui Nice Loops mostra legami alternati in un ciclo chiuso.
Risolvi il sudoku di oggi