Uma Wing no Sudoku é um padrão compacto de candidatos que demonstra uma eliminação ao provar que um dígito-alvo precisa aparecer em uma pequena estrutura de células conectadas de forma estratégica.
As Wings mais conhecidas — XY-Wing, XYZ-Wing, W-Wing e WXYZ-Wing — não possuem exatamente a mesma geometria. O que as une é a lógica: independentemente de como as células ainda não resolvidas se definam, um candidato se torna inevitável em uma das posições relevantes e elimina o mesmo candidato de um alvo externo.
Entender essa lógica comum é mais útil do que decorar quatro desenhos sem relação aparente.
Mapa rápido da família Wing
| Técnica | Estrutura central | Ideia principal da prova |
|---|---|---|
| XY-Wing | 3 células bivalue | uma pinça ou a outra precisa conter Z |
| XYZ-Wing | pivot trivalue + 2 pinças | o pivot ou uma pinça precisa conter Z |
| W-Wing | duas células bivalue iguais + Enlace Forte externo | um dos extremos precisa conter o dígito de eliminação |
| WXYZ-Wing | 4 células / 4 dígitos em estrutura restrita | um candidato comum não restrito é forçado em algum ponto do padrão |
Por que Wings são mais fáceis de reconhecer do que Cadeias gerais
Uma Cadeia geral pode atravessar muitas células e candidatos. Uma Wing comprime o mesmo tipo de implicação em uma forma local reconhecível.
Isso traz duas vantagens:
- é mais rápida para uma pessoa procurar na grade;
- sua prova costuma caber em poucos casos, sem uma longa sequência de implicações.
Por isso alguns padrões que também podem ser representados como Cadeias ainda merecem nomes próprios.
A pergunta comum a toda Wing
Para qualquer Wing, pergunte:
Qual candidato está garantido em pelo menos uma das células relevantes da estrutura?
Se uma célula-alvo enxerga todos os lugares possíveis onde esse candidato obrigatoriamente aparecerá, o alvo não pode conter o candidato.
A geometria muda de técnica para técnica, mas essa regra do alvo permanece.
XY-Wing: a Wing clássica de três células
Uma XY-Wing usa três células bivalue:
- pivot
{X,Y}; - pinça
{X,Z}; - pinça
{Y,Z}.
O pivot enxerga as duas pinças. Se o pivot for X, a pinça YZ vira Z. Se o pivot for Y, a pinça XZ vira Z.
Portanto uma das pinças precisa conter Z, e qualquer célula que enxergue ambas não pode ser Z.
Esse padrão também é uma XY-Chain curta, mas sua forma nomeada é muito mais rápida de reconhecer.
XYZ-Wing: o alvo também precisa enxergar o pivot
A XYZ-Wing acrescenta Z ao pivot:
- pivot
{X,Y,Z}; - pinças
{X,Z}e{Y,Z}.
Agora Z pode ser verdadeiro no próprio pivot, e não apenas em uma pinça. Isso altera a condição do alvo.
Uma eliminação válida precisa enxergar:
- a pinça XZ;
- a pinça YZ;
- o pivot XYZ.
Esquecer essa terceira condição de visibilidade é um dos erros mais comuns em XYZ-Wing.
W-Wing: a ponte é um Enlace Forte externo
Uma W-Wing começa com duas células bivalue contendo o mesmo par {X,Y}.
Essas duas células, sozinhas, não provam nada.
O padrão se torna útil quando um Enlace Forte externo sobre um dos candidatos — por exemplo Y — conecta os dois lados. Qualquer que seja o extremo verdadeiro desse Enlace Forte, uma das células bivalue será obrigada a ser X.
Assim, pelo menos um dos extremos contém X, e X pode ser eliminado de qualquer célula que enxergue os dois extremos.
W-Wing mostra bem que uma Wing não precisa usar o desenho pivot + duas pinças.
WXYZ-Wing: quatro células, quatro dígitos
WXYZ-Wing amplia a ideia para uma estrutura de quatro células e quatro dígitos. A interpretação moderna mais útil é mais ampla do que o desenho antigo com uma única dobradiça de quatro candidatos e três alas de dois candidatos.
Em uma forma Type 1, as quatro células contêm coletivamente quatro dígitos e ficam restritas a um pequeno conjunto de unidades. Exatamente um candidato funciona como candidato comum não restrito: nem todas as suas ocorrências dentro do padrão se enxergam entre si.
Os outros dígitos ficam restritos dentro da estrutura. Isso garante que o candidato não restrito precisa ser verdadeiro em pelo menos uma de suas ocorrências.
Qualquer candidato externo que enxergue todas essas ocorrências pode ser eliminado.
A Guide específica de WXYZ-Wing cobre o teste exato de reconhecimento e sua relação conceitual com ALS-XZ.
Wings e Almost Locked Sets
Quanto mais avançada a resolução, menos útil é tratar cada Wing como uma invenção isolada.
XY-Wing, XYZ-Wing e especialmente WXYZ-Wing podem ser descritas com raciocínio de Almost Locked Sets. ALS oferece uma linguagem mais geral para estruturas de candidatos restritos que as Wings transformam em formas fáceis de reconhecer.
Isso não torna os nomes das Wings obsoletos. Um padrão nomeado ainda pode ser muito mais rápido de localizar do que uma construção ALS genérica.
Uma ordem prática para procurar Wings
Quando os candidatos estão corretos:
- examine as células bivalue;
- procure uma célula que possa atuar como pivot de XY-Wing;
- teste pinças próximas procurando um Z comum;
- se houver um pivot trivalue, teste a visibilidade de XYZ-Wing;
- procure pares bivalue repetidos que possam formar W-Wings;
- só então invista tempo em Wings maiores de quatro células.
Essa ordem reduz buscas combinatórias desnecessárias.
O que torna uma Wing inválida?
O padrão falha se sua prova não força o dígito de eliminação em algum lugar que o alvo consiga enxergar.
Erros típicos incluem:
- usar células nas unidades erradas;
- supor que as pinças precisam se enxergar em XY-Wing;
- esquecer a condição de visibilidade do pivot em XYZ-Wing;
- chamar duas células bivalue iguais de W-Wing sem a ponte de Enlace Forte;
- contar quatro células e quatro dígitos como WXYZ-Wing sem validar a estrutura restrita/não restrita;
- eliminar de um alvo que não enxerga todas as ocorrências relevantes.
Wings vs subconjuntos
Uma Trinca ou Quadra Desnuda é uma reserva dentro de uma única unidade.
Uma Wing frequentemente atravessa mais de uma unidade e usa implicação ou visibilidade restrita, em vez de uma simples reserva local N-por-N.
Algumas Wings avançadas também podem ser descritas com linguagem de ALS ou conjuntos bloqueados, por isso a fronteira fica menos rígida em nível especialista.
Wings vs Cadeias
Wings são frequentemente Cadeias curtas com uma geometria memorável.
Use o nome da Wing quando a forma estiver evidente. Use raciocínio de Cadeia/AIC quando a rede de implicações for mais fácil de seguir do que o nome do padrão.
A prova importa mais do que o rótulo.
FAQ
O que é uma Wing no Sudoku?
Uma Wing é um pequeno padrão de candidatos que prova que um candidato comum precisa aparecer em uma de várias células conectadas, permitindo eliminá-lo de células que enxergam todos os extremos relevantes.
Quais Wings devo aprender primeiro?
Aprenda XY-Wing primeiro, depois XYZ-Wing e W-Wing. WXYZ-Wing é uma extensão especialista posterior.
XY-Wing é a mesma coisa que Y-Wing?
Sim. Y-Wing é um nome alternativo comum para XY-Wing.
Wings são realmente Cadeias?
Muitas Wings podem ser representadas como Cadeias curtas ou relações ALS. Os nomes separados continuam úteis porque a geometria é mais fácil de reconhecer diretamente.
Todas as células de uma Wing precisam ser bivalue?
Não. XY-Wing e W-Wing dependem muito de células bivalue, mas XYZ-Wing possui pivot trivalue e as definições gerais de WXYZ-Wing permitem distribuições mais amplas de candidatos.
O que aprender depois
Estude XY-Wing, XYZ-Wing e W-Wing individualmente e depois avance para WXYZ-Wing. Quando os padrões começarem a parecer diferentes versões da mesma lógica de implicação, continue para XY-Chains, AIC e Almost Locked Sets.