In questa pagina
Una Sudoku Chain è una sequenza di inferenze tra stati candidati. Un endpoint vero o falso forza lo stato successivo, che a sua volta alimenta il link seguente.
Il linguaggio fondamentale è:
- Strong Link: falso → vero;
- Weak Link: vero → falso.
Alternandoli, uno stato può propagarsi come falso → vero → falso → vero... fino a dimostrare un'eliminazione, un inserimento, una contraddizione o una relazione forzata tra endpoint.
Prima delle Chains: comprendi gli stati candidati
Una Chain non collega vagamente “celle”. I nodi sono affermazioni come r4c2=7: il candidato 7 in quella cella è vero. La stessa cella può partecipare con più candidati e quindi con più stati distinti.
Quando una Chain sembra confusa, esplicita ogni nodo e ogni inferenza. Se non sai dire perché un passaggio è valido, la catena non è ancora verificata.
Le due direzioni inferenziali
Strong Link
A falso → B veroA e B non possono essere entrambi falsi.
Weak Link
A vero → B falsoA e B non possono essere entrambi veri.
L'alternanza funziona perché ogni link produce precisamente lo stato richiesto dal successivo.
Una Chain di quattro nodi
Considera:
A = B - C = DDove = indica un ruolo Strong e - un ruolo Weak.
A falso
Lo Strong Link forza B vero.
B vero
Il Weak Link forza C falso.
C falso
Il successivo Strong Link forza D vero. Quindi A falso → D vero.
- Collegamento forte
- Collegamento debole
Perché una Chain può spesso essere letta in entrambe le direzioni
Quando le relazioni ammettono i ruoli necessari, la stessa struttura può provare anche D falso → A vero. Ne segue che A e D non possono essere entrambi falsi: almeno uno dei due endpoint è vero.
Qualsiasi candidatura che confligge con entrambi gli endpoint può quindi essere eliminata.
Le Chains non sono tentativi arbitrari
Una Chain può iniziare con “supponiamo A falso”, ma non sta scegliendo a caso un valore da provare. L'ipotesi serve a dimostrare una implicazione formalmente necessaria e, spesso, la catena è verificabile anche dall'altro lato.
La differenza rispetto a guessing/backtracking è che ogni passaggio ha una giustificazione locale e la conclusione è una conseguenza logica, non il risultato di una ricerca opportunistica.
Le tecniche Sudoku nominate sono Chains compresse
Skyscraper
Può essere letto come una breve X-Chain sulla stessa cifra, costruita da due coppie coniugate e un conflitto tra estremità interne.
Two-String Kite
Combina una coppia coniugata in riga e una in colonna, collegate attraverso un blocco, per ottenere endpoint che non possono essere entrambi falsi.
W-Wing
Usa due caselle bivalue e uno Strong Link esterno su una delle cifre per dimostrare una eliminazione sulla cifra condivisa degli endpoint.
XY-Wing
È una piccola Chain di caselle bivalue in cui il pivot collega le due pincers e rende almeno una delle due estremità vera per la cifra target.
Links dentro e tra le celle
Dentro una casella bivalue
Se la cella è {3,8}, i due candidati sono esattamente uno vero: la relazione può fornire il passaggio Strong o Weak richiesto.
Tra celle peer
Due candidature della stessa cifra in celle che si vedono sono Weak: se una è vera, l'altra è falsa.
Dentro una coppia coniugata
Le sole due posizioni della stessa cifra in una unità sono Strong e Weak, quindi esattamente una è vera.
Chains a una cifra
Le X-Chains usano un'unica cifra dall'inizio alla fine. Questo riduce la complessità: i link Strong derivano soprattutto da coppie coniugate e quelli Weak dalla visibilità tra candidature della stessa cifra.
Chains di caselle bivalue
Le XY-Chains cambiano cifra dentro le caselle bivalue. Il passaggio interno sfrutta il fatto che, tra due candidati, esattamente uno è vero; il passaggio esterno usa la stessa cifra condivisa tra celle peer.
Coloring è un altro modo di gestire gli stati della Chain
Simple Coloring assegna due polarità a una rete di Strong Links della stessa cifra. Invece di seguire una singola sequenza, colora un componente con due stati alternati e cerca conflitti o trappole.
La logica sottostante resta quella dei link e delle implicazioni.
Cosa rende utile una Chain?
Eliminazione sugli endpoint
Se almeno uno tra due endpoint deve essere vero, un candidato che vede entrambi non può sopravvivere.
Contraddizione
Se una ipotesi propaga fino a uno stato impossibile, l'ipotesi iniziale è falsa.
Inserimento forzato
Se il falso di un candidato conduce a una contraddizione, quel candidato deve essere vero; oppure una Chain può direttamente dimostrare una posizione obbligata.
Convergenza
Due possibili inizi diversi possono portare alla stessa conclusione. Quella conclusione è vera indipendentemente dal ramo iniziale.
Chains aperte, loop e strada verso gli AIC
Una Chain aperta ha due endpoint distinti. Un loop ritorna logicamente al punto di partenza e può creare regole di eliminazione proprie. Gli Alternating Inference Chains (AIC) generalizzano il linguaggio Strong/Weak e permettono strutture più flessibili.
Chain vs Net
Una Chain è essenzialmente lineare: ogni passo conduce al successivo. Una Net può ramificare in più conseguenze e riunirle dopo. Le Nets sono più costose da verificare e appartengono a un livello più esperto.
Notazione delle Chains
Le comunità Sudoku usano notazioni diverse. In questa libreria è più importante capire il ruolo inferenziale che memorizzare simboli. Quando usi = e -, annota sempre quale relazione è Strong e quale Weak nel contesto specifico.
Come verificare una Chain
- identifica esattamente ogni stato candidato;
- giustifica ogni Strong Link;
- giustifica ogni Weak Link;
- propaga vero/falso senza saltare passaggi;
- verifica il significato degli endpoint;
- dimostra che il target vede o contraddice ciò che la conclusione richiede;
- preferisci la catena più corta che prova lo stesso risultato.
Come cercare Chains senza perdersi
Inizia dalle strutture forti visibili: coppie coniugate, caselle bivalue, digit con molte connessioni. Segui pochi passi e fermati appena emergono endpoint con un peer comune o una contraddizione. Non costruire decine di nodi solo perché è possibile.
Errori comuni
Alternare stili di linea senza verificare l'inferenza
Una sequenza grafica Strong/Weak è valida solo se ogni collegamento possiede davvero quel ruolo.
Leggere un Weak Link al contrario
Dal falso di A non segue il vero di B, a meno che la relazione sia anche Strong.
Dimenticare che i nodi sono stati candidati, non soltanto celle
Specifica sempre la cifra del nodo. Cambiare cifra senza un link interno valido rompe la prova.
Costruire una Chain senza conclusione
Una catena può essere logicamente valida ma inutile. Serve un endpoint, una contraddizione o una convergenza che produca una deduzione concreta.
Eliminare un target che confligge con un solo endpoint
Se la prova dice “almeno uno tra A e D è vero”, il target deve essere incompatibile con entrambi.
Saltare subito alla notazione formale
Impara prima a pronunciare le inferenze in linguaggio naturale; i simboli vengono dopo.
Usare una Chain inutilmente lunga
Catene più corte sono più facili da verificare e spiegare. Cerca prima pattern e mosse semplici.
Come imparare le Chains senza sentirsi sopraffatti
Procedi in ordine: Strong/Weak Links → Skyscraper/Two-String Kite → Simple Coloring → X-Chain → XY-Chain → AIC. Ogni passaggio riutilizza la stessa logica con un grado di libertà in più.
FAQ
Cos'è una Sudoku Chain?
Una sequenza di stati candidati collegati da inferenze che propagano vero e falso fino a una conclusione verificabile.
Perché le Chains alternano Strong e Weak Links?
Perché Strong usa falso per produrre vero e Weak usa vero per produrre falso, creando una propagazione continua.
Le Chains sono la stessa cosa che indovinare?
No. Una Chain dimostra una conseguenza attraverso relazioni necessarie; il guessing sceglie una possibilità senza una prova sufficiente.
Tutte le Chains sono tecniche esperte?
No. Molti pattern intermedi possono essere descritti come Chains molto corte.
XY-Wing può essere rappresentato come una Chain?
Sì. È una delle introduzioni più compatte alla logica bivalue che poi si estende alle XY-Chains.
Cos'è un AIC?
Un Alternating Inference Chain è una forma generale di Chain che alterna ruoli Strong e Weak tra stati o gruppi di stati.
Qual è la differenza tra una Chain e una Net?
La Chain segue un percorso lineare; una Net ramifica in più conseguenze prima di arrivare a una conclusione.
Cosa imparare dopo
Passa a Simple Coloring, X-Chain e XY-Chain per vedere tre applicazioni operative dello stesso linguaggio inferenziale.