【高级算法】禁忌搜索算法解决3SAT问题(C++实现)

转载请注明出处：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,从每一个非零子句