In questa pagina
W-Wing usa due caselle bivalue con la stessa coppia {X,Y} e uno Strong Link esterno su una delle due cifre. Lo Strong Link garantisce che almeno una delle wing cell debba assumere l’altra cifra; perciò quella cifra può essere eliminata dai peer comuni delle due wing cell.
W-Wing in sintesi
- trova due celle bivalue identiche
{X,Y}; - usa X come cifra di collegamento;
- trova uno Strong Link X i cui due endpoint siano collegati rispettivamente alle due wing cell;
- concludi che almeno una wing cell è Y;
- elimina Y dai peer comuni delle due wing cell.
Un estremo deve essere Y
Perché W-Wing funziona
La prova dipende dai due rami dello Strong Link X. Uno dei suoi endpoint deve essere vero.
Se l’endpoint A è 9
Se A=9 vede la prima wing {9,4}, quella wing perde 9 e deve diventare 4.
Se l’endpoint B è 9
Se invece B=9 vede la seconda wing {9,4}, la seconda wing deve diventare 4. In entrambi i rami almeno una wing è 4, quindi un target che vede entrambe non può essere 4.
Esempio sulla griglia passo dopo passo
Individua prima le due firme bivalue identiche, poi cerca la cifra che può essere collegata da una coppia coniugata esterna. Soltanto quando lo Strong Link è verificato cerca i peer comuni per l’altra cifra.
Perché due bivalue identiche non bastano
Due celle {X,Y} isolate non dicono quale delle due cifre debba apparire in almeno una di esse. Lo Strong Link esterno è ciò che collega i due stati e forza l’altra cifra in una delle wings.
Che cosa vale come Strong Link?
La forma più comune è una coppia coniugata per la cifra X in una riga, colonna o box: esattamente due posizioni possibili. Puoi usare anche una relazione Strong equivalente purché la condizione falso→vero sia dimostrata.
W-Wing come Chain
W-Wing può essere rappresentato come una breve AIC/Chain. Il nome è utile perché la struttura “stessa coppia bivalue + Strong Link esterno” è facile da riconoscere visivamente.
Come trovare un W-Wing
1. Trova firme bivalue ripetute
Raggruppa mentalmente le celle che condividono la stessa coppia {X,Y}.
2. Controlla se le caselle condividono già una unità
Se entrambe sono nella stessa unità, potresti avere una Naked Pair, spesso più semplice della logica W-Wing.
3. Scegli una cifra come possibile cifra di collegamento
Prova X oppure Y come cifra del ponte Strong. L’altra diventerà la candidata all’eliminazione.
4. Verifica la connettività degli endpoint
Un endpoint dello Strong Link deve vedere una wing e l’altro endpoint deve vedere l’altra wing in modo da coprire entrambi i rami.
5. Identifica la cifra di eliminazione
Se lo Strong Link usa X, la cifra eliminata dai peer comuni è Y.
6. Trova i peer comuni delle wing
Solo le celle che vedono entrambe le wing possono perdere Y.
7. Verifica i due rami dello Strong Link
Endpoint A vero forza Y nella wing A; endpoint B vero forza Y nella wing B. La conclusione deve essere identica.
W-Wing vs Coppia nuda
Coppia nuda
Le due celle bivalue identiche si trovano nella stessa unità e riservano X e Y in quella unità.
W-Wing
Le wing possono essere lontane e vengono collegate logicamente da uno Strong Link esterno.
W-Wing vs XY-Wing
XY-Wing
Usa tre firme diverse {X,Y}, {X,Z}, {Y,Z} attorno a un pivot.
W-Wing
Usa due firme identiche {X,Y} e un ponte Strong esterno su una delle due cifre.
W-Wing vs Remote Pair
Remote Pair collega una sequenza di celle tutte con la stessa coppia bivalue, alternando i due valori lungo una catena. W-Wing è più corto: usa due wing cell e un singolo collegamento Strong esterno.
Le due wing cell possono vedersi?
Sì, ma se condividono una unità controlla prima se la situazione è già una Naked Pair. La visibilità reciproca non invalida automaticamente W-Wing.
Un W-Wing valido può essere improduttivo
Sì. Se nessuna cella contenente la cifra di eliminazione vede entrambe le wing, il pattern non produce una cancellazione utile.
Errori comuni con W-Wing
Considerare sufficienti due bivalue identiche
Senza lo Strong Link esterno non esiste la forza logica che collega le due wing.
Usare un Weak Link dove serve uno Strong Link
Un normale rapporto tra peer non garantisce che uno dei due endpoint sia vero. Serve una relazione realmente coniugata/Strong.
Collegare entrambi gli endpoint Strong alla stessa wing
I due rami devono coprire le due wing in modo complementare; altrimenti una delle wing non viene mai forzata.
Eliminare la cifra di collegamento
Se X è la cifra usata nello Strong Link, la conclusione standard elimina Y, l’altra cifra della coppia bivalue.
Eliminare da una casella che vede una sola wing
Il target deve vedere entrambe, perché non sai quale delle due sarà forzata a Y.
Ignorare una Coppia nuda più semplice
Se le due wing sono nella stessa unità, usa la prova più diretta disponibile.
Esercizio pratico di riconoscimento W-Wing
Cerca firme bivalue duplicate, prova ciascuna cifra come possibile ponte e verifica una coppia coniugata che colleghi le due celle. Solo alla fine cerca i target comuni.
FAQ
Le caselle W-Wing devono avere candidati identici?
Nella forma standard, sì: entrambe contengono la stessa coppia {X,Y}.
Le due wing cell devono vedersi?
No. Possono anche vedersi, ma non è una condizione richiesta.
Quale cifra viene usata per lo Strong Link?
Una delle due cifre della coppia bivalue.
Quale cifra viene eliminata?
L’altra cifra, dai peer comuni delle due wing cell.
Un W-Wing può eliminare più candidati?
Sì, se più target validi vedono entrambe le wing.
W-Wing è una Chain?
Può essere espresso come una breve catena di inferenze Strong/Weak.
Cosa imparare dopo
Approfondisci Strong Links, Chains, Remote Pair e XY-Wing per vedere come W-Wing si inserisce nel linguaggio generale delle implicazioni.