یک الگوریتم سریع برای چند مسئله مشکل
- سال انتشار: 1383
- محل انتشار: دهمین کنفرانس سالانه انجمن کامپیوتر ایران
- کد COI اختصاصی: ACCSI10_212
- زبان مقاله: فارسی
- تعداد مشاهده: 1360
نویسندگان
دانشگاه یزد
دانشگاه پتسدام آلمان
چکیده
این مقاله در ارتباط با مبحث الگوریتم ها و نظریه محاسبات می باشد انشعاب splitting و باز کردن تا unfolding دو روش پایه ای برای ارزیابی یک فرمول بولی مسور QBF می باشند QBF ها نقش مهمی در حل مسائل مطرح در علوم کامپیوتر دارند بدین جهت تمایل فزاینده ای برای کشف الگوریتمهای هرچه بهتر برای این مسئله وجود دارد اغلب حلهای ارایه شده تاکنون مبتنی بر روش انشعاب می باشند روش باز کردن تا از لحاظ حافظه مورد نیاز نمایی می باشد لذا برای مسائل بزرگ خیلی زود دچار مشکل می شود دراین مقاله نشان میدهیم چگونه می توان با تکیه بر ساختمان داده ای بنام ZDD و حذف بندهای فرعی براین مشکل فائق آمد.کلیدواژه ها
مقالات مرتبط جدید
- ارزیابی اقتصادی و زیست محیطی سناریوهای ترکیب انرژی تجدیدپذیر در برنامه ریزی تولید برق ایران تا افق ۱۴۱۰
- بررسی فناوریها و استراتژیها برای بهینه سازی مصرف انرژی و افزایش کارایی در شبکه های توزیع
- فناوری اطلاعات و ارتباطات سبز
- Hoo Controller Design for a Quadruple-Tank Multivariable System: Robust Performance via Weighted Sensitivity Shaping
- تاثیر حیاتی همبستگیهای آماری ضعیف بادبار بر قابلیت اطمینان سیستمهای قدرت: دیدگاهی فراتر از مدلهای سنتی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.