Description
Date depot: 4 mars 2024
Titre: The combinatorics of Binary Decision Diagrams
Directeur de thèse:
Antoine GENITRINI (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Algorithmique, combinatoire
Resumé: Our project consists of an algorithmic and quantitative study of classical data structures from computer science under the prism of combinatorics. In the last decade many improvements have been achieved in order to combinatorially characterize the modeling of these data structures as directed acyclic graphs (or dags), paving the way for the analysis of objects induced by compaction procedures: in particular, we will focus on decision diagrams in the combinatorial setting. A challenge is to extend the generating function algebra for such objects.