人工智能 一种现代方法 第6章 用搜索树对问题求解
6.1定义约束满足问题(CSP)
变量的集合: X={X1, X2,...Xn}
值域:D={D1, D2...Dn}
约束关系:C
6.1.1地图着色问题
要求相邻区域颜色不同,可把问题形式化为CSP问题。
常规搜索只能问:这个解是目标吗?
CSP一旦发现某部分赋值不满足约束,便可立即剪枝,不再进一步求精。
6.1.2作业调度问题
过程约束:某部分工作需要在其他工作之前完成
洗去约束:几个工作之间不能有时间上的重合
6.1.3CSP的形式化
离散的、连续的、有限值域的、无限值域的
一元约束、二元约束、全局约束
任意有限值域的约束都可以引入约束变量而转换为二元约束
6.2约束传播:CSP中的推理
约束传播可以减小变量的合法取值范围,可