Soutenance de thèse d'Olivier Roussel le mardi 25 septembre

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance publique de thèse de doctorat,
intitulée :

*Génération aléatoire de structures ordonnées par le modèle de Boltzmann*.

Cette soutenance aura lieu le
Mardi 25 septembre 2012 à 14h00 au
LIP6 - Université Pierre et Marie Curie - UPMC
Tour 25-26 - Premier étage - Salle 105
Campus de Jussieu
4, place Jussieu - 75005 Paris

Accès : http://www.lip6.fr/informations/comment.php


devant le jury constitué de :

M. Philipe Duchon, LaBRI - Université de Bordeaux 1 Rapporteur
M. Conrado Martínez, LSI - Universitat Politècnica de Catalunya Rapporteur
M. Olivier Bodini, LIPN - Université Paris-Nord Examinateur
M. Christoph Dürr, LIP6 - Université Pierre et Marie Curie Examinateur
M. Cyril Nicaud, LIGM - Université Paris-Est Examinateur
M. Konstantinos Panagiotou - Ludwig-Maximilians-Universität München Examinateur
M. Bruno Salvy, LIP - École Normale Supérieure de Lyon Examinateur
Mme Michèle Soria, LIP6, Université Pierre et Marie Curie Directrice


Vous êtes également chaleureusement conviés au pot qui suivra, dans la même salle.


_Résumé_ :
Dans le domaine de la combinatoire, la génération aléatoire d'objets est un
problème central relié à de nombreux aspects de la science combinatoire, que ce
soit à l'énumération exacte ou asymptotique, ou à la vérification de
conjectures. De nombreuses méthodes ont été proposées afin de résoudre
efficacement ce problème, dont le modèle de Boltzmann. Ce modèle, au prix d'un
contrôle moindre sur la taille des objets générés, assure les propriétés de
complexité linéaire dans beaucoup de cas réels, et de facilité d'automatisation
pour de larges classes d'objets.
Cette thèse vise à étendre encore les classes d'objets combinatoires sur
lesquelles ce modèle de Boltzmann peut s'appliquer, tout en conservant les
propriétés d'efficacité et d'automatisation. La première partie est une étude
des algorithmes de générations de Boltzmann existants, ainsi que de leur
propriétés et leurs fondations mathématiques sous-jacentes. Dans une seconde
partie, nous présentons notre idée de biaiser ces algorithmes pour étendre leur
domaine de validité. Nous proposons une extension très générale, avant de
l'appliquer à plusieurs opérateurs combinatoires tels que la dérivation, le
produit de shuffle et l'opération de dépointage. Enfin, nous présentons un
algorithme de génération uniforme pour le produit de Hadamard.
Nous appuyons nos algorithmes et résultats par des exemples et données
expérimentales illustrant le bien fondé de nos méthodes.


En espérant vous voir nombreux à ma soutenance.

--
Olivier Roussel