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.
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.