Aller au contenu
VEYRAPLAY
Français
Sudoku
Module 6 · Liens et chaînesLeçon 24 sur 28

Strong Links et Weak Links

Entraînez-vous à distinguer Strong et Weak Links et à propager uniquement les implications réellement prouvées par chaque relation.

0 leçons terminées sur 28 · 0 %

Leçon en coursOuvrir une leçon ne la termine pas. La progression s’obtient grâce aux vérifications et exercices validés.

Résultat

Vous saurez déterminer si deux candidats ont un Strong Link, un Weak Link, les deux ou aucun lien direct, et utiliser correctement le sens de chaque implication.

Les deux idées

Les chaînes reposent sur deux affirmations simples :

  • Strong Link : les deux candidats ne peuvent pas être faux en même temps.
  • Weak Link : les deux candidats ne peuvent pas être vrais en même temps.

Cela donne deux implications sûres :

Strong: faux → vrai
Weak:   vrai → faux

Les flèches ne sont pas interchangeables. Un Weak Link ne signifie pas qu'un candidat faux force l'autre à être vrai.

Imaginez que le candidat 7 apparaisse dans exactement deux cellules d'une ligne.

Si le 7 de gauche est faux, celui de droite doit être vrai, car la ligne a toujours besoin d'un 7 quelque part.

C'est l'idée du Strong Link :

une extrémité fausse force l'autre à être vraie.

Imaginez maintenant que la même ligne contienne quatre 7 possibles.

Prenez deux candidats qui se voient. Si le premier est vrai, le second doit être faux : une ligne ne peut pas contenir deux 7.

Mais si le premier est faux, le second n'est pas forcé d'être vrai. Deux autres positions existent encore.

Cette paire est seulement Weak.

Étape 3 — Une paire peut être les deux

Une paire conjuguée — exactement deux positions pour un chiffre dans une unité — est à la fois Strong et Weak :

  • les deux ne peuvent pas être faux ;
  • les deux ne peuvent pas être vrais.

Les cellules bivalue se comportent de la même façon en interne. Si une cellule ne contient que {3,8}, un candidat faux force l'autre à être vrai, et un candidat vrai force l'autre à être faux.

Étape 4 — À l'intérieur d'une cellule

Comparez :

{3,8}

avec :

{3,8,9}

Dans la cellule bivalue, 3 et 8 sont Strong + Weak.

Dans la cellule trivalue, 3 et 8 sont seulement Weak : si 3 est faux, 8 n'est pas forcé puisque 9 reste possible.

Étape 5 — Classez la relation

Pour chaque paire, posez deux questions :

  1. Les deux peuvent-ils être vrais ?
  2. Les deux peuvent-ils être faux ?

Puis classez :

  • ne peuvent pas être vrais ensemble → Weak ;
  • ne peuvent pas être faux ensemble → Strong ;
  • les deux affirmations s'appliquent → Strong + Weak ;
  • aucune n'est garantie → pas de lien direct.

Étape 6 — Propagez une courte chaîne

Considérez :

A = B - C = D

Commencez par A = faux.

Un Strong Link force B = vrai. Le Weak Link force ensuite C = faux. Le dernier Strong Link force D = vrai.

La compétence importante n'est pas de dessiner les symboles, mais de savoir pourquoi chaque état découle du précédent.

Vérification rapide

Classez les relations et propagez les implications sans inverser un Weak Link.

À retenir

Strong signifie ne peuvent pas être faux ensemble. Weak signifie ne peuvent pas être vrais ensemble.

Une même paire de candidats peut satisfaire les deux définitions.

Ensuite

Comment fonctionnent les chaînes

Combinez maintenant ces relations en déductions dont les extrémités prouvent quelque chose d'utile.

Référence

Lisez Strong Links et Weak Links pour les définitions complètes et davantage d'exemples.