Boucle Unique type 3
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. Une Boucle Unique de type 3 part d'un état de candidats dans lequel échanger deux chiffres à travers la construction préserverait chaque ligne, colonne et bloc touchée. Les alternatives de sauvetage agissent comme un emplacement virtuel qui complète une restriction de sous-ensemble dans une maison partagée.
Qu'est-ce que la Boucle Unique type 3 ?
Cette déduction suppose que le puzzle a exactement une solution et que tous les retraits de candidats antérieurs étaient corrects. Vérifiez d'abord la structure complète à deux valeurs : une boucle paire de cellules non résolues partageant les deux mêmes chiffres de base, avec exactement deux cellules de boucle dans chaque maison qu'elle touche. L'échange de ces chiffres autour de la boucle ne doit déplacer aucune donnée et doit laisser à chaque maison affectée une occurrence de chaque chiffre de base. Le type 3 applique ensuite sa condition de sauvetage supplémentaire ; un cycle pair arbitraire ne suffit pas.
Dans le type 3, les alternatives de sauvetage agissent comme un emplacement virtuel. Combinées avec des cellules compagnes dans une maison partagée, elles complètent une restriction de sous-ensemble sur une union de chiffres comptée, qui est retirée des autres cellules éligibles.
Exemple détaillé
Un exemple détaillé d’une Boucle Unique Type 3 : les alternatives de sauvetage agissent comme un emplacement virtuel complétant une restriction de sous-ensemble dans une maison partagée.
Étape 1
Considérez ces 6 cases.
Étape 2
Supposons que cette grille a exactement une solution et que ses candidats actuels reflètent des déductions correctes. Les cases C4, C6, H6, H1, I1, I4 forment un Boucle Unique potentiellement mortel sur 2 et 7. Si chacune de ces cases était restreinte à 2 et 7, les deux affectations alternées préserveraient chaque ligne, colonne et bloc touchés tout en laissant les indices fixes. Échanger une affectation contre l'autre empêcherait donc une complétion unique. L'hypothèse d'unicité posée exige les candidats supplémentaires indiqués ou une restriction additionnelle pour briser cet état mortel. Soit H1, soit I1 doit fournir l'une des valeurs d'échappement 5 et 1. Ce choix garanti agit comme un emplacement virtuel pour 5 et 1. Avec les cases compagnes réelles G3, l'emplacement virtuel verrouille ces valeurs dans bloc ; aucune des cases de secours n'est comptée deux fois.
Étape 3
Les candidats marqués pour 5 et 1 peuvent donc être supprimés de bloc. Ils se trouvent hors de l'emplacement d'échappement virtuel, de ses cases compagnes réelles et de la case de secours alternative.
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 essayez nos grilles de Sudoku gratuites pour vous entraîner avec l’état actuel des candidats visible.
Comment la repérer
Vérifiez une boucle paire dans laquelle chaque maison affectée contient exactement deux cellules de boucle et où les deux chiffres de base peuvent être échangés autour de la boucle. Les alternatives de sauvetage dans les cellules de sauvetage forment un emplacement virtuel. Combinez cet emplacement avec N−1 vraies cellules compagnes dans une maison partagée dont l'union de candidats contient N chiffres. Comptez chaque cellule une fois et retirez l'union seulement des autres cellules éligibles.
La logique
L'unicité garantit qu'au moins une cellule de sauvetage utilise un chiffre supplémentaire, donc le groupe de sauvetage occupe un emplacement virtuel. Avec les cellules compagnes vérifiées, il réserve l'union de chiffres énoncée ; seuls les candidats en dehors de cet ensemble combiné sont des cibles d'élimination.