Machine learningSymbolic Computation
Binární rozhodovací diagram
Binární rozhodovací diagramy (BDD) jsou kanonickou, paměťově efektivní reprezentací Booleovských funkcí, kterou vyvinul Randal Bryant v roce 1986. BDD je orientovaný acyklický graf kódující všechna přiřazení proměnných a výsledky; redukované BDD jsou pro každou funkci unikátní a umožňují efektivní manipulaci s kombinační logikou při ověřování modelů, návrhu obvodů a symbolických výpočtech.
Přečíst celou metodu
Pouze pro členy
Přihlásit sePro přečtení této sekce se přihlaste s bezplatným účtem.
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
Jak citovat tuto stránku
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/cs/numerical-methods/binary-decision-diagram
Našli jste na této stránce chybu? Nahlaste ji nebo navrhněte opravu →