约束满足问题

目录 1.CSP定义 2.与局部搜索的区别 3.如何形式化CSP 4.约束传播与局部相容性 5.CSP形式化为一个搜索问题（回溯） 6.CSP回溯搜索如何提高搜索效率 1.CSP定义 使用一组变量来描述状态，每个变量有自己的值。当每个变量都有自己的赋值同时满足所有关于变量的约束时，问题就得到了解决。 2.与局部搜索的区别 局部搜索一次为8个变量赋值，再调整取值；CSP部分赋值，一次为一个变量赋值。

>>阅读原文<<