In questa pagina
Le Wings sono una famiglia di pattern compatti che trasformano poche relazioni tra candidati in una conclusione forzata. XY-Wing, XYZ-Wing, W-Wing e WXYZ-Wing non condividono una sola sagoma: condividono l’idea di limitare alternative e dimostrare che una cifra target deve apparire in uno degli endpoint rilevanti.
Mappa rapida della famiglia Wing
La famiglia Wing raggruppa pattern in cui un piccolo insieme di celle e candidati crea una eliminazione comune. XY-Wing usa tre celle bivalue; XYZ-Wing aggiunge il candidato Z anche nel pivot; W-Wing collega due bivalue uguali tramite una Strong Link esterna; WXYZ-Wing estende la struttura a quattro celle e quattro cifre. La geometria cambia, ma il principio è sempre una conseguenza forzata tra alternative limitate.
Pivot + due pinze. Z è forzato in una pinza.
Z può essere vero anche nel pivot; il target deve quindi vedere tutte e tre le celle.
Due celle {X,Y} sono collegate da uno Strong Link esterno su Y.
Una struttura più ampia di candidati ristretti, collegata naturalmente al ragionamento ALS.
Perché le Wings sono più facili da riconoscere delle Chains generali
Una Wing ha una forma locale e un numero ridotto di celle, quindi offre un trigger visivo più concreto di una AIC arbitraria. Tuttavia la prova può essere letta come una piccola catena di implicazioni: imparare Wings è quindi un buon ponte verso Chains più generali.
La domanda comune delle Wings
Per ogni Wing chiediti quale candidato è condiviso dalle due estremità e quali celle vedono tutte le possibili posizioni di quel candidato. Un target è eliminabile solo se la conclusione resta vera qualunque alternativa del pivot risulti corretta.
XY-Wing: la Wing classica a tre caselle
XY-Wing usa un pivot bivalue {X,Y} e due pincer {X,Z} e {Y,Z}. Almeno una pincer deve contenere Z, quindi Z si elimina dai peer comuni delle due pincer.
XYZ-Wing: il target deve vedere anche il pivot
XYZ-Wing aggiunge Z al pivot {X,Y,Z}. Poiché Z può essere vera anche nel pivot, un target valido deve vedere pivot e entrambe le pincer.
W-Wing: il ponte è uno Strong Link esterno
W-Wing usa due caselle {X,Y} e un Strong Link esterno su una delle cifre; il link dimostra che almeno una wing assume l’altra cifra.
WXYZ-Wing: quattro caselle, quattro cifre
XYZ-Wing aggiunge Z al pivot {X,Y,Z}. Poiché Z può essere vera anche nel pivot, un target valido deve vedere pivot e entrambe le pincer.
Wings e Almost Locked Sets
Molte Wings possono essere reinterpretate tramite Almost Locked Sets. Questa vista è utile più avanti perché mostra che il pattern non dipende da una forma grafica particolare, ma da insiemi con una cifra in più rispetto alle celle e da candidati comuni opportunamente limitati.
Un ordine pratico per cercare Wings
Un ordine utile è partire dalle bivalue e dai pivot locali: prima XY-Wing, poi XYZ-Wing; cerca W-Wing quando noti firme bivalue ripetute con Strong Link esterni; passa a WXYZ-Wing soltanto quando la struttura a quattro celle/quattro cifre è chiara. Dopo ogni pattern, verifica la visibilità del target prima di eliminare.
Che cosa rende invalida una Wing?
Una Wing fallisce se i candidati dichiarati non sono realmente presenti, se manca una relazione di visibilità necessaria, se il target non vede tutte le possibili sorgenti del candidato eliminato o se la struttura contiene alternative extra che spezzano la prova. La somiglianza visiva non basta.
Wings vs sottoinsiemi
Una Naked Triple o Quad è una riserva locale in una sola unità. Una Wing può attraversare più unità e usa visibilità e implicazioni tra pivot/pincers o strutture equivalenti, non soltanto un conteggio N-per-N.
Wings vs Chains
Le Wings sono spesso catene corte con una geometria memorabile. Usa il nome della Wing quando rende la prova immediata; passa al linguaggio Chain/AIC quando la rete di implicazioni è più chiara della forma visuale.
FAQ
Che cos’è una Wing nel Sudoku?
È una famiglia di pattern su poche celle e pochi candidati in cui le alternative del pattern garantiscono la stessa eliminazione esterna. XY-Wing, XYZ-Wing, W-Wing e WXYZ-Wing sono esempi importanti.
Quali Wings dovrei imparare per prime?
Inizia da XY-Wing, poi XYZ-Wing e W-Wing. WXYZ-Wing è più facile da comprendere quando hai già familiarità con celle bivalue, visibilità e logica ALS.
XY-Wing e Y-Wing sono la stessa cosa?
Sì. Y-Wing è un nome alternativo molto comune per XY-Wing.
Le Wings sono davvero Chains?
Molte possono essere descritte come brevi catene di implicazioni, ma i nomi Wing sono utili perché identificano strutture ricorrenti e facili da cercare.
Tutte le caselle di una Wing devono essere bivalue?
No. XY-Wing e W-Wing usano tipicamente celle bivalue, mentre XYZ-Wing e WXYZ-Wing includono celle con più candidati. Conta la struttura logica specifica della tecnica.
Cosa imparare dopo
Dopo la panoramica, studia le singole Guide XY-Wing, XYZ-Wing, W-Wing e WXYZ-Wing; poi collega la famiglia alle Chains e agli ALS.