贵州省科学技术基金(J[2007]2003)
- 作品数：2 被引量：3H指数：1
- 相关作者：许道云唐瑞雪王晓峰李厚银万武族更多>>
- 相关机构：贵州大学更多>>
- 发文基金：贵州省科学技术基金贵州省优秀科技教育人才省长资金项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于DPLL的混合遗传算法求解SAT问题被引量：3
- 2010年
- 基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。
- 王晓峰许道云唐瑞雪
- 关键词：SAT问题遗传算法
- 求解SAT问题的线性半定规划算法
- 2009年
- 将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题,然后松弛为线性规划模型,最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定规划问题后,规定了如何根据目标函数值去判定SAT实例和当CNF公式可满足时如何根据最优指派的概率xi*(i=1,…,n)去进行变元赋值,以期求得该公式的可满足指派。上述算法不仅可以判定SAT问题,而且对于符合算法规定可满足的CNF公式皆可给出一个可满足指派。求解SAT问题的线性半定规划算法在文章中被描述并被给予相应算例。
- 李厚银许道云万武族
- 关键词：SAT问题整数规划线性规划
