期刊文献+

基于改进的DS-BPSO算法求解3-SAT问题 被引量:1

下载PDF
导出
摘要 基于倒位算子改进的DS_BPSO算法求解随机3-SAT问题,实现了对粒子搜索空间的深度搜索,通过对随机产生的较大规模测试实例的计算表明:与原DS_BPSO算法相比较,改进后的算法对于规模为100-400的随机3-SAT实例的求解具有更好的性能。
出处 《软件导刊》 2010年第7期52-53,共2页 Software Guide
基金 河北省科技研究与发展项目(07216926) 石家庄经济学院学生科技基金项目(xy200912)
  • 相关文献

参考文献2

二级参考文献12

  • 1李未,黄文奇.一种求解合取范式可满足性问题的数学物理方法[J].中国科学(A辑),1994,24(11):1208-1217. 被引量:21
  • 2刘涛,李国杰.求解SAT问题的局部搜索算法及其平均时间复杂性分析[J].计算机学报,1997,20(1):18-26. 被引量:5
  • 3康立山 谢云 等.模拟退火算法.非数值并行算法(第一册)[M].北京:科学出版社,1998..
  • 4张德富 尹爱华 等.求解SAT问题的拟人神经网络算法[J].南京大学学报,2000,36(10):46-50.
  • 5Kennedy J.and Eberhart R.C.,Particle swarm optimization.Proceedings of the IEEE International Conference on Neural Networks (Perth).IEEE Service Center,Piscataway,NJ,IV.1995,1942 ~1948.
  • 6Eberhart R.C.and Kennedy J.,A new optimizer using particle swarm theory.The 6th Int'1 Symposium on Micro Machine and Human Science,Nagoya,Japan,1995.
  • 7徐宗本.计算智能-模拟进化计算,北京:高等教育出版社,2005.
  • 8Kennedy J.and Eberhart R.C.,A discrete binary particle swarm optimization.Procceedings of 1997 Conference on System,Man,and Cybern-etices.Piscataway,NJ,IEEEService Center,1997,4104~4109.
  • 9Clerc M.,Discrete particle swarm optimization illustrated by the Traveling Salesman Problem.http:// www.mauriceclerc.net,2000-2-29.
  • 10Frans Van den Bergh.An analysis of particle swarm optimizers[PhD dissertation].Pretoria:University of Pretoria,2001.

共引文献53

同被引文献12

  • 1姜新文.MSP问题及其求解研究.计算技术与自动化,2006,(4):145-159.
  • 2Jiang Xin-wen, Peng Li-hong, Wang Qi. MSP Problem: Its NP- Completeness and Its Algorithm [C] // The 5th International Conference on Ubiquitous Information Technologies and Appli- cations. 2010:101-105.
  • 3Cook S. The Complexity of Theory-proving Procedures [C] // Proceedings of 3rd Ann ACM Syrup on Theory of Computing. 1971:151-158.
  • 4Johnson D. The NP-completeness Column: An Ongoing Guide [J]. Journal of Algorithms, 1987,7:285-300.
  • 5Johnson D. The NP-completeness Column: An Ongoing Guide [J]. Journal of Algorithms, 1987,8 : 438-448.
  • 6Johnson D. The NP-completeness Column [J]. ACM transac- tions on Algorithms,2005: 160-176.
  • 7Agrawal M,Kayal N,Saxena N. PRIMES is in P [J]. Annals of Mathematics, 2004,2 781-793.
  • 8Deolalikar V. Vinay Deolalikar explains the proof that P=/=NP [EB/OL]. http://www, allvoices, com/contributed-news/647- 640t-vinay-deolalikar-explains-the-proof-that-p-np, 2010-08 06/ 2010-09-01.
  • 9Vardi M Y. On P, NP, and Computational Complexity [J]. Com- munications of the ACM,2010,53(ll):5.
  • 10Horbach A, Bartsch T, Briskom D. Using a SAT-solver to schedule sports leagues [J]. Journal of Scheduling,2012,1 117- 125.

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部