Boucle Unique type 1
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 1 part d'un état de candidats dans lequel échanger deux chiffres à travers la construction préserverait chaque ligne, colonne et bloc touchée. Une cellule de sauvetage porte des candidats supplémentaires ; elle doit en prendre un, donc les deux chiffres de base sont retirés de cette cellule.
Qu'est-ce que la Boucle Unique type 1 ?
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 1 applique ensuite sa condition de sauvetage supplémentaire ; un cycle pair arbitraire ne suffit pas.
Dans le type 1, chaque cellule de la boucle sauf une est bivale sur les chiffres de base ; la cellule de sauvetage restante porte aussi des candidats supplémentaires. Parce qu'au moins un candidat de sauvetage doit être vrai, cette cellule ne peut contenir aucun des chiffres de base.
Exemple détaillé
Un exemple détaillé d’une Boucle Unique Type 1 : chaque case de la boucle sauf une est bivalente sur les chiffres de base, et l’unique case de sauvetage perd les deux chiffres de base.
É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 D4, G4, G6, F6, F9, D9 forment un Boucle Unique potentiellement mortel sur 4 et 5. Si chacune de ces cases était restreinte à 4 et 5, 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.
Étape 3
La seule façon possible d'éviter ces deux configurations est que la case D9 ne contienne pas les valeurs 4 et 5.
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. Toutes les cellules de boucle sauf une sont bivale sur les chiffres de base ; la cellule de sauvetage a aussi des candidats supplémentaires. Confirmez que l'échange préserverait chaque maison touchée avant de retirer les deux chiffres de base de cette cellule de sauvetage.
La logique
Si la cellule de sauvetage utilisait un chiffre de base, l'arrangement complet des chiffres de base permettrait l'échange interdit. Sous l'hypothèse de solution unique, elle doit utiliser un candidat supplémentaire, donc les deux candidats de base peuvent être retirés de cette cellule.