Séminaire Algorithmique : Matthieu Dien (GREYC, Caen) « Méthode de Boltzmann : quand la génération aléatoire se passe Dien et sans Pépin »
9 septembre / 10:45 - 11:45
La méthode de Boltzmann permet de “compiler” un générateur aléatoire uniforme efficace pour les structures discrètes définies par une spécification combinatoire. Après avoir introduit quelques définitions et la méthode, je présenterai notre implémentation de cette méthode : la librairie Python usain-boltz (travail commun avec Martin Pépin). Au fur et à mesure de cette présentation, j’introduirai différents problèmes ouverts théoriques et pratiques et conclura