-
题名随机k-SAT问题的回溯算法分析
被引量：2
- 1
-
-
作者
许可
李未
-
机构
北京航空航天大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2000年第5期454-458,共5页
-
基金
国家"九七三"项目!( G19990 3 2 70 1)
教育部博士点基金
-
文摘
通过研究搜索树的平均节点数 ,分析了回溯算法求解随机 k- SAT问题的平均复杂性 ,结果表明 :找到实例所有的解或证明其无解所需的平均节点数随变量数 n的增加而指数增长 ;随着 r(子句数 /变量数 )的增大 ,求解将变得越来越容易 ,而且当 r趋近于无穷大时 ,以 n为指数 ,平均节点数的底数将无限地趋近于 1.因此 ,尽管回溯算法求解随机 k- SAT问题具有指数的平均复杂性 ,但当 r充分大以后 ,许多实例的求解将变得非常容易 .
-
关键词
算法分析
平均复杂性
回溯算法
随机k-sat问题
-
Keywords
analysis of algorithms, average complexity, backtracking algorithms, SAT problem
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
