Chaînes d’inférence alternée (AIC)

Une chaîne d’inférence alternée — ou Alternating Inference Chain (AIC) — est une suite d’inférences entre candidats dans laquelle liens forts et liens faibles alternent.

Les AIC généralisent une grande partie de la logique avancée des chaînes au Sudoku.

Au lieu de limiter le raisonnement :

• à un seul chiffre, comme dans une X-Chain ;
• ou à une suite de cases bivalues, comme dans une XY-Chain ;

une AIC peut passer d’un chiffre à un autre, d’une case à une unité, puis revenir à une autre structure, tant que chaque transition respecte exactement l’inférence requise.

La lecture fondamentale est :

si ce candidat est faux, le suivant doit être vrai ; si ce candidat est vrai, le suivant doit être faux ; on continue jusqu’à ce que les extrémités prouvent quelque chose d’utile.

Une AIC n’est donc pas un essai. C’est une preuve compacte construite à partir de relations déjà présentes dans la grille.

Prérequis : liens forts et liens faibles

Les AIC ne deviennent fiables que lorsque la différence entre lien fort et lien faible est parfaitement claire.

Lien fort

Pour deux candidats A et B :

A faux → B vrai

L’exemple classique est une paire conjuguée : un chiffre ne possède plus que deux positions légales dans une unité.

Si l’une des deux positions est fausse, l’autre doit nécessairement être vraie.

Lien faible

Pour deux candidats A et B :

A vrai → B faux

Deux candidats sont faiblement liés lorsqu’ils ne peuvent pas être vrais simultanément.

Par exemple :

• le même chiffre dans deux cases qui se voient ;
• deux chiffres différents dans une même case.

Une règle subtile mais essentielle

Un lien fort peut également être utilisé dans sa direction faible : si A et B ne peuvent pas être vrais ensemble, alors A vrai → B faux reste valide.

En revanche, un simple lien faible ne peut jamais être promu artificiellement en lien fort.

Cette asymétrie est fondamentale. Beaucoup de fausses AIC viennent d’un maillon faible que l’on utilise sans justification comme s’il était fort.

Pourquoi les liens doivent alterner

Supposons que nous partions de l’hypothèse logique « A est faux ».

Un lien fort permet alors :

A faux → B vrai

Puis, puisque B est vrai, un lien faible permet :

B vrai → C faux

C étant faux, un nouveau lien fort donne :

C faux → D vrai

Le rythme logique devient donc :

faux → vrai → faux → vrai → ...

C’est cette alternance qui donne son nom à la chaîne.

Si deux étapes successives ne permettent pas la transition de vérité attendue, la chaîne est invalide, même si la géométrie de la grille semble élégante.

Notation des AIC

De nombreux solveurs utilisent :

• = pour un lien fort ;
• - pour un lien faible.

Une chaîne schématique peut s’écrire :

A = B - C = D - E = F

Elle se lit comme un chemin d’implications.

Les symboles ne sont pas décoratifs : chaque = et chaque - doit correspondre à une vraie relation entre candidats, dans une case ou dans une unité.

Qu’est-ce qui rend une AIC utile ?

Une chaîne n’a d’intérêt pratique que si ses extrémités prouvent une conclusion extérieure à la chaîne, ou si une fermeture crée une contradiction exploitable.

Deux configurations d’extrémités sont particulièrement importantes.

Extrémités portant le même chiffre

Si une AIC commence et se termine par des liens forts sur le même chiffre, au moins une des deux extrémités doit être vraie.

Tout candidat extérieur de ce chiffre qui voit les deux extrémités peut donc être éliminé.

C’est la règle classique d’élimination par extrémités d’une AIC.

Extrémités de chiffres différents dans des cases qui se voient

Si les deux extrémités portent des chiffres différents et que leurs cases se voient, la chaîne peut prouver des éliminations croisées :

• le chiffre de départ ne peut pas occuper la case de fin ;
• le chiffre de fin ne peut pas occuper la case de départ.

Cette conclusion doit être dérivée de la logique de la chaîne, pas d’une simple symétrie visuelle.

AIC de type 1

Une classification fréquente appelle AIC de type 1 une chaîne dont les deux extrémités concernent le même chiffre.

La chaîne prouve :

au moins une des deux extrémités contient le chiffre X.

Tout autre candidat X qui voit les deux extrémités est donc faux.

Cela ressemble à la règle d’extrémité d’une X-Chain, mais l’intérieur d’une AIC peut changer de chiffre et utiliser beaucoup plus de types de liens.

Exemple pas à pas d’AIC de type 1

AIC de type 2

Une AIC de type 2 commence et se termine par des liens forts sur des chiffres différents, dans deux cases d’extrémité qui se voient.

Supposons que les extrémités soient :

• le candidat X dans la case A ;
• le candidat Y dans la case B ;
• avec A qui voit B.

