Machine learningSymbolic Computation
Diagramme de décision binaire
Les diagrammes de décision binaires (BDD) sont une représentation canonique et économe en mémoire des fonctions booléennes, développée par Randal Bryant en 1986. Un BDD est un graphe orienté acyclique qui encode toutes les affectations de variables et leurs résultats ; les BDD réduits sont uniques pour chaque fonction et permettent une manipulation efficace de la logique combinatoire dans la vérification de modèles, la conception de circuits et le calcul symbolique.
Lire la méthode complète
Réservé aux membres
Se connecterConnectez-vous avec un compte gratuit pour lire cette section.
Sources
- Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. DOI: 10.1109/TC.1986.1676819 ↗
- Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. link ↗
- Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. ISBN: 0792380185
Comment citer cette page
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/fr/numerical-methods/binary-decision-diagram
Une erreur sur cette page ? Signalez-la ou proposez une correction →