一个约束可满足性问题的演化算法求解

摘要：

约束可满足性问题是一大类常出现于现实应用中的复杂问题[1],因其繁多的约束务件而出名.本文针对一个经典的约束可满足性问题--斑马属谁问题,基于演化算法的框架进行求解.我们采用矩阵的表示方式,并设计了相应的杂交和变异算子.实验表明,演化算法能高效地解决该问题.

关键词：约束可满足性问题、演化算法、斑马属谁问题

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60073043,70071042,60133010

在线出版日期：2004-06-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：137-139