Algebraic decision diagram
الجبرائی فیصلہ خاکہ (ADD) یا کثیر ٹرمینل بائنری فیصلہ خاکہ (MTBDD)، ایک ڈیٹا ڈھانچہ ہے جو علامتی طور پر بولین فنکشن کی نمائندگی کرنے کے لیے استعمال ہوتا ہے جس کا کوڈومین ایک صوابدیدی محدود سیٹ S ہے۔ ADD ایک کم ترتیب شدہ بائنری فیصلہ خاکہ کی توسیع ہے، یا ادب میں عام طور پر بائنری فیصلہ خاکہ (BDD) کے نام سے جانا جاتا ہے، جو ٹرمینل نوڈس بولین اقدار 0 (FALSE) اور 1 (TRUE) تک محدود نہیں ہیں۔ ٹرمینل نوڈس مستقلات S کے سیٹ سے کوئی بھی قدر لے سکتے ہیں۔ تعریف ایک ADD ایک بولین فنکشن کو مستقلات S کے ایک محدود سیٹ، یا الجبرائی ڈھانچے کے کیریئر کی نمائندگی کرتا ہے۔ اے ڈی ڈی ایک جڑا ہوا، ہدایت شدہ، سایکلک گراف ہے، جس میں بی ڈی ڈی کی طرح کئی نوڈس ہوتے ہیں۔ تاہم، ایک اے ڈی ڈی میں دو سے زیادہ ٹرمینل نوڈس ہو سکتے ہیں جو بی ڈی ڈی کے برعکس سیٹ ایس کے عناصر ہیں۔ فنکشن کے کوڈومین کو اس طرح بڑھا کر کہ کسی عدد n کے ساتھ اور اس کے لیے، ADD کو بولین فنکشن، یا ویکٹوریئل بولین فنکشن کے طور پر بھی دیکھا جا سکتا ہے۔ لہذا، بولین الجبرا کے نظریات ADD پر لاگو ہوتے ہیں، خاص طور پر بول کے توسیعی نظریہ پر۔ کے ہر نوڈ کو بولین متغیر کے ذریعہ لیبل کیا جاتا ہے اور اس کے دو باہر جانے والے کنارے ہوتے ہیں: ایک 1-کنارے جو متغیر کی قیمت TRUE کی تشخیص کی نمائندگی کرتا ہے، اور FALSE کی تشخیص کے لیے 0-کنارے۔ ایک اے ڈی ڈی بی ڈی ڈی (یا ریڈیوزڈ آرڈرڈ بی ڈی ڈی) کی طرح ہی تخفیف کے قوانین کو استعمال کرتا ہے: کسی بھی آئسومورفک ذیلی گراف کو ضم کریں، اور کسی بھی نوڈ کو ختم کریں جس کے دو بچے آئسومورفک ہوں۔ ADDs ایک خاص متغیر ترتیب کے مطابق کینونکل ہوتے ہیں۔ میٹرکس پارٹیشننگ ایک ADD کی نمائندگی میٹرکس کے ذریعے اس کے کوفیکٹرز کے مطابق کی جا سکتی ہے۔ ایپلی کیشنز ADDs کو سب سے پہلے اسپارس میٹرکس ضرب اور مختصر ترین پاتھ الگورتھم (بیل مین فورڈ، ریپیٹڈ اسکوائرنگ، اور فلائیڈ وارشل کے طریقہ کار) کے لیے لاگو کیا گیا تھا۔ بائنری فیصلہ خاکہ صفر دبا ہوا فیصلہ خاکہ حوالہ جات خاکہ گراف ڈیٹا ڈھانچے بھی دیکھیں۔