Machine learningSymbolic Computation
बाइनरी डिसीजन डायग्राम
बाइनरी डिसीजन डायग्राम (BDDs) बूलियन फ़ंक्शंस का एक कैनोनिकल, मेमोरी-कुशल प्रतिनिधित्व है जिसे 1986 में रैंडल ब्रायंट द्वारा विकसित किया गया था। 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/hi/numerical-methods/binary-decision-diagram