| 结合启发式算子的单变量边缘分布算法求解SAT问题 |
| |
| 引用本文： | 武燕,王宇平,刘小雄.结合启发式算子的单变量边缘分布算法求解SAT问题[J].中国药品标准,2008(5):220-222. |
| |
| 作者姓名： | 武燕 王宇平 刘小雄 |
| |
| 作者单位： | 武燕（西安电子科技大学理学院,西安,710071）;王宇平（西安电子科技大学计算机学院,西安,710071）;刘小雄（西北工业大学自动化学院,西安,710072） |
| |
| 摘 要： | 单变量边缘分布算法(UMDA)是一种新的进化算法,是求解复杂问题的一种有效算法.根据SAT问题的特点,本文提出了一种求解SAT问题的改进单变量边缘分布算法(HeUMDASAT),该算法结合SAT问题本身固有的结构信息与当前群体的优秀解所提供的全局信息,构造了一个新的启发算子,并将此算子结合到单变量边缘分布算法中.此算子不同于随机搜索算子,由其产生的个体可以使得算法跳出局部最优并探索新的潜在区域,并且加快算法的收敛速度.用SATLIB库中的标准SAT问题对HeUMDASAT算法进行测试,实验结果表明该算法在求解速度和成功率方面都有明显的改善.
|
| 关 键 词： | 单变量边缘分布算法 启发算子 SAT问题 |
Bayesian Optimization Algorithm for SAT Problem Incorporating Heuristic Operator |
| |
| Authors: | WU Yan WANG Yu-ping LIU Xiao-xiong |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《中国药品标准》浏览原始摘要信息 |
| 点击此处可从《中国药品标准》下载免费的PDF全文 |
|
