Algebraic decision diagram
একটি বীজগাণিতিক সিদ্ধান্ত রেখাচিত্র (এডিডি) বা একটি মাল্টি-টার্মিনাল বাইনারি সিদ্ধান্ত রেখাচিত্র (এমটিবিডিডি) হল একটি তথ্য কাঠামো যা একটি বুলিয়ান ফাংশনকে প্রতীকীভাবে উপস্থাপন করতে ব্যবহৃত হয় যার কোডোমেইন একটি নির্বিচারে সীমাবদ্ধ সেট এস। একটি এডিডি হল একটি হ্রাসকৃত ক্রমযুক্ত বাইনারি সিদ্ধান্ত রেখাচিত্রের একটি সম্প্রসারণ, বা সাধারণত সাহিত্যে বাইনারি সিদ্ধান্ত রেখাচিত্র (বিডিডি) নামে পরিচিত, যা টার্মিনাল নোডগুলি বুলিয়ান মান 0 (মিথ্যা) এবং 1 (সত্য)-এর মধ্যে সীমাবদ্ধ নয়। টার্মিনাল নোডগুলি ধ্রুবক এস-এর একটি সেট থেকে যে কোনও মান নিতে পারে। সংজ্ঞা একটি এডিডি একটি বুলিয়ান ফাংশনকে ধ্রুবক এস-এর একটি সীমাবদ্ধ সেট বা বীজগাণিতিক কাঠামোর বাহক হিসাবে উপস্থাপন করে। একটি এডিডি হল একটি মূলযুক্ত, নির্দেশিত, অ্যাসাইক্লিক গ্রাফ, যার একটি বিডিডি-র মতো বেশ কয়েকটি নোড রয়েছে। যাইহোক, একটি এডিডি-তে দুটি টার্মিনাল নোড থাকতে পারে যা একটি বিডিডি-র বিপরীতে সেট এস-এর উপাদান। একটি এডিডিকে একটি বুলিয়ান ফাংশন বা ভেক্টরিয়াল বুলিয়ান ফাংশন হিসাবেও দেখা যেতে পারে, ফাংশনের কোডোমেইন প্রসারিত করে, যেমন কিছু পূর্ণসংখ্যা এন-এর সাথে এবং তার জন্য। অতএব, বুলিয়ান বীজগণিতের উপপাদ্যগুলি এডিডি-র ক্ষেত্রে প্রযোজ্য, বিশেষ করে বুলের সম্প্রসারণ উপপাদ্য। এর প্রতিটি নোডকে একটি বুলিয়ান পরিবর্তনশীল দ্বারা চিহ্নিত করা হয় এবং এর দুটি বহির্গামী প্রান্ত রয়েছেঃ একটি 1-প্রান্ত যা পরিবর্তনশীলের মূল্যের সাথে সত্যের মূল্যায়নের প্রতিনিধিত্ব করে এবং FALSE এর মূল্যায়নের জন্য একটি 0-প্রান্ত। একটি এডিডি বিডিডি (বা রিডিউসড অর্ডারড বিডিডি)-এর মতো একই হ্রাস নিয়ম প্রয়োগ করেঃ যে কোনও আইসোমরফিক সাবগ্রাফকে একত্রিত করে এবং যে কোনও নোডকে বাদ দেয় যার দুটি সন্তান আইসোমরফিক। এডিডিগুলি একটি নির্দিষ্ট পরিবর্তনশীল ক্রম অনুসারে ক্যানোনিকাল। ম্যাট্রিক্স পার্টিশনিং একটি এডিডি তার সহঘটক অনুসারে একটি ম্যাট্রিক্স দ্বারা প্রতিনিধিত্ব করা যেতে পারে। অ্যাপ্লিকেশন এডিডিগুলি প্রথমে বিরল ম্যাট্রিক্স গুণ এবং সংক্ষিপ্ততম পথ অ্যালগরিদমের (বেলম্যান-ফোর্ড, পুনরাবৃত্ত স্কোয়ারিং এবং ফ্লয়েড-ওয়ারশাল পদ্ধতি) জন্য প্রয়োগ করা হয়েছিল। আরও দেখুন বাইনারি সিদ্ধান্ত রেখাচিত্র শূন্য-দমনকৃত সিদ্ধান্ত রেখাচিত্র তথ্যসূত্র রেখাচিত্র গ্রাফ তথ্য কাঠামো