Forcing Net

Niveau 12 · Ceinture noire

Stratégie:

Forçage

Aperçu

Forcing Net étend Chaînes de contraintes en suivant simultanément toutes les implications de chaque candidat, et pas seulement des chaînes uniques. Cela crée un réseau d'implications ramifié capable de trouver des contradictions plus profondes et des résultats communs.

Comment ça marche

  1. Trouvez une case avec plusieurs candidats.
  2. Supposez chaque candidat à tour de rôle et suivez TOUTES les implications qui en découlent (pas seulement une chaîne).
  3. Si une supposition mène à une contradiction (état impossible), éliminez ce candidat.
  4. Si toutes les suppositions imposent la même conclusion, cette conclusion est valide.

Exemple

Position de départ

Cherchez Forcing Net.

1

Branche sur chaque candidat de r1c1

case r1c1 a 3 candidats : {1, 3, 9}.

2

Supposons que r1c1 est 1

Supposez que r1c1 = 1 et suivez toutes les implications à travers le réseau.

3

Cette branche mène à une contradiction

Cette hypothèse mène à une contradiction, donc cette branche est impossible.

4

Éliminer 1 de r1c1

Ainsi 1 provoque une contradiction et peut être éliminé de r1c1.

5

Résultat

Résultat après application de la technique.

Astuces et motifs

  • Les Forcing Nets sont plus puissants que Chaînes de contraintes car ils suivent toutes les implications, pas seulement un chemin.
  • Ils sont coûteux en calcul et constituent généralement un dernier recours avant la force brute.
  • Leur nature ramifiée les rend difficiles à suivre à la main.