Il WXYZ-Wing è un pattern esperto formato da quattro caselle che contengono complessivamente quattro cifre. Estende la famiglia delle Wings oltre XY-Wing e XYZ-Wing, ma la definizione utile non dipende da un’unica forma fissa di hinge.
La chiave è identificare un candidato comune non ristretto nella struttura. Quel candidato deve essere vero in almeno una delle sue occorrenze nella Wing; qualsiasi cella esterna che vede tutte le possibili occorrenze può eliminarlo. Questa lettura collega direttamente WXYZ-Wing alla logica ALS-XZ.
Regola rapida di riconoscimento
Per il caso Type 1 più comune: trova quattro celle con esattamente quattro cifre distinte complessive; verifica che tre candidati siano restricted nella struttura; identifica il quarto candidato Z come non-restricted common candidate; infine elimina Z soltanto da celle esterne che vedono tutte le sue possibili occorrenze nella Wing.
Che cosa significa “ristretto” qui?
Un candidato è restricted quando le sue occorrenze nella struttura si vedono tutte attraverso una stessa unità, quindi non possono essere vere indipendentemente. La cifra eliminata Z è diversa: almeno due delle sue occorrenze non si vedono tra loro, perciò Z è il candidato comune non ristretto. Proprio questa asimmetria consente la deduzione.
Perché quattro caselle e quattro cifre sono importanti
Il conteggio quattro-celle/quattro-cifre crea una situazione quasi bloccata. Se un’ipotesi esterna eliminasse tutte le possibili Z dalla Wing, le quattro celle resterebbero con soltanto le altre tre cifre: non potrebbero essere riempite validamente senza ripetizioni nelle relazioni restricted. Quindi almeno una Z della Wing deve essere vera.
Il modello ristretto di hinge e pincers
La forma didattica classica usa un hinge con più candidati e tre pincers. È utile per imparare, ma non è la definizione completa: la prova dipende dalla distribuzione restricted/non-restricted dei candidati nelle quattro celle. Il target deve vedere ogni occorrenza della cifra Z che potrebbe risultare vera.
Esempio completo di WXYZ-Wing
Nell’esempio, verifica prima l’unione delle quattro caselle, poi identifica il candidato ristretto e infine controlla la visibilità del target. Fare la ricerca del target prima della prova porta facilmente a false eliminazioni.
Come trovare WXYZ-Wing in modo efficiente
Per cercare WXYZ-Wing, inizia da gruppi compatti di quattro celle distribuite tra due unità intersecanti. Conta l’unione dei candidati, classifica candidate per candidate quali relazioni sono restricted e cerca la Z non-restricted solo quando il conteggio quattro-celle/quattro-cifre è confermato.
1. Parti da un’intersezione di unità vincolata
Cerca quattro celle concentrate in una relazione di case vincolate — spesso riga+box o colonna+box — in modo che la visibilità tra le occorrenze dei candidati possa essere verificata con precisione.
2. Conta l’unione
L’unione dei candidati delle quattro celle deve contenere esattamente quattro cifre distinte. Se ne contiene cinque o più, non hai la struttura WXYZ considerata qui.
3. Verifica la restrizione candidato per candidato
Controlla una cifra alla volta. Per W, X e Y chiedi se tutte le loro occorrenze interne sono reciprocamente visibili; cerca poi la cifra Z le cui occorrenze non sono tutte mutuamente visibili: è il non-restricted common candidate.
4. Cerca i target solo dopo aver dimostrato la Wing
Solo dopo aver provato la struttura cerca un target. Il target deve vedere ogni possibile occorrenza vera di Z nella Wing; se ne manca anche una, l’eliminazione non è dimostrata.
WXYZ-Wing vs XYZ-Wing
XYZ-Wing usa normalmente tre celle e tre cifre, con pivot trivalue e due pincers bivalue. WXYZ-Wing usa quattro celle e quattro cifre e ammette distribuzioni dei candidati molto più varie.
WXYZ-Wing vs Quadrupla nuda
Una Naked Quad è una riserva N-per-N interamente dentro una sola unità: quattro celle riservano quattro cifre e le eliminano dalle altre celle dell’unità. WXYZ-Wing è invece una struttura di implicazione tra unità diverse.
WXYZ-Wing vs ALS-XZ
La connessione più importante è con ALS-XZ: molti WXYZ-Wing possono essere riscritti come relazione tra due Almost Locked Sets. La notazione ALS spiega perché il candidato non ristretto deve essere vero da qualche parte nella struttura.
Errori comuni
La forma da sola non dimostra WXYZ-Wing. Gli errori più comuni sono scegliere quattro celle con quattro cifre ma senza la distribuzione restricted richiesta, scambiare la cifra non-restricted e accettare target che non vedono tutte le possibili Z vere.
Richiedere il vecchio hinge con quattro candidati
Il modello didattico con un hinge da quattro candidati è sufficiente ma non necessario. La definizione moderna riguarda la struttura complessiva di quattro celle/quattro cifre e le relazioni di restrizione.
Trattare qualsiasi quattro caselle e quattro cifre come una Wing
Il conteggio quattro-celle/quattro-cifre crea una situazione quasi bloccata. Se un’ipotesi esterna eliminasse tutte le possibili Z dalla Wing, le quattro celle resterebbero con soltanto le altre tre cifre: non potrebbero essere riempite validamente senza ripetizioni nelle relazioni restricted. Quindi almeno una Z della Wing deve essere vera.
Eliminare il candidato sbagliato
L’eliminazione ordinaria Type 1 riguarda il non-restricted common candidate, non uno dei candidati che risultano restricted all’interno della Wing.
Usare un target che non vede una delle occorrenze della Wing
Il target deve vedere tutte le occorrenze della cifra eliminata che potrebbero risultare vere nella Wing. Se una di esse non è peer del target, quel ramo resta compatibile e l’eliminazione è invalida.
Confondere il pattern con una Quadrupla nuda
Una Quadrupla nuda dimostra una riserva dentro una singola unità; WXYZ-Wing dimostra che una cifra deve apparire in almeno una delle sue occorrenze distribuite tra più unità. Il conteggio “quattro celle/quattro cifre” da solo non distingue le due prove.
Checklist di riconoscimento
Verifica quattro punti: le quattro celle formano davvero un insieme di quattro cifre; esiste la relazione ristretta richiesta; il candidato target compare nelle celle corrette; ogni cella da cui lo elimini vede tutte le possibili sorgenti che lo rendono forzato. Se uno di questi controlli fallisce, non è un WXYZ-Wing valido.
FAQ
WXYZ-Wing è soltanto un XYZ-Wing più grande?
È una generalizzazione naturale della stessa famiglia, ma non basta aggiungere una cella. La relazione ristretta tra candidati e la visibilità dei target devono soddisfare condizioni specifiche.
WXYZ-Wing e Bent Quad sono la stessa cosa?
I termini vengono spesso usati in modo sovrapposto in letteratura e nei solver, anche se le convenzioni possono variare. Conviene verificare la definizione adottata dal solver che stai usando.
L’hinge deve avere quattro candidati?
No. La distribuzione dei quattro candidati può variare tra le quattro celle; ciò che conta è l’unione complessiva e la relazione ristretta necessaria alla prova.
WXYZ-Wing è una tecnica ALS?
Può essere interpretata elegantemente con la logica degli Almost Locked Sets. Questa interpretazione spiega perché la tecnica appartiene a una famiglia più generale di strutture quasi bloccate.
WXYZ-Wing è comune?
È meno comune e più difficile da riconoscere di XY-Wing o XYZ-Wing. È utile soprattutto nei puzzle avanzati con candidati densi.
Cosa imparare dopo
Dopo WXYZ-Wing, passa agli Almost Locked Sets e ad ALS-XZ: il linguaggio ALS rende più generale la stessa idea di insiemi quasi bloccati e candidati ristretti.