Forçage de repli
Forçage exhaustif : chaque alternative d'une case ou maison source est testée et seules les conclusions partagées par toutes les branches sont conservées.
Forcing Chain
Une chaîne d'implication mixte X/Y ouverte qui prouve un placement ou une élimination.
Continuer la lecture
Nishio
Une hypothèse à valeur unique est réfutée par une contradiction.
Continuer la lecture
Réseau de forçage de cellule
Chaque candidat dans une case source conduit à la même conclusion.
Continuer la lecture
Réseau de forçage de région
Chaque position possible d'un chiffre dans une maison conduit à la même conclusion.
Continuer la lecture
Dynamic Forcing Chain
Les conséquences des candidats découvertes durant la chaîne créent de nouvelles implications.
Continuer la lecture
Dynamic Forcing Chain Plus
Une chaîne dynamique qui peut utiliser un niveau supplémentaire de sous-règles.
Continuer la lecture
Nested Forcing Chain
Les déductions de chaîne de forçage sont imbriquées dans une autre chaîne de forçage.
Continuer la lectureQuand le branchement est l'outil honnête
Ces méthodes utilisent délibérément l'analyse de cas. Un forcing net part d'une contrainte exactement-une — chaque candidat d'une case, ou chaque position d'un chiffre dans une maison — et ne conserve que les conclusions partagées par toutes les branches. Nishio teste un seul candidat et le retire quand la branche contredit les règles pour ce chiffre.
Les Chaînes de forçage dynamiques laissent les implications découvertes en cours de branche étendre l'analyse, et la forme imbriquée permet à une chaîne d'en invoquer une autre à l'intérieur. Ce sont les entrées les plus puissantes de cette référence et aussi les plus proches de l'essai-erreur : chaque page énonce explicitement l'ensemble source et la conclusion partagée pour que la déduction reste vérifiable.