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