Une Chaîne de Forçage de Région (Region Forcing Chain) est une technique logique de haut niveau utilisée lorsque des stratégies plus simples ont atteint leurs limites. Elle repose sur une règle très stricte du Sudoku : un candidat doit être placé exactement une seule fois dans une région donnée (ligne, colonne ou bloc de 3x3).
En parcourant les conséquences (les chaînes logiques) de chaque position possible d'un candidat dans une région, il est possible de découvrir que toutes les positions de départ possibles mènent exactement à la même conclusion concernant une autre case. Si tous les scénarios possibles parviennent à cette même conclusion, elle doit impérativement être vraie !
Exemple interactif
Cliquez sur "Appliquer la logique" pour voir la stratégie en action.
Explication avec un Exemple Concret
Dans l'exemple ci-dessus, notre solveur a appliqué une Chaîne de Forçage de Région afin d'éliminer le candidat 7 en R2C8.
Examinons la condition de départ :
Le chiffre 2 dans la Ligne 1 est restreint à exactement trois cases : R1C1, R1C4 et R1C7.
Puisque chaque ligne doit comporter exactement un 2, nous savons que l'une de ces cases doit obligatoirement être un 2. Nous ignorons seulement laquelle pour l'instant ! Explorons les différentes chaînes à partir de chaque possibilité :
- Et si R1C1 = 2 ?
- Cela implique que
R2C3ne peut pas être un 2 (puisqu'elles partagent le Bloc 1). - Si
R2C3n'est pas un 2, ce doit être un 7 (il s'agit d'une case bivaluée avec les candidats {2, 7}). - Si
R2C3 = 7, alorsR2C8ne peut pas être un 7 (puisqu'elles partagent la Ligne 2).
- Cela implique que
- Et si R1C4 = 2 ?
- (Le solveur a identifié une chaîne comparable qui démontre que R2C8 ne peut pas être un 7 à partir de ce point de départ).
- Et si R1C7 = 2 ?
- (Le solveur a identifié une autre chaîne encore qui démontre que R2C8 ne peut pas être un 7 à partir d'ici).
Étant donné que les trois positions possibles pour le 2 dans la Ligne 1 amènent à la conclusion inéluctable que R2C8 ne peut pas être un 7, nous pouvons éliminer le 7 de la case R2C8 en toute confiance. Nous n'avons pas besoin de deviner où va réellement le 2 dans la Ligne 1 pour savoir que R2C8 n'est absolument pas un 7 !
Comment ça Fonctionne
- Identifier une Région et un Candidat : Trouvez une ligne, une colonne ou un bloc où un candidat spécifique (par ex., le
2) est restreint à un nombre limité de cases (habituellement deux ou trois). - Parcourir Chaque Scénario : Pour chacune des cases potentielles, faites comme si vous placiez le candidat là. Qu'est-ce que cela impliquerait pour le reste de la grille ? Suivez les chaînes logiques (à l'aide de liens forts et faibles).
- Identifier la Conclusion Partagée : Si la totalité de ces chaînes aboutissent finalement au même résultat lors de l'étude d'une case cible spécifique, vous avez découvert une Chaîne de Forçage de Région !
Catégories de Résultats
- Élimination (RFE) : Toutes les déductions des chaînes prouvent qu'une case cible ne peut pas abriter un candidat en question. Vous pouvez rayer ce candidat sans risque.
- Placement (RFP) : Toutes les déductions des chaînes prouvent qu'une case cible doit comporter un candidat spécifique. Vous pouvez marquer ce candidat immédiatement.
Quand Faut-il Utiliser des Chaînes de Forçage ?
Les chaînes de forçage demeurent extrêmement efficaces, mais elles sont néanmoins lourdes en matière de calcul et particulièrement laborieuses mentalement. Elles requièrent un enchaînement considérable d'hypothèses et d'essais répétés. Pour cette raison, les joueurs habitués les considèrent souvent comme des techniques de dernier recours, mises en œuvre uniquement lorsque les stratégies de repérage de schémas plus complexes (telles que la Chaîne d'Inférence Alternée ou la Méduse 3D) n'aboutissent plus.
Stratégies Apparentées
- Chaîne d'Inférence Alternée - AIC : Une seule chaîne qui permet une élimination par liens alternés sans qu'il faille mettre à l'épreuve divers point de départs originels.
- Chaîne de Forçage de Case (Cell Forcing Chain) : Pareil qu'une Chaîne de Forçage de Région, mais où, plutôt d'appréhender différentes localisations d'un unique candidat dans une région, on teste différents candidats à attribuer à une seule case précise.
- Méduse 3D : Une stratégie avancée liée aux colorations, dénichant dans certains cas les mêmes éliminations en s'affranchissant du besoin de faire usage d'essais via multiples scénarios.