Machine learningSymbolic Computation
Binaarne otsustusdiagramm
Binaarsed otsustusdiagrammid (BDD) on Booli funktsioonide kanooniline, mälutõhus esitus, mille töötas välja Randal Bryant 1986. aastal. BDD on suunatud atsükliline graaf, mis kodeerib kõik muutujate väärtustused ja tulemused; redutseeritud BDD-d on iga funktsiooni jaoks unikaalsed ja võimaldavad tõhusat kombinatoorse loogika manipuleerimist mudelikontrollis, skeemidisainis ja sümboolses arvutuses.
Loe meetodi täielikku kirjeldust
Ainult liikmetele
Logi sisseSelle osa lugemiseks logi sisse tasuta kontoga.
Allikad
- 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
Kuidas sellele lehele viidata
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/et/numerical-methods/binary-decision-diagram
Märkasid sellel lehel viga? Teata sellest või paku parandust →