Machine learningSymbolic Computation
Binær beslutningsdiagram
Binære beslutningsdiagrammer (BDD'er) er en kanonisk, hukommelseseffektiv repræsentation af boolske funktioner udviklet af Randal Bryant i 1986. Et BDD er en rettet acyklisk graf, der koder for alle variabeltilordninger og resultater; reducerede BDD'er er unikke for hver funktion og muliggør effektiv manipulation af kombinatorisk logik inden for model checking, kredsløbsdesign og symbolsk beregning.
Læs hele metoden
Kun for medlemmer
Log indLog ind med en gratis konto for at læse dette afsnit.
Kilder
- 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ådan citerer du denne side
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/da/numerical-methods/binary-decision-diagram
Har du fundet en fejl på denne side? Indberet den eller foreslå en rettelse →