AIC (cadeia padrão)

Pré-requisito: Chain basics

---

1. Visão geral

AIC (Alternating Inference Chain) é o tipo de cadeia “mais geral”:

• pode misturar os blocos de construção de X-Chain (links fortes de um dígito em uma linha/coluna/caixa) e XY-Chain (ou dentro de uma célula de dois valores)
• enquanto a cadeia continuar alternando forte / fraco, a inferência pode se propagar

Seu uso mais comum é a eliminação:
se um AIC implica que os dois pontos finais não podem ser ambos falsos, então qualquer candidato que tornaria ambos os pontos finais falsos não pode ser verdadeiro – portanto, pode ser eliminado.

---

2. Passo a passo

Na imagem:

• os dois pontos finais são candidato 6 em r7c7 e candidato 7 em r4c7 (azul)
• a eliminação é candidato 7 em r7c7 (vermelho)
• como r7c7 é um ponto final e uma célula de eliminação, nós o destacamos com o fundo vermelho

Por que podemos eliminar 7 em r7c7? Basta uma pequena contradição:

1. Fato importante: em uma cadeia alternada forte/fraca, se um ponto final for falso, a inferência se propaga e eventualmente força o outro ponto final a ser verdadeiro.
   Portanto, os dois pontos finais não podem ser ambos falsos (pelo menos um deve ser verdadeiro).

2. Agora suponha que o candidato vermelho r7c7 = 7 seja verdadeiro:

   • mesma célula ⇒ candidato 6 em r7c7 é falso
   • mesma coluna ⇒ candidato 7 em r4c7 é falso

3. Isso torna ambos os endpoints falsos, o que contradiz a etapa 1.

Portanto, a suposição é impossível: o candidato 7 em r7c7 pode ser eliminado.

---

3. Exemplos

Aqui estão mais dois exemplos de AIC. Tente identificar o padrão primeiro:

• pontos finais azuis
• alternância de elos fortes/fracos
• um candidato vermelho que entra em conflito com ambos os pontos finais

---

4. Como identificar AIC

Em uma frase: conecte segmentos de elo forte e segmentos de dois valores em uma cadeia alternada e, em seguida, procure um candidato que forçaria ambos os pontos de extremidade a serem falsos.

Lista de verificação prática:

1. Encontre fontes de links fortes (linhas sólidas verdes):
   • um dígito tem exatamente dois candidatos em uma linha/coluna/caixa (par conjugado)
   • ou uma célula de dois valores fornece um elo forte “X ou Y” dentro da célula
2. Conecte-os com elos fracos (linhas tracejadas amarelas):
   • conflitos de mesmo dígito (mesma linha/coluna/caixa)
   • dígitos diferentes na mesma célula
3. Mantenha o padrão alternado forte/fraco
4. Procure uma eliminação vermelha: um candidato que entra em conflito com ambos endpoints