Machine learningSymbolic Computation
Binary Decision Diagram
Binary Decision Diagrams (BDDs) คือการแทนฟังก์ชันบูลีนที่มีลักษณะเฉพาะตัวและประหยัดหน่วยความจำ ซึ่งพัฒนาโดย Randal Bryant ในปี 1986 BDD คือกราฟไม่มีวัฏจักรแบบมีทิศทางที่เข้ารหัสการกำหนดค่าตัวแปรและผลลัพธ์ทั้งหมด ส่วน BDD แบบลดรูป (reduced BDDs) จะมีลักษณะเฉพาะสำหรับแต่ละฟังก์ชัน และช่วยให้สามารถจัดการตรรกะเชิงการจัด (combinatorial logic) ได้อย่างมีประสิทธิภาพในการตรวจสอบแบบจำลอง (model checking), การออกแบบวงจร (circuit design) และการคำนวณเชิงสัญลักษณ์ (symbolic computation).
อ่านวิธีฉบับเต็ม
สำหรับสมาชิกเท่านั้น
เข้าสู่ระบบเข้าสู่ระบบด้วยบัญชีฟรีเพื่ออ่านส่วนนี้
แหล่งอ้างอิง
- 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
วิธีอ้างอิงหน้านี้
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/th/numerical-methods/binary-decision-diagram