Machine learningSymbolic Computation
Diagrama de Decisió Binari
Els Diagrames de Decisió Binaris (BDD) són una representació canònica i eficient en memòria de funcions booleanes desenvolupada per Randal Bryant el 1986. Un BDD és un graf dirigit acíclic que codifica totes les assignacions de variables i els resultats; els BDD reduïts són únics per a cada funció i permeten la manipulació eficient de la lògica combinatòria en la verificació de models, el disseny de circuits i la computació simbòlica.
Llegeix el mètode complet
Només per a membres
Inicia la sessióInicia la sessió amb un compte gratuït per llegir aquesta secció.
Fonts
- 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
Com citar aquesta pàgina
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/ca/numerical-methods/binary-decision-diagram
Has vist cap problema en aquesta pàgina? Informa'n o suggereix una correcció →