Machine learningSymbolic Computation
Bináris döntési diagram
A bináris döntési diagram (Binary Decision Diagram, BDD) Randal Bryant által 1986-ban kifejlesztett kanonikus, memóriatakarékos Boole-függvény reprezentáció. A BDD egy irányított aciklikus gráf, amely az összes változói hozzárendelést és eredményt kódolja; a redukált BDD-k minden függvényre egyediek, és lehetővé teszik a kombinatorikus logika hatékony manipulálását modellellenőrzésben, áramköstervezésben és szimbolikus számításokban.
A teljes módszer elolvasása
Csak tagoknak
BejelentkezésJelentkezzen be ingyenes fiókkal a szakasz elolvasásához.
Források
- 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
Hogyan hivatkozzon erre az oldalra
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/hu/numerical-methods/binary-decision-diagram
Hibát talált ezen az oldalon? Jelentse, vagy javasoljon javítást →