Les réseaux de forçage sont la dernière technique qui reste de la logique pure. Vous prenez tour à tour chaque candidat d'une case, vous suivez ses conséquences aussi loin que possible et vous cherchez ce sur quoi toutes les branches s'accordent. Tout ce sur quoi elles s'accordent est vrai, puisque l'un de ces candidats est la vraie valeur. Il n'y a aucune devinette : vous examinez simplement tous les cas au lieu d'un seul.
Une chaîne suit une seule ligne d'implications. Un réseau suit une telle ligne pour chaque option de la case ou de l'unité de départ, et dans le cas général une ligne peut se diviser à nouveau : une conclusion peut exiger deux déductions antérieures à la fois, comme « cette case est 4 et celle-là est 9, donc le carré n'a plus qu'une place pour le 7 ». Examiner toutes les options rend les réseaux plus puissants que les chaînes, et plus lents à vérifier.
Il y a deux façons de commencer et deux façons de conclure :
| Point de départ | Vous suivez | Cela prouve |
|---|---|---|
Une case à k candidats | une branche par candidat | tout ce que toutes les branches partagent |
Un chiffre avec k places dans une unité | une branche par place | tout ce que toutes les branches partagent |
Si chaque branche produit le même placement, ce placement est vrai. Si chaque branche retire le même candidat, ce candidat est mort. Et si une seule branche aboutit à une contradiction (un chiffre en double dans une unité, ou une case sans plus aucun candidat), ce candidat-là est faux à lui seul, sans avoir besoin des autres.
Seulement quand tout ce qui est moins coûteux a échoué : singletons, ensembles verrouillés, poissons, wings, chaînes et ensembles presque verrouillés. Les réseaux sont longs à tracer et faciles à rater : ils constituent une dernière étape logique délibérée, pas une habitude. Choisissez une case de départ à deux candidats et de nombreuses voisines bivaluées ; les branches restent courtes et l'ensemble reste vérifiable.
H1 contient et la cible est le 7 en C1. Chaque valeur de H1 est suivie tour à tour :
Les trois branches aboutissent à C1 différent de 7 : C1 perd son 7. Vous ne saurez jamais ce que vaut H1 : les branches ont fait leur travail puis ont été jetées.
Le carré 7 a besoin d'un 7, qui ne peut aller qu'en G2, H2 ou J3. La cible est le 7 en A2 :
Où que le carré 7 place son 7, A2 n'a pas de 7 : A2 le perd.
Dans les deux grilles, chaque branche atteint le même résultat, et c'est tout l'argument. Les vrais réseaux peuvent aussi se ramifier davantage à l'intérieur d'une branche, et une conclusion peut alors exiger deux déductions antérieures à la fois.
Les réseaux de forçage sont ce que nos grilles les plus difficiles sont conçues pour exiger. Attendez-vous à les croiser dans les grilles Légendaires, et seulement après avoir essayé des techniques de chaînes comme la 3D Medusa. Tout ce qu'un réseau résout, une technique plus courte pourrait en principe le résoudre aussi. Le réseau est ce que vous utilisez quand vous ne trouvez pas cette technique plus courte.