Risultato
Saprai seguire una catena di inferenze alternate, spiegare cosa dimostrano i suoi estremi, usare quella prova per un'eliminazione e riconoscere quando una catena è valida ma non utile.
Una catena ha bisogno di una conclusione
Una catena non è preziosa perché è lunga.
È preziosa perché dimostra qualcosa che prima non era evidente.
Un flusso utile è:
- scegliere un'ipotesi iniziale;
- propagare correttamente ogni implicazione;
- esaminare l'estremo;
- trasformare la relazione tra gli estremi in un piazzamento, un'eliminazione o una contraddizione.
Passaggio 1 — Segui gli stati
Parti da:
A = B - C = DAssumi A = falso.
La catena diventa:
A falso
→ B vero
→ C falso
→ D veroOgni freccia deve essere giustificata dalla relazione precedente.
Passaggio 2 — Segui dall'altro estremo
Ora parti da D = falso e percorri la catena all'indietro.
Ottieni la conclusione speculare:
- se A è falso, D è vero;
- se D è falso, A è vero.
Quindi A e D non possono essere entrambi falsi. Almeno un estremo deve essere vero.
Questa affermazione sugli estremi è la parte utile della catena.
Passaggio 3 — Elimina da una cella collegata comune
Supponi che il candidato T sia in conflitto con entrambi gli estremi A e D.
Poiché almeno un estremo è vero, T non può sopravvivere:
- se A è vero, T è falso;
- se D è vero, T è falso.
In ogni caso T viene eliminato.
Passaggio 4 — Una catena valida può non fare nulla
Puoi seguire una catena perfettamente valida la cui relazione tra gli estremi non abbia un bersaglio utile e non generi contraddizioni.
Non è una prova fallita. È semplicemente una catena improduttiva nello stato attuale.
Non accumulare catene per il gusto di farlo. Cerca una conclusione.
Passaggio 5 — Trova il link rotto
Una catena può sembrare convincente pur contenendo uno Strong Link non valido.
Se una presunta coppia coniugata ha in realtà un terzo candidato nell'unità sorgente, l'implicazione falso → vero scompare. Ogni conclusione successiva a quel link resta senza supporto.
Verifica sempre i link prima di fidarti dell'estremo.
Passaggio 6 — I pattern con nome sono catene compresse
Skyscraper, Two-String Kite e W-Wing possono essere compresi con lo stesso linguaggio di implicazioni.
La geometria ti aiuta a trovarli. La logica della catena spiega perché l'eliminazione è valida.
Questa distinzione diventa sempre più utile nelle tecniche avanzate.
Controllo rapido
Segui le implicazioni, identifica l'affermazione utile sugli estremi e distingui una catena rotta da una catena valida ma improduttiva.
Ricorda
Il pattern aiuta a cercare. Le implicazioni forniscono la prova.
Prossima lezione
W-Wing
Usa la stessa logica di Strong Links all'interno di un pattern compatto con nome.
Riferimento
Leggi Catene nel Sudoku per X-Chains, XY-Chains, notazione e il passaggio a catene di inferenze alternate più generali.