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

关键词: 约束可满足性问题 演化算法 斑马属谁问题 优化问题 计算机