Sudoku Chains

Une Sudoku Chain, ou chaîne Sudoku, est une suite d'implications forcées entre des états candidats.

Pour ce parcours, le langage le plus utile est :

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

Lorsque ces rôles alternent, un état peut se propager dans la grille :

faux → vrai → faux → vrai → ...

Une Chain utile se termine par une conclusion :

• une extrémité doit être vraie ;
• un candidat doit être faux ;
• une hypothèse mène à une contradiction ;
• ou deux états de départ possibles produisent le même résultat.

Le but n'est pas de construire la plus longue chaîne possible.

Le but est de trouver la chaîne la plus courte qui prouve quelque chose d'utile.

Une chaîne de quatre nœuds

Supposons :

A = B - C = D

où :

• = représente un Strong Link ;
• - représente un Weak Link.

Commencez avec A faux.

A faux

Strong Link :

→ B vrai.

B vrai

Weak Link :

→ C faux.

C faux

Strong Link :

→ D vrai.

Donc :

A faux → D vrai.

Si la structure est aussi valide dans l'autre sens :

D faux → A vrai.

Alors au moins une extrémité A/D doit être vraie.

Tout candidat en conflit avec les deux extrémités peut être éliminé.

Pourquoi une Chain n'est pas une simple supposition

Une Chain peut commencer par une hypothèse temporaire :

Supposons que A soit faux.

Mais chaque état suivant est forcé par un Link valide.

L'hypothèse n'est pas acceptée comme solution.

Elle sert uniquement à démontrer une conséquence.

C'est la différence entre un essai arbitraire et une implication logique.

Les motifs nommés sont des Chains compressées

Plusieurs techniques avancées peuvent déjà être lues comme de petites Chains.

Gratte-ciel

Une courte chaîne sur un chiffre.

Cerf-volant à deux cordes

Une chaîne courte sur un chiffre avec un Weak Link passant par un bloc.

W-Wing

Deux cases bivalue identiques connectées par un Strong Link.

XY-Wing

Une courte chaîne à travers des cases bivalue.

Les noms sont utiles parce que le cerveau reconnaît rapidement les formes courtes.

Le langage des Chains explique pourquoi ces motifs fonctionnent et comment étendre la logique au-delà de géométries fixes.

Links dans et entre les cases

Dans une case bivalue

{3,8}

3 et 8 sont fortement liés :

• pas 3 → 8 ;
• pas 8 → 3.

Entre deux cases liées

Deux candidats 8 qui se voient sont faiblement liés :

• premier 8 vrai → second 8 faux.

Cette alternance est la base des Chaînes XY.

Chains sur un seul chiffre

Une Chaîne X utilise une seule valeur candidate.

Les Strong Links proviennent généralement de paires conjuguées.

Les Weak Links proviennent de candidats du même chiffre qui se voient.

Une forme éliminante typique :

• commence Strong ;
• termine Strong ;
• prouve qu'une des extrémités vaut X ;
• élimine X des cases qui voient les deux extrémités.

Chains à travers des cases bivalue

Une Chaîne XY utilise des cases bivalue.

À l'intérieur de chaque case :

• les deux candidats sont fortement liés.

Entre les cases successives :

• le candidat partagé fournit la relation Weak.

La chaîne commence et finit avec le même candidat, ce qui permet des éliminations chez les cases liées communes.

XY-Wing est la forme d'introduction à trois cases.

Notation des Chains

Pendant l'apprentissage, la signification doit venir avant la notation.

Une représentation visuelle peut utiliser :

• ligne continue = Strong ;
• ligne pointillée = Weak.

Une notation textuelle peut ensuite ressembler à :

A = B - C = D

La notation AIC formelle devient plus facile lorsque la propagation vrai/faux est déjà comprise.

Quand une Chain est-elle utile ?

Une suite valide de Links n'est pas automatiquement un coup de résolution.

Elle doit produire une conclusion.

Motif utile d'extrémités :

Au moins une des extrémités doit être vraie.

Motif utile par contradiction :

Cette hypothèse force un état impossible.

Motif utile de convergence :

Les deux états de départ possibles forcent le même résultat.

Si la Chain ne prouve rien, elle peut être logiquement intéressante mais n'est pas productive.

Chain vs Net

Dans une Chain simple, chaque implication dépend directement de l'état précédent.

Un Net se ramifie ou dépend de plusieurs branches antérieures.

Une progression raisonnable est :

• Strong Links ;
• Weak Links ;
• Chains courtes ;
• concepts X-Chain / XY-Chain.

Les Forcing Nets viennent plus tard.

Des concepts de Chain aux techniques concrètes

Coloration simple

Méthode visuelle pour gérer un réseau de Strong Links sur un même chiffre avec deux états.

Chaîne X

Chemin alternant sur un seul chiffre.

Chaîne XY

Chemin à travers des cases bivalue.

AIC

Cadre plus général des Alternating Inference Chains, en français Chaînes d'inférence alternées.

Une étude complète des AIC dépasse ce guide introductif.

Apprendre les Chains sans se perdre

1. Maîtrisez Strong vs Weak.
2. Suivez des chaînes abstraites de quatre nœuds.
3. Repérez les mêmes Links sur une grille.
4. Revisitez Gratte-ciel, Cerf-volant et W-Wing.
5. Apprenez les Chaînes X courtes.
6. Apprenez les Chaînes XY courtes.
7. Passez ensuite seulement aux AIC plus générales.

Erreurs fréquentes

Alterner les styles de lignes sans vérifier l'implication réelle

La relation logique est plus importante que le dessin.

Lire un Weak Link à l'envers

Faux ne force le partenaire à vrai que si la relation possède aussi une propriété Strong.

Construire une Chain sans conclusion

Une Chain doit prouver un mouvement.

Commencer directement avec une notation formelle

La notation compresse une compréhension ; elle ne la crée pas.

Utiliser une chaîne inutilement longue

Si un motif nommé court ou une conclusion plus simple prouve le même coup, préférez l'explication courte.

FAQ

Les Chains sont-elles toujours des techniques Expert ?

Non. Certains motifs courts comme Gratte-ciel sont des formes de Chain assez accessibles.

XY-Wing peut-il être vu comme une Chain ?

Oui, comme une courte Chaîne XY.

Qu'est-ce qu'une AIC ?

Une Alternating Inference Chain est un cadre général qui alterne des implications Strong et Weak.

Une Chain est-elle du hasard ?

Non. Chaque étape est forcée ; une hypothèse temporaire sert uniquement dans une preuve.

Que faut-il apprendre ensuite ?

Apprenez Coloration simple, Chaîne X et Chaîne XY avant d'aller vers les AIC complètes.