پایتون با جدول هش و ا استفاده از make و biud برای الگوریتم های گراف تصمیم گیری دودویی(bdd) وگراف تصمیم گیری دودویی مرتب شده کاهش :robdd

بحث order ها در خت بهینه شده است درخت با کمترین حجم بهینه سازی بهتر کمترین nod و کمترین شاخه , با merg کردن وحذف کردن به گراف کوچک تر میرسیم شرط caminical بودن ordering متغییرها می باشد order یا همان ترتیب متغییرها به هم بریزه دو تابع با bdd مختلف میدهد و اگر تابع همان تابع بدست آمددر ordering تابع منحصربفرد بوده ترتیب متغییرها در تابع نهایی تاثیر می گذارد ایجاد robdd با استفاده از built make, این امر باعث کاهش درخت است این مقاله با الگوریتم های مختلف به کاهش درخت دودویی می پردازد هش کردن فضا-زمان است مقادیر در حداقل حافظه ذخیره می شود جدول هش به یک آدرس یا کلید منحصر بفرد اختصاص دارد