Chaînes de forçage de chiffre

Digit Forcing ChainsExpert

On lance des chaînes d’inférence depuis chaque position possible d’un chiffre ; si toutes aboutissent à la même conclusion, elle est certaine.

Comment ça marche

Pour un chiffre confiné à quelques cases d’une unité, on lance une chaîne d’inférence depuis chaque position possible. Si chaque chaîne mène à la même conclusion (un placement ou une élimination), cette conclusion est certaine, quel que soit l’emplacement réel du chiffre.

Repose sur le principe « tous les chemins mènent au même résultat ».

Exemple

3456
256
8
35
14
9
1257
24
67
1
259
3459
35
67
259
248
89
456
7
4569
2
14
8
159
3
69
25
59
1873
29
64
347
8
34
692
37
15
2367
69
369
154
2379
28
789
56
3
56
781492
842935671
917426853
Cases clés de la techniqueCases où l'élimination est appliquéeCandidat à placerCandidat éliminé (barré)

S’entraîner avec une vraie grille

Cette grille 9×9 est vérifiée par le solveur et nécessite cette technique dans son chemin de résolution.

Expert25 cases données