Chaîne X

Une X-Chain est une chaîne Sudoku alternée qui suit un seul chiffre candidat.

Si le chiffre de la chaîne est 7, chaque nœud représente le candidat 7 dans une case différente.

La chaîne alterne :

• des rôles d’inférence Strong, généralement fournis par des paires conjuguées ;
• des rôles d’inférence Weak, fournis par des candidats du même chiffre qui se voient.

La X-Chain éliminative standard enseignée ici :

• commence par un Strong Link ;
• alterne rôles Strong et Weak ;
• se termine par un Strong Link ;
• prouve qu’au moins une des deux extrémités contient le chiffre de la chaîne.

Le chiffre de la chaîne peut donc être supprimé de tout candidat qui voit les deux extrémités.

X-Chain constitue le langage général à un seul chiffre derrière plusieurs motifs courts nommés.

Motif rapide

Conceptuellement :

A = B - C = D - E = F

Pour un chiffre X :

• = = rôle Strong ;
• - = rôle Weak.

Partons de A faux :

A faux
→ B vrai
→ C faux
→ D vrai
→ E faux
→ F vrai

Partons de F faux :

F faux
→ E vrai
→ D faux
→ C vrai
→ B faux
→ A vrai

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

Au moins une extrémité vaut X.

Pourquoi X-Chain utilise un seul chiffre

Le « X » de X-Chain représente un chiffre candidat unique suivi à travers la grille.

Cela rend la chaîne plus facile à visualiser qu’une AIC générale, car :

• la valeur candidate ne change jamais ;
• les Strong Links viennent normalement d’unités qui ne contiennent plus que deux candidats X ;
• les Weak Links viennent de candidats X qui se voient.

Si la chaîne passe du chiffre 7 au chiffre 3 à l’intérieur d’une case bivalue, ce n’est plus une X-Chain pure. Vous entrez dans une autre famille, comme XY-Chain ou une AIC plus générale.

Pourquoi la chaîne commence et finit Strong

L’élimination standard par extrémités exige cette conclusion :

au moins une extrémité doit être vraie.

À la première extrémité, supposer qu’elle est fausse active le premier Strong Link et lance la propagation alternée.

À l’autre extrémité, une structure qui se termine par Strong permet également la preuve inverse.

Ainsi :

A faux → F vrai
F faux → A vrai

A et F ne peuvent donc pas être faux simultanément.

Cette garantie de vérité sur les extrémités rend valide l’élimination d’un pair commun.

Si le chemin ne produit pas cette garantie, n’utilisez pas la règle standard d’élimination X-Chain.

Strong Links dans une X-Chain

Pour un chiffre fixe X, les Strong Links proviennent généralement de paires conjuguées.

Exemples :

• exactement deux candidats X dans une ligne ;
• exactement deux dans une colonne ;
• exactement deux dans un bloc.

Ces paires épuisent les possibilités :

si une extrémité n’est pas X, l’autre doit être X.

Une paire conjuguée est également Weak parce que ses deux extrémités se voient pour le même chiffre. Une relation Strong peut donc parfois jouer le rôle Weak requis par le chemin alterné.

Weak Links dans une X-Chain

Un Weak Link existe entre deux candidats X qui ne peuvent pas être vrais en même temps.

Pour des candidats X du même chiffre, cela signifie normalement que les cases se voient à travers :

• une ligne ;
• une colonne ;
• un bloc.

Contrairement à un Strong Link, l’unité source n’a pas besoin de ne contenir que deux candidats X.

Si B vaut X, C ne peut pas valoir X.

Mais si B ne vaut pas X, C n’est pas automatiquement forcé.

C’est précisément cette asymétrie que le segment Strong suivant vient réparer.

L’élimination par les extrémités

Supposons qu’une X-Chain valide prouve :

A vaut X ou F vaut X.

Considérons maintenant une cible T qui contient le candidat X.

Si T voit A, T entre en conflit avec le cas A = X.

Si T voit également F, T entre en conflit avec le cas F = X.

Ces deux cas d’extrémité couvrent toutes les possibilités.

Donc :

