MOZ·2016全国高校密码数学挑战赛.PDF

MOZ·2016 全国高校密码数学挑战赛 论文名称： 极大布尔多项式方程组可满足性问题的三种解法 参赛队员： 谢鹏程 司念文 指导教师： 乔 琛 单 位： 西安交通大学 联系方式： 9608186@ 2016 年12 月17 日 摘 要：本文提出了关于该问题的三种解法：基于遗传算法的解法、基于混合粒子群 算法的解法、基于平均分解策略和逐层优化组合方法的解法。 方法一采用遗传算法对问题进行建模。将遗传算法的种群作为方程组的解空间， 个体作为方程组的一个可行解。通过对个体进行二进制编码，并选取合适的个体适应 度评价函数，使得能让布尔方程组中值为0 的方程个数越多的个体，其对应的适应度 值越高。本文设计的个体适应度函数如下： len min len F ( X ) 1(1 i )m i max len min len  经过遗传算法中的选择、交叉和变异等操作，适应度高的个体优先被保留并遗传 到下一代，直到算法收敛，最终得到该问题的近似最优解。采用matlab 进行编程实现， 经过多次实验，选取最佳实验结果，得到最优解为182。 方法二采用混合粒子群算法对问题进行建模。通过改进标准的粒子群算法，设计 了针对该问题的粒子更新方案，将遗传算法中交叉和变异操作引入到粒子更新中，使 得粒子在不断地与个体最优和群体最优的交叉过程中不断移向最优值。同时，设计了 一种迭代更新策略，在一定阈值内不断地更新粒子，增加与群体最优交叉次数，提升 了粒子的全局搜索能力，算法收敛时得到问题的最优解。采用matlab 进行编程实现， 经过多次实验，选取最佳实验结果，得到最优解为179 。 方法三利用平均分解策略和逐层优化的组合方法。首先，将自变量集合依次分解 为 2 ，4 ，6，8 组，每组对应一个子集，每个子集自变量个数相同；然后，对每个子 集依次进行求解；同时，下一组自变量寻优建立在上一次的最优结果基础上。最后， 通过C 语言编程实现，求得最优解为172，约占所有方程总数的2/3 。 以上三种方法均成功解决该问题，并且我们对所得结果均进行了验证，提升了结 果可信度。综上所述，本题我们求得的最优结果为182。 关键词：布尔多项方程 最优化 遗传算法 混合粒子群算法 任务分解 目 录 第一章 概 述 1 1.1 背景分析 1 1.2 现状分析2 1.3 本文主要工作 3 第二章 基于遗传算法的解法4 2.1 符号说明 5 2.2 模型建立 6 2.3 模型求解 9 2.3.1 求解过程 9 2.3.2 最优结果 10 第三章 基于混合粒子群算法的解法 13 3.1 符号说明 14 3.2 模型建立 14 3.3 模型求解 16 3.3.1 求解过程 16 3.3.2 最优结果 17 第四章 基于平均分解策略和逐层优化组合方法的解法 19 4.1 符号说明 19 4.2 模型建立20 4.3 模型求解21 4.3.1 求解过程21 4.3.2 最优结果28 第五章 结论29 5.1 模型总结29 5.2 未来工作 30 参考文献 30 附 录 32 第一章 概 述 1.1 背景分析