XY-Wing
Uma célula pivô {X,Y} enxerga duas pinças {X,Z} e {Y,Z}. Seja qual for o valor do pivô, uma das pinças precisa ser Z — então Z é eliminado das células que ambas as pinças enxergam.
A célula pivô tem os candidatos 1 e 2. Duas pinças compartilham uma casa com ela: uma mostra {1,3}, a outra {2,3}.
Como identificar
- 1Encontre um pivô com dois candidatos {X,Y}.
- 2Encontre pinças {X,Z} e {Y,Z} que ele enxergue.
- 3Remova o Z de qualquer célula vista por ambas as pinças.
Quando usar
Quando há muitas células com dois candidatos — um cavalo de batalha da resolução em nível especialista.
Quando não usar
Se as três células não compartilharem os candidatos certos, não há wing.
Erro comum
Eliminar o Z de células vistas por apenas uma das pinças. As duas precisam enxergar o alvo.
Exemplo resolvido
Um XY-Wing precisa de três células: um pivô com exatamente dois candidatos, {X,Y}, e duas células-pinça que compartilham uma casa com ele — uma mostrando {X,Z}, a outra {Y,Z}. Se o pivô acabar sendo X, a primeira pinça não pode também ser X (elas compartilham uma casa), então ela precisa ser Z. Se o pivô for Y, a segunda pinça é forçada a Z da mesma forma.
De qualquer jeito — seja qual for o valor que o pivô realmente assumir — uma das duas pinças acaba contendo Z. Então qualquer célula que compartilhe uma casa com as duas pinças também não pode ser Z, já que uma delas com certeza vai conter esse valor. Esse terceiro dígito, Z, é eliminado de toda célula que as duas pinças têm em comum.