Um W-Wing conecta duas células bivalue idênticas através de um Enlace Forte em um de seus candidatos.
Suponha que as células Wing sejam:
- wing A
{X,Y}; - wing B
{X,Y}.
Um Enlace Forte em Y conecta as duas regiões de modo que:
- um endpoint do Enlace Forte de Y veja a wing A;
- o outro endpoint veja a wing B.
Isso garante:
Pelo menos uma das células Wing é X.
Portanto, o candidato X pode ser removido de qualquer célula que veja as duas células Wing.
Padrão rápido
Wing A {X,Y}
\
Enlace Forte em Y
/
Wing B {X,Y}O Enlace Forte está em Y.
A eliminação ocorre em X, o outro candidato das Wings.
Por que W-Wing funciona
Chame os endpoints do Enlace Forte de Y de A e B.
Exatamente um desses endpoints deve conter Y.
Se endpoint A = Y
A wing A vê esse Y e não pode também ser Y.
Então wing A = X.
Se endpoint B = Y
A wing B não pode ser Y.
Então wing B = X.
Independentemente de qual endpoint do Enlace Forte seja verdadeiro, uma das duas células Wing é X.
Qualquer candidato X que veja as duas Wings é impossível.
Exemplo passo a passo no tabuleiro
Por que duas células bivalue idênticas não bastam
Se duas células {5,9} estiverem distantes, nada conecta automaticamente seus valores.
Elas não formam um Par global.
O W-Wing precisa do Enlace Forte externo para transportar a inferência entre elas.
W-Wing vs. Par Desnudo
Par Desnudo
As duas células {X,Y} compartilham uma unidade.
Essa unidade local cria a reserva.
W-Wing
As duas células {X,Y} podem estar distantes.
Um Enlace Forte externo em um dos candidatos conecta a lógica.
W-Wing vs. XY-Wing
XY-Wing
Três células bivalue:
{X,Y};{X,Z};{Y,Z}.
Um pivô conecta as pinças.
W-Wing
Duas células bivalue idênticas {X,Y} mais um Enlace Forte externo em X ou Y.
Não existe pivô XY.
W-Wing como Chain
Se as células Wing forem {5,9} e o Enlace Forte estiver no 9, a inferência pode ser vista assim:
wing A não é 5
→ wing A = 9
→ endpoint 9 conectado = falso
→ outro endpoint 9 = verdadeiro
→ wing B não é 9
→ wing B = 5Portanto, se uma Wing não for 5, a outra se torna 5.
Esse comportamento dos endpoints prova que pelo menos uma Wing é 5.
Como procurar W-Wings
1. Encontre assinaturas bivalue repetidas
2. Escolha um candidato como possível dígito de conexão
3. Encontre Enlaces Fortes nesse dígito
4. Teste a conectividade
Um endpoint do Enlace Forte precisa ver uma Wing e o outro endpoint precisa ver a outra.
5. Procure células relacionadas em comum às duas Wings
O outro candidato é o dígito de eliminação.
E se as células Wing se veem?
Se as duas células bivalue idênticas compartilham uma unidade, verifique primeiro a explicação mais simples de Par Desnudo.
O nome W-Wing é útil quando a conexão remota pelo Enlace Forte realiza trabalho lógico real.
Erros comuns
Usar um Enlace Fraco em vez de um Enlace Forte
A prova depende de um endpoint ser forçado a verdadeiro quando o outro é falso.
Eliminar o dígito de conexão
Na forma padrão, a eliminação é do outro candidato das Wings.
Conectar os dois endpoints do Enlace Forte à mesma Wing
O enlace precisa fazer uma ponte entre as duas regiões das Wings.
Eliminar de um alvo que vê apenas uma Wing
Inválido.
Tratar células bivalue idênticas como suficientes
Sem o enlace, não há W-Wing.
Exercício de reconhecimento
Quando notar conjuntos bivalue duplicados, não pense imediatamente em Par.
Pergunte:
Essas células compartilham uma unidade?
Se não:
Um dos seus dígitos pode ser conectado por um par conjugado?
FAQ
As células do W-Wing precisam ter candidatos idênticos?
No padrão ensinado aqui, sim.
Elas precisam ver uma à outra?
Não.
Qual dígito é eliminado?
O candidato das Wings que não é usado como dígito do Enlace Forte.
W-Wing é uma Chain?
Sim. O padrão com nome é uma estrutura compacta de Chain.
O que aprender depois
Continue em Chains no Sudoku e depois reveja W-Wing como um pequeno modelo reutilizável de Chain em vez de uma forma isolada.