Le problème du sudoku
de Jean-Paul Delahaye In Pour la science, 447 (01/2015), p.76-81 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. |
Delahaye Jean-Paul.
« Le problème du sudoku »
in Pour la science, 447 (01/2015), p.76-81.
Titre : | Le problème du sudoku (2015) |
Auteurs : | Jean-Paul Delahaye, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Pour la science (447, 01/2015) |
Article : | p.76-81 |
Note générale : | Bibliographie. |
Langues: | Français |
Descripteurs : | jeu éducatif / problème mathématique / théorie scientifique |
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. |
Genre : | Article de périodique |