Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (6): 1441-1445.

• 软件、算法与仿真 • 上一篇    下一篇

量子协同免疫算法用于SAT问题的求解

吴秋逸, 李阳阳, 焦李成   

  1. 西安电子科技大学智能信息处理研究所和智能感知与图像理解教育部重点实验室, 陕西, 西安, 710071
  • 收稿日期:2008-07-23 修回日期:2009-03-18 出版日期:2009-06-20 发布日期:2010-01-03
  • 作者简介:吴秋逸(1983- ),女,博士研究生,主要研究方向为模式识别,智能优化计算,工程优化.E-mail:diwudiwu@126.com
  • 基金资助:
    国家高技术研究发展计划(863项目)(2006AA01Z107);国家重点基础研究发展规划(973项目)(2006CB705700);国家自然科学基金项目(60703108);陕西省自然科学基金项目(2007F32)资助课题

Quantum cooperative immune algorithm for SAT problems

WU Qiu-yi, LI Yang-yang, JIAO Li-cheng   

  1. Key Lab. of Intelligent Perception and Image Understanding, Inst. of Intelligent Information Processing, Xidian Univ., Xi’an 710071, China
  • Received:2008-07-23 Revised:2009-03-18 Online:2009-06-20 Published:2010-01-03

摘要: 根据协同策略和量子免疫计算理论,提出一种求解SAT问题的量子协同免疫算法。该算法在将SAT问题转化为函数优化问题的基础上,采用多个子种群。分别采用量子比特编码来表达个体,采用通用的量子旋转门策略演化个体,采用量子交叉操作阻止早熟收敛;各种群独立演化,同时引入量子协同理论,采用协同算子使得算法的搜索效率更高。实验采用标准SATLAB库中的3 700个不同规模的问题对算法进行测试,并与简单克隆选择算法、量子遗传算法、量子免疫克隆选择算法进行比较。结果表明,量子协同免疫算法的平均成功率最高,平均运行时间和平均评价次数最少。

Abstract: A quantum cooperative immune algorithm for SAT problems is proposed,which is based on the synergism strategy and the principles of quantum-inspired immune computing.Based on converting the SAT problems into global problems,many subpopulations are adopted.Individuals in a population are represented by quantum bits(qubits).In the individual’s updating,the quantum rotation gate strategy and adjusting rotation angle mechanism are applied to accelerate convergence.By using the cooperative strategy,information among the subpopulation is exchanged and the diversity of population is improved.In experiments,3700 different benchmark SAT problems in SATLIB are used to test the performance of the quantum cooperative immune algorithm,moreover,the performance of QCIA is compared with the standard immune clonal selection algorithm(ICSA),quantum genetic algorithm and quantum glonal selection algorithm.All experimental results show that the success ratio of QCIA is the highest and that the run time and number of function evaluations are the least among the three algorithms.

中图分类号: