Machine learningSymbolic Computation
Binære beslutningsdiagrammer
Binære beslutningsdiagrammer (BDD-er) er en kanonisk, minneeffektiv representasjon av boolske funksjoner utviklet av Randal Bryant i 1986. En BDD er en rettet asyklisk graf som koder for alle variabeltilordninger og resultater; reduserte BDD-er er unike for hver funksjon og muliggjør effektiv manipulering av kombinatorisk logikk i modellkontroll, kretssignering og symbolsk beregning.
Les hele metoden
Kun for medlemmer
Logg innLogg inn med en gratis konto for å lese denne delen.
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
Slik siterer du denne siden
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/no/numerical-methods/binary-decision-diagram
Funnet en feil på denne siden? Rapporter eller foreslå en rettelse →