Une Chaîne X, ou X-Chain, est une chaîne d'inférence qui suit un seul candidat.
Une forme éliminante typique :
- commence par un Strong Link ;
- alterne Strong et Weak ;
- se termine par un Strong Link.
Cette structure prouve :
Au moins une des deux extrémités doit contenir le chiffre.
Le candidat peut donc être supprimé de toute case qui voit les deux extrémités.
Motif court
Conceptuellement :
A = B - C = D - E = F=Strong ;-Weak.
Si A est faux :
- B vrai ;
- C faux ;
- D vrai ;
- E faux ;
- F vrai.
Si la chaîne est aussi valide en sens inverse, F faux force A vrai.
Donc A ou F est vrai.
Pourquoi la chaîne commence et finit Strong
La conclusion sur les extrémités dépend de la propriété :
extrémité fausse → extrémité opposée vraie.
Le premier Strong Link transforme faux en vrai.
L'alternance transporte ensuite l'état.
La structure Strong à l'autre extrémité permet la même lecture en sens inverse.
On obtient alors la garantie utile « au moins une extrémité est vraie ».
Exemple pas à pas
Sources des Strong et Weak Links
Comme le chiffre reste fixe :
Strong Links
Habituellement :
- paires conjuguées dans les lignes ;
- paires conjuguées dans les colonnes ;
- paires conjuguées dans les blocs.
Weak Links
Deux positions candidates du même chiffre qui se voient.
Un Strong Link peut aussi servir dans un rôle Weak car les extrémités d'une paire conjuguée ne peuvent pas être vraies simultanément.
Cette flexibilité facilite certaines Chains.
Chaîne X vs Gratte-ciel / Cerf-volant
Une Chaîne X courte de quatre candidats peut souvent être reconnue comme un motif nommé.
Gratte-ciel
Deux paires conjuguées parallèles avec un côté aligné.
Cerf-volant à deux cordes
Une paire conjuguée en ligne et une en colonne reliées par un bloc.
Les noms sont des raccourcis.
La Chaîne X est le langage d'inférence plus général.
Chaîne X vs Coloration simple
Coloration
Construit un réseau plus large de paires conjuguées et exploite les contradictions de deux couleurs.
Chaîne X
Choisit un chemin alternant précis avec des extrémités utiles.
Un réseau de Coloration peut contenir plusieurs Chaînes X possibles.
Les deux techniques sont des approches différentes de recherche dans la même logique de Links.
Chercher des Chaînes X sans tout dessiner
- Filtrez un candidat.
- Repérez les Strong Links.
- Choisissez une extrémité prometteuse.
- Cherchez un Weak Link menant vers un autre Strong Link.
- Continuez tant que la chaîne reste facile à vérifier.
- Arrêtez dès que l'autre extrémité permet une élimination chez une case liée commune.
Ne rallongez pas une Chain uniquement parce que c'est possible.
Plus long n'est pas meilleur.
Une Chain peut être valide mais inutile
Supposons que les extrémités A et F soient correctement prouvées, mais :
- aucune case candidate ne voit les deux ;
- aucune autre contradiction ou conclusion n'en découle.
La Chain n'a alors aucun effet pratique immédiat.
Revenez à la grille.
Le but est la conclusion, pas la collection de Chains.
Erreurs fréquentes
Changer de chiffre dans la Chain
Ce n'est alors plus une Chaîne X.
Utiliser mal les rôles Strong/Weak
Vérifiez la propagation des états, pas seulement le dessin des lignes.
Terminer avec une structure d'extrémités incorrecte
L'élimination classique chez une case liée commune dépend de la garantie que l'une des extrémités est vraie.
Éliminer depuis une cible qui voit une seule extrémité
Invalide.
Construire de très longues Chains avant de maîtriser les courtes
La reconnaissance et la vérification deviennent vite difficiles.
Exercice de reconnaissance
Avec le candidat 7 filtré :
- marquez les paires conjuguées ;
- choisissez deux segments Strong ;
- demandez si une extrémité de l'un peut voir une extrémité de l'autre ;
- suivez la petite Chain créée.
Cette démarche reste proche de Gratte-ciel et Cerf-volant avant de passer à des structures plus longues.
FAQ
Une Chaîne X utilise-t-elle un seul chiffre ?
Oui.
Un Gratte-ciel peut-il être représenté comme une Chaîne X ?
Oui, comme une Chain courte.
Toutes les Chaînes X éliminent-elles chez des cases liées communes ?
La forme d'extrémités étudiée ici le fait. Des structures AIC plus générales peuvent produire d'autres conclusions.
Chaîne X et Coloration sont-elles identiques ?
Non, même si elles utilisent le même type de structures Strong Link sur un candidat.
Que faut-il apprendre ensuite ?
Passez à Chaîne XY, où les Strong Links se trouvent à l'intérieur des cases bivalue et où le candidat change au fil du chemin.