Unicité

Comment fonctionne la logique d’unicité au Sudoku

Les techniques d’unicité s’appliquent à un Sudoku correctement construit dont l’unique solution est garantie. Un motif mortel est une disposition non résolue dans laquelle deux chiffres pourraient être échangés pour produire deux solutions valides. Un Rectangle Unique utilise quatre cases réparties sur deux lignes, deux colonnes et deux blocs ; une Boucle Unique prolonge le même principe dans une boucle paire plus longue. Comme la forme mortelle ne peut subsister dans une grille à solution unique, au moins une case doit la rompre.

Les quatre types décrivent différentes façons dont ces candidats supplémentaires fournissent un sauvetage. Le type 1 retire la paire mortelle d'une seule cellule de sauvetage. Les types 2 et 4 exploitent un candidat supplémentaire partagé ou une relation conjuguée, tandis que le type 3 combine les extras avec un sous-ensemble dans une maison commune. BUG applique la même prémisse à l'état de fin de partie entièrement bivale : les cellules ou candidats qui laisseraient un état mortel équilibré sont identifiés et résolus. Ce sont des déductions conditionnelles : elles ne doivent être utilisées que lorsque l'unicité du puzzle est connue, pas comme substitut général aux tests de contradiction sur une grille arbitraire.