随机K-SAT问题相关硕士博士期刊学术论文

通过研究搜索树的平均节点数，分析了回虎法求解随机ｋ－ＳＡＴ问题的平均复杂性，结果表明：找到实例所有的解或证明其无解所需的平均节九随变量数......