BUG Type 4
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. BUG Type 4 combine un groupe de gardiens BUG vérifié avec un second chiffre restreint aux mêmes cellules d'exception dans une maison partagée. La conclusion est une restriction de candidats, sauf si l'état affiché prouve séparément des placements individuels.
Qu'est-ce que le BUG Type 4 ?
Vérifiez l'état BUG complet produit par le retrait hypothétique du chiffre gardien. Vérifiez ensuite qu'un autre chiffre est bilocal dans la maison partagée des cellules d'exception. Ces deux conditions au-moins-une restreignent ce que les cellules peuvent contenir ; le nombre de cellules d'exception est une condition d'exemple, pas un raccourci pour la preuve.
Le type 4 combine les alternatives de gardien BUG garanties avec un autre chiffre verrouillé dans les cellules d'exception pertinentes dans une maison partagée. Ces deux restrictions peuvent retirer d'autres candidats, mais elles ne déterminent pas à elles seules quelle cellule d'exception reçoit lequel des deux chiffres.
Exemple détaillé
Un exemple détaillé d’un BUG Type 4 : un groupe gardien associé à un second chiffre verrouillé dans les mêmes cases d’exception restreint ce que ces cases peuvent contenir.
Étape 1
Supposons que cette grille a exactement une solution et que ses candidats actuels reflètent des déductions correctes. Considérez ces cases non résolues.
Étape 2
Les cases E7 et H7 contiennent les candidats BUG supplémentaires 2. Elles sont aussi les deux seules positions de 4 dans ligne 7. Ces candidats importants sont marqués sur la grille.
Étape 3
Supposons que les candidats BUG 2 soient retirés de E7 et H7, comme marqué sur la grille. Chaque case non résolue serait alors bivalente, et chaque candidat restant apparaîtrait exactement deux fois dans chaque ligne, colonne et bloc où il apparaît. C'est la structure BUG exclue par l'hypothèse d'unicité posée.
Étape 4
Pour éviter le BUG, l'une de E7 et H7 doit fournir l'une des valeurs d'échappement 2. La valeur 4 doit aussi occuper l'une de ces deux cases car elle n'a pas d'autre position dans ligne 7. Quelle case joue quel rôle n'est pas déterminé, mais dans tous les cas aucune des deux cases ne peut contenir les candidats marqués, donc ils peuvent être supprimés.
Cet exemple montre un cas valide de la construction définie. Vérifiez la structure mortelle complète, chaque maison touchée et la condition de sauvetage ou de gardien sur chaque cible avant d’appliquer la même déduction à une autre grille. Vous pouvez jouez au Sudoku en ligne pour vous entraîner avec l’état actuel des candidats visible.
Comment le repérer
Identifiez chaque occurrence de gardien et vérifiez les comptages BUG hypothétiques. Dans une maison partagée par les cellules d'exception pertinentes, trouvez un autre chiffre sans positions en dehors d'elles. N'appliquez que les éliminations soutenues par les deux restrictions.
La logique
Au moins une cellule d'exception doit utiliser le chiffre gardien pour éviter le BUG, et au moins une doit utiliser le chiffre verrouillé parce que ce chiffre n'a pas d'autre position dans la maison. Cela peut exclure d'autres candidats selon ce que les ensembles de cellules exacts permettent, mais cela ne détermine pas automatiquement quelle cellule reçoit quel chiffre.