转载请注明出处:http://blog.csdn.net/zhoubin1992/article/details/46440389
最近梳理,翻出了当年高级算法课程做的题目,禁忌搜索算法解决3SAT问题。
吐槽:数学符号如何在编辑器里打出来啊,为了保留符号,我直接截图了。
1 SAT问题描述
定理4.4.1:
赋值v为使CNF可满足的充要条件是f(x1,x2,…,xm)达到最小值0。
2 禁忌搜索算法
禁忌搜索算法是在局部搜索的过程中引进了贪心选择机制,并利用禁忌表修改邻域,通过构造的候选邻域来控制解得选择和接受过程。在搜索的过程中,禁忌搜索算法从上一步计算解的候选邻域里选择一个最好的解,即使这个解比上一步得到的解还差,也接受它,同时修改禁忌表,以避免该解在禁忌期限内再次被选择。
思路分析如下:
1 初始赋值
随机初始化变元值
2 候选邻域的构造:
对于当前的赋值X,从每一个非零子句中选出一个变元,所有选出的变元构成一个子变元集SVS。从SVS里选择一个变元,改变它的值,其他的变元值保持不变&#