基于DPLL的混合遗传算法求解SAT问题
【出 处】:《
计算机工程与科学
》
CSCD
2010年第32卷第5期 54-56页,共4页
【作 者】:
王晓峰
;
许道云
;
唐瑞雪
【摘 要】
基于“聚类排序选择”优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。
相关热词搜索: