O W-Wing usa dúas celas afastadas que só conteñen XY, unidas por unha ligazón forte en X (ou en Y) nalgún lugar entre elas.
Antes disto: Axuda manexarse ben coas celas bivalor e as ligazóns fortes.
Por que funciona
Supón que a ponte é unha ligazón forte en X. Entón un extremo desa ponte é X, o que obriga a unha das celas XY a non ser X, así que esa cela XY convértese en Y. Un encadeamento coidadoso mostra que polo menos unha das dúas celas XY ten que ser Y.
Por iso calquera cela que vexa as dúas celas XY non pode ser Y.
(O argumento simétrico funciona se a ligazón forte está en Y.)
Demostración
Atopa dúas celas que só conteñan XY. Parecen idénticas, pero poden estar lonxe unha da outra.
Conecta os seus arredores cunha ligazón conxugada forte nun deses díxitos. As celas verdes forman un W-Wing. O díxito que podemos atacar é 5.
A ligazón forte obriga a que polo menos unha das celas XY sexa 5: os dous mundos da ponte deixan ese díxito verdadeiro nun extremo.
Elimina 5 das celas que ven as dúas celas XY (vermello).
Exemplo 1
Atopa dúas celas bivalor idénticas unidas por unha ligazón conxugada forte.
Este W-Wing elimina 5.
Quita 5 das celas que ven os dous extremos (vermello). Polo menos unha cela XY ten que ser ese díxito.
Exemplo 2
Atopa dúas celas bivalor idénticas unidas por unha ligazón conxugada forte.
Este W-Wing elimina 2.
Quita 2 das celas que ven os dous extremos (vermello). Polo menos unha cela XY ten que ser ese díxito.