Nesta página
Um W-Wing usa duas células bivalue com os mesmos candidatos e um Enlace Forte externo para provar que um dos dois candidatos aparece em pelo menos uma dessas células.
Considere duas células Wing:
A {X,Y}
B {X,Y}As células A e B normalmente não formam um Par Desnudo porque não compartilham a mesma unidade.
O que transforma essas duas células em W-Wing é uma conexão externa em um dos dígitos, por exemplo X.
Se existe um Enlace Forte de X com endpoints que se conectam às duas Wings, então uma das Wings precisa assumir X e, portanto, a outra lógica força Y em pelo menos uma delas.
O resultado prático é:
Y pode ser eliminado de qualquer célula que veja as duas Wings.
W-Wing em resumo
Um W-Wing padrão contém:
- duas células bivalue idênticas
{X,Y}; - as duas células normalmente não compartilham uma unidade;
- um Enlace Forte externo em X ou Y;
- um endpoint desse Enlace Forte conectado à primeira Wing;
- o outro endpoint conectado à segunda Wing;
- um alvo que contém o outro candidato e vê as duas Wings.
Uma extremidade deve ser Y
Por que o W-Wing funciona
Suponha que as duas células Wing sejam {5,9} e que o Enlace Forte externo esteja no candidato 9.
Chame os dois endpoints do Enlace Forte de A e B.
Um endpoint se conecta por visibilidade à primeira Wing; o outro se conecta à segunda.
Como A e B formam um Enlace Forte, pelo menos um deles precisa ser 9.
Se o endpoint A for 9
A Wing A vê esse 9 e, portanto, não pode ser 9.
Como a Wing A é {5,9}, ela precisa ser 5.
Se o endpoint B for 9
A Wing B vê esse 9 e não pode ser 9.
Logo, a Wing B precisa ser 5.
Em todo resultado válido, pelo menos uma das duas células Wing é 5.
Portanto, qualquer candidato 5 que veja as duas Wings pode ser eliminado.
Exemplo passo a passo no tabuleiro
Ao provar um W-Wing:
- encontre duas células bivalue idênticas
{X,Y}; - escolha X como possível candidato de conexão;
- localize um Enlace Forte externo em X;
- confirme que um endpoint do link vê uma Wing e o outro endpoint vê a outra Wing;
- defina Y como candidato de eliminação;
- procure células com Y que vejam as duas Wings;
- verifique os dois estados do Enlace Forte antes de eliminar.
Por que células bivalue idênticas não bastam
Duas células {X,Y} em regiões diferentes não criam, sozinhas, nenhuma obrigação entre elas.
Ambas poderiam ser X, ambas poderiam ser Y ou poderiam assumir valores diferentes, dependendo do restante do tabuleiro.
O Enlace Forte externo é o componente que cria a inferência útil.
Sem ele, não existe W-Wing.
Essa é a verificação mais importante para evitar falsos positivos.
O que conta como Enlace Forte?
No caso mais simples, um par conjugado de X em uma linha, coluna ou bloco fornece o Enlace Forte: se um endpoint não é X, o outro precisa ser X.
Em raciocínio mais avançado, uma Chain equivalente também pode fornecer a relação forte necessária.
Para reconhecer W-Wing de forma prática, comece procurando pares conjugados claros.
O link precisa conectar as duas Wings de forma cruzada: cada endpoint relevante deve interagir com uma Wing diferente.
W-Wing como Chain
W-Wing pode ser escrito como uma pequena cadeia de inferências.
Uma representação conceitual é:
Y em Wing A =X= ... Enlace Forte em X ... =X= Y em Wing BA notação exata depende da convenção usada para Strong/Weak Links, mas a conclusão é a mesma:
pelo menos um dos endpoints Wing precisa ser Y.
Isso conecta W-Wing naturalmente a Chains, AICs e outras técnicas baseadas em links.
Como encontrar um W-Wing
1. Encontre assinaturas bivalue repetidas
Procure duas células com exatamente o mesmo par {X,Y}.
2. Verifique se as células já compartilham uma unidade
Se compartilham e são as únicas posições relevantes, um Par Desnudo pode explicar a situação de forma mais simples.
3. Escolha um dígito como possível candidato de conexão
Teste X e Y separadamente.
4. Teste a conectividade dos endpoints
Procure um Enlace Forte no dígito escolhido em que um endpoint veja a primeira Wing e o outro veja a segunda.
5. Identifique o dígito de eliminação
Se X é o dígito do Enlace Forte, Y é o candidato normalmente eliminado das células relacionadas em comum às Wings.
6. Procure células relacionadas em comum às Wings
O alvo precisa ver as duas células Wing.
7. Verifique os dois ramos do Enlace Forte
Confirme que cada possível endpoint verdadeiro força Y em uma das Wings.
W-Wing vs. Par Desnudo
Par Desnudo
Duas células {X,Y} compartilham uma unidade e reservam X e Y para essas duas células.
W-Wing
As duas células {X,Y} normalmente não compartilham uma unidade. A relação é criada por um Enlace Forte externo.
Sempre use a explicação mais simples disponível.
W-Wing vs. XY-Wing
XY-Wing
Usa três assinaturas diferentes: pivô {X,Y}, pinça {X,Z} e pinça {Y,Z}.
W-Wing
Usa duas células idênticas {X,Y} conectadas por um Enlace Forte externo.
A aparência bivalue pode ser parecida, mas a prova é completamente diferente.
W-Wing vs. Remote Pair
Remote Pair também usa uma sequência de células com o mesmo par de candidatos {X,Y}.
A diferença é que Remote Pair propaga uma alternância por uma cadeia de várias células bivalue, enquanto W-Wing usa duas Wings e um Enlace Forte externo específico.
Um W-Wing pode ser visto como uma estrutura curta e especializada dentro do universo mais amplo de Chains bivalue.
As duas células Wing podem ver uma à outra?
Podem, mas isso frequentemente significa que existe uma explicação mais simples, como Par Desnudo ou outra restrição direta.
A definição lógica do W-Wing não exige que elas não se vejam. O ponto essencial é que o Enlace Forte externo sustente a conclusão.
Se uma técnica mais simples já produz a mesma eliminação, prefira a técnica mais simples para explicar a jogada.
Um W-Wing válido pode não produzir nada
Mesmo com duas Wings e um Enlace Forte correto, pode não existir nenhuma célula com Y que veja ambas.
Nesse caso, o padrão é logicamente válido, mas não oferece eliminação naquele momento.
Erros comuns em W-Wing
Tratar células bivalue idênticas como suficientes
Sem Enlace Forte externo, não existe W-Wing.
Usar um Enlace Fraco quando é necessário um Enlace Forte
A prova precisa garantir que um dos endpoints da conexão seja verdadeiro.
Conectar os dois endpoints do Enlace Forte à mesma Wing
Cada lado do link precisa transmitir a implicação a uma Wing diferente.
Eliminar o dígito de conexão
Se X forma o Enlace Forte, normalmente o candidato eliminado nas células relacionadas em comum é Y.
Eliminar de uma célula que vê apenas uma Wing
O alvo precisa ver as duas possíveis posições de Y.
Ignorar um Par Desnudo mais simples
Se as Wings compartilham a mesma unidade e já formam um subset direto, use primeiro essa explicação.
Exercício prático de reconhecimento de W-Wing
- destaque todas as células bivalue;
- agrupe pares com a mesma assinatura
{X,Y}; - escolha X como possível dígito de link;
- procure pares conjugados de X;
- teste se endpoints diferentes conectam as duas Wings;
- procure Y nas células relacionadas em comum às Wings;
- repita invertendo X e Y se necessário.
FAQ
As células de W-Wing precisam ter candidatos idênticos?
Sim, no W-Wing padrão as duas células Wing são bivalue com o mesmo par {X,Y}.
As duas células Wing precisam ver uma à outra?
Não. A conexão lógica normalmente vem do Enlace Forte externo.
Qual dígito é usado no Enlace Forte?
Um dos dois candidatos compartilhados pelas Wings. O outro se torna o candidato de eliminação.
Qual dígito é eliminado?
Normalmente o candidato oposto ao usado no Enlace Forte, de células que veem as duas Wings.
Um W-Wing pode eliminar mais de um candidato?
Sim, se várias células contêm o candidato-alvo e veem as duas Wings.
W-Wing é uma Chain?
Sim, pode ser representado como uma curta cadeia de Strong/Weak Links.
O que aprender depois
Aprofunde Enlaces Fortes, Enlaces Fracos e Chains, e depois compare W-Wing com XY-Wing e Remote Pair.