Le problème du sudoku

Dans le périodique : Pour la science, n°447 (01/2015)
• Auteur : Jean-Paul Delahaye
• Pages : p.76-81
  • Langues : Français
• • Nature du document : documentaire Genre : Article de périodique
  • Note générale : Bibliographie.
  • 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.

• • Descripteurs : jeu éducatif problème mathématique théorie scientifique