期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
O(m^2)时间求解SAT问题的随机算法 被引量:5
1
作者 徐云 陈国良 +1 位作者 许胤龙 顾钧 《计算机学报》 EI CSCD 北大核心 2001年第11期1136-1141,共6页
传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 .该文提出了两个时间复杂度为 O( m2 )求解 SAT问题的随机算法 Sat Test1和 Sat Test2 ,这里 m为CNF公式中的子句数 .这... 传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 .该文提出了两个时间复杂度为 O( m2 )求解 SAT问题的随机算法 Sat Test1和 Sat Test2 ,这里 m为CNF公式中的子句数 .这两个随机算法是通过对不满足解数的估计来判断 SAT问题的可满足性 ,不同于传统的随机算法 .其中第二个算法 Sat Test2在搜索满足解的同时又可以对不满足解数进行估计 ,是对传统随机算法的重要改进 .试验结果表明 ,文中提出的算法对相变区域的难 SAT实例有较好的求解能力 . 展开更多
关键词 SAT问题 随机算法 数学期望 NP问题 计算机
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部