Asas

O princípio fundamental por trás de cada técnica de asa

Todas as técnicas de asa compartilham uma ideia fundamental: se um dígito candidato deve aparecer em pelo menos uma das várias células, e toda instância desse dígito é visível de um determinado alvo Célula, então o alvo Célula não pode conter esse dígito. O pivô é geralmente uma célula bivalor que atua como um ponto de ramificação na lógica. As asas são células forçadas a assumir um dígito específico sob uma das ramificações da decisão do pivô. O dígito de eliminação (Z) deve se localizar em pelo menos uma asa, independentemente da ramificação escolhida pelo pivô. O Candidato Comum Restrito (CCR) formaliza a conexão entre o pivô e as asas. O CCR é o dígito compartilhado entre o pivô e o grupo de asas, onde todas as instâncias são visíveis ao pivô, garantindo a exclusão mútua.

Pena XY: A asa clássica de três Célula

O Pena XY usa três células com dois valores. Pivot {A, B}, Ala 1 {A, C}, Ala 2 {B, C}. As alas veem o pivô, mas não precisam se ver mutuamente. Se o Pivô = A, a Ala 1 deve ser C. Se o Pivô = B, a Ala 2 deve ser C. De qualquer forma, C aparece em pelo menos uma ala. Elimine C das células que veem ambas as alas. Avaliado como Nível 6 (Difícil). O poder vem do fato de as duas alas não precisarem compartilhar uma casa, permitindo eliminações entre grades.

W-asa: A conexão do link forte

Dois bivalue idênticos {X, Y} conectados por um par conjugado no dígito X. Eles não devem compartilhar uma casa. Pelo menos um deve ser Y. Elimine Y das células que veem ambos. Classificado como Nível 6 (Difícil). Mais fácil de identificar do que Pena XY porque você escaneia células bivalue repetidas.

XYZ-Wing: Três Candidatos no Pivô

Pivô {X, Y, Z}, Ala 1 {X, Z}, Ala 2 {Y, Z}. Os três campos contêm Z. Em cada Célula, pelo menos um dos três campos deve ser Z. Elimine Z dos campos que veem os três campos. Isso é mais restrito que Pena XY porque o alvo também deve ver o pivô. Avaliado como Nível 7 (Muito Difícil).

A Família da Asa Estendida: de WXYZ-Wing a STUVWXYZ-Wing

A mesma lógica se aplica quando o lado da asa é expandido para um conjunto quase fechado (ALS). O pivô permanece um bivalor Célula; a asa é um ALS. Pena XY: 3 células, Nível 6 WXYZ-Wing: 4 células, Nível 8 Asa VWXYZ: 5 células, Nível 10 Asa UVWXYZ: 6 células, Nível 10 TUVWXYZ-Wing: 7 células, Nível 11 STUVWXYZ-Wing: 8 células, Nível 11 A nomenclatura adiciona letras na ordem alfabética inversa. Cada letra representa um Célula adicional na asa ALS.

Como encontrar padrões de asa

Passo 1: Identifique as células bivalores como pivôs potenciais. Passo 2: Verifique os padrões Pena XY (duas asas bivalores compartilhando um candidato cada com o pivô). Passo 3: Verifique os padrões W-asa (células bivalores idênticas conectadas por um par conjugado). Passo 4: Verifique os padrões XYZ-Wing (pivô com três candidatos e duas asas bivalores). Passo 5: Verifique as asas estendidas (pivô bivalor com asas ALS). Dicas: Comece pelas células bivalores. Procure dígitos repetidos. Verifique com cuidado a restrição RCC.

Progressão de Dificuldade

Pena XY: Nível 6, Difícil W-asa: Nível 6, Difícil XYZ-Wing: Nível 7, Muito Difícil WXYZ-Wing: Nível 8, Experto Asa VWXYZ: Nível 10, Mestre Asa UVWXYZ: Nível 10, Mestre TUVWXYZ-Wing: Nível 11, Extremo STUVWXYZ-Wing: Nível 11, Extremo

Asas e Conjuntos quase fechados: A Conexão Algébrica

A família de asas estendidas é matematicamente equivalente a ALS-XZ, onde uma ALS é uma única célula bivalor. Um motor implementando ALS-XZ encontra automaticamente todos os padrões de asas estendidas. O Pena XY é o padrão degenerado de Célula, onde ambas as ALSs são células bivalue. O XYZ-Wing tem um pivô com três candidatos e é melhor compreendido como um padrão próprio.

Resumo

A família de alas fornece ferramentas de eliminação escalonadas de Pena XY a STUVWXYZ-Wing. Cada membro depende da mesma lógica básica: um pivô cria uma bifurcação de dois caminhos, e independentemente de qual ramo ele escolher, um determinado candidato deve acabar em pelo menos uma ala Célula. As células que veem todas as localizações possíveis desse dígito podem eliminá-lo. Comece com Pena XY, internalize sua lógica, e as alas maiores seguirão naturalmente.