登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
O(m2)时间求解SAT问题的随机算法
  • 摘要

    传统的求解SAT问题的随机算法主要是对满足解进行搜索,在找不到满足解的情况下,则无法正确判断问题的可满足性.该文提出了两个时间复杂度为O(m2)求解SAT问题的随机算法SatTest1和SatTest2,这里m为CNF公式中的子句数.这两个随机算法是通过对不满足解数的估计来判断SAT问题的可满足性,不同于传统的随机算法.其中第二个算法SatTest2在搜索满足解的同时又可以对不满足解数进行估计,是对传统随机算法的重要改进.试验结果表明,文中提出的算法对相变区域的难SAT实例有较好的求解能力.

  • 作者

    徐云  陈国良  许胤龙  顾钧 

  • 作者单位

    中国科学技术大学计算机科学与技术系,/中国科学技术大学计算机科学与技术系;香港科技大学计算机系

  • 刊期

    2001年11期 ISTIC EI PKU

  • 关键词

    SAT问题  随机算法  数学期望  不满足解数 

参考文献
  • [1] 李未;黄文奇. 一种求解合取范式可满足性问题的数学物理方法. 中国科学A辑, 1994,11
  • [2] Wu L C;Tang C Y. Solving the satisfiability problem by using randomized approach. Information Processing Letters, 1992
  • [3] Koutsoupias E;Papadimitriou C H. On the greedy algorithm for satisfiability. Information Processing Letters, 1992
  • [4] Gupta R;Smolka S A;Bhaskar S. On randomization in sequential and distributed algorithms. ACM COMPUTING SURVEYS, 1994,01
  • [5] KARP R M. An introduction to randomized algorithms. Discrete Applied Mathematics, 1991
  • [6] IWAMA K. CNF satisfiability test by counting and polynomial average time. SIAM Journal on Computing, 1989,02
  • [7] Dubois O. Counting the number of solutions for instances of satisfiability. Theoretical computer science, 1991
  • [8] Dubois O;Carlier J. Probabilistic approach to the satisfiability problem. Theoretical computer science, 1991
  • [9] GuJ. Local search for satisfiability (SAT) problem. IEEE Transactions on Systems Man and Cybernetics, 1993,04
  • [10] KARP R M;Luby M;Madras N. Monte-Carlo approximation algorithms for enumeration problems. Journal of Algorithms, 1989
  • [11] Motwani R;Raghavan P. Randomized Algorithms. New York: Cambridge University Press, 1995
  • [12] Selman B;Levesque H;Mitchell D. A new method for solving hard satisfiability problems. San Jose CA, 1992
  • [13] Selman B;Kautz H;McAllester D. Computational challenges in propositional reasoning and search. Nagoya Japan, 1997
查看更多︾
相似文献 查看更多>>
34.226.244.70