Une AIC (*Alternating Inference Chain*, chaîne d’inférences alternées) est une chaîne souple d’inférences fortes et faibles. Elle peut passer d’un chiffre à l’autre et d’un type de figure à l’autre — X-Chain et XY-Chain sont des AIC particulières, et beaucoup de figures connues ne sont « que des AIC courtes ».
Avant celle-ci : X-Chain, XY-Chain et beaucoup de fins d’ailes et de poissons sont des AIC particulières.
Pourquoi ça marche
Inférence forte : si A est faux, B est vrai. Inférence faible : si A est vrai, B est faux.
En les alternant d’un bout à l’autre, les deux extrémités fortes ne peuvent pas être fausses toutes les deux. Tout ce qui voit les deux extrémités est éliminé — même idée « piqué dans tous les cas », avec davantage de types de liens permis.
Comment la repérer
Privilégie les chaînes fortes aux deux bouts. Pense : si cette extrémité est fausse → l’autre est vraie.
Démonstration
Suis des inférences fortes et faibles en alternance à travers la grille. Privilégie une chaîne forte aux deux bouts.
Les cases vertes dessinent une AIC impliquant 2.
La chaîne prouve que les deux extrémités ne peuvent pas être fausses toutes les deux — si l’une est fausse, l’autre doit être vraie.
Élimine les candidats qui voient les deux extrémités (en rouge) (ici 2).
Exemple 1
Trace une chaîne d’inférences alternées.
Cette AIC permet des éliminations sur 2.
Retire les candidats marqués (en rouge) (ici 2). Les deux extrémités ne peuvent pas être fausses, donc les voisines communes sont piquées.
Exemple 2
Trace une chaîne d’inférences alternées.
Cette AIC permet des éliminations sur 7.
Retire les candidats marqués (en rouge) (ici 7). Les deux extrémités ne peuvent pas être fausses, donc les voisines communes sont piquées.