Cadeia de Inferência Alternada (AIC) no Sudoku

Uma AIC conecta afirmações sobre candidatos alternando ligações fortes e fracas. A relação entre as extremidades permite eliminar candidatos sem adivinhação.

Definição e condições

Uma ligação forte diz que dois candidatos não podem ser ambos falsos; uma fraca diz que não podem ser ambos verdadeiros.

Exemplo no tabuleiro completo

A cadeia 5-R1C2-3-R1C4=3=R3C4=9=R7C4=2=R7C2-2-R8C3-5 prova que R1C2 ou R8C3 contém 5. R1C3 vê ambas as extremidades, então o 5 é removido.

Como encontrar

Comece por uma ligação forte útil, alterne relações fracas e fortes e confirme cada nó e a visibilidade das extremidades.

Por que funciona

Numa AIC aberta de tipo 1, pelo menos uma extremidade do mesmo dígito é verdadeira. Uma célula que veja ambas não pode conter esse dígito.

Relação com outras técnicas

AICs e nice loops usam lógica semelhante. Não encadeie duas ligações fracas sem inferência válida nem trate qualquer par visível como ligação forte.

Resumo

Verifique cada ligação e aplique apenas a conclusão provada pelas extremidades.

Perguntas frequentes

O que é uma AIC?

Uma sequência de inferências com ligações fortes e fracas alternadas.

AIC é adivinhação?

Não; cada passo decorre das restrições dos candidatos.

O que a AIC tipo 1 elimina?

O dígito das extremidades nas células que veem ambas.