人智导(四):约束满足问题
约束满足问题(Constraint Satisfaction Problem)
- 一种结构化的、简单而标准模式的问题表示
- 状态被描述为一系列变量 X i X_i Xi(对应的值域为 D i D_i Di)
- 目标测试:一个约束集,描述这些变量或子集允许的取值
CSP问题的定义
约束满足问题的定义:
- 变量集合: { X 1 , X 2 , … , X n } \{X_1,X_2,\dots ,X_n\} { X1,X2,…,Xn};约束集合: { C 1 , C 2 , … , C n } \{C_1,C_2,\dots ,C_n\} { C1,C2,…,Cn}。 X i X_i Xi对应的值域为 D i D_i Di; C i C_i Ci