[article] 
inPour la science > 447 (01/2015) . - p.76-81

Titre :	Le problème du sudoku
Type de document :	texte imprimé
Auteurs :	Jean-Paul Delahaye, Auteur
Année de publication :	2015
Article en page(s) :	p.76-81
Note générale :	Bibliographie.
Langues :	Français
Catégories :	0010 démarche scientifique:démarche scientifique:théorie scientifique 1305 mathématiques:mathématique:problème mathématique 2105 principes et méthodes pédagogiques:pédagogie:technique pédagogique:outil pédagogique:jeu éducatif
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.

[article] Le problème du sudoku [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2015 . - p.76-81.
Bibliographie.
Langues : Français
in Pour la science > 447 (01/2015) . - p.76-81

Catégories :

0010 démarche scientifique:démarche scientifique:théorie scientifique 1305 mathématiques:mathématique:problème mathématique 2105 principes et méthodes pédagogiques:pédagogie:technique pédagogique:outil pédagogique:jeu éducatif

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.