Skip to main content

Showing 1–9 of 9 results for author: Genitrini, A

Searching in archive cs. Search in all archives.
.
  1. arXiv:2211.04938  [pdf, other

    cs.DS math.CO

    An iterative approach for counting reduced ordered binary decision diagrams

    Authors: Julien Clément, Antoine Genitrini

    Abstract: For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, machine learning, cryptography and also resolution of combinatorial problems. The most famous variant, called reduced ordered binary decision diagram (ROBDD for short), can be viewed as the result of a compaction procedure… ▽ More

    Submitted 4 July, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

  2. arXiv:2005.12997  [pdf, other

    math.CO cs.DS

    Compaction for two models of logarithmic-depth trees: Analysis and Experiments

    Authors: Olivier Bodini, Antoine Genitrini, Bernhard Gittenberger, Isabella Larcher, Mehdi Naima

    Abstract: We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are typical representatives of tree models with a small depth. Once a tree of size $n$ is compacted by keeping only one occurrence of all fringe subtrees appearing in the tree the resulting graph contains only $O(n / \ln n)$ n… ▽ More

    Submitted 13 September, 2021; v1 submitted 26 May, 2020; originally announced May 2020.

  3. arXiv:1907.06743  [pdf, other

    cs.DS math.CO

    Binary Decision Diagrams: from Tree Compaction to Sampling

    Authors: Julien Clément, Antoine Genitrini

    Abstract: Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common subtrees are factored and shared, keeping only one copy of each unique subtree. This yields the celebrated and widely used structure called reduced ordered binary decision diagram (ROBDD). We propose to revisit the class… ▽ More

    Submitted 24 May, 2020; v1 submitted 15 July, 2019; originally announced July 2019.

  4. The Combinatorics of Barrier Synchronization

    Authors: Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

    Abstract: In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synchronization barriers. We elaborate a systematic decomposition of processes that produces a symbolic integral formula to solve the problem. Based on this procedure, we develop… ▽ More

    Submitted 3 July, 2019; originally announced July 2019.

  5. arXiv:1808.08376  [pdf, other

    cs.DS math.CO

    Ranked Schröder Trees

    Authors: Olivier Bodini, Antoine Genitrini, Mehdi Naima

    Abstract: In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schröder tree model is not adapted to take into account the chronology between the branching nodes. In particular, it does not answer the question: how many different phylogenetic stories lead to the creation of n species and what is the average time to get there? In t… ▽ More

    Submitted 14 January, 2019; v1 submitted 25 August, 2018; originally announced August 2018.

  6. arXiv:1803.00843  [pdf, other

    cs.DM

    Beyond series-parallel concurrent systems: the case of arch processes

    Authors: Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola

    Abstract: In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allowing to delay some computations. The structure of a general concurrent process with futures is more or less a directed acyclic graph. Since the quantitative study of such increasingly labeled graphs (directly related to p… ▽ More

    Submitted 2 March, 2018; originally announced March 2018.

  7. arXiv:1703.10031  [pdf, other

    math.CO cs.DM cs.DS

    Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height

    Authors: Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner

    Abstract: A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by th… ▽ More

    Submitted 9 March, 2022; v1 submitted 29 March, 2017; originally announced March 2017.

    Comments: 44 pages, 28 figures

    MSC Class: 05C30; 05A16; 05C20; 05C05 ACM Class: G.2.1; G.2.2

    Journal ref: J. Combin. Theory Ser. A 172 (2020), 105177

  8. arXiv:1605.00837  [pdf, other

    math.CO cs.DM

    Full asymptotic expansion for Polya structures

    Authors: Antoine Genitrini

    Abstract: In order to obtain the full asymptotic expansion for Polya trees, i.e. rooted unlabelled and non-plane trees, Flajolet and Sedgewick observed that their specification could be seen as a slight disturbance of the functional equation satisfied by the Cayley tree function. Such an approach highlights the complicated formal expressions with some combinatorial explanation. They initiated this process i… ▽ More

    Submitted 17 June, 2016; v1 submitted 3 May, 2016; originally announced May 2016.

    Comments: To appear in Proceedings of the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Krakow, Poland, 4-8 July, 2016

  9. arXiv:1407.1873  [pdf, other

    cs.PL

    A Quantitative Study of Pure Parallel Processes

    Authors: Olivier Bodini, Antoine Genitrini, Frédéric Peschanski

    Abstract: In this paper, we study the interleaving -- or pure merge -- operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-called combinatorial explosion that makes very hard - at least from the point of view of computational complexity - the analysis of process behaviours e.g. by model-checking. The originality of our approach is to study t… ▽ More

    Submitted 4 July, 2014; originally announced July 2014.

    Journal ref: Electronic Journal of Combinatorics, 23, 1, (2016), P1.11