约束规划与人工智能

弧一致性

CSP的基本属性，对于由约束连接的每对变量，一个变量域中的每个值在另一个变量域中都有兼容值。AI优化这种一致性的应用以有效减少搜索空间。

← 返回