بهسازی پارامترهای حل کننده مساله صدق پذیری برای زمان بندی پروژه با منابع محدود چندحالته

مساله زمان بندی پروژه با منابع محدود چندحالته تعمیم مساله زمان بندی پروژه با منابع محدود تک حالته (RCPSP) است. هدف آن، انتخاب یک حالت اجرایی برای هر فعالیت به منظور زمان بندی پروژه با حداقل زمان اجرا است به طوری که محدودیت های پیش نیازی، منابع تجدیدپذیر و تجدیدناپذیر رعایت شوند. در روشی که اخیرا معرفی شده، این مساله در دو گام مجزا حل می شود. در گام نخست، با استفاده از مفاهیم جبر بول، درخت شمارشی و همچنین حل کننده مساله ی صدق پذیری، مساله زمان بندی پروژه با منابع محدود چند حالته به یک RCPSP تبدیل شده و در گام دوم با کمک یکی از الگوریتم های زمان بندی، RCPSP حل می شود. مشکل اساسی این روش، کم آوردن حافظه و زمان اجرای طولانی در برخی موارد است. در این مقاله سه راهکارجدید یعنی مرتب سازی و دو قاعده هرس برای رفع این مشکلات ارایه شده است.نتایج آزمون ها نشان می دهند که اعمال پیشنهادات در تعدیل مشکلات روش حل به میزان قابل توجهی موثر بوده و براساس معیارهای تعیین شده توانسته است در مواردی بیش از 88 درصد روند را بهبود بخشد. از این طریق نه تنها سرعت پردازش ارتقا یافته بلکه در میزان حافظه مورد نیاز نیز صرفه جویی شده است.