Chaînes de contraintes

Niveau 12 · Ceinture noire

Stratégie:

Forçage

Nécessite:

Cycles X

Aperçu

Chaînes de contraintes explore ce qui se passe lorsqu'on suppose qu'un case est chacun de ses candidats. Si toutes les suppositions mènent à la même conclusion, cette conclusion doit être vraie.

Comment ça marche

  1. Trouvez un case avec 2-3 candidats.
  2. Supposez chaque candidat tour à tour et suivez la chaîne logique.
  3. Si toutes les chaînes mènent à la même élimination, cette élimination est valide.
  4. Si toutes les chaînes placent le même chiffre dans un autre case, ce placement est valide.

Exemple

Position de départ

Cherchez Chaînes de contraintes.

1

Partez du bivalue case r1c3

Trouvez un case r1c3 à deux valeurs avec les candidats { 1, 5 }.

2

Première branche : r1c3 est 1

Si r1c3 = 1, suis les implications pour voir ce qui est éliminé.

3

Deuxième branche : r1c3 est 5

Si r1c3 = 5, suis les implications pour voir ce qui est éliminé.

4

Retire les éliminations communes de r2c4

Les deux hypothèses éliminent les mêmes candidats. Retire-les de r2c4.

5

Résultat

Résultat après application de la technique.

Astuces et motifs

  • Chaînes de contraintes sont puissantes mais chronophages.
  • Commencez par les cellules ayant peu de candidats.
  • Ce sont essentiellement des logiques "si-alors" suivant des implications.
  • Envisagez d'utiliser papier et crayon pour suivre les chaînes.