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