Machine learningSymbolic Computation
Diagram Keputusan Biner
Diagram Keputusan Biner (BDD) ialah perwakilan kanonik yang cekap memori bagi fungsi Boolean yang dibangunkan oleh Randal Bryant pada tahun 1986. BDD ialah graf asiklik terarah yang menyandikan semua tugasan pemboleh ubah dan hasil; BDD yang dikurangkan adalah unik untuk setiap fungsi dan membolehkan manipulasi cekap logik kombinatorial dalam pemeriksaan model, reka bentuk litar, dan pengiraan simbolik.
Baca kaedah sepenuhnya
Ahli sahaja
Log masukLog masuk dengan akaun percuma untuk membaca bahagian 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 memetik halaman ini
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/ms/numerical-methods/binary-decision-diagram
Terjumpa masalah pada halaman ini? Laporkan atau cadangkan pembetulan →