Un Sudoku possède une solution unique lorsqu'exactement une grille complète respecte tous les indices de départ ainsi que les contraintes classiques de lignes, colonnes et blocs.
Cette définition répond à une question différente de celle d'un mouvement individuel.
Un chiffre peut être localement autorisé sans être forcé.
Et une grille de départ peut ne contenir aucun conflit visible tout en autorisant plusieurs complétions.
Les trois nombres possibles de solutions
Une grille de départ peut posséder :
Zéro solution
Les indices sont incompatibles avec les contraintes Sudoku. Aucune grille complète ne fonctionne.
Exactement une solution
Une seule grille complète respecte les indices et toutes les contraintes classiques.
Plusieurs solutions
Les indices ne déterminent pas une grille finale unique.
Les Sudoku classiques publiés visent normalement exactement une solution.
L'unicité est une propriété globale
Les règles locales sont simples :
- aucun doublon dans une ligne ;
- aucun doublon dans une colonne ;
- aucun doublon dans un bloc.
Elles suffisent à vérifier une grille complète ou à détecter un conflit immédiat.
Elles ne prouvent pas automatiquement qu'une grille partiellement remplie ne possède qu'une seule complétion.
Ces deux affirmations sont donc différentes :
Ce placement ne viole aucune ligne, colonne ni aucun bloc.
Ce puzzle de départ possède exactement une grille complète possible.
La seconde nécessite une analyse globale ou une recherche complète.
Un candidat légal n'est pas automatiquement la solution
Supposons qu'une case contienne :
{3,8}
Les deux chiffres peuvent respecter les contraintes locales.
Cela ne vous autorise pas à en choisir un au hasard.
Une résolution logique a encore besoin d'une déduction qui :
- élimine un candidat ;
- ou prouve directement la valeur finale.
Il est donc utile de distinguer :
- validité des règles — un état viole-t-il une règle de base ?
- légalité d'un candidat — ce chiffre peut-il encore aller ici ?
- déduction — peut-on prouver ou exclure une possibilité ?
- unicité — combien de solutions complètes correspondent aux indices ?
Comment un logiciel vérifie l'unicité
Un solveur complet peut explorer l'espace des solutions et les compter.
Pour une vérification d'unicité, il n'est pas nécessaire de produire toutes les solutions.
Il suffit de distinguer :
0 solution
1 solution
2 ou plusPipeline typique :
- rechercher une première solution ;
- continuer la recherche ;
- arrêter immédiatement si une seconde solution différente apparaît ;
- si la recherche s'épuise après une seule solution, le puzzle est unique.
Le moteur peut utiliser :
- backtracking ;
- Exact Cover ;
- SAT/CSP ;
- ou une autre méthode complète.
L'algorithme varie.
La propriété vérifiée reste la même.
Pourquoi un générateur vérifie l'unicité plusieurs fois
Une grille complète de 81 cases est déjà une solution valide.
Pour en faire un puzzle, on masque des chiffres ou choisit lesquels resteront comme indices.
Chaque retrait diminue l'information disponible.
À un certain moment, une seconde complétion peut devenir possible.
La génération répète donc souvent :
modifier l'ensemble d'indices
↓
tester le puzzle
↓
toujours exactement une solution ?Les générateurs peuvent différer dans leur construction, mais un Sudoku classique publié comme unique doit finir par satisfaire cette propriété.
Unique ne signifie pas facile
L'unicité est essentiellement une propriété oui/non.
La difficulté ne l'est pas.
Deux Sudoku uniques peuvent posséder des chemins humains radicalement différents :
- l'un se résout avec des Singles ;
- l'autre exige des candidats enfermés et des sous-ensembles ;
- un autre nécessite Fish, Wings ou Chains.
Le nombre de solutions est donc crucial pour la validité.
La difficulté demande une analyse séparée du chemin de résolution.
Explorer la théorie du SudokuComment la difficulté du Sudoku est évaluéeDécouvrez pourquoi la difficulté d’un Sudoku dépend des techniques, de l’effort, des dépendances entre étapes et des données joueurs, pas seulement des indices.Lire le guide théorique →Unique ne signifie pas minimal
Un Sudoku peut avoir exactement une solution tout en contenant des indices inutiles à l'unicité.
Un Sudoku minimal possède la propriété plus forte :
Retirer n'importe quel indice fait perdre l'unicité.
La minimalité décrit la nécessité des indices dans ce puzzle précis.
Elle ne signifie pas que le puzzle utilise le nombre global minimal de 17 indices.
Explorer la théorie du SudokuNombre minimal d'indices au SudokuDécouvrez pourquoi un Sudoku classique 9×9 unique nécessite au moins 17 indices et comment une recherche exhaustive a exclu tous les cas à 16 indices.Lire le guide théorique →Pourquoi l'unicité est importante pour Rectangle unique
La majorité des techniques découle directement des contraintes des candidats.
Rectangle unique est différent car sa justification standard suppose que le puzzle ne possède qu'une solution.
Un rectangle mortel peut créer deux complétions interchangeables.
Si l'unicité est vérifiée, une situation qui conduirait à cette ambiguïté peut être exclue.
Cette prémisse doit rester explicite dans tout contenu d'unicité.
Un puzzle à plusieurs solutions peut-il respecter les règles ?
Oui.
Chaque solution complète individuelle peut respecter parfaitement les règles classiques.
Le problème est que les indices de départ ne déterminent pas une seule fin.
Ces puzzles ne correspondent donc pas à l'expérience classique à solution unique, même si leurs grilles complètes possibles sont valides.
Unicité et résolubilité logique sont deux questions différentes
Un solveur complet peut prouver qu'un Sudoku possède exactement une solution même si une bibliothèque particulière de techniques humaines ne trouve aucun chemin explicable pour l'instant.
Ce sont deux questions distinctes :
Combien de solutions existent ?
et :
Quelles déductions humaines expliquables résolvent le puzzle ?
Cette séparation clarifie la génération comme le rating.
FAQ
Tous les Sudoku ont-ils une seule solution ?
Non. Une grille de départ peut avoir zéro, une ou plusieurs solutions.
L'unicité fait-elle partie des trois règles fondamentales ?
Non. C'est une propriété globale normalement attendue d'un Sudoku classique publié.
Un Sudoku unique peut-il être extrêmement difficile ?
Oui.
Une solution unique prouve-t-elle qu'un puzzle est bien construit ?
Non. La difficulté, le flux de résolution, la disposition des indices et les techniques nécessaires sont des critères supplémentaires.
Comment vérifier efficacement l'unicité ?
Un solveur complet peut arrêter dès qu'il trouve une seconde solution différente.
Peut-on utiliser Rectangle unique sans unicité vérifiée ?
La logique standard de Rectangle unique suppose que le puzzle possède exactement une solution.
Que lire ensuite ?
Lisez Nombre minimal d'indices au Sudoku pour la borne globale de 17.
Lisez Comment les Sudoku sont générés pour voir où la vérification d'unicité intervient dans la construction.
Lisez Rectangle unique pour une technique qui utilise explicitement cette prémisse.