XYZ-Asa
Uma Asa XYZ é uma construção ALS-XZ de 3 células e 3 dígitos. Ela combina um ALS A de 2 células e um ALS B de 1 célula, onde X é o candidato comum restrito (RCC), Z é o dígito a eliminar e Y é o terceiro dígito distinto. Z está presente como candidato nas três células. Uma ligação fraca sobre X conecta os dois conjuntos e garante que pelo menos um contenha Z; uma célula externa que vê as três não pode conter Z.
O que é uma XYZ-Asa?
Um conjunto quase bloqueado (ALS) é um grupo de células não resolvidas numa casa — linha, coluna ou bloco — que contém um dígito candidato distinto a mais do que o número de células. Leia esta Asa XYZ como quatro partes:
- ALS A: a célula {X,Y,Z} e a célula {Y,Z}. Elas partilham uma unidade e contêm três dígitos candidatos distintos em duas células.
- ALS B: a célula única {X,Z}. Esta célula bivalor é o menor ALS possível: dois dígitos candidatos numa célula.
- RCC X: ele aparece na célula {X,Y,Z} do ALS A e na célula {X,Z} do ALS B. Estas células veem-se, dando uma ligação fraca (inferência fraca) entre as duas ocorrências de X. X pode ser colocado num conjunto ou em nenhum, mas nunca em ambos.
- Dígito de eliminação Z: Z é candidato nas três células. Um alvo fora de ambos os ALS deve ver as três.
Exemplo passo a passo
Neste exemplo, o ALS A contém I2 {1,2,6} e I7 {1,2}; o ALS B é H2 {2,6}. O RCC é X = 6, e o dígito de eliminação é Z = 2. Os candidatos 6 em I2 e H2 veem-se mutuamente, formando a ligação fraca. Z é candidato em todas as três células.
Passo 1
Considere estas 3 células. A célula trivalente I2 (1, 6, 2) e I7 (1, 2) partilham uma unidade e detêm três valores candidatos entre si — um conjunto quase bloqueado de duas células, ALS A. A célula bivalente H2 (6, 2) é a ALS B de uma célula, e I2 vê-a.
Passo 2
O dígito 6 é o candidato comum restrito (RCC) entre ALS A e ALS B: cada 6 em ALS A vê cada 6 em ALS B, então 6 pode ser verdadeiro em no máximo um dos dois conjuntos. - Se 6 estiver em ALS A, ALS B perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 2. - Se 6 estiver em ALS B, ALS A perde o seu grau de liberdade e torna-se um conjunto bloqueado contendo 2. - Se 6 não estiver em nenhum conjunto, ambas as ALS tornam-se conjuntos bloqueados contendo 2. De qualquer forma, 2 está garantido presente em ALS A ou ALS B.
Passo 3
Portanto 2 pode ser removido de qualquer célula que vê as três células I2, I7 e H2: 2 ocorre em cada uma delas, e qualquer que contenha 2 conflitaria com tal candidato.
Aqui o ALS A contém as células {X,Y,Z} e {Y,Z}, e o ALS B é a célula {X,Z}. O RCC X fornece a ligação fraca entre eles. Z é candidato em todas as três células, e pelo menos uma delas deve conter Z. Portanto, Z pode ser removido de qualquer célula externa que veja todas as três. Você pode jogar Sudoku online para praticar com o estado atual de candidatos visível.
Como identificá-la
Primeiro, construa o ALS A: encontre uma célula {X,Y,Z} e uma célula {Y,Z} numa casa. Depois encontre o ALS B, uma célula {X,Z} que vê a célula {X,Y,Z}; essa visibilidade estabelece o RCC X e sua ligação fraca. Finalmente, procure um candidato Z externo que veja as três células, porque cada uma carrega um candidato Z.
A lógica
Como o ALS B é uma única célula {X,Z}, ele deve conter X ou Z. Se contém Z, a construção já tem Z. Se contém X, a ligação fraca elimina X do ALS A, que então mantém Y e Z em suas duas células e deve usar ambos os dígitos. Em ambos os casos, pelo menos uma das três células deve conter Z.
Uma célula externa que veja as três posições possíveis de Z não pode conter Z: qualquer posição que use Z conflitaria com ela. Elimine Z dessa célula externa, não das próprias células ALS.