Machine learningSymbolic Computation
Binārā lēmuma diagramma
Diagrammas ar bināriem lēmumiem (BDD) ir kanonisks, atmiņas ziņā efektīvs Boole algebras funkciju attēlojums, ko 1986. gadā izstrādāja Rendals Braients. BDD ir virzīts ahirālis grafs, kas kodē visus mainīgo piešķīrumus un rezultātus; reducētās BDD ir unikālas katrai funkcijai un nodrošina efektīvu kombinatoriskās loģikas manipulāciju model pārbaudē, shēmu projektēšanā un simboliskā aprēķināšanā.
Lasīt pilno metodes aprakstu
Tikai dalībniekiem
PieteiktiesPiesakieties ar bezmaksas kontu, lai lasītu šo sadaļu.
Avoti
- 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
Kā citēt šo lapu
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/lv/numerical-methods/binary-decision-diagram
Pamanījāt kļūdu šajā lapā? Ziņojiet vai ierosiniet labojumu →