Asa VWXYZ
Uma VWXYZ-Asa é uma construção ALS-XZ envolvendo exatamente cinco células distintas e cinco dígitos candidatos distintos através de dois conjuntos quase bloqueados. Para conjuntos não sobrepostos, a divisão de contagem de células é 4+1 ou 3+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 é uma Asa VWXYZ?
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 VWXYZ-Asa é a especialização de 5 células e 5 dígitos da regra ALS-XZ: seus dois ALS contêm juntos exatamente cinco células distintas e cinco dígitos candidatos distintos. Para ALS não sobrepostos, as divisões possíveis de contagem de células são 4+1 — um ALS de 4 células e uma célula bivalorada — ou 3+2 — um ALS de 3 células e um ALS de 2 células. Este walkthrough usa a forma 4+1. Outras construções de 2 ALS também podem satisfazer a regra ALS-XZ, mas não são VWXYZ-Asas a menos que contenham exatamente cinco células distintas e cinco dígitos candidatos distintos.
Exemplo passo a passo
Um exemplo passo a passo de uma VWXYZ-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 5 células.
Passo 2
As cinco células B9, C9, H9, I9, G7 formam um Asa VWXYZ. As quatro células B9, C9, H9, I9 formam ALS A: quatro células com 5 valores candidatos distintos. A célula bivalente G7 é a ALS B de uma célula. Cada ocorrência de 7 em ALS A vê a sua ocorrência em ALS B, então 7 é o seu candidato comum restrito (RCC) (B9, C9, H9 não contêm 7, então não são diretamente visadas abaixo, mas ainda contam como parte do conjunto quase bloqueado). - Se 7 estiver em ALS A, ALS B perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 1. - Se 7 estiver em ALS B, ALS A perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 1. - Se 7 não estiver em nenhum conjunto, ambas as ALS tornam-se conjuntos bloqueados contendo 1. De qualquer forma, 1 está garantido presente em ALS A ou ALS B.
Passo 3
Portanto pelo menos uma ocorrência da Asa de 1 deve ser verdadeira. Um candidato externo 1 pode ser removido se vir cada ocorrência da Asa de 1; qualquer que seja a ocorrência verdadeira, de outra forma conflitaria com ele.
Este exemplo ilustra a forma 4+1 de uma VWXYZ-Wing: um ALS de quatro 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 identificá-lo
Identifique ALS A e ALS B: suas células somam exatamente cinco e sua união mantém exatamente cinco 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.