摘要
对于可满足性问题全部解(ALLSAT问题)的求解而言,随着问题规模增大,现有算法逐渐变得不适用.针对不能有效求解ALLSAT问题的现状,提出了一种多种群克隆免疫算法,该算法采用小生境方法和位爬山算法进行优化,维持种群多样性,提高算法收敛速度进行了算法收敛性分析.ALLSAT问题的求解结果表明,该算法是非常有效的.
For the solutions of ALLSAT（all solutions of satisfiability） problem,the existing algorithms are gradually becoming not applicable with the increase of the problem size.Therefor,a clonal immune algorithm based on multi-population is presented,and it is optimized by niche and bit climbing hill methods.Herein,population diversity is maintained and algorithm convergence speed is improved.Further,the convergence of the algorithm is analyzed.All results of application to ALLSAT show that the algorithm is very effective.
出处
《信息与控制》
CSCD
北大核心
2011年第1期34-38,共5页
Information and Control
基金
国家自然科学基金资助项目(60634020)
湖南省科技计划重点资助项目(2010GK2022)
关键词
可满足性问题
多种群
克隆免疫算法
位爬山算法
小生境
SAT（satisfiability） problem
multi-population
colonial immune algorithm
bit climbing hill
niche
