پایتون با جدول هش و استفاده از make و biud برای الگوریتم های گراف تصممی گیری دودویی (BDD) و گراف تصمیم گیری دودویی مرتب شده کاهش ROBDD
Publish Year: 1401
Type: Conference paper
Language: Persian
View: 516
This Paper With 21 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
Export:
Document National Code:
ICTI05_009
Index date: 30 October 2022
پایتون با جدول هش و استفاده از make و biud برای الگوریتم های گراف تصممی گیری دودویی (BDD) و گراف تصمیم گیری دودویی مرتب شده کاهش ROBDD abstract
بحث order ها درخت بهینه شده است. درخت با کمترین حجم بهینه سازی بهتر کمترین nod و کمترین شاخه، با merg کردن و حذف کردن به گراف کوچک تر میرسیم. شرط caminical بودن ordering متغیرها می باشد. Order یا همان ترتیب متغیرها به هم بر یزه دو تابع با BDD مختلف می دهد و اگر تابع همان تابع بدست آمد در ordering تابع منحصر بفرد بوده ترتیب متغیرها در تابع نهایی تاثیر می گذارد. ایجاد ROBDD با استفاده از Make, built این امر باعث کاهش درخت است. این مقاله با الگوریتم هیا مختلف به کاهش درخت دودویی می پردازد. هش کردن فضا- زمان است مقادیر در حداقل حافظه ذخیره می شود. جدول هش به یک آدرس یا کلید منحصر بفرد اختصاص دارد.
پایتون با جدول هش و استفاده از make و biud برای الگوریتم های گراف تصممی گیری دودویی (BDD) و گراف تصمیم گیری دودویی مرتب شده کاهش ROBDD Keywords:
درخت تصمیم گیری دودویی کاهش یافته , عملکرد Make و build جهت بهبود و کاهش نودهای درخت جدول هش
پایتون با جدول هش و استفاده از make و biud برای الگوریتم های گراف تصممی گیری دودویی (BDD) و گراف تصمیم گیری دودویی مرتب شده کاهش ROBDD authors
سپیده گوهری
دانشگاه آزاد اسلامی، واحد تهران شمال، دانشجوی دکتری مهندسی کامپیوتر
