AIC (Correntes alternadas)
AIC significa Alternating Inference Chains e são cadeias que alternam entre conexões fortes e fracas através do jogo.
Aprenda a técnicaCorrentes forçadas
Correntes forçadas testam ambos os candidatos em uma célula e seguem as consequências de cada um.
Veja a técnica na prática
Percorra os exemplos passo a passo. Cada passo explica o que você vê no jogo e por que a conclusão se sustenta.
Exemplo:
- A célula em linha 1, coluna 7 tem apenas dois candidatos, 1 e 2. Testamos ambos e seguimos as consequências.
- Primeiro, assuma que a célula é 1. Essa suposição força várias outras células a números específicos, marcados em azul.
- Então assuma em vez disso que a célula é 2. Essa suposição também força outras células a números específicos, marcados em laranja.
- A suposição de que a célula é 1 leva a uma célula sem candidatos restantes, uma contradição. Portanto, 2 deve estar aqui em vez disso.
Como reconhecer o padrão
Correntes forçadas começam em uma célula com exatamente dois candidatos e testam ambos. Você segue as consequências de cada candidato através do jogo, colocação por colocação, e vê onde as duas hipóteses terminam. A técnica é força bruta colocada em sistema, e é geralmente usada quando todas as técnicas de padrão pararam.
Dois resultados dão uma conclusão válida. Se ambas as hipóteses levam à mesma conclusão, por exemplo que a mesma célula obtém o mesmo número, a conclusão é verdadeira de qualquer forma. E se uma das hipóteses leva a uma contradição, por exemplo uma célula sem candidatos, a célula deve ter o outro candidato.
Método passo a passo
- Escolha uma célula com exatamente dois candidatos.
- Suponha primeiro um candidato e siga todas as consequências forçadas, ou seja, novos singles nus e escondidos que surgem.
- Repita com o outro candidato.
- Se ambos os ramos levam ao mesmo lugar ou à mesma eliminação, é válido de qualquer forma. Se um ramo leva a contradição, coloque o outro candidato na célula inicial.
Erros comuns
- Misturando os ramos. As consequências das duas hipóteses devem ser mantidas estritamente separadas, ou você não prova nada.
- Apenas seguindo um ramo e colocando o resultado. Sem contradição no outro ramo, um ramo é apenas um palpite.
- Seguindo consequências que não são forçadas. Apenas as colocações que seguem com necessidade, como singles, podem ser usadas na cadeia.
Quando você precisa dessa técnica?
Os jogos mais difíceis requerem técnicas que seguem longas cadeias lógicas através do jogo. Elas são praticamente prova: suponha algo, siga as consequências e veja o que não pode estar correto. Tente os exemplos abaixo, passo a passo, com as mesmas ferramentas que o solucionador usa em seu próprio jogo.
Tente em seu próprio jogo
Insira seu jogo no Solucionador de Sudoku e ele encontrará o próximo passo e explicará a técnica por trás.
Abrir Solucionador de Sudoku