TÉCNICA DE SUDOKU

AIC (Cadeias alternadas)

Brutal

AIC significa Alternating Inference Chains: cadeias que alternam conexões fortes e fracas por todo o tabuleiro.

Veja a técnica na prática

Percorra os exemplos passo a passo. Cada etapa explica o que você vê no tabuleiro e por que a conclusão é válida.

Exemplo:
  1. Começamos em linha 3, coluna 8 com o número 3.

Como reconhecer o padrão

AIC significa Alternating Inference Chains, cadeias que alternam entre conexões fortes e fracas. Uma conexão forte significa que pelo menos um dos dois candidatos deve estar correto, por exemplo os dois únicos locais de um número em uma unidade, ou os dois candidatos em uma célula de dois valores. Uma conexão fraca significa que no máximo um pode estar correto, como dois candidatos iguais na mesma unidade.

Quando a cadeia alterna entre forte, fraca, forte e fraca até o fim, as extremidades se comportam como um par forte comum: pelo menos uma delas deve ser verdadeira. Se a cadeia começar e terminar com o mesmo número, ele poderá ser eliminado de todas as células que veem as duas extremidades. A AIC é a estrutura geral por trás de muitas técnicas conhecidas, e tanto a coloração simples quanto a XY-Wing podem ser representadas como cadeias AIC curtas.

Método passo a passo

  1. Encontre uma conexão forte para um número e deixe um extremo ser o ponto de partida da cadeia.
  2. Construa adiante alternando: após uma conexão forte vem uma fraca, e após uma fraca deve vir uma nova forte.
  3. Continue até alcançar um candidato com o mesmo número que o início, com conexão forte em ambos os extremos.
  4. Elimine o número de todas as células que veem ambos os extremos da cadeia.

Erros comuns

  • Usando duas conexões fracas seguidas. Então a lógica se quebra e a conclusão no final da cadeia não tem valor.
  • Acreditando que os extremos são verdade. A cadeia apenas prova que pelo menos um dos extremos está correto, não qual deles.
  • Tratando uma conexão forte como sentido único. Uma conexão forte sempre pode ser usada como fraca, mas uma fraca nunca pode ser usada como forte.

Quando você precisa dessa técnica?

Os tabuleiros mais difíceis exigem técnicas que seguem longas cadeias lógicas por todo o tabuleiro. Na prática, são demonstrações: parta de uma hipótese, acompanhe as consequências e veja o que não pode ser verdadeiro. Percorra os exemplos abaixo, passo a passo, com as mesmas ferramentas que o solucionador usa no seu tabuleiro.

Experimente a técnica no Solucionador de Sudoku