|
Résumé :
|
Point sur les recherches réalisées par l'équipe de Gary McGuire, de l'université de Dublin, en Irlande, concernant le nombre minimal de données nécessaires pour disposer d'une grille de sudoku correcte : théorème démontré par ordinateur, appelé "théorème du sudoku", méthodes de preuves utilisées par Gary McGuire, utilisation de programmes développés par d'autres chercheurs, incertitudes sur la fiabilité totale du théorème, perspectives. Encadrés : exemples de grilles de sudoku particulières ; point sur l'utilisation de l'ordinateur pour démontrer des résultats mathématiques et limites de la méthode des assistants de preuve dans le cas du problème du sudoku ; chronologie des recherches menées par l'équipe de Gary McGuire, et autres recherches concomitantes à propos du problème du sudoku.
|
