Chaînes de forçage : comparer chaque branche
Une chaîne de forçage suit les conséquences du choix d’un candidat. Pour une chaîne de forçage par case, examinez tous les candidats d’une même case ; pour une chaîne de forçage par unité, examinez toutes les positions encore possibles pour un même chiffre dans une ligne, une colonne ou un bloc. Une même conclusion n’est sûre qu’après avoir vérifié tous les cas de départ. En revanche, une contradiction réfute l’hypothèse qui l’a provoquée.
Idée clé
Si chacune des deux valeurs possibles de la case de départ force le candidat Z dans une case qui partage une ligne, une colonne ou un bloc avec la cible, Z peut être éliminé de cette cible.
Suivez le coup, étape par étape
Reprenez l’exemple de la leçon XY-Wing pour suivre les deux possibilités : R1C3 vaut soit 5, soit 7. Les notes tiennent compte des éliminations précédentes.
Étape 1 sur 4
Choisir un point de départ à deux possibilités
R1C3 contient exactement deux candidats : l’analyse comporte donc deux cas qui couvrent toutes les possibilités.
Étape 2 sur 4
Suivre les deux implications
Si R1C3 vaut 5, R1C4 doit valoir 6. Si R1C3 vaut 7, R2C3 doit valoir 6.
Étape 3 sur 4
Trouver le résultat commun
R2C4 voit les deux cases où un 6 peut être forcé : elle ne peut donc contenir 6 dans aucun des deux cas.
Étape 4 sur 4
Ne conserver que la conclusion valable dans les deux cas
Éliminez 6 de R2C4. Ne validez aucun candidat choisi comme hypothèse tant qu’une des branches n’a pas été réfutée.
Essayez cette stratégie sur la grille du jour
Utilisez des chaînes courtes lorsque les techniques plus simples ne donnent plus de résultat. Une chaîne d'inférences alternées (AIC) alterne les liens forts (si un candidat est faux, l'autre doit être vrai) et faibles (si l'un est vrai, l'autre doit être faux). Dans cette grille, si R1C4 n'est pas 6, cette case vaut 5 ; R1C3 ne peut alors pas être 5 et vaut donc 7 ; R2C3 ne peut alors pas être 7 et vaut donc 6. Ainsi, R1C4 ou R2C3 contient forcément 6, ce qui exclut 6 de leur case commune visible, R2C4. C'est la même élimination exprimée sous forme d'AIC. Vérifiez chaque lien avec les candidats actuels, pas seulement avec la forme dessinée. La leçon précédente sur les Nice Loops montre des liens alternés dans une boucle fermée.
Jouer aujourd’hui