Machine learningSymbolic Computation
Diagram rozhodovania pomocou binárnych hodnôt
Binárne rozhodovacie diagramy (BDD) sú kanonickou, pamäťovo efektívnou reprezentáciou Booleovských funkcií, vyvinutou Randalom Bryantom v roku 1986. BDD je orientovaný acyklický graf, ktorý kóduje všetky priradenia premenných a výsledky; redukované BDD sú pre každú funkciu jednoznačné a umožňujú efektívnu manipuláciu s kombinačnou logikou pri modelovom overovaní, návrhu obvodov a symbolických výpočtoch.
Prečítať celú metódu
Len pre členov
Prihlásiť saAk si chcete prečítať túto sekciu, prihláste sa s bezplatným účtom.
Zdroje
- 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
Ako citovať túto stránku
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/sk/numerical-methods/binary-decision-diagram
Našli ste na tejto stránke chybu? Nahláste ju alebo navrhnite opravu →