La chaîne peut alors établir que :

• Y ne peut pas être placé dans A ;
• X ne peut pas être placé dans B.

L’idée est que chaque possibilité à une extrémité force l’état opposé nécessaire à l’autre extrémité, ce qui rend le candidat croisé impossible.

Exemple pas à pas d’AIC de type 2

AIC et Nice Loops

La terminologie Nice Loop est antérieure à, ou recoupe, le vocabulaire moderne des AIC utilisé par de nombreux solveurs.

La logique d’inférence sous-jacente est très proche.

Une distinction pratique utile est :

• AIC : on insiste sur une chaîne ouverte et sur ce que prouvent ses extrémités ;
• Nice Loop : on insiste sur une chaîne qui se referme sur elle-même et sur ce que cette fermeture impose.

Les programmes et communautés ne classent pas toujours les cas limites de la même manière.

Pour la validité du raisonnement, l’étiquette importe moins que deux questions : chaque transition Strong/Weak est-elle valide, et la conclusion découle-t-elle réellement des extrémités ou de la boucle ?

Nice Loops discontinus

Une boucle peut revenir à son candidat de départ de manière à créer une contradiction.

Elle peut par exemple prouver :

si A est vrai → ... → A est faux

Alors A doit être faux.

Ou bien :

si A est faux → ... → A est vrai

Alors A doit être vrai.

On parle de boucle discontinue parce que la fermeture produit une rupture logique qui donne directement la déduction.

Le résultat peut être :

• une élimination de candidat ;
• ou un placement forcé.

AIC continues / Nice Loops continus

Une boucle est continue lorsque la fermeture respecte les règles normales de propagation au lieu de créer une contradiction entre le début et la fin.

Ces boucles peuvent être puissantes parce que certaines relations faibles de la boucle deviennent effectivement verrouillées par le cycle complet.

Cela peut permettre d’éliminer :

• d’autres occurrences d’un chiffre dans une unité représentée par un lien faible ;
• d’autres candidats d’une case représentée par un lien faible entre deux chiffres.

Les boucles continues sont plus abstraites que les AIC à extrémités ouvertes. Il est donc préférable de maîtriser d’abord les chaînes classiques.

AIC cannibales

Il arrive qu’une AIC élimine un candidat qui apparaît également à l’intérieur de la chaîne.

Cela peut sembler paradoxal, mais c’est parfaitement valide.

Une chaîne est une preuve conditionnelle, pas un ensemble de candidats supposés vrais simultanément.

Si la logique des extrémités démontre qu’un candidat interne est faux, il peut être éliminé même s’il a servi à exprimer une partie de l’inférence.

On parle souvent alors d’AIC cannibale.

AIC vs X-Chain

Une X-Chain :

• utilise le même chiffre du début à la fin ;
• alterne liens forts et faibles pour ce chiffre ;
• élimine souvent le chiffre dans des cases qui voient les deux extrémités fortes.

Une AIC :

• peut changer de chiffre ;
• peut passer de liens de case à des liens d’unité ;
• permet des conclusions d’extrémité plus variées.

Une X-Chain peut donc être vue comme un cas spécialisé, à un seul chiffre, de la famille plus générale des chaînes d’inférence alternée.

AIC vs XY-Chain

Une XY-Chain suit une suite de cases bivalues.

Dans chaque case bivalue, les deux candidats fournissent la relation interne « l’un ou l’autre ». Entre les cases, des candidats identiques forment les connexions externes.

Une AIC est plus générale :

• les cases participantes n’ont pas toutes besoin d’être bivalues ;
• la chaîne peut utiliser des paires conjuguées ;
• elle peut mélanger liens internes de case et liens d’unité.

Si les XY-Chains sont déjà naturelles pour vous, les AIC sont l’étape suivante logique : l’écriture devient plus générale, mais le raisonnement par implications reste le même.

AIC vs Coloration simple

La Coloration simple suit généralement un seul chiffre à travers un réseau de paires conjuguées et attribue deux polarités.

Une AIC :

• peut employer plusieurs chiffres ;
• n’exige pas de construire tout un réseau bicolore ;
• suit un chemin d’inférence explicite.

La coloration est souvent plus facile à visualiser. Les AIC sont plus flexibles.

Qu’est-ce qu’une AIC groupée ?

Une Grouped AIC autorise un nœud de la chaîne à représenter un groupe de candidats plutôt qu’un candidat individuel.

Par exemple, plusieurs occurrences du chiffre X dans l’intersection d’un bloc et d’une ligne peuvent se comporter collectivement comme un côté d’un lien fort.

La logique reste celle de l’inférence alternée, mais les nœuds deviennent plus abstraits.

Les AIC groupées méritent un Guide dédié car elles introduisent un saut important en notation et en reconnaissance. Cette page établit d’abord la base non groupée.

