您的位置： 专家智库 > >

黄飞

作品数：1 被引量：3H指数：1
供职机构：武汉科技大学理学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇分支限界
  • 1篇NP难问题

机构

  • 1篇武汉科技大学

作者

  • 1篇刘燕丽
  • 1篇张婷
  • 1篇黄飞

传媒

  • 1篇南京大学学报...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于环型扩展推理规则的MaxSAT完备算法被引量：3
2015年
最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝率和算法性能.在已有的工作基础上,针对环型结构冲突集进行分析,找到与步长大于2的环型结构冲突集等价的新子句集,并利用整数规划证明了新子句集和冲突集的MaxSAT等价性.该环型扩展推理规则产生的新3元子句亦可以提高冲突集数,提高下界.在Maxsatz2013算法的基础上实现了新算法Maxsatce.测试了MaxSAT竞赛4个类别算例集.实验结果表明环型扩展推理规则对子句长度大于等于3的MaxSAT问题,可以提高二叉树分支点的下界值,最终有效地缩减算例运算时间.
刘燕丽黄飞张婷
关键词：NP难问题分支限界
全选 清除 导出
共1页<1>
聚类工具0