Machine learningSymbolic Computation
Diagram Keputusan Biner
Diagram Keputusan Biner (BDD) adalah representasi kanonik yang efisien memori dari fungsi Boolean yang dikembangkan oleh Randal Bryant pada tahun 1986. BDD adalah graf asiklik berarah yang mengkodekan semua penugasan variabel dan hasil; BDD tereduksi unik untuk setiap fungsi dan memungkinkan manipulasi efisien dari logika kombinatorial dalam pemeriksaan model, desain sirkuit, dan komputasi simbolik.
Baca metode selengkapnya
Khusus anggota
MasukMasuk dengan akun gratis untuk membaca bagian ini.
Sumber
- 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
Cara menyitasi halaman ini
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/id/numerical-methods/binary-decision-diagram
Menemukan masalah di halaman ini? Laporkan atau usulkan perbaikan →