Asa XY
Uma Asa XY é uma construção ALS-XZ de 3 células e 3 dígitos usando três células bivaloradas. 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. Uma ligação fraca sobre X conecta os dois conjuntos e garante que pelo menos um contenha Z, permitindo retirar Z de células externas que veem ambas as posições Z possíveis.
O que é uma Asa XY?
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. Apesar do nome de duas letras, uma Asa XY envolve três células e três dígitos candidatos distintos. Leia esta Asa XY como quatro partes:
- ALS A: as células {X,Y} e {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} 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: ele é candidato na célula {Y,Z} do ALS A e na célula {X,Z} do ALS B. Um alvo fora de ambos os ALS deve ver essas duas células.
Exemplo passo a passo
Neste exemplo, o ALS A contém B4 {7,9} e B8 {4,7}; o ALS B é C5 {4,9}. O RCC é X = 9, e o dígito de eliminação é Z = 4. Os candidatos 9 em B4 e C5 veem-se mutuamente, formando a ligação fraca.
Passo 1
Considere estas 3 células. B4 (7, 9) e B8 (7, 4) 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 C5 (9, 4) é a ALS B de uma célula, e B4 vê-a.
Passo 2
O dígito 9 é o candidato comum restrito (RCC) entre ALS A e ALS B: cada 9 em ALS A vê cada 9 em ALS B, então 9 pode ser verdadeiro em no máximo um dos dois conjuntos. - 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 4 deve aparecer em pelo menos uma de B8 e C5 — as suas únicas ocorrências na construção. Um 4 externo que vê ambas as células pode ser removido: colocá-lo esvaziaria a construção de 4.
Aqui o ALS A é o par {X,Y} e {Y,Z}, e o ALS B é a célula {X,Z}. Seu RCC X fornece a ligação fraca que impede X em ambos os ALSs. Portanto, Z deve ser colocado em pelo menos uma das duas células que contêm Z. Remova um candidato Z externo apenas quando sua célula vir ambas essas posições possíveis de Z. 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} 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}; essa visibilidade estabelece o RCC X e sua ligação fraca. Finalmente, procure um candidato Z externo que veja tanto a célula {Y,Z} quanto a célula {X,Z} — como essa célula não tem candidato Z, ela não precisa ver a célula {X,Y}.
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; sua célula {X,Y} torna-se Y e sua célula {Y,Z} deve tornar-se Z. Em ambos os casos, pelo menos uma das duas células que seguram Z é garantida ter Z.
Uma célula externa que veja ambas as 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.