一种改进的警示传播算法求解Max-SAT问题

一种改进的警示传播算法求解Max-SAT问题
吴宇翔;王晓峰;丁红胜;于卓
【期刊名称】《计算机应用研究》
【年(卷),期】2022(39)8
【摘要】Max-SAT问题是SAT问题的优化版本,目标是在给定的子句集中找到一组变元赋值,使得满足子句数最多,该问题是典型的NP-hard问题。

随着大数据和人工智能的深度发展,过去原有的算法已不再适用,设计新的求解算法或对已有的求解算法进行优化是目前研究的热点。

针对警示传播算法求解随机Max-3-SAT问题的局限性,提出了一种基于变元权值计算的警示传播算法,结合随机游走算法,给出一种新型算法WWP+WalkSAT,通过改进求解的局限性,更好地得到一组有效的初始解,从而提高算法的局部搜索能力。

利用2016年Max-SAT国际竞赛部分基准实例,将WWP+WalkSAT算法与八种局部搜索算法进行精度方面的对比实验。

实验结果表明,WWP+WalkSAT算法有较好的性能。

【总页数】5页(P2290-2294)
【作者】吴宇翔;王晓峰;丁红胜;于卓
【作者单位】北方民族大学计算机科学与工程学院;北方民族大学图像图形智能处理国家民委重点实验室
【正文语种】中文
【中图分类】TP301
【相关文献】
1.MAX-SAT问题的一种改进的禁忌搜索算法
2.MAX-SAT问题一种改进的局部搜索算法
3.一个求解加权MAX-SAT问题的改进蚁群算法
4.一种求解命题公式骨干集的警示传播算法
5.一个求解加权MAX-SAT问题的改进算法
因版权原因，仅展示原文概要，查看原文内容请购买。