Existe-t-il une formule pour résoudre un Sudoku ?
Dernière mise à jour
Il n'y a pas de formule. Sudoku n'est pas un problème de maths - C'est un puzzle logique qui utilise des digits. Aucune équation ou formule arithmétique ne produit la réponse directement. Ce qui fonctionne est l'élimination systématique des contraintes.
Pourquoi les maths ne le résoudront pas
Les chiffres 1-9 dans le Sudoku ne sont que des symboles. Vous pourriez les remplacer par des lettres ou des couleurs et le puzzle serait identique. Ce qui compte, c'est l'unicité au sein des unités - Chaque symbole apparaît exactement une fois dans chaque ligne, colonne et bloc. Il n'y a pas de relation arithmétique entre les cellules qu'une formule pourrait exploiter.
Ce qui fonctionne réellement - Constraint Propagation
Le Sudoku est un problème de satisfaction de contraintes. Vous commencez avec 81 cellules, chacune contrainte par sa ligne, sa colonne et son bloc. Placer un chiffre propage de nouvelles contraintes - Ce chiffre est éliminé de 20 autres cellules. La réaction en chaîne continue jusqu'à ce que le puzzle soit résolu ou qu'une technique plus complexe soit nécessaire.
La hiérarchie des techniques, de la plus simple à la plus difficile :
- Singles nus - Un candidat restant dans une cellule
- Singles cachés - Une position pour un chiffre dans une unité
- Paires et triplés nus et cachés
- X-Wing, Swordfish
- Chaînes et logique multi-étapes
Ce que les ordinateurs font à la place
Les ordinateurs résolvent le Sudoku en utilisant la recherche par backtracking - Essayez un chiffre, propagez les contraintes, et inversez si une contradiction est atteinte. Pour les humains, cela équivaut à deviner, ce qui n'est ni satisfaisant ni instructif. La résolution humaine préfère toujours les techniques déductives qui garantissent la correction sans aucun essai et erreur.