论文部分内容阅读
约束满足问题（Constraint Satisfaction Problem，CSP）是人工智能的一个重要研究方向，相关技术被广泛应用于配置、调度及规划等问题求解．但实际应用中，很多问题往往不存在满足所有约束的解，即呈现为过度约束．MaxCSP是处理过度约束一个简单而有效的框架，它的思想是求出满足尽可能多约束的解，其本质是约束优化问题．受元启发式算法在求解连续约束优化问题方面大量成功案例的启发，基于新近提出的作曲家算法（Method of Musical Composition，MMC）求解MaxCSP，