登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
求解SAT问题的算法的研究进展
  • 摘要

    SAT问题是研究最广泛的NPC问题之一.由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法.因此设计出高效快速的SAT求解算法至今仍是研究热点.首先简要介绍了SAT问题;其次从完备算法、不完备算法和组合算法3个角度总结了新近的研究进展,深入分析了已有算法解决SAT问题的基本流程,并从适用问题类别、算法特点、求解效率等方面对各类先进的求解器进行了对比分析;最后讨论了求解SAT问题的算法面临的挑战,并对下一步研究工作进行了展望.

  • 作者

    郭莹  张长胜  张斌  GUO Ying  ZHANG Chang-sheng  ZHANG Bin 

  • 作者单位

    东北大学信息科学与工程学院 沈阳110819;宁夏理工学院电气信息工程学院 石嘴山753000/东北大学信息科学与工程学院 沈阳110819

  • 刊期

    2016年3期 ISTIC PKU

  • 关键词

    SAT问题  完备算法  不完备算法  组合算法  Satisfiability problem  Complete algorithm  Incomplete algorithm  Combination algorithm 

相似文献 查看更多>>
3.214.224.224