人工智能第六章——约束知足问题（CSP）

摘要 本文会讲清楚： 1）什么是CSP（约束知足问题） 2）约束传播与局部相容性 3）CSP形式化为一个搜索问题（回溯法） 4）如何提升搜索效率（变量/值的顺序，提早检查失败等）web 1、CSP 使用要素化来描述状态：一组变量，每一个变量有本身的值。当每一个变量都有本身的赋值同时知足全部关于变量的约束时，问题就获得了解决。这类问题就叫作约束知足问题（CSP），全称Constraint Satis

>>阅读原文<<