Machine learningSymbolic Computation
Binaire Beslissingsdiagram
Binaire Beslissingsdiagrammen (BDD's) zijn een canonieke, geheugenefficiënte representatie van Booleaanse functies, ontwikkeld door Randal Bryant in 1986. Een BDD is een gerichte acyclische graaf die alle variabeletoekenningen en resultaten codeert; gereduceerde BDD's zijn uniek voor elke functie en maken efficiënte manipulatie van combinatorische logica mogelijk in model checking, circuitontwerp en symbolische berekeningen.
Lees de volledige methode
Alleen voor leden
InloggenLog in met een gratis account om dit onderdeel te lezen.
Bronnen
- 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
Deze pagina citeren
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/nl/numerical-methods/binary-decision-diagram
Een fout op deze pagina gezien? Meld het of stel een correctie voor →