Forcing Chains

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. 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. 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. 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. 4
   Branche B

   Placez B et lancez la même chaîne forward.
5. 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.