The Hidden Logic of Sudoku

Dossier : Arts, Lettres et SciencesMagazine N°628 Octobre 2007Par : Denis Berthier (68Rédacteur : J.R.Editeur : Chez l’auteur - 2007 - 9, rue Charles Fourier, 91011 Évry Cedex. Tél. : 01.60.76.41.22.

Couverture du livre : The hidden logic of SudokuLa logique cachée du Sudo­ku four­nit la pre­mière pré­sen­ta­tion des symé­tries logiques de ce jeu popu­laire. Elles sont plei­ne­ment uti­li­sées pour défi­nir de nou­velles repré­sen­ta­tions gra­phiques, de nou­velles sortes de règles de réso­lu­tion et une clas­si­fi­ca­tion de ces règles cohé­rente avec leur com­plexi­té logique.

L’ensemble de règles défi­nies dans ce livre est illus­tré par une cen­taine de pro­blèmes, com­plé­té par leurs voies de pleine réso­lu­tion. Il suf­fit pour résoudre presque tous les pro­blèmes sans faire d’hypothèses ou de sup­po­ser l’unicité de la solu­tion. Il a été implan­té dans une machine d’intelligence arti­fi­cielle et une grande base de don­nées de pro­blèmes a été éla­bo­rée, ce qui conduit à une évo­lu­tion pré­cise de l’efficacité de chaque règle.

Ce livre est dédié à la fois aux joueurs confir­més de Sudo­ku (qui décou­vri­ront maints nou­veaux aspects du jeu et une nou­velle approche des règles de réso­lu­tion) et aux pro­fes­seurs ou élèves de logique ou d’intelligence arti­fi­cielle (qui en appré­cie­ront les stricts fon­de­ments logiques).

L’auteur est pro­fes­seur de Logique, Intel­li­gence arti­fi­cielle et Épis­té­mo­lo­gie des tech­niques d’information à l’Institut natio­nal des télé­com­mu­ni­ca­tions (INT), qui est un des membres du « Groupe des Écoles des télécommunications ».

Poster un commentaire