Um Y-Wing é uma pequena história com três células — também chamado de XY-Wing e, às vezes, de trio torto (três números em três células que não estão em linha reta).
Uma célula pivô tem os candidatos XY. Ela vê duas asas: uma é XZ, a outra é YZ. A letra Z é o ferrão em comum que o pivô *não* tem.
Por que funciona
O pivô é X ou Y.
• Se o pivô é X, a asa XZ não pode ser X — então essa asa tem que ser Z. • Se o pivô é Y, a asa YZ tem que ser Z.
Então, não importa o que aconteça, uma das asas vira Z. Qualquer célula que vê as duas asas veria um Z de qualquer jeito — ela mesma não pode ser Z.
Visão por contradição: suponha que uma vítima seja Z → as duas asas perdem o Z → o pivô fica numa situação impossível. É a mesma ideia de uma AIC curta que começa e termina em Z.
Como identificar
Olhe só as células bivalor. Procure um trio torto de candidatos; encontre primeiro as letras em comum e depois cace a terceira célula nas interseções. Pode ocupar quatro blocos quando o pivô não está no mesmo bloco de uma asa.
Demonstração
Comece pelas regras: cada uma destas células bivalor tem que ser um dos seus dois dígitos. Encontre um pivô XY que vê duas asas.
Uma asa é XZ, a outra é YZ — um trio torto. O dígito ferrão Z é 1.
Mundo A: o pivô é X → a asa XZ tem que ser 1. Mundo B: o pivô é Y → a asa YZ tem que ser 1.
As duas histórias obrigam uma asa a ser 1. Esse padrão é um Y-Wing (XY-Wing).
Elimine 1 das células que veem as duas asas (vermelho). Elas são atingidas em todas as histórias possíveis. (Se uma vítima fosse 1, as duas asas quebrariam e o pivô não teria para onde ir.)
Exemplo 1
Encontre um pivô bivalor com duas asas bivalor (trio torto).
Este Y-Wing ataca com 8.
Remova 8 das células que veem as duas asas (vermelho). Os dois casos do pivô obrigam uma asa a ser esse dígito.
Exemplo 2
Encontre um pivô bivalor com duas asas bivalor (trio torto).
Este Y-Wing ataca com 1.
Remova 1 das células que veem as duas asas (vermelho). Os dois casos do pivô obrigam uma asa a ser esse dígito.