Algebraic decision diagram
ஒரு இயற்கணித முடிவு வரைபடம் (ADD) அல்லது பல முனைய பைனரி முடிவு வரைபடம் (எம்டிபிடிடி) என்பது ஒரு பூலியன் செயல்பாட்டை அடையாளமாகக் குறிக்கப் பயன்படுத்தப்படும் ஒரு தரவு கட்டமைப்பாகும், அதன் கோடோமைன் ஒரு தன்னிச்சையான வரையறுக்கப்பட்ட தொகுப்பு எஸ். ஒரு ஏடிடி என்பது குறைக்கப்பட்ட வரிசைப்படுத்தப்பட்ட பைனரி முடிவு வரைபடத்தின் நீட்டிப்பாகும், அல்லது இலக்கியத்தில் பொதுவாக பெயரிடப்பட்ட பைனரி முடிவு வரைபடம் (பிடிடி), முனைய முனைகள் பூலியன் மதிப்புகள் 0 (FALSE) மற்றும் 1 (TRUE) க்கு மட்டுப்படுத்தப்படவில்லை. முனைய முனைகள் மாறிலிகளின் தொகுப்பிலிருந்து எந்த மதிப்பையும் எடுக்கலாம் எஸ். வரையறை ஒரு ADD ஒரு பூலியன் செயல்பாட்டை ஒரு வரையறுக்கப்பட்ட மாறிலிகளின் தொகுப்பு எஸ் அல்லது இயற்கணித கட்டமைப்பின் கேரியர் வரை குறிக்கிறது. ஒரு ADD என்பது ஒரு வேரூன்றிய, இயக்கப்படும், அசைக்ளிக் வரைபடமாகும், இது ஒரு BDD போன்ற பல முனைகளைக் கொண்டுள்ளது. இருப்பினும், ஒரு ADD ஒரு BDD போலல்லாமல், தொகுப்பு S இன் கூறுகளாக இருக்கும் இரண்டுக்கும் மேற்பட்ட முனைய முனைகளைக் கொண்டிருக்கலாம். ஒரு ADD ஐ ஒரு பூலியன் செயல்பாடாகவோ அல்லது ஒரு திசையன் பூலியன் செயல்பாடாகவோ பார்க்க முடியும், இது செயல்பாட்டின் கோடோமைனை விரிவுபடுத்துவதன் மூலம், சில முழு எண் n உடன் மற்றும் அதற்கு. எனவே, பூலியன் இயற்கணிதத்தின் கோட்பாடுகள் ADD க்கு பொருந்தும், குறிப்பாக பூலின் விரிவாக்க தேற்றம். ஒவ்வொரு முனையும் ஒரு பூலியன் மாறியால் பெயரிடப்பட்டுள்ளது மற்றும் இரண்டு வெளிச்செல்லும் விளிம்புகளைக் கொண்டுள்ளதுஃ TRUE மதிப்பிற்கான மாறியின் மதிப்பீட்டைக் குறிக்கும் 1-முனை, மற்றும் FALSE க்கு அதன் மதிப்பீட்டிற்கான 0-முனை. ஒரு ADD ஒரு BDD (அல்லது குறைக்கப்பட்ட வரிசைப்படுத்தப்பட்ட BDD) போன்ற குறைப்பு விதிகளைப் பயன்படுத்துகிறதுஃ எந்தவொரு ஐசோமார்பிக் துணை வரைபடங்களையும் ஒன்றிணைக்கிறது, மேலும் இரண்டு குழந்தைகள் ஐசோமார்பிக் கொண்ட எந்த முனையையும் நீக்குகிறது. ஒரு குறிப்பிட்ட மாறி வரிசையின் படி ADD கள் நியமன ரீதியானவை. மேட்ரிக்ஸ் பகிர்வு ஒரு ADD ஐ அதன் இணை காரணிகளின் படி ஒரு மேட்ரிக்ஸ் மூலம் குறிப்பிடலாம். பயன்பாடுகள் ADD கள் முதலில் குறைந்த மேட்ரிக்ஸ் பெருக்கம் மற்றும் குறுகிய பாதை வழிமுறைகளுக்கு (பெல்மேன்-ஃபோர்டு, ரிபீட்டட் ஸ்கொயரிங் மற்றும் ஃபிலாய்ட்-வார்ஷல் நடைமுறைகள்) செயல்படுத்தப்பட்டன. மேலும் காண்க பைனரி முடிவு வரைபடம் பூஜ்ஜிய-ஒடுக்கப்பட்ட முடிவு வரைபடம் குறிப்புகள் வரைபடம் வரைபட தரவு கட்டமைப்புகள்