Machine learningSymbolic Computation
Binarni dijagram odlučivanja
Binarni dijagrami odlučivanja (BDD) su kanonička, memorijski efikasna reprezentacija Bulovih funkcija koju je razvio Randal Bryant 1986. godine. BDD je usmereni aciklični graf koji kodira sve dodele promenljivih i rezultate; redukovani BDD su jedinstveni za svaku funkciju i omogućavaju efikasnu manipulaciju kombinatorne logike u proveri modela, dizajnu kola i simboličkom računarstvu.
Pročitajte celu metodu
Samo za članove
Prijavite sePrijavite se besplatnim nalogom da biste pročitali ovaj odeljak.
Izvori
- 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
Kako citirati ovu stranicu
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/sr/numerical-methods/binary-decision-diagram
Uočili ste grešku na ovoj stranici? Prijavite je ili predložite ispravku →