Skip to Main content Skip to Navigation
Journal articles

Boltzmann samplers for first-order differential specifications

Olivier Bodini 1 Olivier Roussel 1 Michele Soria 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In the framework of analytic combinatorics, Boltzmann models give rise to efficient algorithms for the random generation of combinatorial objects. This paper proposes an efficient Boltzmann sampler for ordered structures defined by first-order differential specifications. Under an abstract real-arithmetic computation model, our algorithm is of linear complexity for free generation; in addition, for many classical structures, the complexity is also linear when a small tolerance is allowed on the size of the generated object. The resulting implementation makes it possible to generate very large random objects, such as increasing trees, in a few seconds on a standard machine.
Document type :
Journal articles
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Olivier Roussel <>
Submitted on : Tuesday, November 15, 2011 - 5:08:57 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM
Long-term archiving on: : Monday, December 5, 2016 - 5:49:12 AM


Files produced by the author(s)



Olivier Bodini, Olivier Roussel, Michele Soria. Boltzmann samplers for first-order differential specifications. Discrete Applied Mathematics, Elsevier, 2012, 160 (18), pp.2563-2572. ⟨10.1016/j.dam.2012.05.022⟩. ⟨hal-00641072⟩



Record views


Files downloads