Comment trouver des AIC sans tracer des chaînes au hasard

Suivre aveuglément toutes les relations possibles entre candidats est très inefficace.

Mieux vaut utiliser une recherche orientée vers un objectif.

1. Repérer les structures riches en liens

Cherchez notamment :

• des paires conjuguées ;
• des cases bivalues ;
• des chiffres dont les positions candidates sont rares ;
• des intersections où plusieurs liens forts se connectent.

2. Partir d’une extrémité plausible

Une bonne extrémité possède souvent :

• une cible commune potentielle avec une autre extrémité ;
• ou une interaction utile avec un candidat voisin.

3. Alterner volontairement

À chaque étape, demandez-vous :

• quel état de vérité est actuellement connu ?
• ai-je besoin d’une inférence forte ou faible ensuite ?
• la relation présente dans la grille justifie-t-elle réellement cette transition ?

4. S’arrêter lorsque les extrémités prouvent quelque chose

Une chaîne très longue qui n’élimine rien n’est pas utile.

Ne la prolongez pas uniquement parce que d’autres liens existent.

5. Préférer la preuve la plus courte et la plus claire

La même élimination peut parfois être décrite comme :

• X-Chain ;
• XY-Chain ;
• Empty Rectangle ;
• Turbot Fish ;
• AIC.

Choisissez la représentation la plus courte qui reste rigoureuse.

Erreurs fréquentes avec les AIC

Erreur 1 : alterner les symboles sans alterner l’inférence

Écrire = - = - ne suffit pas à former une chaîne valide.

Chaque maillon doit justifier la transition logique attendue.

Erreur 2 : traiter un lien faible comme un lien fort

De A vrai → B faux, on ne peut pas conclure automatiquement A faux → B vrai.

Seul un véritable lien fort autorise cette direction.

Erreur 3 : supposer que tous les candidats de la chaîne sont vrais ensemble

Une AIC représente des implications conditionnelles, pas une affectation simultanée de tous les candidats.

Erreur 4 : éliminer un candidat qui ne voit qu’une extrémité

Pour une élimination de type 1 sur le même chiffre, la cible doit voir les deux extrémités.

En voir une seule ne suffit pas.

Erreur 5 : construire des chaînes inutilement longues

Plus une chaîne est longue, plus elle est difficile à vérifier et facile à mal lire.

Si un motif plus court prouve le même résultat, utilisez-le.

Erreur 6 : confondre preuve par contradiction et supposition

Une AIC ne choisit pas une branche arbitraire pour « voir ce qui se passe ».

Chaque étape est forcée par les liens Strong/Weak, et la conclusion est démontrée pour toutes les possibilités pertinentes des extrémités.

Quand apprendre les AIC ?

Les AIC deviennent beaucoup plus accessibles lorsque vous maîtrisez déjà :

1. les candidats ;
2. les liens forts et faibles ;
3. les X-Chains ;
4. les XY-Chains ;
5. la Coloration simple ou un raisonnement similaire par réseaux de liens.

Si ces idées restent hésitantes, la notation AIC semblera plus complexe que la logique qu’elle représente réellement.

FAQ

Que signifie AIC au Sudoku ?

AIC signifie Alternating Inference Chain, ou chaîne d’inférence alternée. La chaîne alterne relations fortes et faibles pour propager des états vrai/faux entre candidats.

Une AIC est-elle la même chose qu’un Nice Loop ?

Les deux cadres sont étroitement liés et la terminologie varie selon les solveurs. Le vocabulaire AIC met souvent l’accent sur les chaînes ouvertes et leurs extrémités, tandis que Nice Loop insiste davantage sur les boucles fermées et leurs règles de propagation.

Une AIC doit-elle utiliser plusieurs chiffres ?

Non. Une chaîne alternée à un seul chiffre peut être décrite en langage AIC, même si un nom spécialisé comme X-Chain est souvent plus clair.

Une XY-Chain est-elle une AIC ?

Conceptuellement, les XY-Chains appartiennent à la grande famille des inférences alternées, mais leur structure spécifique de cases bivalues mérite son propre nom et son propre mode de recherche.

Les AIC sont-elles de l’essai-erreur ?

Non. Une AIC est une preuve déductive par implications. Chaque transition repose sur un lien fort ou faible déjà établi, et la conclusion découle logiquement de la chaîne.

Que faut-il apprendre après les AIC ?

Les extensions naturelles sont les Grouped AIC, les chaînes utilisant des ALS, les boucles continues et des structures de forcing plus complexes.

Que faut-il apprendre ensuite ?

Une fois les AIC classiques maîtrisées, l’étape majeure suivante consiste à grouper plusieurs candidats en un même nœud. Cela ouvre la porte aux Grouped AIC, aux chaînes ALS et à de nombreuses déductions de niveau expert.