Forçage du réseau

Le réseau contraint étend les chaînes de contrainte en suivant toutes les implications à partir de chaque candidat simultanément, et non pas seulement des chaînes simples. Cela crée un réseau d'implications branché qui peut découvrir des contradictions plus profondes et des résultats communs.

Technique

1. Trouvez une Case avec plusieurs candidats.
2. Supposons chacun des candidats à tour de rôle et suivez toutes les conséquences résultantes (pas seulement une chaîne).
3. Si une hypothèse mène à une contradiction (état impossible), éliminez ce candidat.
4. Si toutes les hypothèses obligent à la même conclusion, cette conclusion est valable.

Tips

• Les réseaux contraints sont plus puissants que les Chaînes de contraintes car ils suivent toutes les implications, et non seulement un seul chemin.
• Ils sont coûteux en calcul et sont généralement une dernière option avant l'approche par force brute.
• Le caractère branché les rend difficiles à suivre à la main.