Qu'est-ce qu'une chaîne de force (forcing chain) au sudoku ?

Une chaîne de force est une séquence de candidats liés où le fait de supposer une valeur de départ force une cascade de conséquences de case en case. Si deux hypothèses de départ différentes ou plus forcent toutes le même candidat dans (ou hors de) une case particulière, ce résultat doit être vrai quelle que soit l'hypothèse correcte. Cela vous permet de faire une déduction sans connaître la vraie valeur de départ.

Comment utiliser les chaînes de force pour résoudre une grille ?

Choisissez une case ou un candidat et suivez où mène chaque possibilité en parcourant les liens forts et faibles à travers la grille. Lorsque toutes les branches que vous explorez convergent vers la même conclusion pour une case, vous pouvez placer ou éliminer ce candidat. En pratique, on part souvent d'une case bivaleur et on teste ses deux candidats, en conservant l'élimination sur laquelle les deux chemins s'accordent.

Quelle est la différence entre les chaînes de force et une X-Chain ou XY-Chain ?

Les X-Chains et XY-Chains sont des types de chaînes spécifiques et structurés, restreints à un seul chiffre ou à des cases bivaleurs avec un motif de liens répétitif. Les chaînes de force sont plus générales : elles autorisent des embranchements à partir de plusieurs états de départ et peuvent mélanger librement chiffres et types de cases. Comme elles sont plus larges, les chaînes de force peuvent résoudre des positions que les motifs de chaînes plus étroits ne peuvent pas.

Les chaînes de force sont-elles considérées comme des suppositions ?

Non, les chaînes de force relèvent de la pure logique, pas de la supposition. Vous supposez temporairement une valeur uniquement pour tracer ses conséquences logiques, et la conclusion n'est acceptée que lorsque toutes les hypothèses possibles mènent au même résultat. Rien n'est placé au feeling, la déduction est donc garantie correcte.

Forcing Chains. Technique de sudoku expliquée

Les Forcing Chains se situent à la frontière entre technique humaine et logique de tentative. Elles suivent ce qui se passerait sous chacun des deux candidats d'une case bivalue, et si les deux branches forcent la même conclusion ailleurs, cette conclusion est vraie quelle que soit la valeur choisie au départ.

Comment ça fonctionne

Trouvez une case bivalue avec les candidats {A, B}. Supposez que la case prend A et suivez les déductions : Hidden Singles, Naked Singles, Pointing Pairs et tout ce qui ne nécessite pas de nouvelle hypothèse. Notez les placements forcés.

Réinitialisez, puis supposez que la case prend B et lancez la même chaîne forward. Notez à nouveau les placements forcés.

Comparez maintenant les deux branches. Si les deux branches forcent le même chiffre dans une autre case, ce chiffre est correct quelle que soit la valeur de la case de départ. Placez-le. Si une branche produit une contradiction (deux fois le même chiffre dans une unité, ou une case sans candidats), l'autre candidat était le bon — éliminez le premier.

Quand le chercher

Après que le coloring, l' XY-Wing et le X-Wing ont tous échoué. Les grilles diaboliques nécessitent régulièrement des Forcing Chains. Choisissez une case bivalue aux conséquences riches pour les deux candidats ; les cases où chaque choix déclenche une séquence de coups forcés sont productives.

Exemple pas à pas

1
Choisissez un point de départ bivalue
Une case avec deux candidats A et B. Moins il y a de cases vides autour, plus vite la chaîne converge.
2
Branche A
Placez A provisoirement. Appliquez chaque coup forcé que vous pouvez : singles, Pointing Pairs, tout ce qui est mécanique. Arrêtez quand il n'y a plus de coups forcés.
3
Réinitialisez
Défaites chaque placement de la branche A. Étape critique. Des marques d'essai périmées corrompent le reste de la résolution.
4
Branche B
Placez B et lancez la même chaîne forward.
5
Comparez
Même conclusion dans les deux branches ? Placez-la. Contradiction dans l'une ? L'autre branche est vraie.

Conseils pour le repérer

Commencez par des cases bivariées dont les deux candidats déclenchent chacun de longues séquences de coups forcés.
Utilisez deux couleurs de crayon pour que les placements d'essai soient distinguables des vrais.
Suivez la chaîne sur papier si votre mémoire ne peut pas la retenir. Vingt placements, c'est trop à mémoriser.
Cherchez simultanément la convergence et la contradiction. Les deux fournissent des informations utiles.

Erreurs courantes

Oublier de défaire les placements d'essai quand la branche échoue. Les marques périmées corrompent tout ce qui suit.
Tirer des conclusions d'une seule branche. Les deux doivent converger ou l'une doit se briser.
Des chaînes courtes sans convergence. Inutiles. Choisissez une case de départ avec une chaîne plus longue la prochaine fois.
Recourir aux Forcing Chains avant d'épuiser le coloring. Le coloring est moins coûteux quand il s'applique.

Entraînez-vous

Les Forcing Chains brillent sur le sudoku diabolique. Choisissez une case bivalue et suivez chaque branche attentivement. Après quelques résolutions, vous verrez quels départs produisent des chaînes convergentes et lesquels s'éteignent. La compétence se transfère directement au Nishio, qui utilise la même logique de tentative sur un seul candidat.

Forcing Chains