基于改进的遗传算法求解可满足性问题.pdfVIP

＼、!兰兰兰竺 基于改进的遗传算法求解可满足性问题★ 曹国生 ， 贺毅朝 ， 李 敏 ， 王志功 ， 魏天星 (石家庄经济学院信息工程学院，石家庄050031) 摘要：遗传算法(GA)是由HoUnd提出的一种基于进化论的仿生算法。非常适于求解最优化问 题。为了更好地利用SGA求解SAT问题，在将SAT问题等价转换为f0，1}n上的多项式 是否存在零点的判断问题基础上，将局部搜索算法∞A)与SGA相结合，给出一种求解 3-SAT问题的改进混合遗传算法(MHGA)，并通过对随机大规模3一SAT问题实例的实 际求解验证了MHGA的可行性与有效性。 关键词：遗传算法；可满足性问题；De Morgen律：局部搜索 0 引言 殖、杂交、变异、竞争和选择等概念引入到算法中，将 搜索空间映射成遗传空间(或解空间)，解空间的一个 可满足性问题(SatisfiabilityProblem。SA日是由 体代表搜索空间的一个解．由特定数量的个体组成一 Cook证明的第一个NPC问题【lJ．它是计算科学中的典 个种群：GA将问题的一些可行解通过编码表示．这些 型问题之一。在人工智能、机器学习、VLSI集成电路设 已被编码的解即被当作群体中的个体f又称染色体)： 计与检测和数据库检索等领域有着重要的作用回。SAT 个体对环境适应能力的评价函数即为问题的目标函 问题的快速求解是该领域的研究热点之一．目前存在多 数，用于判定当前个体的优劣。此外，GA模拟遗传学 种算法，其一是完全算法。例如穷举搜索法、Davis— 中的杂交、变异、复制等设计进化操作算子．并基于优 Putnam算法和DPLL算法等圈．优点是能保证正确地 胜劣汰的选择方法来确定搜索方向．通过保留具有更 判断SAT问题的可满足性．缺点是随着问题规模的增 高平均适应值和更好个体的群体．经过若干次迭代后 大计算空间呈级数增长，计算效率很低。由于SAT问题 选出的适应能力最好个体。即是问题的最优解。 是NPC问题。其是否存在多项式时间算法目前还未解 决，为此人们提出了快速但不能严格保证可解的不完 示。 全算法，其代表算法有LocalSearch算法、遗传算法 算法1．SGA算法嘲 (G舢、模拟退火算法(SA)和微粒群算法(I，So)等嘲。 1．㈣： 遗传算法(GeneticAlgorithm。GA)tq是由美国学者 2．initialize P(t)；／／初始化个体 Holland提出的一种仿生算法．它基于达尔