Algebraic decision diagram
બીજગણિત નિર્ણય આકૃતિ (એ. ડી. ડી.) અથવા બહુ-અંતિમ દ્વિસંગી નિર્ણય આકૃતિ (એમ. ટી. બી. ડી. ડી.) એ એક માહિતી માળખું છે જેનો ઉપયોગ બુલિયન કાર્યને પ્રતીકાત્મક રીતે રજૂ કરવા માટે થાય છે, જેનો કોડોમેન એક મનસ્વી મર્યાદિત સમૂહ એસ છે. એ. ડી. ડી. એ સાહિત્યમાં ઘટાડેલા ક્રમાંકિત દ્વિસંગી નિર્ણય આકૃતિનું વિસ્તરણ છે, અથવા સામાન્ય રીતે દ્વિસંગી નિર્ણય આકૃતિ (બી. ડી. ડી.) નામ આપવામાં આવ્યું છે, જે અંતિમ ગાંઠો બુલિયન મૂલ્યો 0 (FALSE) અને 1 (TRUE) સુધી મર્યાદિત નથી. અંતિમ ગાંઠો સ્થિરાંકોના સમૂહમાંથી કોઈપણ મૂલ્ય લઈ શકે છે S. વ્યાખ્યા ADD એ બુલિયન કાર્યને સ્થિરાંકો S ના મર્યાદિત સમૂહ અથવા બીજગણિત માળખાના વાહક તરીકે રજૂ કરે છે. એડીડી એ મૂળ, નિર્દેશિત, ચક્રીય આલેખ છે, જેમાં બીડીડી જેવા ઘણા ગાંઠો હોય છે. જો કે, ADDમાં બેથી વધુ ટર્મિનલ નોડ્સ હોઈ શકે છે, જે BDDથી વિપરીત સમૂહ Sના ઘટકો છે. એ. ડી. ડી. ને કાર્યના કોડોમેનને લંબાવીને બુલિયન કાર્ય અથવા વેક્ટરિયલ બુલિયન કાર્ય તરીકે પણ જોઈ શકાય છે, જેમ કે કેટલાક પૂર્ણાંક n સાથે અને તેના માટે. તેથી, બુલિયન બીજગણિતના પ્રમેયો એ. ડી. ડી. ને લાગુ પડે છે, ખાસ કરીને બુલના વિસ્તરણ પ્રમેયને. દરેક નોડને બુલિયન ચલ દ્વારા લેબલ કરવામાં આવે છે અને તેમાં બે આઉટગોઇંગ ધાર હોય છેઃ 1-ધાર જે ચલનું મૂલ્ય TRUE માટે મૂલ્યાંકન રજૂ કરે છે, અને FALSE માટે તેના મૂલ્યાંકન માટે 0-ધાર. એ. ડી. ડી. એ બી. ડી. ડી. (અથવા રિડ્યુસ્ડ ઓર્ડર્ડ બી. ડી. ડી.) જેવા જ ઘટાડાના નિયમોનો ઉપયોગ કરે છેઃ કોઈપણ આઇસોમોર્ફિક સબગ્રાફ્સને મર્જ કરો અને કોઈપણ નોડને દૂર કરો જેમના બે બાળકો આઇસોમોર્ફિક છે. ADDs ચોક્કસ ચલ ક્રમ અનુસાર કેનોનિકલ છે. મેટ્રિક્સ પાર્ટીશનિંગ એ. ડી. ડી. ને મેટ્રિક્સ દ્વારા તેના સહ-પરિબળો અનુસાર રજૂ કરી શકાય છે. એપ્લિકેશન્સ એડીડી સૌપ્રથમ વિરલ મેટ્રિક્સ ગુણાકાર અને ટૂંકી પાથ અલ્ગોરિધમ્સ (બેલમેન-ફોર્ડ, પુનરાવર્તિત સ્ક્વેરિંગ અને ફ્લોયડ-વોર્શલ પ્રક્રિયાઓ) માટે લાગુ કરવામાં આવી હતી. દ્વિસંગી નિર્ણય આકૃતિ ઝીરો-સપ્રેસ્ડ નિર્ણય આકૃતિ સંદર્ભો આકૃતિ આલેખ માહિતી માળખાં પણ જુઓ.