Rob Bisseling :Calculs parallèles pour la vérification de la conjecture de Goldbach binaire

Dans le cadre de son séminaire, le Département d'Informatique de l'ENS de Lyon a le plaisir d'accueillir Rob Bisseling.

Résumé : La conjecture binaire de Goldbach affirme que tout nombre pair supérieur à deux peut être écrit comme la somme de deux nombres premiers. Cette conjecture est un problème ouvert en mathématiques depuis 1742. Sa véracité a été vérifiée pour les nombres pairs jusqu'à 4 x 10^18 en avril 2012, mais aucune preuve n'a encore été trouvée. Nous présenterons un nouvel algorithme pour vérifier la conjecture, qui est basé sur l'utilisation d'une structure de données clairsemée appropriée, l'exploitation de motifs répétitifs dans les nombres premiers, et plusieurs techniques du domaine de l'informatique scientifique combinatoire, en particulier pour résoudre le problème de la couverture des sommets d'un hypergraphe. En outre, nous utilisons des ordinateurs parallèles pour atteindre les nombres élevés qui nous intéressent.
Voyons voir jusqu'où nous pouvons aller !
 

Rob Bisseling est professeur de calcul scientifique au Mathematical Institute de Utrecht University, aux Pays-Bas. Ses principaux intérêts de recherche sont : les algorithmes parallèles, le calcul scientifique combinatoire, les algorithmes de graphes et d'hypergraphes, les transformées de Fourier rapides. Il est Fellow 2023-24 du Collegium de Lyon.

Page web des séminaires du Département d'Informatique de l'ENS de Lyon.