登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
求解可满足问题的调查传播算法以及步长的影响规律
  • 摘要

    该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之后根据赋值倾向进行赋值的变量个数.该文根据模拟实验观察到步长对调查传播算法的影响规律,即随着步长的递增,算法的时间耗费以及算法的有效性都有近似单调递减的趋势.

  • 作者

    邵明  李光辉  李晓维  SHAO Ming  LI Guang-Hui  LI Xiao-Wei 

  • 作者单位

    中国科学院计算技术研究所信息网络室,北京,100080;中国科学院研究生院,北京,100039/中国科学院计算技术研究所信息网络室,北京,100080;中国科学院研究生院,北京,100039;浙江林学院信息系,杭州,311300

  • 刊期

    2005年5期 ISTIC EI PKU

  • 关键词

    可满足问题  因子图  调查传播算法  局部搜索算法  相变 

相似文献 查看更多>>
3.226.122.74