Constructions par greffe, combinatoire analytique et génération analytique
Auteur / Autrice : | Alice Jacquot |
Direction : | Olivier Bodini |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 01/04/2014 |
Etablissement(s) : | Paris 13 |
Ecole(s) doctorale(s) : | École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire informatique de Paris-Nord (Villetaneuse, Seine-Saint-Denis ; 2001-....) |
Jury : | Président / Présidente : Jean Mairesse |
Examinateurs / Examinatrices : Frédérique Bassino, Alain Denise, Brigitte Vallée | |
Rapporteurs / Rapporteuses : Srecko Brlek, Dominique Rossin |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
La combinatoire analytique est un domaine qui consiste à appliquer des méthodes issues de l’analyse complexe à des classes combinatoires afin d’obtenir des résultats sur leurs propriétés asymptotiques. On utilise pour cela des spécifications, qui sont une manière de formaliser la structure (souvent récursive) des objets. Dans cette thèse, nous nous attachons principalement à trouver des nouvelles spécifications pour certaines classes combinatoires, afin de pouvoir ensuite y appliquer des méthodes efficaces d’énumération ou de génération aléatoire. En effet, pour une même classe combinatoire il peut exister différentes spécifications, basées sur des décompositions différentes, rendant les méthodes classiques d’énumération asymptotique et de génération aléatoire plus ou moins adaptées. Le premier volet de résultats présentés concerne l’algorithme de Rémy et la spécification holonome qui y est sous-jacente, basée sur un opérateur de greffe. On y développe un nouvel algorithme, plus efficace, de génération aléatoire d’arbres binaires et un générateur aléatoire d’arbres de Motzkin basé sur le même principe. Nous abordons ensuite des questions relatives à l’étude de sous-classes de λ-termes. Enfin, nous présentons deux autres ensembles de résultats, sur la spécification automatique d’arbres où les occurrences d’un motif donné sont marquées et sur le comportement asymptotique et la génération aléatoire de polyominos digitalement convexes. Dans tous les cas, les nouvelles spécifications obtenues donnent accès à des méthodes qui ne pouvaient pas être utilisées jusque là et nous permettent d’obtenir de nombreux nouveaux résultats.