BUG Type 3
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. BUG Type 3 part d'une structure de candidats BUG vérifiée et combine ses alternatives de gardien avec d'autres cellules dans une maison partagée pour former une restriction de type sous-ensemble. Les alternatives de gardien agissent comme un emplacement virtuel ; ce ne sont pas des cellules de sous-ensemble ordinaires indépendantes.
Qu'est-ce que le BUG Type 3 ?
Identifiez d'abord le groupe de candidats gardiens dont le retrait complet créerait l'état BUG. Dans une maison partagée, combinez ce groupe garanti avec N−1 vraies cellules de sorte que l'union de candidats pertinente ait N chiffres. Comptez chaque cellule réelle une fois et gardez les cellules gardiennes distinctes des membres ordinaires du sous-ensemble.
Le type 3 combine les alternatives de gardien garanties avec une restriction de sous-ensemble dans une maison partagée. Les alternatives occupent ensemble un emplacement virtuel ; ce ne sont pas des cellules de sous-ensemble ordinaires indépendantes. Ajoutez le nombre requis de cellules compagnes séparées, comptez l'union de candidats exactement et n'éliminez que des autres cellules éligibles de cette maison.
Exemple détaillé
Un exemple détaillé d’un BUG Type 3 : les alternatives gardiennes agissent comme un emplacement virtuel complétant une restriction de sous-ensemble dans une maison partagée.
É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 F7 et H7 contiennent les candidats BUG supplémentaires 4 et 7, marqués sur la grille. Retirer tous ces candidats marqués laisserait la structure BUG mortelle.
Étape 3
Supposons que les candidats BUG 4 et 7 soient retirés de F7 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, au moins l'une de F7 et H7 doit contenir l'un de 4 et 7. Cet échappatoire garanti agit comme un emplacement virtuel pour les valeurs 4 et 7. Avec les cases compagnes réelles E7, il verrouille ces valeurs dans ligne 7. Les occurrences marquées hors de ces positions admissibles peuvent donc être supprimées.
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
Vérifiez les comptages BUG sous-jacents, identifiez les alternatives de gardien, puis comptez les cellules compagnes et l'union de chiffres dans leur maison partagée. N'appelez pas trois cellules ordinaires une Paire nue et n'éliminez pas d'une cellule gardienne avec la règle ordinaire hors-sous-ensemble.
La logique
L'unicité garantit qu'au moins une alternative de gardien est vraie, donc le groupe occupe un emplacement virtuel dans la restriction combinée. Les cellules compagnes occupent les emplacements restants. Les candidats dans l'union de chiffres résultante ne peuvent être retirés que des autres cellules éligibles de la maison partagée.