Réseau de forçage de région
Un Réseau de forçage de région — aussi appelé Réseau de forçage maison-chiffre et traditionnellement listé comme Region Forcing Chain — part de chaque position restante d'un chiffre dans une maison 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 région ?
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 région : chaque position restante d’un chiffre dans une maison est testée 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 D1 contient la valeur 2, alors F2 doit contenir la valeur 3 2. Si D4 contient la valeur 2, alors F2 doit contenir la valeur 3 3. Si D6 contient la valeur 2, alors F2 doit contenir la valeur 3 Puisque la valeur 2 ne peut pas être placée ailleurs dans le colonne, et que les résultats sont les mêmes, nous pouvons conclure que F2 doit contenir la valeur 3. 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 D1 contient la valeur 2, alors D1 ne peut pas contenir la valeur 3 (la case ne peut contenir qu'une seule valeur) 2. Si D1 ne contient pas la valeur 3, alors F2 doit contenir la valeur 3 (seule position possible restante dans le bloc) Chaîne 2 : 1. Si D4 contient la valeur 2, alors D4 ne peut pas contenir la valeur 4 (la case ne peut contenir qu'une seule valeur) 2. Si D4 ne contient pas la valeur 4, alors D1 doit contenir la valeur 4 (seule position possible restante dans la colonne) 3. Si D1 contient la valeur 4, alors D1 ne peut pas contenir la valeur 3 (la case ne peut contenir qu'une seule valeur) 4. Si D1 ne contient pas la valeur 3, alors F2 doit contenir la valeur 3 (seule position possible restante dans le bloc) Chaîne 3 : 1. Si D6 contient la valeur 2, alors D6 ne peut pas contenir la valeur 9 (la case ne peut contenir qu'une seule valeur) 2. Si D6 ne contient pas la valeur 9, alors F6 doit contenir la valeur 9 (seule position possible restante dans le bloc) 3. Si F6 contient la valeur 9, alors F6 ne peut pas contenir la valeur 3 (la case ne peut contenir qu'une seule valeur) 4. Si F6 ne contient pas la valeur 3, alors F2 doit contenir la valeur 3 (seule position possible restante dans la colonne)
Étape 3
Donc valeurs 1 et 9 peut être supprimé de F2 : toutes les positions source possibles forcent F2 à contenir 3, 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.