国科大中科院算法讲义CSP与传播第六版.docxVIP

CS 问题和传播技术 本次课的内容 ? CSP 的相关概念 ? 解决 CSP 问题的方法 ? 传播技术 ? AC 、 GAC 算法 现实中约束(Constraint)的例子 ? 会议要在 10 点之前开始 ? 工资大于六千元 ? 网络的流量不低于 50M ? …… ? 约束无处不在，由此形成的约束可满足问 题也在计算机科学中扮演重要角色 Constraint Satisfaction Problem ? Constraint Satisfaction Problem ：中文一 般称为约束可满足问题，简称 CSP ? 一个 CSP 被看做是一个三元组 V,D,C ， 其中： V 是变量的集合 D 是每个变量的值域 C 是一组约束 ? 问题的目标是：求一个对变量的赋值，该 赋值满足 C 中所有的约束 一个 CSP 问题的例子 ? 课程时间表问题 ? 变量：每个课程对应一个变量，例如语文、数学、 外语等 ? 值域：每个变量的值域是可能的上课时间，例如： 上午九点、下午三点等 ? 约束：对课程做的一些限制。例如：语文课不能 在上午九点上课，两门课不能同时开课等 ? 目标：对于每一门课，求一个上课时间，所形成 的上课时间表要满足所有的约束 CSP 的描述方式 ? Extensional 方式：一个约束本质上是一些 变量的值域的笛卡尔集的子集，