استفاده از رویکرد تصادفی در حل مسئله ارضاپذیری بولی

در این پایان نامه سعی شده است تا یک الگوریتم تصادفی کاراتر برای حل مسئله ارضاپذیری بولی ارائه شود، که بدین منظور تکنیک پس گرد تصادفی را معرفی کرده ایم. سپس الگوریتم شانینگ که یکی از الگوریتم های شناخته شده در زمینه حل مسئله ارضاپذیری بولی می باشد به فرم پس گرد تصادفی انتقال یافته و رویکرد های ترتیب انتخاب متغیرها و ترتیب انتخاب عبارت ها(که اولین بار است معرفی می شود) به آن اضافه شده است. برای ارزیابی این الگوریتم جدید، آن را با سه الگوریتم شناخته شده دیگر مقایسه کرده ایم که نتایج خوبی حاصل شده است. دو ملاک برای ارزیابی این الگوریتم ها در نظر گرفته ایم، که شامل میانگین زمان اجرا و تعداد حل شده ها می باشند. این الگوریتم ها روی سه مجموعه متفاوت از نمونه ها در شرایط یکسان مورد ارزیابی قرار گرفته اند که الگوریتم پیشنهادی ما روی دو مجموعه از لحاظ هر دو ملاک رتبه نخست را به خود اختصاص داده است و روی مجموعه دیگر از لحاظ زمان اجرا بهترین و از لحاظ تعداد حل شده ها رتبه دوم را کسب کرده است.?