BUG Type 2
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. BUG Type 2 utilise deux cellules d'exception ou plus portant le même chiffre gardien. Après le retrait hypothétique de chaque occurrence de gardien, l'état restant complet doit satisfaire les comptages BUG.
Qu'est-ce que le BUG Type 2 ?
Le nombre de cellules d'exception n'est pas fixé à deux par la logique. Vérifiez que toutes les autres cellules non résolues sont bivale et que le retrait hypothétique du chiffre gardien partagé laisse la structure d'occurrences BUG requise de deux-par-maison.
Le type 2 a deux cellules d'exception ou plus portant le même chiffre gardien. Le retrait hypothétique de chaque occurrence de gardien doit restaurer la structure BUG vérifiée. Au moins une cellule d'exception utilise donc le gardien, donc le chiffre peut être retiré d'une cible qui voit chaque occurrence dans les cellules d'exception.
Exemple détaillé
Un exemple détaillé d’un BUG Type 2 : deux cases d’exception ou plus partagent un même chiffre gardien, qui est retiré de tout candidat les voyant toutes.
É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 le même candidat BUG supplémentaire 2, marqué sur la grille. Retirer 2 de toutes laisserait la structure BUG mortelle.
É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
Par conséquent au moins l'une de E7 et H7 doit contenir 2. Toute autre case qui voit toutes ces cases BUG ne peut pas contenir 2 non plus, donc les occurrences marquées peuvent ê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
Trouvez toutes les cellules d'exception portant un chiffre gardien proposé et vérifiez tout l'état de candidats après son retrait hypothétique. Une cible pour ce chiffre n'est valide que si elle voit chaque occurrence dans les cellules d'exception qui pourrait fournir le gardien.
La logique
Si aucune cellule d'exception n'utilisait le chiffre gardien, l'état BUG exclu subsisterait. Sous l'hypothèse de solution unique, au moins une cellule d'exception doit l'utiliser. Une cible qui voit chaque occurrence de gardien possible ne peut pas utiliser le même chiffre et peut être retirée.