Dynamic Forcing Chain Plus
Une Dynamic Forcing Chain Plus applique des déductions ordinaires à l'intérieur de l'état temporaire créé par une hypothèse de départ. Ces déductions peuvent prolonger la branche, mais chaque résultat reste conditionnel à l'hypothèse de départ jusqu'à ce qu'une contradiction ou une conclusion exhaustive la décharge.
Qu'est-ce qu'une Dynamic Forcing Chain Plus ?
Le label « Plus » décrit les déductions intermédiaires autorisées, pas des règles de vérité différentes. Chaque sous-ensemble, intersection, poisson ou aile doit satisfaire ses prémisses normales dans l'état supposé actuel et doit préserver l'hypothèse extérieure dans la preuve écrite.
Comment la reperer
Notez la grille d'origine et l'état de branche séparément. Quand la propagation directe s'arrête, vérifiez l'état temporaire pour une déduction intermédiaire correcte, appliquez-la uniquement dans cet état et continuez. Ne transférez pas une élimination intermédiaire à la grille d'origine prématurément.
La logique
Si l'état supposé complet finit par contredire une contrainte du Sudoku, rejetez l'hypothèse de départ. Si chaque alternative de départ exhaustive atteint la même conclusion cible, acceptez cette conclusion. Les déductions intermédiaires fournissent des implications ; elles ne déchargent pas elles-mêmes l'hypothèse.