Algebraic decision diagram
एक बीजगणितीय निर्णय आरेख (ए. डी. डी.) या एक बहु-अंतिम द्विआधारी निर्णय आरेख (एम. टी. बी. डी. डी.), एक डेटा संरचना है जिसका उपयोग प्रतीकात्मक रूप से एक बूलियन फ़ंक्शन का प्रतिनिधित्व करने के लिए किया जाता है जिसका कोडोमेन एक मनमाना परिमित सेट एस है। ए. डी. डी. एक कम क्रमबद्ध द्विआधारी निर्णय आरेख का विस्तार है, या आमतौर पर साहित्य में द्विआधारी निर्णय आरेख (बी. डी. डी.) नाम दिया जाता है, जो टर्मिनल नोड्स बूलियन मान 0 (एफ. ए. एल. एस. ई.) और 1 (टी. आर. यू. ई.) तक सीमित नहीं हैं। टर्मिनल नोड्स स्थिरांक एस के एक सेट से कोई भी मान ले सकते हैं। परिभाषा एक एडीडी स्थिरांक एस के एक सीमित सेट या बीजगणितीय संरचना के वाहक के लिए एक बूलियन फ़ंक्शन का प्रतिनिधित्व करता है। ए. डी. डी. एक मूल, निर्देशित, चक्रीय ग्राफ है, जिसमें बी. डी. डी. की तरह कई नोड्स होते हैं। हालांकि, एक एडीडी में दो से अधिक टर्मिनल नोड्स हो सकते हैं जो बीडीडी के विपरीत सेट एस के तत्व हैं। एक एडीडी को बूलियन फलन, या एक सदिश बूलियन फलन के रूप में भी देखा जा सकता है, फलन के कोडोमेन का विस्तार करके, जैसे कि कुछ पूर्णांक एन के साथ और उसके लिए। इसलिए, बूलियन बीजगणित के प्रमेय एडीडी पर लागू होते हैं, विशेष रूप से बूल के विस्तार प्रमेय पर। प्रत्येक नोड को एक बूलियन चर द्वारा लेबल किया जाता है और इसके दो बहिर्गामी किनारे होते हैंः एक 1-किनारा जो मूल्य TRUE के लिए चर के मूल्यांकन का प्रतिनिधित्व करता है, और FALSE के लिए इसके मूल्यांकन के लिए एक 0-किनारा। एक ए. डी. डी. बी. डी. डी. (या रिड्यूस्ड ऑर्डर्ड बी. डी. डी.) के समान कमी नियमों को नियोजित करता हैः किसी भी समरूपी उपग्राफ का विलय करें, और किसी भी नोड को समाप्त करें जिसके दो बच्चे समरूपी हैं। ए. डी. डी. एक विशेष चर क्रम के अनुसार विहित होते हैं। मैट्रिक्स विभाजन एक ए. डी. डी. को मैट्रिक्स द्वारा उसके सह-कारकों के अनुसार दर्शाया जा सकता है। अनुप्रयोग एडीडी को पहले विरल मैट्रिक्स गुणन और सबसे छोटे पथ एल्गोरिदम (बेलमैन-फोर्ड, दोहराए गए वर्ग, और फ़्लॉइड-वॉर्शल प्रक्रियाएँ) के लिए लागू किया गया था। द्विआधारी निर्णय आरेख शून्य-दमित निर्णय आरेख संदर्भ आरेख ग्राफ डेटा संरचनाएँ भी देखें