Showing 1–3 of 3 results for author: Clément, J

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 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 on the full decision tree. A useful property is that once an order over the Boolean variables is fixed, each Boolean function is represented by exactly one ROBDD. In this paper we aim at computing the exact distribution of the Boolean functions in $k$ variables according to the ROBDD size}, where the ROBDD size is equal to the number of decision nodes of the underlying directed acyclic graph (DAG for short) structure. Recall the number of Boolean functions with $k$ variables is equal to $2^{2^k}$, which is of double exponential growth with respect to the number of variables. The maximal size of a ROBDD with $k$ variables is $M_k \approx 2^k / k$. Apart from the natural combinatorial explosion observed, another difficulty for computing the distribution according to size is to take into account dependencies within the DAG structure of ROBDDs. In this paper, we develop the first polynomial algorithm to derive the distribution of Boolean functions over $k$ variables with respect to ROBDD size denoted by $n$. The algorithm computes the (enumerative) generating function of ROBDDs with $k$ variables up to size $n$. It performs $O(k n^4)$ arithmetical operations on integers and necessitates storing $O((k+n) n^2)$ integers with bit length $O(n\log n)$. Our new approach relies on a decomposition of ROBDDs layer by layer and on an inclusion-exclusion argument. △ Less

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

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 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 classical compaction process to give a new way of enumerating ROBDDs of a given size without considering fully expanded trees and the compaction step. Our method also provides an unranking procedure for the set of ROBDDs. As a by-product we get a random uniform and exhaustive sampler for ROBDDs for a given number of variables and size. △ Less

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

Analysis of a diffusive effective mass model for nanowires

Authors: Jourdana Clément, Nicolas Vauchelet

Abstract: We propose in this paper to derive and analyze a self-consistent model describing the diffusive transport in a nanowire. From a physical point of view, it describes the electron transport in an ultra-scaled confined structure, taking in account the interactions of charged particles with phonons. The transport direction is assumed to be large compared to the wire section and is described by a drift… ▽ More We propose in this paper to derive and analyze a self-consistent model describing the diffusive transport in a nanowire. From a physical point of view, it describes the electron transport in an ultra-scaled confined structure, taking in account the interactions of charged particles with phonons. The transport direction is assumed to be large compared to the wire section and is described by a drift-diffusion equation including effective quantities computed from a Bloch problem in the crystal lattice. The electrostatic potential solves a Poisson equation where the particle density couples on each energy band a two dimensional confinement density with the monodimensional transport density given by the Boltzmann statistics. On the one hand, we study the derivation of this Nanowire Drift-Diffusion Poisson model from a kinetic level description. On the other hand, we present an existence result for this model in a bounded domain. △ Less

Submitted 18 May, 2011; originally announced May 2011.