پایتون با جدول هش و استفاده از make و biud برای الگوریتم های گراف تصممی گیری دودویی (BDD) و گراف تصمیم گیری دودویی مرتب شده کاهش ROBDD
سال انتشار: 1401
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 414
فایل این مقاله در 21 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
این مقاله در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICTI05_009
تاریخ نمایه سازی: 8 آبان 1401
چکیده مقاله:
بحث order ها درخت بهینه شده است. درخت با کمترین حجم بهینه سازی بهتر کمترین nod و کمترین شاخه، با merg کردن و حذف کردن به گراف کوچک تر میرسیم. شرط caminical بودن ordering متغیرها می باشد. Order یا همان ترتیب متغیرها به هم بر یزه دو تابع با BDD مختلف می دهد و اگر تابع همان تابع بدست آمد در ordering تابع منحصر بفرد بوده ترتیب متغیرها در تابع نهایی تاثیر می گذارد. ایجاد ROBDD با استفاده از Make, built این امر باعث کاهش درخت است. این مقاله با الگوریتم هیا مختلف به کاهش درخت دودویی می پردازد. هش کردن فضا- زمان است مقادیر در حداقل حافظه ذخیره می شود. جدول هش به یک آدرس یا کلید منحصر بفرد اختصاص دارد.
کلیدواژه ها:
درخت تصمیم گیری دودویی کاهش یافته ، عملکرد Make و build جهت بهبود و کاهش نودهای درخت جدول هش
نویسندگان
سپیده گوهری
دانشگاه آزاد اسلامی، واحد تهران شمال، دانشجوی دکتری مهندسی کامپیوتر