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

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