پايتون با جدول هش و ا استفاده از make و biud براي الگوريتم هاي گراف تصميم گيري دودويي(BDD) وگراف تصميم گيري دودويي مرتب شده كاهش :ROBDD

بحث order ها در خت بهينه شده است درخت با كمترين حجم بهينه سازي بهتر كمترين nod و كمترين شاخه , با merg كردن وحذف كردن به گراف كوچك تر ميرسيم شرط caminical بودن ordering متغييرها مي باشد order يا همان ترتيب متغييرها به هم بريزه دو تابع با BDD مختلف ميدهد و اگر تابع همان تابع بدست آمددر ordering تابع منحصربفرد بوده ترتيب متغييرها در تابع نهايي تأثير مي گذارد ايجاد ROBDD با استفاده از built Make, اين امر باعث كاهش درخت است اين مقاله با الگوريتم هاي مختلف به كاهش درخت دودويي مي پردازد هش كردن فضا-زمان است مقادير در حداقل حافظه ذخيره مي شود جدول هش به يك آدرس يا كليد منحصر بفرد اختصاص دارد