Chaînes Sudoku

Une chaîne Sudoku est une suite d’inférences entre candidats dans laquelle la vérité ou la fausseté d’un état force l’état suivant.

Le langage de base repose sur deux relations :

• Strong Link : faux → vrai ;
• Weak Link : vrai → faux.

Lorsque ces rôles d’inférence alternent, un état logique peut se propager à travers la grille :

faux → vrai → faux → vrai → ...

Cette propagation peut prouver :

• qu’un candidat doit être vrai ;
• qu’un candidat doit être faux ;
• qu’au moins une des deux extrémités doit être vraie ;
• qu’une hypothèse conduit à une contradiction ;
• ou que plusieurs départs possibles mènent à la même conclusion.

Les chaînes ne consistent pas à tracer de longues lignes sur une grille pour le plaisir.

Le but est de trouver la séquence vérifiable la plus courte qui prouve une déduction utile.

Avant les Chains : comprendre les états candidats

Une chaîne ne relie pas vaguement des cases entières par leur géométrie.

Elle relie des états candidats.

Par exemple :

r4c2=7

représente un état logique : « le candidat 7 en r4c2 est vrai ».

Un lien explique ce qui arriverait à un autre état candidat si ce premier état devenait vrai ou faux.

C’est important, car une même case peut participer à plusieurs liens à travers différentes valeurs candidates.

Si le raisonnement par chaînes devient confus, revenez aux états candidats individuels et formulez chaque inférence à voix haute.

Les deux directions d’inférence

Strong Link

A faux → B vrai

A et B ne peuvent pas être tous les deux faux.

Weak Link

A vrai → B faux

A et B ne peuvent pas être tous les deux vrais.

L’alternance fonctionne parce que chaque lien produit précisément l’état dont le lien suivant a besoin.

Un Strong Link prend faux et produit vrai.

Un Weak Link prend vrai et produit faux.

Un autre Strong Link peut alors poursuivre la propagation.

Une chaîne de quatre nœuds

Supposons :

A = B - C = D

où :

• = représente un rôle d’inférence Strong ;
• - représente un rôle d’inférence Weak.

Partons de A faux.

A faux

Le Strong Link force :

B vrai.

B vrai

Le Weak Link force :

C faux.

C faux

Le Strong Link suivant force :

D vrai.

Donc :

A faux → D vrai.

Si la même structure alternée peut également être lue depuis l’autre extrémité :

D faux → A vrai.

alors A et D ne peuvent pas être tous les deux faux.

On peut donc conclure :

Au moins une des deux extrémités est vraie.

Tout état candidat incompatible avec les deux extrémités potentiellement vraies peut être éliminé.

Pourquoi une chaîne peut souvent se lire dans les deux sens

Les paires conjuguées ordinaires et les paires de candidats d’une case bivalue sont à la fois Strong et Weak.

Cela permet à une séquence alternée valide d’être suivie depuis l’une ou l’autre extrémité, à condition d’attribuer correctement les rôles des liens.

Pour une chaîne destinée à produire une élimination par extrémités, la preuve utile est généralement :

Extrémité A fausse → Extrémité B vraie
Extrémité B fausse → Extrémité A vraie

Les deux extrémités ne peuvent donc pas être fausses simultanément.

C’est la base logique des éliminations sur pairs communs enseignées dans X-Chain et XY-Chain.

Ne supposez pas qu’une suite arbitraire de connexions possède automatiquement cette propriété réversible. Le type de lien et sa direction doivent être valides à chaque étape.

Les Chains ne sont pas des suppositions arbitraires

Une preuve par chaîne commence souvent par une phrase temporaire telle que :

Supposons que le candidat A soit faux.

Cela peut ressembler à une supposition, mais son rôle est différent.

Vous n’acceptez pas cette hypothèse comme solution.

Vous :

