WXYZ-Asa
Uma WXYZ-Asa é uma construção ALS-XZ envolvendo exatamente quatro células distintas e quatro dígitos candidatos distintos através de dois conjuntos quase bloqueados. Para conjuntos não sobrepostos, a divisão de contagem de células é 3+1 ou 2+2. Os conjuntos compartilham um candidato comum restrito X: cada ocorrência de X num conjunto vê cada ocorrência no outro, então X não pode aparecer em ambos os conjuntos. Outro dígito compartilhado Z pode então ser eliminado de uma célula externa que vê todas as ocorrências Z em ambos os conjuntos.
O que é um WXYZ-Asa?
Um conjunto quase bloqueado (ALS) consiste de k células não resolvidas numa casa — linha, coluna ou bloco — cujos candidatos combinados contêm exatamente k+1 dígitos distintos. Uma WXYZ-Asa é a especialização de 4 células e 4 dígitos da regra ALS-XZ: seus dois ALS contêm juntos exatamente quatro células distintas e quatro dígitos candidatos distintos. Para ALS não sobrepostos, as divisões possíveis de contagem de células são 3+1 — um ALS de 3 células e uma célula bivalorada — ou 2+2 — dois ALS de 2 células. Este walkthrough usa a forma 3+1. Outras construções de 2 ALS também podem satisfazer a regra ALS-XZ, mas não são WXYZ-Asas a menos que contenham exatamente quatro células distintas e quatro dígitos candidatos distintos.
Exemplo passo a passo
Um exemplo passo a passo de uma WXYZ-Wing: dois conjuntos quase bloqueados (ALS) unidos por um candidato comum restrito, provando um dígito compartilhado em pelo menos um conjunto.
Passo 1
Considere estas 4 células.
Passo 2
As quatro células A8, E8, I8, A4 formam um WXYZ-Asa. As três células A8, E8, I8 formam ALS A: três células com 4 valores candidatos distintos. A célula bivalente A4 é a ALS B de uma célula. Cada ocorrência de 4 em ALS A vê a sua ocorrência em ALS B, então 4 é o seu candidato comum restrito (RCC) (E8, I8 não contêm 4, então não são diretamente visadas abaixo, mas ainda contam como parte do conjunto quase bloqueado). - Se 4 estiver em ALS A, ALS B perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 8. - Se 4 estiver em ALS B, ALS A perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 8. - Se 4 não estiver em nenhum conjunto, ambas as ALS tornam-se conjuntos bloqueados contendo 8. De qualquer forma, 8 está garantido presente em ALS A ou ALS B.
Passo 3
Portanto pelo menos uma ocorrência da Asa de 8 deve ser verdadeira. Um candidato externo 8 pode ser removido se vir cada ocorrência da Asa de 8; qualquer que seja a ocorrência verdadeira, de outra forma conflitaria com ele.
Este exemplo ilustra a forma 3+1 de uma WXYZ-Wing: um ALS de três células e um ALS bivalente compartilhando um candidato comum restrito X e outro dígito Z. X não pode aparecer em ambos os conjuntos, portanto Z deve ocorrer em pelo menos um — esse confinamento justifica remover Z de qualquer candidato que veja todas as ocorrências de Z em ambos os conjuntos. Você pode jogar sudoku online para praticar com o estado atual de candidatos visível.
Como o detetar
Identifique ALS A e ALS B: suas células somam exatamente quatro e sua união mantém exatamente quatro dígitos distintos. Liste os candidatos de cada conjunto e encontre um dígito compartilhado X onde cada ocorrência X em A vê cada ocorrência X em B. Depois encontre outro dígito compartilhado Z; um alvo proposto é válido apenas quando vê todas as ocorrências Z em ambos os conjuntos. Não exija que cada célula de um ALS veja cada célula do outro.
A lógica
Como X não pode aparecer em ambos os ALS, pelo menos um ALS não pode usar X. Sem X, esse ALS tem exatamente tantos dígitos candidatos restantes quanto células e deve usar cada um, incluindo Z. Portanto, Z aparece em pelo menos um dos dois ALS. Uma célula externa que vê todas as ocorrências Z em ambos os conjuntos não pode conter Z.