The Hidden Logic of Sudoku
La logique cachée du Sudoku fournit la première présentation des symétries logiques de ce jeu populaire. Elles sont pleinement utilisées pour définir de nouvelles représentations graphiques, de nouvelles sortes de règles de résolution et une classification de ces règles cohérente avec leur complexité logique.
L’ensemble de règles définies dans ce livre est illustré par une centaine de problèmes, complété par leurs voies de pleine résolution. Il suffit pour résoudre presque tous les problèmes sans faire d’hypothèses ou de supposer l’unicité de la solution. Il a été implanté dans une machine d’intelligence artificielle et une grande base de données de problèmes a été élaborée, ce qui conduit à une évolution précise de l’efficacité de chaque règle.
Ce livre est dédié à la fois aux joueurs confirmés de Sudoku (qui découvriront maints nouveaux aspects du jeu et une nouvelle approche des règles de résolution) et aux professeurs ou élèves de logique ou d’intelligence artificielle (qui en apprécieront les stricts fondements logiques).
L’auteur est professeur de Logique, Intelligence artificielle et Épistémologie des techniques d’information à l’Institut national des télécommunications (INT), qui est un des membres du « Groupe des Écoles des télécommunications ».