الگوریتم WalkSAT :
الگوریتم GSAT و الگوریتم WALKSAT از جمله روش های جستجوی محلی برای حل مسئله تصدیق پذیری دودویی (Satisfiability) می باشند. هر دو الگوریتم بر روی گزاره هایی به شکل CNF عمل میکنند. و کار خود را با مقدار دهی تصادفی به متغیر ها شروع میکنند. اگر این مقدار دهی منجر به ارزش درست برای گزاره شد کار تمام میشود وگرنه یک متغیر مقدارش تغییر میکند (flipped) و روال فوق تکرار میشود. تقاوت الگوریتم GSAT و WALKSAT در نحوه انتخاب متغیری است که مقدارش تغییر میکند.
برای آشنایی بیشتر با مسئله تصدیق پذیری دو دویی یا مسئله SAT مطالعه لینک زیر را پیشنهاد میکنم.
3-SAT Problem
یک مسئله satisfiability می باشد که در آن گزاره ها به شکل CNF می باشند و هر Clause تنها میتواند 3 متغیر (یا نقیض آن) را شامل شود. مسئله 3-SAT نیز جزو مسائل NP-Complete می باشد. به مسئله 3-SAT مسئله 3CNFSAT یا 3-Satisfiability نیز گرفته میشود.
جهت دریافت کد متلب الگوریتم WalkSAT به همراه فایل توضیحات خط به خط کد با ما تماس بگیرید.
جهت دریافت کد متلب الگوریتم GSAT به همراه فایل توضیحات خط به خط کد با ما تماس بگیرید.
شبه کد الگوریتم WALKSAT به صورت زیر می باشد:
جهت انجام پروژه در خصوص مسئله SAT و 3SAT با انواع الگوریتم های هوشمند و تکاملی با ما تماس بگیرید:
شماره تماس: 09120563264 (تلگرام و واتس اپ)
ایمیل : matlab24ir@gmail.com و یا info@matlab24.ir
حل مسئله 3-SAT با الگوریتم GSAT .
حل مسئله 3-SAT با الگوریتم WalkSAT .
حل مسئله 3-SAT با الگوریتم ژنتیک .
حل مسئله 3-SAT با الگوریتم PSO .
حل مسئله 3-SAT با الگوریتم ABC .
حل مسئله 3-SAT با الگوریتم DE .
