سال انتشار: ۱۳۸۳

محل انتشار: دهمین کنفرانس سالانه انجمن کامپیوتر ایران

تعداد صفحات: ۸

نویسنده(ها):

محمد قاسم زاده – دانشگاه یزد
کریستف ماینل – دانشگاه پتسدام آلمان

چکیده:

این مقاله در ارتباط با مبحث الگوریتم ها و نظریه محاسبات می باشد انشعاب splitting و باز کردن تا unfolding دو روش پایه ای برای ارزیابی یک فرمول بولی مسور QBF می باشند QBF ها نقش مهمی در حل مسائل مطرح در علوم کامپیوتر دارند بدین جهت تمایل فزاینده ای برای کشف الگوریتمهای هرچه بهتر برای این مسئله وجود دارد اغلب حلهای ارایه شده تاکنون مبتنی بر روش انشعاب می باشند روش باز کردن تا از لحاظ حافظه مورد نیاز نمایی می باشد لذا برای مسائل بزرگ خیلی زود دچار مشکل می شود دراین مقاله نشان میدهیم چگونه می توان با تکیه بر ساختمان داده ای بنام ZDD و حذف بندهای فرعی براین مشکل فائق آمد.