1. posez un état temporaire ;
2. ne suivez que des implications forcées ;
3. atteignez une conséquence ;
4. recommencez depuis l’extrémité opposée ou l’état alternatif lorsque la preuve l’exige ;
5. ne conservez que la conclusion logiquement garantie.

La preuve réside dans les liens forcés, pas dans la prémisse temporaire de départ.

Le procédé ressemble davantage à une démonstration mathématique par cas ou par contradiction qu’à un essai-erreur non justifié.

Les techniques Sudoku nommées sont des Chains compressées

De nombreux motifs plus simples à reconnaître géométriquement peuvent aussi être décrits comme de courtes chaînes.

Skyscraper

Un court chemin alterné sur un seul chiffre entre deux structures de paires conjuguées.

Two-String Kite

Une courte chaîne à un chiffre dont la connexion Weak se forme à travers un bloc.

W-Wing

Deux cases bivalue identiques interagissent grâce à un Strong Link externe.

XY-Wing

Un motif de propagation sur trois cases bivalue qui peut être représenté comme une courte XY-Chain.

Lorsque la géométrie est évidente, le nom du motif reste généralement la meilleure description pour un humain.

Le langage des chaînes devient particulièrement utile lorsque :

• le motif s’étend davantage ;
• la géométrie ne correspond plus à une forme familière ;
• ou vous souhaitez un cadre logique unique capable d’expliquer plusieurs techniques.

Liens à l’intérieur et entre les cases

Les Chains peuvent se déplacer à travers plusieurs types de relations entre candidats.

À l’intérieur d’une case bivalue

Case :

{3,8}

Les candidats sont fortement liés :

pas 3 → 8

et :

pas 8 → 3.

Comme une case ne contient qu’un seul chiffre, ils sont aussi faiblement liés.

Entre des cases paires

Deux candidats 8 situés dans des cases qui se voient sont faiblement liés :

premier 8 vrai → second 8 faux.

À l’intérieur d’une paire conjuguée

Deux candidats d’un même chiffre qui sont les seules positions d’une unité sont à la fois Strong et Weak.

Ces trois idées suffisent pour comprendre les Guides actuels sur X-Chain et XY-Chain.

Chains à un chiffre

Une X-Chain suit un seul chiffre candidat.

Par exemple, chaque nœud peut représenter le candidat 7 dans une case différente.

Les Strong Links proviennent généralement de :

• paires conjuguées de ligne ;
• paires conjuguées de colonne ;
• paires conjuguées de bloc.

Les Weak Links proviennent de positions du candidat 7 qui se voient.

Une X-Chain éliminative standard commence et se termine avec un rôle d’inférence Strong. Cela prouve qu’au moins une extrémité contient le chiffre de la chaîne ; ce chiffre peut alors être éliminé des cases qui voient les deux extrémités.

Les X-Chains courtes recouvrent des motifs à un chiffre nommés comme Skyscraper, Two-String Kite, Turbot Fish et Empty Rectangle.

Chains de cases bivalue

Une XY-Chain utilise uniquement des cases bivalue dans sa forme standard.

À l’intérieur de chaque case de la chaîne :

• les deux candidats fournissent l’étape Strong.

Entre deux cases consécutives :

• le candidat partagé fournit l’étape Weak, car les cases se voient.

La valeur candidate change au fil du parcours.

La première et la dernière case contiennent le même candidat d’extrémité Z. La chaîne prouve qu’au moins une extrémité vaut Z, ce qui permet d’éliminer Z des cases qui voient les deux extrémités.

XY-Wing constitue l’exemple introductif court de ce type de propagation.

Coloring est une autre façon de gérer les états d’une chaîne

Simple Coloring suit un même chiffre dans un réseau connecté de paires conjuguées.

Au lieu de tracer un seul chemin choisi, la technique attribue deux états alternés — souvent affichés comme Couleur A et Couleur B — à toute la composante connectée de Strong Links.

