基于遗传算法的3_SAT问题判定.pdfVIP

第 卷 第 期 宁 夏 工 程 技 术 年 月 群 文章编号 一 一 一 基于遗传算法的 一 问题判定 王 晓 峰 贵州大学 计算机科学与技术学院 ,贵州 贵 阳 北方 民族大学 计算机科学与工程学院 ,宁夏 银川 摘 要 通过叶遗传算法的改进 , 引入 了聚类排序选择算子 ,将一个 一 的判定性 问题转换成一个 一 的 验证性 问题 ,同时加快 了算法的收敛程度 ,最后给 出了基本的求解算法 ,并分析 了该算法的复杂性 实验数据表 明 ,该算法的可靠性有较大地提 高 ,性能明显优于其他 同类算法 关键字 一 问题 遗传算法 公式 中图分类号 文献标 志码 一 基本知识 变元 , 在