MAX-SAT问题的一种改进的禁忌搜索算法 |
| |
引用本文: | 刘飞.MAX-SAT问题的一种改进的禁忌搜索算法[J].福建电脑,2013,29(2). |
| |
作者姓名: | 刘飞 |
| |
作者单位: | 厦门大学计算机科学系 福建厦门361005 |
| |
摘 要: | 求解SAT问题的经典禁忌搜索算法TSSAT初始解是随机产生的,本文在传统的禁忌搜索算法的基础上提出了一种改进初始解的方法.通过对不同规模的随机SAT问题实例的测试表明,这种改进可以有效地提高禁忌搜索过程中求解SAT问题的效率.
|
关 键 词: | MAX-SAT问题 禁忌搜索 单纯形法 |
本文献已被 万方数据 等数据库收录! |
|