基于优化冲突集提高下界的MAXSAT完备算法

• 作者: 何琨 刘燕丽 李初民
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: NP完全 最大可满足性问题 单子句传播 推理规则 失败文字
• 年，卷（期）: 2013,（10）
• 页码范围: 2087-2095
• 页数: 9页
• 分类号: TP301
• 字数: 8777字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.02087

摘要

最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算法Maxsatz2013.通过使用推理规则优先、改变单子句的传播顺序、进一步失败文字检测这3个优化策略,增加了检测到的冲突集数,从而有效地提高了下界.测试了MAXSAT 4个类别共800多个算例.实验结果表明,这3个优化冲突集的策略是可行且有效的,所提出的算法在每一类算例上均明显地提高了计算效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何琨	华中科技大学计算机科学与技术学院	31	263	10.0	16.0
2	刘燕丽	华中科技大学计算机科学与技术学院	16	74	5.0	8.0
6	李初民	亚眠大学计算机科学系	1	10	1.0	1.0