On recherche ensuite des contradictions ou des candidats extérieurs qui interagissent avec les deux polarités.

Coloring et Chains ne sont donc pas deux théories concurrentes.

Ce sont deux interfaces humaines différentes pour une logique d’inférence binaire très proche.

Qu’est-ce qui rend une chaîne utile ?

Une chaîne peut être valide sans produire aucun progrès dans la résolution.

C’est important.

La grille ne récompense pas la longueur de la chaîne ; elle récompense la conclusion.

Les résultats utiles les plus fréquents sont :

Élimination par les extrémités

Au moins une des deux extrémités est vraie.

Un candidat qui voit les deux extrémités ne peut donc pas être vrai.

Contradiction

Une prémisse finit par forcer un état impossible, ce qui prouve que la prémisse était fausse.

Placement forcé

Une branche ou une hypothèse d’extrémité force le même candidat vrai dans tous les cas possibles.

Convergence

Plusieurs états de départ possibles conduisent au même résultat.

Si votre séquence n’atteint aucune conséquence garantie, elle peut former un chemin d’implications valide sans constituer encore un coup Sudoku productif.

Chaînes ouvertes, boucles et chemin vers les AIC

Les Guides actuels se concentrent sur les chaînes ouvertes offrant une conclusion utile entre leurs extrémités.

La théorie plus générale des Chains comprend :

• Alternating Inference Chains (AIC) ;
• boucles discontinues ;
• boucles continues ;
• nœuds groupés ;
• nœuds ALS.

Ces extensions autorisent des conditions d’extrémité et des éliminations plus variées.

Elles appartiennent à la couche d’expansion, car le corpus actuel doit d’abord disposer d’une base stable au niveau des candidats : Strong Links, Weak Links, X-Chains, XY-Chains et Coloring.

L’idée essentielle ne change pas :

alterner des rôles d’inférence valides et préserver la logique forcée à chaque étape.

Chain vs Net

Une chaîne progresse linéairement : chaque nouvelle inférence découle de l’état qui la précède immédiatement.

Un Net se ramifie ou nécessite la combinaison des résultats de plusieurs branches antérieures.

Cette différence est importante, car un Net est plus difficile à vérifier manuellement et appartient aux méthodes de forcing plus avancées.

Pour le parcours d’apprentissage actuel :

Strong Links
→ Weak Links
→ Chains courtes
→ Coloring / X-Chain / XY-Chain
→ AIC
→ structures groupées et forcing plus tard

Notation des Chains

La notation n’est utile qu’une fois la logique comprise.

Une notation conceptuelle simple est :

A = B - C = D

où :

• = signifie un rôle d’inférence Strong ;
• - signifie un rôle d’inférence Weak.

Les communautés Sudoku utilisent aussi la notation Nice Loop, la notation AIC/Eureka, les coordonnées de candidats, les labels de chiffres et la syntaxe de nœuds groupés.

Ces systèmes compressent une chaîne afin de la communiquer précisément.

Ils ne changent pas la preuve.

Pendant l’apprentissage, vous devez toujours pouvoir redéployer la notation en langage naturel :

Si ceci est faux, cela est vrai ; donc ceci est faux ; donc cela est vrai…

Comment vérifier une Chain

Avant toute élimination, vérifiez chaque étape.

1. Identifiez le nœud candidat exact.
2. Nommez la source du lien. Ligne, colonne, bloc, case bivalue ou autre structure valide.
3. Indiquez la direction de l’inférence. Faux → vrai ou vrai → faux.
4. Continuez uniquement si l’état suivant est forcé.
5. Vérifiez la conclusion aux extrémités dans tous les cas requis.
6. Vérifiez que la cible entre réellement en conflit avec chaque possibilité d’extrémité utilisée dans la preuve.

Si une étape repose sur « probablement » ou « cela semble relié », la chaîne n’est pas prouvée.

Comment chercher des Chains sans se perdre

