سپیده گوهری - دانشگاه آزاد اسلامی، واحد تهران شمال، دانشجوی دکتری مهندسی کامپیوتر

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

درخت تصمیم گیری دودویی کاهش یافته، عملکرد Make و build جهت بهبود و کاهش نودهای درخت جدول هش