Um W-Wing usa duas células distantes que contêm só XY, ligadas por um elo forte em X (ou em Y) em algum lugar entre elas.
Antes desta: Ajuda estar à vontade com células bivalor e ligações fortes.
Por que funciona
Suponha que a ponte seja um elo forte em X. Então uma ponta dessa ponte é X, o que tira o X de uma das células XY — e essa célula XY vira Y. Seguindo a cadeia com cuidado, dá para ver que pelo menos uma das duas células XY tem que ser Y.
Por isso, qualquer célula que vê as duas células XY não pode ser Y.
(O argumento espelhado funciona se o elo forte for em Y.)
Demonstração
Encontre duas células que contêm só XY. Elas parecem idênticas — mas podem estar longe uma da outra.
Ligue as vizinhanças delas com um elo conjugado forte em um desses dígitos. As células verdes formam um W-Wing. O dígito que podemos atacar é 5.
O elo forte obriga pelo menos uma das células XY a ser 5 — os dois mundos da ponte deixam esse dígito verdadeiro em uma ponta.
Elimine 5 das células que veem as duas células XY (vermelho).
Exemplo 1
Encontre duas células bivalor idênticas ligadas por um conjugado forte.
Este W-Wing elimina 5.
Remova 5 das células que veem as duas pontas (vermelho). Pelo menos uma célula XY tem que ser esse dígito.
Exemplo 2
Encontre duas células bivalor idênticas ligadas por um conjugado forte.
Este W-Wing elimina 2.
Remova 2 das células que veem as duas pontas (vermelho). Pelo menos uma célula XY tem que ser esse dígito.