登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
随机k-SAT问题的回溯算法分析
  • 摘要

    通过研究搜索树的平均节点数,分析了回溯算法求解随机k-SAT问题的平均复杂性,结果表明:找到实例所有的解或证明其无解所需的平均节点数随变量数n的增加而指数增长;随着r(子句数/变量数)的增大,求解将变得越来越容易,而且当r趋近于无穷大时,以n为指数,平均节点数的底数将无限地趋近于1.因此,尽管回溯算法求解随机k-SAT问题具有指数的平均复杂性,但当r充分大以后,许多实例的求解将变得非常容易.

  • 作者

    许可  李未  XU Ke  LI Wei 

  • 作者单位

    北京航空航天大学计算机科学与工程系,北京,100083

  • 刊期

    2000年5期 ISTIC EI PKU

  • 关键词

    算法分析  平均复杂性  回溯算法  SAT问题 

相似文献 查看更多>>
34.226.244.70