Comment fonctionnent les chaînes

Résultat

Vous saurez suivre une chaîne d'inférences alternées, expliquer ce que prouvent ses extrémités, utiliser cette preuve pour une élimination et reconnaître une chaîne valide mais inutile.

Une chaîne a besoin d'une conclusion

Une chaîne n'a pas de valeur parce qu'elle est longue.

Elle en a parce qu'elle prouve quelque chose qui n'était pas évident auparavant.

Une méthode utile consiste à :

1. choisir une hypothèse de départ ;
2. propager correctement chaque implication ;
3. examiner l'extrémité ;
4. transformer la relation entre les extrémités en placement, élimination ou contradiction.

Étape 1 — Suivez les états

Commencez avec :

A = B - C = D

Supposez A = faux.

La chaîne devient :

A faux
→ B vrai
→ C faux
→ D vrai

Chaque flèche doit être justifiée par la relation qui la précède.

Étape 2 — Suivez depuis l'autre extrémité

Commencez maintenant par D = faux et remontez la chaîne.

Vous obtenez la conclusion miroir :

• si A est faux, D est vrai ;
• si D est faux, A est vrai.

Ainsi, A et D ne peuvent pas être faux ensemble. Au moins une extrémité doit être vraie.

Cette affirmation sur les extrémités est la partie utile de la chaîne.

Étape 3 — Éliminez dans une case liée commune

Supposons que le candidat T entre en conflit avec les deux extrémités A et D.

Puisqu'au moins une extrémité est vraie, T ne peut pas survivre :

• si A est vrai, T est faux ;
• si D est vrai, T est faux.

Dans tous les cas, T est éliminé.

Étape 4 — Une chaîne valide peut ne rien produire

Vous pouvez suivre une chaîne parfaitement valide dont la relation entre extrémités n'a aucune cible utile et ne crée aucune contradiction.

Ce n'est pas une preuve ratée. C'est simplement une chaîne improductive dans l'état actuel.

Ne collectionnez pas les chaînes pour elles-mêmes. Cherchez une conclusion.

Étape 5 — Trouvez le lien cassé

Une chaîne peut sembler convaincante tout en contenant un Strong Link invalide.

Si une prétendue paire conjuguée possède en réalité un troisième candidat dans son unité source, l'implication faux → vrai disparaît. Toutes les conclusions après ce lien ne sont plus justifiées.

Vérifiez toujours les links avant de faire confiance à l'extrémité.

Étape 6 — Les motifs nommés sont des chaînes compressées

Skyscraper, Two-String Kite et W-Wing peuvent tous être compris avec le même langage d'implications.

La géométrie vous aide à les trouver. La logique des chaînes explique pourquoi l'élimination est valide.

Cette distinction devient de plus en plus utile avec les techniques avancées.

Vérification rapide

Suivez les implications, identifiez l'affirmation utile sur les extrémités et distinguez une chaîne cassée d'une chaîne valide mais improductive.

À retenir

Le motif aide à chercher. Les implications fournissent la preuve.

Ensuite

W-Wing

Utilisez la même logique de Strong Links dans un motif compact et nommé.

Référence

Lisez Chaînes de Sudoku pour les X-Chains, XY-Chains, la notation et le passage vers des chaînes d'inférences alternées plus générales.