Machine learningSymbolic Computation
Binarni dijagram odlučivanja
Binarni dijagrami odlučivanja (BDD) kanonička su, memorijski učinkovita reprezentacija Booleovih funkcija koju je razvio Randal Bryant 1986. godine. BDD je usmjereni aciklički graf koji kodira sve dodjele varijabli i rezultate; reducirani BDD-ovi jedinstveni su za svaku funkciju i omogućuju učinkovitu manipulaciju kombinatoričkom logikom u provjeri modela, dizajnu sklopova i simboličkoj računici.
Pročitajte cijelu metodu
Samo za članove
Prijavite sePrijavite se besplatnim računom kako biste pročitali ovaj odjeljak.
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/hr/numerical-methods/binary-decision-diagram
Uočili ste pogrešku na ovoj stranici? Prijavite je ili predložite ispravak →