MAX-SAT问题的一种改进的禁忌搜索算法

作者：刘飞

来源：福建电脑, 2013, (02): 103-105.

• MAX-SAT问题
• 禁忌搜索
• 单纯形法

求解SAT问题的经典禁忌搜索算法TSSAT初始解是随机产生的,本文在传统的禁忌搜索算法的基础上提出了一种改进初始解的方法。通过对不同规模的随机SAT问题实例的测试表明,这种改进可以有效地提高禁忌搜索过程中求解SAT问题的效率。

• 单位
  厦门大学