La logique du Sudoku consiste à transformer les contraintes de la grille en informations nouvelles.
Une technique peut produire plusieurs types de résultats :
- une valeur forcée ;
- un candidat interdit ;
- une réservation de chiffres pour certaines cases ;
- une implication entre deux états ;
- un contradictoire qui élimine une hypothèse.
Ces formes se combinent jusqu'à résoudre la grille.
1. Placement forcé
Le résultat le plus direct est :
cette case doit contenir X.
Deux formes fondamentales :
Singleton nu
Une case n'a plus qu'un candidat.
Singleton caché
Une unité n'offre plus qu'une position pour un chiffre.
Ces techniques transforment directement une contrainte en placement.
2. Élimination forcée
Une technique peut prouver :
X ne peut pas être candidat ici.
La case n'est peut-être pas résolue pour autant.
Exemples :
- Locked Candidates ;
- paires ;
- X-Wing ;
- Wings.
Une seule élimination peut ensuite créer un Singleton.
3. Réservation
Une réservation affirme qu'un ensemble de chiffres doit occuper un ensemble de cases.
Exemple :
Deux cases d'une ligne contiennent seulement {2,7}.
Vous ne savez pas :
- laquelle sera 2 ;
- laquelle sera 7.
Mais vous savez que 2 et 7 sont réservés à ces deux cases.
Cela suffit pour les éliminer ailleurs dans la même unité.
C'est le principe des sous-ensembles nus.
Les sous-ensembles cachés expriment la même idée depuis la perspective des positions des chiffres.
4. Implication
Une implication dit :
si A, alors B.
Les liens fournissent deux formes utiles.
Strong Link
A faux → B vrai
Weak Link
A vrai → B faux
En alternant ces relations, une Chain transporte un état logique à travers la grille.
5. Contradiction
Une hypothèse est impossible si elle force un état qui viole les contraintes.
Exemples :
- deux mêmes chiffres dans une unité ;
- une case sans candidat ;
- un chiffre sans position dans une unité ;
- une conséquence incompatible avec une propriété préalablement établie.
La contradiction transforme :
« supposons A »
en :
« A est impossible ».
La logique locale et la logique globale
Locale
Une conclusion dépend d'une petite zone :
- une case ;
- une unité ;
- une intersection.
Plus globale
Une conclusion relie des candidats éloignés :
- Fish ;
- Wings ;
- Coloring ;
- Chains.
Les règles fondamentales ne changent pas.
Seule la distance entre les informations augmente.
Les techniques sont des formes compressées de raisonnement
Un nom comme X-Wing évite de reconstruire tout le raisonnement depuis zéro.
Le motif encode :
- quelles positions sont contraintes ;
- ce qui doit être vrai ;
- quelles éliminations suivent.
Apprendre une technique signifie donc apprendre un raccourci de reconnaissance et comprendre la preuve qu'il compresse.
Propagation
Chaque conclusion peut créer la suivante.
Exemple :
Locked Candidates
↓
élimination
↓
Singleton nu
↓
placement
↓
mise à jour des candidats
↓
Singleton cachéCette propagation est l'une des raisons pour lesquelles il faut revenir aux techniques simples après un coup avancé.
Réservation et implication sont liées
Une paire {X,Y} réserve deux valeurs pour deux cases.
Selon la structure, cette réservation peut également être lue comme des implications :
si cette case n'est pas X, elle doit être Y.
Les techniques intermédiaires et avancées ne sont donc pas des univers séparés. Elles décrivent souvent la même contrainte avec des niveaux de détail différents.
Pourquoi les candidats sont importants
Sans candidats visibles, le joueur peut toujours raisonner.
Mais les candidats rendent explicite l'espace des possibilités.
Ils permettent de voir :
- ce qui reste possible ;
- ce qui a été éliminé ;
- où un chiffre est rare ;
- quelles cellules sont bivalue ;
- quels liens forts existent.
C'est pourquoi les techniques avancées sont généralement enseignées avec des candidats complets.
Logique et unicité
La majorité des techniques repose directement sur :
- lignes ;
- colonnes ;
- blocs ;
- implications construites à partir de ces contraintes.
Certaines techniques comme Unique Rectangle utilisent une prémisse supplémentaire :
le puzzle est vérifié comme ayant exactement une solution.
Cette prémisse doit être explicitée.
L'unicité n'est pas une quatrième règle locale.
Logique et recherche informatique
Un solveur complet peut utiliser du backtracking pour trouver ou compter les solutions.
Un solveur humain cherche plutôt une succession de déductions explicables.
Les deux approches sont utiles pour des objectifs différents :
- validation ;
- génération ;
- apprentissage ;
- rating ;
- résolution humaine.
Une question utile pour chaque coup
Avant de saisir un chiffre ou supprimer un candidat, demandez :
Quelle information est produite ici ?
Est-ce :
- un placement ?
- une élimination ?
- une réservation ?
- une implication ?
- une contradiction ?
Cette classification aide à comprendre pourquoi la technique fonctionne.
FAQ
Le Sudoku est-il purement logique ?
Le Sudoku classique peut être modélisé comme un problème de contraintes. Les joueurs peuvent utiliser différentes méthodes de recherche, mais le parcours VeyraPlay privilégie les déductions explicables.
Quelle est la différence entre élimination et placement ?
Une élimination retire une possibilité ; un placement prouve la valeur finale d'une case.
Qu'est-ce qu'une implication au Sudoku ?
Une relation dans laquelle un état force un autre état, par exemple « A faux implique B vrai ».
Pourquoi revenir aux Singles après une technique avancée ?
Parce qu'une élimination avancée peut immédiatement transformer une case ou une unité en situation simple.
Que lire ensuite ?
Lisez Faut-il deviner au Sudoku ? pour distinguer déduction et recherche, Sudoku et mathématiques pour les modèles de contraintes, et Sudoku-Chains pour les implications avancées.