您的位置： 专家智库 > >

叶立

作品数：1 被引量：4H指数：1
供职机构：华南理工大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇蚁群
  • 1篇蚁群算法
  • 1篇搜索
  • 1篇群算法
  • 1篇局部搜索

机构

  • 1篇华南理工大学

作者

  • 1篇王芙
  • 1篇周育人
  • 1篇叶立

传媒

  • 1篇计算机科学

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
调查传播算法和蚁群算法相结合求解可满足性问题被引量：4
2012年
布尔可满足性问题(Boolean Satisfiability Problem,SAT)是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法(Survey Propagation,SP)是求解SAT的一种非常高效的算法,但SP在难解区域极易不收敛,或者出现错误赋值。将SP算法与蚁群算法结合,把SP算法得到的消息值应用到蚁群算法中来求解3-SAT问题,使用这些消息值引导蚁群算法求解,并在算法中加入高效的局部搜索。新算法对于SP算法不收敛的一些实例也能很快找到解。
王芙周育人叶立
关键词：蚁群算法局部搜索
全选 清除 导出
共1页<1>
聚类工具0