登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
SAT问题中局部搜索法的改进
  • 摘要

    局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前的一些重要的SAT问题的局部搜索算法(如WSAT,TSAT,NSAT,SDF等)进行改进,通过对不同规模的随机3-SAT问题的实例和一些不同规模的结构性SAT问题的实例,以及利用相变现象构造的难解SAT实例测试表明,改进后的这些局部搜索算法的求解效率有了很大的提高.该方法对其他局部搜索法的改进具有参考价值.

  • 作者

    杨晋吉  苏开乐  Yang Jinji  Su Kaile 

  • 作者单位

    中山大学信息科学与技术学院计算机科学系,广州,510275;华南师范大学计算机科学系,广州,5106313/中山大学信息科学与技术学院计算机科学系,广州,510275;河南科技大学电子信息工程学院,洛阳,471003

  • 刊期

    2005年1期 ISTIC EI PKU

  • 关键词

    SAT问题  局部搜索  概率 

参考文献
  • [1] 黄文奇,张德富,汪厚祥. An Algorithm Based on Tabu Search for Satisfiability Problem. 计算机科学技术学报(英文版), 2002,3
  • [2] 许可,李未. SAT问题的相变现象. 中国科学(E辑), 1999,4
  • [3] J M Crawford;L.D.Auton. Experimental results on the crossover point in satisfiablity. Menlo Park CA:AAAI press, 1993
  • [4] M Davis;H Putnam. A computer procedure for quantification theory. Journal of the ACM, 1960,03
  • [5] . http:∥www.cirl.uoregon.edu/jc/beijing/blocks.cnf.bitadd.cnf
  • [6] G Jun. Local search for satisfiability (SAT) problem. IEEE Transactions on Systems Man and Cybernetics, 1993,04
  • [7] . http:// www.intellektik.informatik.tu-darmstadt.de/SATLIB/benchm.html.bw_large.b.cnf
  • [8] B.Selman;H.A.Kautz;B.Cohen. Noise strategies for improving local search. Menlo Park,CA:AAAI Press, 1994
  • [9] 张健. 逻辑公式的可满足性判定--方法、工具及应用. 北京:科学出版社, 2000
  • [10] D.McAllester;B.Selman;H.Kautz. Evidence for invariants in local search. Menlo Park,CA:AAAI Press, 1997
  • [11] . http://www.nlsde.buaa.edu.Cn/~kexu/benchmarks/benchmarks.htmfrb30_15_cnf.tar.gz
  • [12] K Iwama. CNF satisfiability test by counting and polynomial average time. SIAM Journal on Computing, 1989,02
  • [13] B.Selman;H.J.Levesque;D.G.Mitchell. A new method for solving hard satisfiability problems. CA:AAAI Press, 1992
  • [14] B.Mazure;L.Sais;E.Gregoire. Tabu search for SAT. CA:AAAI Press, 1997
  • [15] D Schuurmans;F Southey. Local search characteristics of incomplete SAT procedures. Artificial Intelligence, 2001,02
  • [16] Li Wei;Huang Wenqi. A mathematic-physical approach to the satisfiability problem. 中国科学A辑(英文版), 1995,01
查看更多︾
相似文献 查看更多>>
3.233.215.231