T ne peut pas être X.

La cible n’a pas besoin de voir tous les nœuds internes de la chaîne.

Pour l’élimination standard enseignée ici, elle doit voir les deux extrémités.

Exemple pas à pas

Avant d’utiliser la grille, identifiez ces cinq éléments :

1. un seul chiffre X pour toute la chaîne ;
2. le premier segment Strong ;
3. le chemin alterné Weak/Strong ;
4. le dernier segment Strong ;
5. un candidat extérieur X qui voit les deux extrémités.

X-Chains courtes et motifs nommés

Plusieurs techniques familières à un seul chiffre peuvent être exprimées comme de courtes X-Chains.

Skyscraper

Deux paires conjuguées forment une courte chaîne dont les extrémités « toit » permettent une élimination sur un pair commun.

Two-String Kite

Une paire conjuguée de ligne et une paire conjuguée de colonne sont reliées par un Weak Link à travers un bloc.

Turbot Fish

Famille générale de courtes structures de chaînes à un chiffre, généralement décrites par leur géométrie nommée lorsqu’elle est claire.

Empty Rectangle

Autre motif court à un chiffre qui peut être représenté par la logique des chaînes.

Lorsqu’une technique courte nommée décrit clairement la structure, utilisez son nom. X-Chain devient surtout utile lorsque le chemin alterné dépasse une forme familière.

X-Chain vs X-Wing

Les deux techniques suivent un seul chiffre, mais leur preuve est différente.

X-Wing

Utilise une structure de comptage Fish à travers deux ensembles de base et deux ensembles de couverture.

X-Chain

Utilise des implications Strong et Weak alternées le long d’un chemin.

Certaines dispositions de candidats peuvent admettre plusieurs descriptions ; préférez toujours la preuve la plus simple qui explique correctement l’élimination.

X-Chain vs Simple Coloring

Les deux techniques travaillent sur un seul chiffre candidat et utilisent des structures de paires conjuguées.

Simple Coloring

• construit un réseau connecté de Strong Links ;
• attribue deux états alternés ;
• recherche Color Trap ou Color Wrap.

X-Chain

• choisit un chemin alterné précis ;
• inclut explicitement des connexions Weak entre les segments Strong ;
• utilise une relation entre extrémités pour éliminer un pair commun.

Un grand réseau de Coloring peut contenir plusieurs chemins X-Chain possibles.

Coloring est souvent une meilleure vue réseau. X-Chain est souvent une meilleure vue chemin.

Comment trouver des X-Chains sans dessiner tout le graphe

Utilisez une recherche contrôlée chiffre d’abord.

1. Choisir un chiffre

Préférez un chiffre possédant plusieurs paires conjuguées.

2. Marquer les Strong Links

Les lignes, colonnes et blocs avec exactement deux positions sont vos principaux points d’ancrage.

3. Choisir une extrémité prometteuse

Partez d’une extrémité Strong proche d’autres candidats du même chiffre.

4. Trouver une connexion Weak

Depuis le côté vrai d’un segment Strong, cherchez un autre candidat X qu’il voit et qui peut entrer dans un nouveau segment Strong.

5. Continuer l’alternance

Strong → Weak → Strong → Weak…

6. S’arrêter dès que des extrémités utiles apparaissent

N’allongez pas la chaîne uniquement parce qu’un autre lien existe.

7. Chercher les pairs communs des extrémités

Si un candidat extérieur X voit les deux cases d’extrémité, testez l’élimination.

Les chaînes courtes et vérifiables sont préférables aux longues chaînes spéculatives.

Un Strong Link peut jouer un rôle Weak

Supposons que deux candidats 4 forment une paire conjuguée.

Ils sont Strong parce que l’un faux force l’autre vrai.

Ils sont également Weak parce qu’ils ne peuvent pas être vrais tous les deux dans la même unité.

Si une X-Chain a besoin d’une étape Weak à cet endroit, la paire conjuguée peut donc remplir ce rôle.

Cette flexibilité peut donner l’impression visuelle que deux « segments Strong » se touchent.

La bonne question n’est pas uniquement le style de trait dessiné.

