[article]
| Titre : |
Le problème du sudoku |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la Science, 2015 |
| Article : |
p.76-81 |
| Note générale : |
Bibliographie. |
in Pour la science > 447 (01/2015)
| 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. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
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.
|
| |
Le problème du sudoku / Pour la Science (2015) in Pour la science, 447 (01/2015)