Machine learningSymbolic Computation
مخطط القرار الثنائي
مخططات القرار الثنائي (BDDs) هي تمثيل معياري فعال للذاكرة للدوال المنطقية طوره راندال براينت عام 1986. مخطط القرار الثنائي هو رسم بياني موجه لا دوري يشفر جميع تعيينات المتغيرات ونتائجها؛ مخططات القرار الثنائي المختزلة فريدة لكل دالة وتمكن من المعالجة الفعالة للمنطق التوافقي في التحقق من النماذج، وتصميم الدوائر، والحساب الرمزي.
اقرأ الطريقة كاملة
للأعضاء فقط
تسجيل الدخولسجّل الدخول بحساب مجاني لقراءة هذا القسم.
المصادر
- 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/ar/numerical-methods/binary-decision-diagram