In questa pagina
XY-Wing è una tecnica avanzata basata su tre caselle bivalue e tre cifre, spesso indicate come X, Y e Z. La cella centrale è il pivot {X,Y}; le due pincer sono {X,Z} e {Y,Z}. Entrambe le pincer devono vedere il pivot, mentre non è necessario che si vedano tra loro.
La conclusione è semplice: qualunque valore assuma il pivot, almeno una pincer sarà costretta a contenere Z. Perciò ogni cella esterna che vede entrambe le pincer può eliminare Z.
XY-Wing in sintesi
Per riconoscere un XY-Wing:
- trova un pivot bivalue
{X,Y}; - trova una pincer
{X,Z}che vede il pivot; - trova una seconda pincer
{Y,Z}che vede il pivot; - verifica che entrambe condividano la stessa cifra Z;
- elimina Z soltanto dai peer comuni delle due pincer.
Perché XY-Wing funziona
La prova si divide nei due soli valori possibili del pivot. Poiché il pivot è bivalue, uno dei due casi deve verificarsi e in entrambi Z viene forzata in una pincer.
Se il pivot è 2
Supponiamo che il pivot sia {2,7} e valga 2. La pincer {2,5} perde 2 e deve quindi valere 5. In questo ramo Z=5 è vera nella prima pincer.
Se il pivot è 7
Se invece il pivot vale 7, la pincer {7,5} perde 7 e deve valere 5. Anche in questo secondo ramo Z=5 è vera in una delle due pincer.
Poiché i casi 2 e 7 sono esaustivi, almeno una delle due pincer contiene 5. Un target che vede entrambe non può quindi essere 5.
Esempio sulla griglia passo dopo passo
Nell’esempio individua prima il pivot e poi le due pincer. Non partire dal target: il target è una conseguenza della struttura, non ciò che definisce la Wing. Dopo aver verificato i tre insiemi di candidati, interseca i peer delle due pincer e controlla se in quella regione esiste ancora Z.
Perché le pincer non devono vedersi tra loro
La prova non richiede che le due pincer siano peer. Richiede soltanto che ciascuna veda il pivot e che entrambe contengano Z. Se si vedono, la configurazione può comunque essere valida; semplicemente la loro visibilità reciproca non è il fondamento dell’eliminazione.
Geometria di XY-Wing
Un XY-Wing può attraversare riga, colonna e box in diverse forme. La geometria utile è quella che permette alle pincer di vedere il pivot e crea una zona di peer comuni per Z. Per questo conviene pensare in termini di visibilità tra celle, non memorizzare una singola figura.
Come trovare un XY-Wing
Cercare sistematicamente è più affidabile che inseguire forme casuali.
1. Evidenzia le caselle bivalue
Le tre celle della forma classica sono bivalue. Filtrarle riduce drasticamente lo spazio di ricerca.
2. Scegli un possibile pivot {X,Y}
Preferisci una cella bivalue con molti peer bivalue: aumenta la probabilità che esistano entrambe le pincer richieste.
3. Cerca tra i peer del pivot una {X,Z}
La prima pincer deve condividere X con il pivot e introdurre una terza cifra Z.
4. Cerca tra i peer del pivot una {Y,Z}
La seconda pincer deve condividere Y con il pivot e la stessa Z della prima pincer.
5. Interseca le regioni dei peer delle pincer
Determina quali celle vedono entrambe le pincer. Solo quelle possono essere target dell’eliminazione Z.
6. Controlla se i peer comuni contengono Z
Una Wing può essere logicamente valida ma non produrre alcuna eliminazione se nessun peer comune contiene Z.
7. Verifica i due casi del pivot
Prima di cancellare, ripeti mentalmente la prova: pivot=X forza Z nella pincer YZ; pivot=Y forza Z nella pincer XZ.
Un XY-Wing valido può essere improduttivo
Sì. La struttura può esistere senza alcun candidato Z eliminabile. Questo non rende il pattern falso: significa semplicemente che non ha un target utile nello stato attuale della griglia.
XY-Wing come breve XY-Chain
XY-Wing può essere letto come una XY-Chain di tre celle. Il nome geometrico è utile perché rende immediatamente riconoscibile una catena corta e ricorrente; il linguaggio delle Chains diventa più utile quando la stessa logica si estende a più celle.
XY-Wing vs Tripla nuda
Le due tecniche possono usare tre celle e tre cifre, ma la prova è diversa.
Tripla nuda
Tre celle nella stessa unità contengono complessivamente tre cifre. Quelle cifre sono riservate alle tre celle e vengono eliminate dalle altre celle della stessa unità.
XY-Wing
Le tre celle possono appartenere a unità diverse. La deduzione nasce dalle due alternative del pivot e dall’obbligo che Z sia vera in almeno una pincer.
XY-Wing vs XYZ-Wing
Le due Wings condividono l’idea di pivot e pincer, ma cambiano candidati e visibilità del target.
XY-Wing
Il pivot è bivalue {X,Y}. Il target deve vedere le due pincer; non serve che veda il pivot.
XYZ-Wing
Il pivot è trivalue {X,Y,Z} e contiene anche Z. Il target deve vedere pivot e entrambe le pincer, perché Z può essere vera in una qualsiasi delle tre celle.
XY-Wing vs W-Wing
Entrambe possono usare celle bivalue, ma W-Wing parte da due celle con la stessa coppia e usa uno Strong Link esterno per collegarle.
XY-Wing
Le firme sono {X,Y}, {X,Z} e {Y,Z} e la prova passa attraverso il pivot.
W-Wing
Le due wing cell hanno la stessa firma {X,Y} e una delle cifre viene collegata tramite uno Strong Link esterno; l’altra diventa la cifra eliminabile.
Errori comuni con XY-Wing
La maggior parte dei falsi XY-Wing nasce da una delle premesse seguenti.
Usare un pivot con tre candidati
Un pivot trivalue appartiene alla logica XYZ-Wing, non alla forma classica XY-Wing.
Usare candidati Z diversi
Le due pincer devono condividere la stessa Z. {X,5} e {Y,8} non creano la prova.
Dimenticare che entrambe le pincer devono vedere il pivot
Se una pincer non è peer del pivot, il valore del pivot non può eliminarne il candidato condiviso e la catena si interrompe.
Richiedere che le pincer si vedano
Non è una condizione necessaria. Concentrati sulla loro visibilità verso il pivot e sul target comune.
Eliminare Z da una casella che vede una sola pincer
Il target deve essere incompatibile con entrambi i rami della prova, quindi deve vedere entrambe le pincer.
Trattare qualsiasi tre bivalue con tre cifre come una Wing
Le firme candidate devono avere esattamente la relazione {X,Y}, {X,Z}, {Y,Z} e le due pincer devono vedere il pivot.
Forzare una eliminazione quando non esiste un target
Un pattern valido senza peer comune contenente Z non produce una mossa. Non inventare un target fuori dalla regione di visibilità.
Esercizio pratico di riconoscimento XY-Wing
Quando trovi tre bivalue promettenti, assegna mentalmente X, Y e Z, verifica prima la struttura e solo dopo cerca il target. Ripetere questo ordine allena il riconoscimento senza confondere forma ed eliminazione.
FAQ
XY-Wing e Y-Wing sono la stessa cosa?
Sì. Y-Wing è un nome alternativo molto usato per la stessa tecnica.
Che cos’è il pivot in un XY-Wing?
È la casella bivalue {X,Y} che vede entrambe le pincer e determina quale delle due verrà forzata a Z.
Che cosa sono le pincer?
Sono le due caselle bivalue {X,Z} e {Y,Z} collegate al pivot.
Quale candidato viene eliminato?
Z, e soltanto da celle che vedono entrambe le pincer.
Le pincer devono vedersi tra loro?
No. Possono vedersi oppure no; non è una condizione della prova.
Un XY-Wing può produrre più eliminazioni?
Sì. Se più celle contengono Z e vedono entrambe le pincer, la stessa prova elimina Z da tutte.
XY-Wing è una Chain?
Può essere espresso come una breve XY-Chain. Il nome XY-Wing rimane utile come scorciatoia di riconoscimento.
Cosa imparare dopo
Dopo XY-Wing passa a XYZ-Wing, W-Wing e XY-Chain: mostrano come la stessa idea di implicazione bivalue si estenda a geometrie e catene più generali.