%0 Journal Article
%T 随机约束满足问题的回溯算法分析
%A 李未
%A 许可
%J -
%D 2000
%X 提出一种新的随机CSP(constraint sa tisfaction problem)模型,并且通过研究搜索树的平均节点数,分析了回溯算法求解该模型 的平均复杂性.结果表明,这种模型能够生成难解的CSP实例,找到所有的解或证明无解所需的 平均节点数即随变量数的增加而指数增长.因此,该模型可以用来研究难解实例的性质和CSP 算法的性能等问题,从而有助于设计出更为高效的算法
%K 算法分析 平均复杂性 回溯算法 约束满足
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20001106&flag=1