Le sudoku est devenu un jeu de logique très populaire. Ce Précis de sudoku permet de découvrir les origines de ce jeu et d'apprendre à le résoudre par la présentation de règles mathématiques ou logiques.

Près de quinze règles et techniques sont étudiées, illustrées d'exemples et d'exercices progressifs, depuis les grilles très faciles aux grilles «experts».

Ce précis explique les principes essentiels de la programmation d'un logiciel pour résoudre n'importe quelle grille de sudoku. Il expose les aspects importants du processus de génération de grilles et du procédé d'évaluation de leur difficulté.

L'ouvrage propose aussi plus de cent vingt grilles de niveau croissant pour mieux maîtriser ce jeu.

Cet ouvrage est complété par un ensemble d'informations en ligne :

• lien entre sudoku et intelligence artificielle en général et programmation par contraintes en particulier ;
• interface de jeu mettant en exergue les règles et techniques développées dans le livre ;
• historique de la couverture média de l'utilisation du sudoku dans différents cours liés à la programmation par contraintes à l'Ecole des Mines de Nantes ;
• site du solveur de contraintes choco.

Quelques extraits :

• la table des matières [pdf, 23ko]
• la l'avant-propos [pdf, 19ko]
• le chapitre 3 sur les techniques avancées [pdf, 106ko]
• une page de grilles [pdf, 17ko]

On peut le commander directement chez l'éditeur Hermes/Lavoisier, sur Chapitre.com (disponible en 3 jours), sur alapage.com (disponible en moins d'une semaine), sur FNAC.com (disponible en 4 à 8 jours) ou sur Amazon.fr (livraison aléatoire).

Code source des programmes mentionnés dans l'ouvrage :

• programme prolog (mentionné page 63 pour la résolution d'une grille 4x4)
  on trouve des liens vers des interprètes prolog sur la page wikipedia consacrée à Prolog
• programme java (mentionné page 68 pour la résolution d'une grille 9x9)
  ce programme suppose que la bibliothèque choco est installée

Erratum

• page 19 : 6,27 \times 10^21 => 6,67 \times 10^21
• page 22 : dans l'expression de la condition de la règle 2.2, quoi({(i, j)} => quoi({(i, j)})
• page 26 : La case (4,2) est dans le bloc B_5. On a donc : b_{4,2} = 5. => La case (4,2) est dans le bloc B_4. On a donc : b_{4,2} = 4.
• page 33 : blocs contigus => blocs partageant au moins une direction
• page 60 : être obliger => être obligé
• page 68 : toute les variables => toutes les variables
• page 76 : le niveau maximal à appliquer est 9 (et non pas 10 comme indiqué dans le texte imprimé)