Constructions par greffe, combinatoire analytique et génération analytique

par Alice Jacquot

Thèse de doctorat en Informatique

Sous la direction de Olivier Bodini.

Le président du jury était Jean Mairesse.

Le jury était composé de Frédérique Bassino, Alain Denise, Brigitte Vallée.

Les rapporteurs étaient Srecko Brlek, Dominique Rossin.


  • 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.

  • Titre traduit

    Graft reconstruction, analytic combinatorics and analytical generation


  • Résumé

    Analytic combinatorics is a field which consist in applying methods from complex ana- lysis to combinatorial classes in order to obtain results on their asymptotic properties. We use for that specifications, which are a way to formalise the (often recursive) structure of the objects. In this thesis, we mainly devote ourselves to find new specifications for some combinatorial classes, in order to then apply more effective enumerative or random sampling methods. Indeed, for one combinatorial class several different specifications, based on different decompositions, may exist, making the classical methods - of asymptotic enu- meration or random sampling - more or less adapted. The first set of presented results focuses on Rémy’s algorithm and its underlying holonomic specification, based on a grafting operator. We develop a new and more efficient random sampler of binary trees and a random sampler of Motzkin trees based on the same principle. We then address some question relative to the study of subclasses of λ-terms. Finally, we present two other sets of results, on automatic specification of trees where occurrences of a given pattern are marked and on the asymptotic behaviour and the random sampling of digitally convex polyominoes. In every case, the new specifications give access to methods which could not be applied previously and lead to numerous new results.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Informations

  • Détails : 1 vol. (161p.)
  • Annexes : Bibliogr. p. 154-161

Où se trouve cette thèse ?

  • PEB soumis à condition
  • Cote : TH 2014 018
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.