ALS-XZ é uma técnica avançada que conecta dois Almost Locked Sets por um candidato comum restrito X e usa outro candidato compartilhado Z para produzir eliminações.
A técnica parece abstrata no início, mas a prova é uma divisão simples em casos: qualquer que seja o ALS que “use” X, Z fica bloqueado no outro lado de forma que sua presença em pelo menos um dos conjuntos fica garantida.
Pré-requisito: dois ALS válidos
Antes de procurar X ou Z, valide cada conjunto separadamente:
- N células;
- todas dentro da mesma unidade;
- exatamente N+1 candidatos na união.
Se um dos conjuntos não satisfaz a definição de ALS, toda a técnica falha.
X: o Restricted Common Candidate
Os dois ALS compartilham um candidato X.
X precisa estar restrito entre os dois conjuntos: ele não pode ser verdadeiro simultaneamente no ALS A e no ALS B.
Na forma mais simples, qualquer ocorrência relevante de X em A enxerga qualquer ocorrência relevante de X em B por uma unidade comum.
X é o candidato que conecta os conjuntos logicamente.
Z: o candidato compartilhado de eliminação
Os ALS também compartilham outro candidato Z.
Z não desempenha o mesmo papel de X. Queremos demonstrar que Z precisa ser verdadeiro em pelo menos um dos dois ALS.
Portanto, uma célula externa que enxergue todas as ocorrências relevantes de Z em A e B pode eliminar Z.
Exemplo de ALS-XZ
A prova em dois casos
X é verdadeiro no ALS A
Se A usa X, o RCC impede que B também use X.
Sem X, B perde um de seus N+1 candidatos e se transforma em um Locked Set com N candidatos. Nesse estado, Z fica reservado dentro de B.
Portanto Z precisa aparecer em B.
X não é usado no ALS A / é verdadeiro no ALS B
No ramo complementar, o mesmo raciocínio se inverte: A fica sem X e se transforma em Locked Set, então Z precisa aparecer em A.
Nos dois casos, Z aparece em A ou B.
Uma célula externa que enxergue todas essas possibilidades não pode conter Z.
ALS-XZ singly linked
Na forma singly linked, X é o único RCC entre os dois ALS.
As eliminações principais recaem sobre o candidato compartilhado Z, em células que enxergam todas as suas ocorrências relevantes nos dois conjuntos.
Essa é a forma mais importante para aprender primeiro.
ALS-XZ doubly linked
Em uma forma doubly linked, os dois ALS possuem dois candidatos comuns que estão restritos entre si.
A relação adicional pode produzir eliminações mais fortes, inclusive sobre outros candidatos dentro das unidades relacionadas.
As regras são mais poderosas, mas não devem ser aplicadas por analogia a uma estrutura singly linked.
ALS-XZ vs WXYZ-Wing
Muitas WXYZ-Wings podem ser interpretadas como ALS-XZ.
WXYZ-Wing oferece uma forma reconhecível de quatro células/quatro dígitos. ALS-XZ expressa a estrutura geral por dois ALS e um RCC.
Quando uma configuração deixa de parecer uma Wing clássica, ALS-XZ continua funcionando como linguagem lógica.
ALS-XZ vs XY-Wing
XY-Wing também pode ser decomposta em ALS pequenos, especialmente células bivalue.
A diferença prática é que XY-Wing possui uma geometria de três células extremamente reconhecível. ALS-XZ cobre casos muito mais amplos e por isso exige mais trabalho de identificação.
Como procurar ALS-XZ com eficiência
- localize ALS pequenos;
- procure pares que compartilhem um candidato X;
- confirme que X é realmente um RCC;
- procure um segundo candidato compartilhado Z;
- identifique células externas que enxerguem todas as ocorrências relevantes de Z;
- valide a eliminação pelos dois casos de X.
Não comece procurando combinações enormes.
Erros comuns
X é comum, mas não está restrito
O fato de ambos os ALS conterem X não basta. Se X pode ser verdadeiro nos dois simultaneamente, não existe o RCC necessário.
Z só é visível em parte de um ALS
O alvo precisa enxergar todas as ocorrências de Z que poderiam satisfazer o ramo correspondente.
Um dos “ALS” é na verdade N células / N+2 candidatos
A definição exata importa. Reconte a união antes de inferir qualquer coisa.
O alvo pertence ao ALS sem uma prova cannibalistic válida
Eliminações internas exigem regras específicas. Não aplique automaticamente a regra de alvo externo a uma célula do próprio conjunto.
Confundir regras doubly linked com singly linked
Uma segunda relação restrita altera a força da técnica. Não misture as conclusões das duas formas.
FAQ
O que significam X e Z em ALS-XZ?
X é o Restricted Common Candidate que conecta os dois ALS. Z é o candidato compartilhado cuja presença em pelo menos um dos conjuntos permite eliminá-lo de fora.
Quantos ALS ALS-XZ usa?
Dois.
Uma célula bivalue pode ser um dos ALS?
Sim. Toda célula bivalue é um ALS de tamanho 1.
O que é doubly linked ALS-XZ?
É uma variante em que os dois ALS estão conectados por dois candidatos comuns restritos, permitindo deduções adicionais.
O que aprender depois
Depois de dominar ALS-XZ, você pode avançar para ALS Chains, ALS-XY-Wing e Death Blossom em expansões especialistas futuras.