Machine learningSymbolic Computation
نمودار تصمیم دودویی
نمودارهای تصمیم دودویی (BDD) نمایشی متعارف و با حافظه کارآمد از توابع بولی هستند که توسط راندال برایانت در سال ۱۹۸۶ توسعه یافتهاند. یک BDD یک گراف جهتدار بدون دور است که تمام تخصیصهای متغیر و نتایج را رمزگذاری میکند؛ BDDهای کاهشیافته برای هر تابع منحصربهفرد هستند و دستکاری کارآمد منطق ترکیبی را در بررسی مدل، طراحی مدار و محاسبات نمادین امکانپذیر میسازند.
مطالعهٔ کامل روش
ویژهٔ اعضا
ورودبرای خواندن این بخش با حساب رایگان وارد شوید.
منابع
- 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/fa/numerical-methods/binary-decision-diagram
در این صفحه مشکلی دیدید؟ گزارش دهید یا اصلاحی پیشنهاد کنید →