XY-Wing (Y-Wing): perno, pinze e candidato Z
Lo XY-Wing, chiamato anche Y-Wing, usa tre celle bivalore. Un perno {X,Y} vede una pinza {X,Z} e un’altra pinza {Y,Z}. Le pinze non devono vedersi tra loro. Qualunque valore prenda il perno, una pinza deve contenere Z, quindi qualsiasi cella che vede entrambe le pinze non può conservare Z.
Il perno sceglie il ramo; entrambi i rami forzano lo stesso candidato in una delle due pinze.
Che cos’è uno XY-Wing?
Uno XY-Wing è una catena di tre celle con esattamente tre cifre. Ogni cella coinvolta deve essere bivalore: il perno contiene X e Y, le pinze X/Z e Y/Z. Ogni pinza deve vedere il perno. Un bersaglio di eliminazione valido deve vedere entrambe le pinze, perché Z è garantito in una di esse.
Come verificare uno XY-Wing
- Trova un perno bivalore. Parti da una cella con esattamente due candidati, X e Y.
- Trova due pinze corrispondenti. Una cella bivalore visibile deve essere X/Z e un’altra cella bivalore visibile deve essere Y/Z.
- Controlla la struttura a tre cifre. Le celle usano solo X, Y e Z nelle coppie richieste.
- Trova i vicini comuni delle pinze. Togli Z solo dalle celle che condividono un’unità con ciascuna pinza.
Esempio: perno {2,5}, pinze {2,8} e {5,8}
Se il perno diventa 2, la pinza {5,8} deve essere 8. Se il perno diventa 5, la pinza {2,8} deve essere 8. Il candidato 8 è quindi vero in una pinza.
- Controlla la visibilità. Entrambe le pinze vedono il perno; possono stare in unità diverse.
- Segui i due esiti del perno. Il perno 2 forza una pinza a 8; il perno 5 forza l’altra a 8.
- Togli il candidato condiviso. Cancella l’8 da qualsiasi cella non risolta che vede entrambe le pinze.
Errori frequenti con lo XY-Wing
Usare una cella a tre candidati
Lo XY-Wing standard richiede che tutte e tre le celle siano bivalore.
Far sì che le pinze si vedano
Non è necessario; serve solo il link di ciascuna pinza verso il perno.
Cancellare da un vicino parziale
La cella obiettivo deve vedere entrambe le pinze, non solo il perno o una pinza.
Lista di pratica XY-Wing
- Elenca le celle bivalore dopo che le eliminazioni più semplici si sono fermate.
- Scegli un perno e cerca un partner per ciascuno dei suoi due candidati.
- Nomina Z ed evidenzia solo le celle che vedono entrambe le pinze.
Il modo più sicuro per fidarti di uno XY-Wing è provare ad alta voce i due esiti del perno. Se entrambi forzano la stessa conclusione Z e l’obiettivo vede entrambe le pinze, l’eliminazione è logica.
Domande frequenti sullo XY-Wing
XY-Wing e Y-Wing sono la stessa tecnica?
Sì. Entrambi i nomi descrivono lo stesso pattern di tre celle bivalore.
Le due pinze devono vedersi tra loro?
No. Ogni pinza deve vedere il perno, e il bersaglio di eliminazione deve vedere entrambe le pinze.
Perno e pinze possono stare nello stesso riquadro?
Possono, ma visibilità e coppie di candidati bivalore devono comunque valere.
