Forçage du réseau

Niveau 12 · Ceinture noire

Stratégie:

Forçage

Exige:

Chaînes de contraintes

Aperçu

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.

Comment ça marche

  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.

Exemple

Recherchez Forçage du réseau.

1

Forçage du réseau

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

Forçage du réseau

Assume r1c1 = 6 and follow all implications through the net.

3

Forçage du réseau

This assumption leads to a CONTRADICTION (impossible state).

4

Forçage du réseau

So 6 causes a contradiction and can be eliminated from r1c1.

5

Résultat après application de la technique.

Conseils et modèles

  • 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.