Chaînes de contraintes

Niveau 12 · Ceinture noire

Stratégie:

Forçage

Exige:

Cycles X

Apprendre après:

Forçage du réseau

Aperçu

Chaînes de contraintes explorez ce qui se passe lorsque Case est supposé être chacun de ses candidats. Si toutes les hypothèses conduisent à la même conclusion, cette conclusion doit être vraie.

Comment ça marche

  1. Trouvez une Case avec 2-3 candidats.
  2. Supposons chaque candidat à tour de rôle et suivez la chaîne logique.
  3. Si toutes les chaînes aboutissent à la même élimination, cette élimination est valide.
  4. Si toutes les chaînes placent le même chiffre dans une autre Case, ce placement est valide.

Exemple

Recherchez Chaînes de contraintes.

1

Chaînes de contraintes

Find a bivalue cell r2c4 with candidates { 5, 8 }.

2

Chaînes de contraintes

If r2c4 = 5, follow implications to see what gets eliminated.

3

Chaînes de contraintes

If r2c4 = 8, follow implications to see what gets eliminated.

4

Chaînes de contraintes

BOTH assumptions eliminate the same candidates. Eliminate from r4c5.

5

Résultat après application de la technique.

Conseils et modèles

  • Chaînes de contraintes sont puissants mais longs à exécuter.
  • Commencez par les cellules avec peu de candidats.
  • Elles consistent essentiellement en une logique "si-alors" suivant les implications.
  • Pensez à utiliser un crayon et du papier pour suivre les chaînes.