BUG Type 1
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. Dans BUG Type 1, une cellule trivale contient un unique candidat gardien dont le retrait hypothétique laisserait la structure BUG complète. Le gardien doit être vrai, donc les deux autres candidats de cette cellule peuvent être retirés.
Qu'est-ce que le BUG Type 1 ?
La prémisse est plus que « toutes les cellules bivale sauf une ». Après le retrait hypothétique du candidat gardien, chaque cellule non résolue doit être bivale et chaque chiffre restant doit apparaître exactement deux fois dans chaque ligne, colonne et bloc où il apparaît. C'est la structure BUG exclue par l'unicité.
Une seule cellule trivale est l'exception habituelle du type 1. Un de ses trois candidats est le gardien : le retirer hypothétiquement produit la structure BUG vérifiée. Le gardien doit rester et devient la valeur de la cellule ; les deux autres candidats, non gardiens, sont retirés.
Exemple détaillé
Un exemple détaillé d’un BUG Type 1 : une seule case d’exception trivalente dans un état par ailleurs entièrement bivalent ; son candidat gardien reste et les deux autres sont retirés.
É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
Chaque case en surbrillance a exactement deux candidats, sauf I9. Son candidat gardien 7, marqué sur la grille, est ce qui empêche le BUG.
Étape 3
Supposons que 7 soit retiré de I9, comme marqué sur la grille. Alors chaque case non résolue serait 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
Par conséquent I9 doit prendre sa valeur du candidat gardien 7 ; sinon le BUG subsisterait. Ses autres candidats, 5 et 9, peuvent être supprimés de I9.
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
Trouvez la cellule trivale unique, puis testez chaque gardien possible en le retirant hypothétiquement et en vérifiant toute la structure d'occurrences BUG. Quand exactement un retrait produit l'état BUG, ce candidat retiré est le gardien. Gardez-le et retirez les deux autres candidats de la cellule.
La logique
Si le gardien était faux, l'état de candidats restant serait un BUG et ne permettrait pas une complétion unique. Sous l'hypothèse d'unicité énoncée, le gardien doit donc être vrai. Les candidats retirés de la cellule d'exception sont les deux candidats non gardiens, pas le gardien lui-même.