Machine learningSymbolic Computation
תרשים החלטה בינארי
תרשימי החלטה בינאריים (BDDs) הם ייצוג קנוני ויעיל מבחינת זיכרון של פונקציות בוליאניות, שפותח על ידי רנדל בריאנט בשנת 1986. BDD הוא גרף מכוון א-ציקלי המקודד את כל השמות והתוצאות של המשתנים; BDDs מופחתים הם ייחודיים לכל פונקציה ומאפשרים מניפולציה יעילה של לוגיקה קומבינטורית בבדיקת מודלים, תכנון מעגלים וחישוב סימבולי.
קראו את השיטה במלואה
לחברים בלבד
התחברותהתחברו עם חשבון חינמי כדי לקרוא חלק זה.
מקורות
- 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/he/numerical-methods/binary-decision-diagram