In questa pagina
Una XY-Chain è una sequenza di caselle bivalue in cui ogni passaggio usa un candidato condiviso tra due celle che si vedono. Dentro ogni cella, se un candidato è falso l'altro deve essere vero; tra due celle peer, se il candidato condiviso è vero nell'una, è falso nell'altra.
La catena inizia e termina con lo stesso candidato target. Questo permette di dimostrare che almeno uno dei due endpoint contiene quella cifra, eliminandola da qualsiasi cella che vede entrambi.
La struttura base di una XY-Chain
Esempio concettuale:
{3,7} — {7,8} — {8,2} — {2,3}Le celle consecutive devono vedersi per la cifra condivisa. Gli endpoint contengono entrambi 3.
Se A non è 3
La prima cella deve essere 7; il 7 elimina il 7 nella seconda, quindi la seconda deve essere 8; l'8 forza 2 nella terza; il 2 forza 3 nell'ultima. Dunque, se il primo endpoint non è 3, l'ultimo lo è.
Leggendo al contrario ottieni la relazione simmetrica. Almeno uno dei due endpoint è 3.
Perché ogni cella standard di una XY-Chain è bivalue
La transizione interna richiede che il falso di un candidato forzi un candidato specifico. In una casella {3,7,9}, il falso di 3 non forza 7 perché potrebbe essere 9. Una casella bivalue, invece, offre esattamente la relazione necessaria.
I due tipi di link dentro una XY-Chain
Strong Link dentro una cella
In {3,7}, se 3 è falso, 7 è vero; se 7 è falso, 3 è vero. I due candidati sono anche Weak perché una cella può contenere un solo valore.
Weak Link tra celle
Se due celle che si vedono contengono entrambe il candidato 7, il 7 non può essere vero in entrambe. Quindi il vero in una rende falso il 7 nell'altra.
L'eliminazione sugli endpoint
Se la Chain dimostra che almeno uno dei due endpoint contiene X, un candidato X esterno che vede entrambe le celle endpoint è impossibile. Non serve che gli endpoint si vedano tra loro; serve che il target veda ciascuno dei due.
Esempio sulla griglia passo dopo passo
XY-Wing è l'introduzione breve più familiare
Una XY-Wing può essere letta come una XY-Chain di tre caselle: il pivot collega due pincers bivalue e la cifra condivisa dalle pincers diventa la cifra endpoint da eliminare nei peer comuni.
Vederla così rende naturale il passaggio da un pattern geometrico di tre celle a una catena più lunga e irregolare.
XY-Chain vs X-Chain
X-Chain
Usa sempre la stessa cifra. I nodi sono candidature X e l'alternanza Strong/Weak avviene tra posizioni del medesimo digit.
XY-Chain
Cambia cifra dentro ogni casella bivalue. La sequenza può attraversare molti numeri, purché ogni coppia di celle consecutive condivida correttamente il candidato di transizione.
XY-Chain vs Remote Pair
Una Remote Pair usa molte caselle con la stessa coppia {X,Y} e sfrutta la polarità alternata della coppia lungo una catena. Una XY-Chain generale può usare coppie diverse a ogni passo e richiede soltanto la continuità candidato-per-candidato.
Come trovare XY-Chains
1. Evidenzia le caselle bivalue
Sono il grafo naturale della tecnica.
2. Scegli una cella iniziale
Preferisci bivalue che vedono altre bivalue e che possiedono candidati comuni con esse.
3. Segui l'altro candidato
Se inizi assumendo falso X, l'altro candidato della cella diventa vero.
4. Passa all'altro candidato della nuova cella
Il candidato vero elimina la stessa cifra nella cella peer collegata; essendo bivalue, quella cella forza il proprio secondo candidato.
5. Trova una cella bivalue peer che contenga 8
Continua solo attraverso visibilità reale e candidato condiviso. Non saltare tra celle che non si vedono.
6. Fermati quando ritorna il candidato endpoint
Una XY-Chain utile termina con la stessa cifra con cui è iniziata, ma in un'altra cella.
7. Controlla i peer comuni delle due celle endpoint
Sono gli unici target dell'eliminazione endpoint-standard.
8. Verifica l'intera Chain in entrambe le direzioni
Deve valere sia “primo endpoint falso → ultimo vero” sia la lettura inversa appropriata.
La geometria conta soltanto attraverso la visibilità
Una XY-Chain non ha una forma grafica obbligatoria. Può piegarsi attraverso righe, colonne e blocchi. Ciò che conta è che ogni passaggio tra celle consecutive sia una relazione peer valida per il candidato condiviso.
Evita di girare senza meta
Il grafo delle bivalue può essere grande. Non seguire ogni possibile ramo. Cerca percorsi che possano tornare alla cifra iniziale e produrre endpoint con peer comuni.
Una XY-Chain può ripetere celle o stati candidati?
Per una prova pulita evita ripetizioni inutili. Tornare sullo stesso stato tende a creare loop ridondanti o a nascondere un percorso più corto. Se compare un ciclo, analizzalo come struttura separata invece di allungare artificialmente la Chain.
Strong Links tra celle della Chain non la invalidano
Un collegamento esterno che è anche Strong non rovina il ruolo Weak necessario: una relazione Strong+Weak può essere usata come Weak. Devi soltanto mantenere corretta l'inferenza scelta.
Una XY-Chain valida può essere improduttiva
Se gli endpoint non hanno un candidato esterno che li vede entrambi, la catena non produce l'eliminazione standard. Questo non significa che sia “sbagliata”; semplicemente non è utile in quel punto.
Errori comuni
Usare una casella trivalue
La transizione interna non è forzata con tre candidati.
Collegare celle che non si vedono
Condividere una cifra non basta: le celle consecutive devono essere peer per creare il conflitto Weak.
Dimenticare quale candidato porta avanti la Chain
Annota la sequenza esplicitamente. Ogni cella riceve una cifra dal link precedente e ne produce l'altra.
Terminare su un candidato diverso
Per l'eliminazione endpoint classica, la prima e l'ultima cella devono condividere la stessa cifra target.
Eliminare da un target che vede un solo endpoint
La deduzione richiede che il target sia incompatibile con entrambe le possibilità finali.
Cercare ogni percorso bivalue del puzzle
È inefficiente. Usa trigger visivi e obiettivi di endpoint.
Trattare XY-Chain come una forma fissa
È una struttura logica, non un disegno specifico.
Esercizio di riconoscimento
Evidenzia tutte le bivalue di un puzzle. Scegli una coppia iniziale, segui una sequenza corta e scrivi i candidati come {a,b}→{b,c}→{c,d}.... Fermati quando ritorna ad a e verifica i peer comuni degli endpoint.
FAQ
Cos'è una XY-Chain nel Sudoku?
Una catena di caselle bivalue che alterna candidati condivisi e dimostra che almeno uno dei due endpoint contiene una cifra comune.
Tutte le celle di una XY-Chain devono avere esattamente due candidati?
Nella forma standard insegnata qui, sì. La proprietà bivalue rende ogni transizione interna deterministica.
Una XY-Chain può usare molte cifre diverse?
Sì. Può cambiare cifra a ogni cella, purché la continuità dei link sia valida.
XY-Wing è una XY-Chain?
Può essere vista come il caso corto a tre celle della stessa logica bivalue.
Quale candidato viene eliminato?
La cifra condivisa dai due endpoint, da una cella esterna che vede entrambi.
Le celle endpoint devono vedersi tra loro?
No. È il target esterno che deve vedere entrambe.
Qual è la differenza tra XY-Chain e Remote Pair?
Remote Pair usa la stessa coppia di candidati ripetuta; XY-Chain può attraversare coppie diverse.
Cosa imparare dopo
Approfondisci AIC per generalizzare le Chains oltre il vincolo delle sole caselle bivalue e confronta Remote Pair come caso strutturato della stessa famiglia.