Ne commencez pas en essayant d’énumérer tout le graphe des candidats.

Une progression pratique est :

1. trouvez un Strong Link prometteur ;
2. inspectez les connexions Weak courtes depuis ses extrémités ;
3. cherchez un autre Strong Link ;
4. arrêtez-vous dès qu’une relation d’extrémité utile apparaît ;
5. préférez un motif court nommé lorsqu’il décrit clairement la même preuve ;
6. après une élimination, revenez aux Singles et aux techniques plus simples.

Cela maintient les Chains comme outil de résolution au lieu d’en faire un exercice de dessin de graphe.

Erreurs fréquentes

Alterner des styles de lignes sans vérifier l’inférence

Le lien doit être logiquement valide. Un trait plein ou pointillé ne le rend pas vrai.

Lire un Weak Link à l’envers

À partir de A faux, une relation uniquement Weak ne donne aucune conclusion forcée sur B.

Oublier que les nœuds sont des états candidats, pas seulement des cases

Une même case peut participer à la chaîne à travers plusieurs candidats différents.

Construire une chaîne sans conclusion

Un long chemin valide peut rester inutile.

Éliminer une cible qui ne voit qu’une seule extrémité

Pour la preuve standard par extrémités, la cible doit être incompatible avec chaque extrémité susceptible d’être vraie.

Passer directement à une notation formelle

La notation doit compresser un raisonnement déjà compris.

Utiliser une chaîne inutilement longue

Si Skyscraper, W-Wing, X-Wing ou une autre technique plus simple prouve la même élimination, préférez l’explication la plus courte.

Comment apprendre les Chains sans se sentir dépassé

Une bonne progression est :

1. maîtriser les Strong Links ;
2. maîtriser les Weak Links ;
3. tracer des chaînes abstraites de quatre nœuds ;
4. revoir Skyscraper, Two-String Kite et W-Wing comme exemples de chaînes ;
5. apprendre Simple Coloring comme réseau binaire visuel ;
6. apprendre de courtes X-Chains ;
7. apprendre de courtes XY-Chains ;
8. seulement ensuite généraliser vers les AIC.

FAQ

Qu’est-ce qu’une chaîne Sudoku ?

Une chaîne Sudoku est une suite d’implications forcées entre candidats. Chaque état force le suivant par une relation Strong ou Weak jusqu’à ce que la séquence prouve une conclusion utile.

Pourquoi les Chains alternent-elles Strong Links et Weak Links ?

Les Strong Links transforment faux en vrai, tandis que les Weak Links transforment vrai en faux. L’alternance de ces rôles permet à un état forcé de se propager.

Les Chains sont-elles une forme de supposition ?

Non. Une hypothèse temporaire peut lancer la preuve, mais tous les états suivants sont forcés et seule une conclusion garantie est conservée.

Toutes les Chains sont-elles des techniques expertes ?

Non. Plusieurs motifs avancés familiers sont simplement de courtes chaînes sous une autre présentation. La difficulté augmente lorsqu’il faut reconnaître et vérifier des structures plus longues ou plus générales.

XY-Wing peut-il être représenté comme une chaîne ?

Oui. XY-Wing peut se représenter comme une courte XY-Chain à travers trois cases bivalue.

Qu’est-ce qu’une AIC ?

Une Alternating Inference Chain est le cadre général qui alterne les rôles d’inférence Strong et Weak. Un Guide AIC dédié fait partie de la couche d’expansion.

Quelle est la différence entre une Chain et un Net ?

Une chaîne est linéaire : chaque étape dépend directement de la précédente. Un Net se ramifie ou combine des implications provenant de plusieurs branches antérieures.

Que faut-il apprendre ensuite ?

Étudiez Simple Coloring, X-Chain et XY-Chain. Ensemble, ces techniques transforment le langage abstrait Strong/Weak en trois méthodes de résolution concrètes avant la généralisation AIC.