O Y-Wing é unha pequena historia con tres celas, tamén chamado XY-Wing e ás veces trío torto (tres números en tres celas que non están en liña recta).
Unha cela pivote ten os candidatos XY. Ve dúas ás: unha é XZ e a outra YZ. A letra Z é o aguillón compartido que o pivote *non* ten.
Por que funciona
O pivote é X ou Y.
• Se o pivote é X, a á XZ non pode ser X, así que esa á ten que ser Z. • Se o pivote é Y, a á YZ ten que ser Z.
Así que, pase o que pase, unha das ás convértese en Z. Calquera cela que poida ver as dúas ás vería un Z en calquera caso: non pode ser Z ela mesma.
Visión por contradición: supón que unha vítima é Z → as dúas ás perden o Z → o pivote queda nunha situación imposible. A mesma idea que unha AIC curta que comeza e remata en Z.
Como detectalo
Revisa só as celas bivalor. Busca un trío torto de candidatos; atopa primeiro as letras compartidas e despois busca a terceira cela nas interseccións. Pode abarcar catro caixas cando o pivote non comparte caixa cunha á.
Demostración
Parte das regras: cada unha destas celas bivalor ten que ser un dos seus dous díxitos. Atopa un pivote XY que vexa dúas ás.
Unha á é XZ e a outra YZ: un trío torto. O díxito aguillón Z é 1.
Mundo A: o pivote é X → a á XZ ten que ser 1. Mundo B: o pivote é Y → a á YZ ten que ser 1.
As dúas historias obrigan a que unha á sexa 1. Ese patrón é un Y-Wing (XY-Wing).
Elimina 1 das celas que ven as dúas ás (vermello). Quedan afectadas en todas as historias posibles. (Se unha vítima fose 1, as dúas ás romperían e o pivote non tería onde ir.)
Exemplo 1
Atopa un pivote bivalor con dúas ás bivalor (trío torto).
Este Y-Wing pica con 8.
Quita 8 das celas que ven as dúas ás (vermello). Os dous casos do pivote obrigan a que unha á sexa ese díxito.
Exemplo 2
Atopa un pivote bivalor con dúas ás bivalor (trío torto).
Este Y-Wing pica con 1.
Quita 1 das celas que ven as dúas ás (vermello). Os dous casos do pivote obrigan a que unha á sexa ese díxito.