Asa TUVWXYZ
Uma TUVWXYZ-Asa é uma construção ALS-XZ envolvendo exatamente sete células distintas e sete dígitos candidatos distintos através de dois conjuntos quase bloqueados. Para conjuntos não sobrepostos, a divisão de contagem de células é 6+1, 5+2 ou 4+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 e um Asa TUVWXYZ?
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 TUVWXYZ-Asa é a especialização de 7 células e 7 dígitos da regra ALS-XZ: seus dois ALS contêm juntos exatamente sete células distintas e sete dígitos candidatos distintos. Para ALS não sobrepostos, as divisões possíveis de contagem de células são 6+1 — um ALS de 6 células e uma célula bivalorada, 5+2 — um ALS de 5 células e um ALS de 2 células — ou 4+3 — um ALS de 4 células e um ALS de 3 células. Este walkthrough usa a forma 6+1. Outras construções de 2 ALS também podem satisfazer a regra ALS-XZ, mas não são TUVWXYZ-Asas a menos que contenham exatamente sete células distintas e sete dígitos candidatos distintos.
Exemplo passo a passo
Um exemplo passo a passo de uma TUVWXYZ-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 7 células.
Passo 2
As sete células G1, H1, I1, G2, I2, G3, A2 formam um Asa TUVWXYZ. As seis células G1, H1, I1, G2, I2, G3 formam ALS A: seis células com 7 valores candidatos distintos. A célula bivalente A2 é 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) (G1, H1, I1, G2, G3 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 6. - Se 7 estiver em ALS B, ALS A perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 6. - Se 7 não estiver em nenhum conjunto, ambas as ALS tornam-se conjuntos bloqueados contendo 6. De qualquer forma, 6 está garantido presente em ALS A ou ALS B.
Passo 3
Portanto pelo menos uma ocorrência da Asa de 6 deve ser verdadeira. Um candidato externo 6 pode ser removido se vir cada ocorrência da Asa de 6; qualquer que seja a ocorrência verdadeira, de outra forma conflitaria com ele.
Este exemplo ilustra a forma 6+1 de uma TUVWXYZ-Wing: um ALS de seis 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 detetar
Identifique ALS A e ALS B: suas células somam exatamente sete e sua união mantém exatamente sete 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 logica
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.