Demandez :

Quel rôle d’inférence cette relation joue-t-elle à cette étape ?

Une X-Chain valide peut être improductive

Vous pouvez construire un chemin alterné parfaitement valide sans trouver aucun candidat X qui voie les deux extrémités.

Dans la forme standard enseignée ici, la chaîne ne produit alors aucune élimination actuelle.

N’en inventez pas une.

Revenez à :

• une autre extrémité ;
• un autre chiffre de chaîne ;
• une autre technique.

La résolution avancée dépend autant de la capacité à abandonner les structures improductives que de la capacité à reconnaître les structures valides.

Quelle longueur doit avoir une X-Chain ?

Chercher la chaîne la plus longue n’a aucune utilité.

Commencez par des chaînes courtes parce qu’elles sont :

• plus faciles à reconnaître ;
• plus faciles à vérifier dans les deux sens ;
• moins vulnérables aux erreurs de candidats ;
• plus susceptibles de correspondre à un motif nommé familier.

N’allongez la chaîne que lorsqu’une structure plus courte ne produit rien et que le lien suivant reste parfaitement clair.

Erreurs fréquentes

Changer de chiffre candidat à l’intérieur de la chaîne

Une X-Chain pure n’utilise qu’un seul chiffre.

Utiliser une relation seulement Weak comme Strong

Si A est faux, B doit réellement être forcé vrai.

Alterner des styles de ligne sans vérifier la direction de l’inférence

La logique compte davantage que la convention graphique.

Finir avec une mauvaise structure d’extrémité

L’élimination sur pair commun exige la preuve qu’au moins une extrémité est vraie.

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

Le cas où l’autre extrémité est vraie laisserait alors la cible possible.

Traiter tout réseau conjugué comme une élimination X-Chain

Un réseau n’est pas automatiquement un chemin productif.

Construire des chaînes extrêmement longues trop tôt

Maîtrisez d’abord les preuves courtes et transparentes.

Exercice de reconnaissance

Filtrez le chiffre 7.

1. Marquez chaque paire conjuguée.
2. Choisissez une paire comme premier segment Strong.
3. Depuis une extrémité, trouvez un 7 visible qui participe à une autre paire conjuguée.
4. Continuez une ou deux fois.
5. Identifiez les deux extrémités finales.
6. Cherchez des candidats 7 qui voient les deux.

Si vous ne pouvez pas expliquer la source de chaque Strong Link et le conflit de chaque Weak Link, arrêtez-vous et vérifiez la chaîne.

FAQ

Qu’est-ce qu’une X-Chain au Sudoku ?

Une X-Chain est une chaîne qui suit un seul chiffre candidat à travers des rôles d’inférence Strong et Weak alternés.

X-Chain utilise-t-elle un seul chiffre ?

Oui. Si la valeur candidate change pendant le chemin, il ne s’agit plus d’une X-Chain pure.

Pourquoi une X-Chain commence-t-elle et finit-elle Strong ?

Cette structure prouve qu’au moins une extrémité doit contenir le chiffre de la chaîne, ce qui permet l’élimination standard sur pair commun.

Skyscraper peut-il être représenté comme une X-Chain ?

Oui. Skyscraper et d’autres motifs de type Turbot peuvent être représentés comme de courtes X-Chains.

X-Chain est-elle identique à Simple Coloring ?

Non. Coloring gère un réseau connecté de Strong Links avec deux états, tandis que X-Chain suit un chemin particulier alternant Strong et Weak.

Toute X-Chain valide produit-elle une élimination ?

Non. Dans la forme standard par extrémités, il doit exister une cible utile qui voie les deux extrémités.

X-Chain est-elle une AIC ?

C’est une forme restreinte à un seul chiffre de la logique d’inférence alternée. Le Guide AIC généralisera ensuite le cadre au-delà d’un seul chiffre et de ce motif d’extrémité spécifique.

Que faut-il apprendre ensuite ?

Passez à XY-Chain, où les Strong Links se trouvent à l’intérieur de cases bivalue et où la valeur candidate change au fur et à mesure que la chaîne progresse.