北大公开课-人工智能基础 36 约束满足问题之约束传播

对于常规搜索，只能进行搜素功能

而对于CSP类型问题，除了搜索功能之外，还能进行约束传播

可以理解约束传播是一类特殊的约束满足问题

一种局部的约束满足搜索情况

考虑到局部的约束搜索情况

只包括：节点一致性、弧一致性、路径一致性、k值一致性（都可以看成局部的节点、弧、路径和k值的一致性）

局部节点一致性（线性约束满足，或者可以称为一元约束满足，单一条件下的约束满足）

局部弧一致性（曲线/函数约束满足，或者叫二元一致满足，双重条件下的约束满足）

局部弧一致性的约束满足算法

局部路径一致满足（定义两个变量中间点的约束满足条件）

k值一致满足，泛化的局部约束满足情况

用局部约束满足算法，来解决n维的数独问题