Réseau de forçage de cellule
Un Réseau de forçage de cellule — la technique traditionnellement listée comme Cell Forcing Chain — part de chaque candidat d'une cellule sélectionnée et ne suit que les conséquences forcées. Parce que les alternatives sources sont exhaustives, une conclusion atteinte par chaque branche est inconditionnelle.
Qu'est-ce qu'un Réseau de forçage de cellule ?
Un candidat vrai rend faux chaque candidat faiblement lié. Un candidat faux rend vrai l'autre côté d'une inférence forte. Faux d'un côté d'une inférence faible seul ne prouve rien. Un choix de branche non forcé ne peut pas être traité comme une conséquence. Chaque alternative source restante doit être testée ; une branche échouée ne tranche pas la source.
Exemple détaillé
Un exemple détaillé d’un Réseau de forçage de cellule : chaque candidat de la case source est testé comme une branche, et seule une conclusion partagée par toutes les branches est appliquée.
Étape 1
Considérez ces cases.
Étape 2
Avec cette technique de résolution, nous allons prouver les assertions suivantes : 1. Si F6 contient la valeur 1, alors E5 doit contenir la valeur 6 2. Si F6 contient la valeur 3, alors E5 doit contenir la valeur 6 3. Si F6 contient la valeur 9, alors E5 doit contenir la valeur 6 Puisque la case F6 ne peut pas contenir d'autres valeurs, et que les résultats sont les mêmes, nous pouvons conclure que E5 doit contenir la valeur 6. Chaque assertion est prouvée par une chaîne différente de règles simples. Les chaînes sont statiques, ce qui signifie que chaque règle de la chaîne peut être comprise sans avoir à se souvenir des résultats des règles précédentes. Chaîne 1 : 1. Si F6 contient la valeur 1, alors E5 ne peut pas contenir la valeur 1 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 2. Si E5 ne contient pas la valeur 1, alors E5 doit contenir la valeur 6 (seule valeur possible restante dans la case) Chaîne 2 : 1. Si F6 contient la valeur 3, alors D5 ne peut pas contenir la valeur 3 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 2. Si D5 ne contient pas la valeur 3, alors D5 doit contenir la valeur 1 (seule valeur possible restante dans la case) 3. Si D5 contient la valeur 1, alors E5 ne peut pas contenir la valeur 1 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 4. Si E5 ne contient pas la valeur 1, alors E5 doit contenir la valeur 6 (seule valeur possible restante dans la case) Chaîne 3 : 1. Si F6 contient la valeur 9, alors D6 ne peut pas contenir la valeur 9 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 2. Si D6 ne contient pas la valeur 9, alors D9 doit contenir la valeur 9 (seule position possible restante dans la colonne) 3. Si D9 contient la valeur 9, alors E9 ne peut pas contenir la valeur 9 (la valeur ne peut apparaître qu'une seule fois dans le bloc) 4. Si E9 ne contient pas la valeur 9, alors E9 doit contenir la valeur 1 (seule valeur possible restante dans la case) 5. Si E9 contient la valeur 1, alors E5 ne peut pas contenir la valeur 1 (la valeur ne peut apparaître qu'une seule fois dans la colonne) 6. Si E5 ne contient pas la valeur 1, alors E5 doit contenir la valeur 6 (seule valeur possible restante dans la case)
Étape 3
Donc valeur 1 peut être supprimé de E5 : toutes les positions source possibles forcent E5 à contenir 6, donc aucune autre valeur ne peut y aller.
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
Énoncez la proposition source ou l'ensemble source exhaustif, puis annotez chaque étape avec sa raison. Comparez toutes les branches et n'acceptez qu'une valeur de vérité cible partagée par chacune d'elles.
La logique
Au moins une alternative source est vraie. Si chaque alternative implique la même conclusion cible, la conclusion cible vaut quelle que soit la source vraie. Les branches optionnelles doivent rester des alternatives plutôt que d'être rapportées comme des liens forcés.