Expressivité et complexité de la génération aléatoire de structures combinatoires sous modèle de Boltzmann
Résumé
Le modèle de Boltzmann, proposé en 2004 par Duchon, Flajolet, Louchard et Schaeffer, définit une approche générique pour la génération uniforme de structures engendrées par des grammaires combinatoires (à base d'opérateurs Union, Produit, Sequence, Cycle et Ensemble), dont la complexité est linéaire si l'on autorise la génération en taille approchée. Nous examinerons dans cet exposé différents travaux récents visant à enrichir l'expressivité du modèle de Boltzmann et à optimiser la génération effective.