AIC (Chaîne Standard)

Prérequis : Chain basics

---

1. Aperçu

AIC (Alternating Inference Chain) est le type de chaîne « le plus général » :

• il peut mélanger les éléments constitutifs de X-Chain (liens forts à un chiffre dans une ligne/colonne/boîte) et de XY-Chain (soit - soit à l'intérieur d'une cellule bivaleur)
• tant que la chaîne continue d'alterner fort / faible, l'inférence peut se propager

Son utilisation la plus courante est l’élimination :
si un AIC implique que les deux points finaux ne peuvent pas être tous les deux faux, alors tout candidat qui rendrait les deux points finaux faux ne peut pas être vrai — il peut donc être éliminé.

---

2. Procédure pas à pas

Dans l'image :

• les deux points finaux sont le candidat 6 en r7c7 et le candidat 7 en r4c7 (bleu)
• l'élimination est candidat 7 en r7c7 (rouge)
• parce que r7c7 est à la fois un point final et une cellule d'élimination, nous le mettons en évidence avec un fond rouge

Pourquoi pouvons-nous éliminer 7 dans r7c7 ? Une courte contradiction suffit :

1. Fait clé : dans une chaîne alternée fort/faible, si un point final est faux, l'inférence se propage et finit par forcer l'autre point final à être vrai.
   Ainsi, les deux points de terminaison ne peuvent pas être faux tous les deux (au moins un doit être vrai).

2. Supposons maintenant que le candidat rouge r7c7 = 7 soit vrai :

   • même cellule ⇒ le candidat 6 en r7c7 est faux
   • même colonne ⇒ le candidat 7 dans r4c7 est faux

3. Cela rend les deux points finaux faux, ce qui contredit l'étape 1.

L'hypothèse est donc impossible : le candidat 7 en r7c7 peut être éliminé.

---

3. Exemples

Voici deux autres exemples d’AIC. Essayez d'abord de repérer le modèle :

• points de terminaison bleus
• alterner liens forts/faibles
• un candidat rouge qui entre en conflit avec les deux points finaux

---

4. Comment repérer les AIC

En une phrase : connectez les segments à lien fort et les segments bivaleurs en une chaîne alternée, puis recherchez un candidat qui forcerait les deux points de terminaison à être faux.

Liste de contrôle pratique :

1. Recherchez les sources de liens forts (lignes continues vertes) :
   • un chiffre a exactement deux candidats dans une ligne/colonne/case (paire conjuguée)
   • soit une cellule bivaleur donne un lien fort « soit X soit Y » à l'intérieur de la cellule
2. Connectez-les avec des maillons faibles (lignes pointillées jaunes) :
   • conflits de mêmes chiffres (même ligne/colonne/boîte)
   • différents chiffres dans la même cellule
3. Conserver l’alternance fort/faible
4. Recherchez une élimination rouge : un candidat qui est en conflit avec les deux points de terminaison