Une Forcing Chain compare les conséquences logiques d'un ensemble d'alternatives exhaustives.
Au lieu de suivre une seule relation d'extrémités comme dans un AIC, vous demandez :
Si chacune des alternatives de départ était vraie, quelle conclusion apparaît dans toutes les branches ?
Si toutes les branches forcent le candidat Z à être faux, Z peut être éliminé. Si toutes le forcent vrai, Z peut être placé.
La déduction est logique parce que les alternatives de départ couvrent tous les cas valides possibles.
Les Forcing Chains ne sont pas du trial and error aléatoire
Le mot « si » peut donner l'impression qu'une Forcing Chain repose sur la devinette.
La différence est qu'une preuve de forçage valide :
- choisit un ensemble exhaustif d'alternatives ;
- suit uniquement des implications Sudoku valides ;
- compare toutes les branches ;
- conserve uniquement une conclusion commune à toutes les branches.
Vous ne choisissez jamais la branche qui vous arrange.
Si la branche A et la branche B aboutissent à des états non résolus différents sans conclusion commune, il n'existe pas encore de coup forcé.
Digit Forcing Chain
Une Digit Forcing Chain commence souvent avec un candidat qui peut être vrai ou faux, ou avec les alternatives d'un chiffre dans une structure restreinte.
Exemple conceptuel :
- si
r2c4=7, alors le candidat cible 5 est éliminé ; - si
r2c4<>7, un Strong Link force un autre 7, et cette chaîne élimine elle aussi le candidat cible 5.
Comme le candidat initial est nécessairement vrai ou faux, le candidat 5 est éliminé dans tous les cas.
Cell Forcing Chain
Une Cell Forcing Chain commence avec tous les candidats d'une même case non résolue.
Si une case contient {2,5,8}, l'un de ces trois chiffres doit être vrai.
Suivez chaque branche :
- supposez 2 ;
- supposez 5 ;
- supposez 8.
Si les trois branches forcent le même candidat ailleurs à être faux ou vrai, cette conclusion est valide.
L'ensemble des candidats de la case est exhaustif : aucune quatrième possibilité n'existe.
Unit Forcing Chain
Une Unit Forcing Chain commence avec tous les emplacements possibles d'un chiffre dans une unité.
Si la ligne 7 n'autorise le candidat 4 qu'en c2, c5 et c9, alors l'un de ces trois 4 doit être vrai.
Suivez chacune de ces positions possibles. Si toutes les branches atteignent la même conclusion, cette conclusion est forcée.
C'est l'équivalent positionnel de la Cell Forcing Chain.
Exemple de Forcing Chain
Vérité forcée : chaque branche atteint le même résultat
Une verity de forcing est un résultat confirmé dans toutes les alternatives.
Par exemple :
- branche A →
r5c5=9; - branche B →
r5c5=9; - branche C →
r5c5=9.
Donc r5c5=9.
Le résultat commun peut aussi être une élimination.
Forçage fondé sur la contradiction
Une autre forme valide montre qu'une alternative initiale aboutit à un état impossible :
- une case sans candidats ;
- deux chiffres vrais dans une même case ;
- aucun emplacement pour un chiffre requis dans une unité ;
- un chiffre fixé deux fois dans une unité.
Si les alternatives de départ sont binaires, réfuter l'une confirme l'autre.
Cette logique recoupe Nishio et la résolution par contradiction, mais la preuve doit rester complète et explicite.
Forcing Chains vs AIC
Un AIC est linéaire : chaque lien dépend de l'inférence immédiatement précédente, avec alternance des Strong et Weak Links.
Une Forcing Chain peut comparer plusieurs chaînes linéaires qui partent de différentes alternatives exhaustives.
Les branches individuelles peuvent elles-mêmes ressembler à des séquences AIC.
Ce qui définit la technique est la comparaison des branches, pas simplement la présence de chaînes.
Forcing Chains vs Forcing Nets
Un Forcing Net autorise les conséquences à l'intérieur d'une branche à se ramifier, interagir et se rejoindre d'une manière impossible à représenter par une simple chaîne linéaire.
C'est plus général — et beaucoup plus difficile à auditer manuellement.
Les Forcing Nets restent volontairement hors de ce Freeze. La bibliothèque V2 s'arrête aux Forcing Chains linéaires pour conserver une frontière pédagogique claire.
Forcing Chains vs devinette
La devinette dit :
Je vais essayer 7 et continuer tant que ça ne casse pas.
Une preuve de forcing dit :
Je vais rendre compte de chaque valeur ou état possible ici, et je n'effectuerai un coup que si toutes les alternatives prouvent la même conclusion ou si toutes sauf une contredisent le Sudoku.
La seconde méthode est une analyse déductive par cas.
Comment chercher des Forcing Chains de manière responsable
Ne ramifiez pas arbitrairement sur neuf possibilités.
Privilégiez des départs contraints :
- cases bivalue ;
- cases trivalue avec de fortes conséquences en aval ;
- chiffres ayant deux ou trois positions dans une unité ;
- états candidats reliés à de nombreux Strong Links.
Et arrêtez-vous dès qu'une technique plus simple devient disponible.
Les méthodes de forcing sont coûteuses pour un humain et ne doivent pas remplacer le scanning ou les Chains ordinaires lorsqu'ils suffisent.
Erreurs fréquentes
Ne pas couvrir toutes les alternatives de départ
La conclusion commune n'est alors pas garantie.
Utiliser une implication invalide dans une branche
Un seul mauvais lien invalide toute la preuve de cette branche.
Comparer uniquement les branches qui soutiennent la cible souhaitée
Toutes les alternatives comptent.
Appeler Forcing Chain une longue devinette
La conclusion doit être dérivée systématiquement à partir de cas logiques exhaustifs.
Confondre net et chain
Des conséquences internes qui se ramifient peuvent dépasser le modèle linéaire des Forcing Chains.
FAQ
Les Forcing Chains sont-elles des techniques logiques de Sudoku ?
Oui, lorsque les cas de départ sont exhaustifs et que chaque implication est valide. Il s'agit d'une analyse formelle par cas, pas d'une devinette arbitraire.
Quels sont les principaux types de Forcing Chain ?
Les classifications courantes incluent Digit, Cell et Unit Forcing Chains.
Les Forcing Chains sont-elles la même chose que les AIC ?
Non. AIC est une structure linéaire d'inférences alternées ; les techniques de forcing comparent les conséquences de plusieurs alternatives exhaustives.
Qu'est-ce qu'un Forcing Net ?
Une structure de conséquences ramifiée plus générale. Elle est volontairement réservée à l'expansion experte post-Freeze.
Faut-il utiliser souvent les Forcing Chains ?
En général seulement sur des puzzles très difficiles, après épuisement des motifs directs et Chains plus simples.
Que faut-il apprendre ensuite ?
Pour ce Freeze V2, les Forcing Chains marquent la fin de l'échelle formelle des techniques. Une extension experte ultérieure pourra ajouter Forcing Nets, variantes Nishio, ALS Chains et d'autres méthodes lorsque les données justifieront une couverture plus profonde.