Machine learningSymbolic Computation
Binära beslutdiagram
Binära beslutdiagram (BDD) är en kanonisk, minneseffektiv representation av booleska funktioner som utvecklades av Randal Bryant 1986. Ett BDD är en riktad acyklisk graf som kodar alla variabeltilldelningar och resultat; reducerade BDD är unika för varje funktion och möjliggör effektiv manipulation av kombinatorisk logik inom modellkontroll, kretssdesign och symbolisk beräkning.
Läs hela metoden
Endast för medlemmar
Logga inLogga in med ett kostnadsfritt konto för att läsa avsnittet.
Källor
- 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
Så citerar du den här sidan
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/sv/numerical-methods/binary-decision-diagram
Hittade du ett fel på sidan? Rapportera eller föreslå en rättelse →