Machine learningSymbolic Computation
Binäre Entscheidungsdiagramme
Binäre Entscheidungsdiagramme (BDDs) sind eine kanonische, speichereffiziente Darstellung von Booleschen Funktionen, die 1986 von Randal Bryant entwickelt wurde. Ein BDD ist ein gerichteter azyklischer Graph, der alle Variablensubstitutionen und Ergebnisse kodiert; reduzierte BDDs sind für jede Funktion eindeutig und ermöglichen eine effiziente Manipulation kombinatorischer Logik in Model Checking, Schaltungsentwurf und symbolischer Berechnung.
Die vollständige Methode lesen
Nur für Mitglieder
AnmeldenMelden Sie sich mit einem kostenlosen Konto an, um diesen Abschnitt zu lesen.
Quellen
- 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
So zitieren Sie diese Seite
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/de/numerical-methods/binary-decision-diagram
Einen Fehler auf dieser Seite entdeckt? Melden oder Korrektur vorschlagen →