结合启发式算子的单变量边缘分布算法求解SAT问题

计算机科学 ›› 2008, Vol. 35 ›› Issue (5): 220-222.

结合启发式算子的单变量边缘分布算法求解SAT问题

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金资助项目（60374063）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 单变量边缘分布算法（UMDA）是一种新的进化算法，是求解复杂问题的一种有效算法。根据SAT问题的特点，本文提出了一种求解SAT问题的改进单变量边缘分布算法（HeUMDASAT），该算法结合SAT问题本身固有的结构信息与当前群体的优秀解所提供的全局信息，构造了一个新的启发算子，并将此算子结合到单变量边缘分布算法中。此算子不同于随机搜索算子，由其产生的个体可以使得算法跳出局部最优并探索新的潜在区域，并且加快算法的收敛速度。用SATLIB库中的标准SAT问题对HeUMDASAT算法进行测试，实验结果表明该算法在

关键词: 单变量边缘分布算法启发算子 SAT问题

Abstract: Univariate marginal distribution algorithm （UMDA） is a new evolutionary algorithm and is an efficient algorithm for complicate problem. According to the characteristics of SAT problem, an improved UMDA for solving SAT problem （HeUMDASAT） is proposed in th

Key words: Univariate marginal distribution algorithm （UMDA）, Heuristic operator, Satisfiability problem（SAT）

. 结合启发式算子的单变量边缘分布算法求解SAT问题[J]. 计算机科学, 2008, 35(5): 220-222. https://doi.org/