Dynamic Forcing Chain
Une Dynamic Forcing Chain part d'une hypothèse explicite et applique chaque conséquence forcée à un état de candidats temporaire. De nouveaux singles ou d'autres déductions créés dans cet état peuvent prolonger la chaîne. Chaque résultat intermédiaire reste conditionnel à l'hypothèse de départ jusqu'à ce que la preuve atteigne et décharge une contradiction ou une conclusion exhaustive.
Qu'est-ce qu'une Dynamic Forcing Chain ?
Dynamique signifie que les inférences ultérieures peuvent s'appuyer sur des candidats retirés plus tôt sous la même hypothèse. Retirer un candidat d'une cellule bivale laisse un single ; retirer son dernier candidat crée une contradiction. L'état temporaire ne doit pas être confondu avec la grille d'origine.
Exemple détaillé
Un exemple détaillé d’une Chaîne de forçage dynamique : les conséquences forcées sont appliquées à un état temporaire des candidats, permettant à de nouveaux singles de prolonger la branche jusqu’à sa résolution.
Étape 1
Considérez ces cases.
Étape 2
Supposons A1 doit contenir la valeur 7. La contradiction rejette cette supposition ; les chaînes ci-dessous montrent pourquoi. Cette dynamique Chaîne de forçage utilise mutation dynamique de la grille (les candidats sont retirés pendant l'exploration de la chaîne) pour prouver que A1 ne peut pas contenir la valeur 7. Chaîne 1 (hypothèse ON) : 1. Si A1 contient la valeur 7, alors A9 ne peut pas contenir la valeur 7 (la valeur ne peut apparaître qu'une seule fois dans la colonne) 2. Si A9 ne contient pas la valeur 7, alors A9 doit contenir la valeur 5 (seule valeur possible restante dans la case) 3. Si A9 contient la valeur 5, alors A7 ne peut pas contenir la valeur 5 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 4. Si A7 ne contient pas la valeur 5, alors A7 doit contenir la valeur 9 (seule valeur possible restante dans la case). Chaîne 2 (hypothèse OFF) : 1. Si A1 contient la valeur 7, alors C3 ne peut pas contenir la valeur 7 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 2. Si C3 ne contient pas la valeur 7, alors C4 doit contenir la valeur 7 (seule position possible restante dans la colonne) 3. Si C4 contient la valeur 7, alors C4 ne peut pas contenir la valeur 9 (la case ne peut contenir qu'une seule valeur) 4. Si C4 ne contient pas la valeur 9, alors A4 doit contenir la valeur 9 (seule position possible restante dans le bloc) 5. Si A4 contient la valeur 9, alors A7 ne peut pas contenir la valeur 9 (la valeur ne peut apparaître qu'une seule fois dans la colonne).
Étape 3
Donc A1 7 peut être supprimé : la chaîne de force dynamique prouve que A1 ne peut pas contenir la valeur 7.
Cet exemple montre un cas valide de la déduction définie. Vérifiez l’ensemble source ou l’hypothèse retenue, le fait que chaque branche a été testée et que la conclusion appliquée est partagée par toutes les branches avant d’utiliser la même déduction sur une autre grille. Vous pouvez jouer au Sudoku en ligne pour vous entraîner avec l’état actuel des candidats visible.
Comment la repérer
Notez l'hypothèse de départ, puis annotez chaque conséquence avec l'état supposé actuel. N'utilisez une déduction que lorsque ses prémisses sont déjà forcées dans cet état. Arrêtez quand l'hypothèse crée une contradiction ou quand toutes les alternatives exhaustives établissent la même conclusion cible.
La logique
Une Dynamic Forcing Chain garde un état temporaire pour son hypothèse de départ. Retirer un candidat d'une cellule bivale laisse son autre candidat comme single nu ; retirer le dernier candidat d'une cellule est en revanche une contradiction. Chaque nouveau single, candidat verrouillé, sous-ensemble, poisson ou aile utilisé ensuite doit être valide dans ce même état temporaire. Si l'état atteint une contradiction, l'hypothèse de départ est fausse. Sinon, une conclusion ne peut être transférée à la grille d'origine qu'après que l'hypothèse a été déchargée ou que chaque branche exhaustive l'a établie.