好神奇啊

摘要： 第六章 约束满足问题CSP 一、问题定义 问题定义 状态空间，状态被定义为在值域Di中的变量Xi； 当前状态； 转移模型； 目标测试，每个变量都有自己的赋值同时满足约束条件； 评估函数。 三个成分 X 是 变量 集合 $$ \{X_1,...,X_n\} $$ D 是 值域 集合 $$ \{D_1, 阅读全文