标签： 弧一致性

问题背景 约束满足问题（Constraint Satisfaction Problem, CSP）是人工智能中的核心问题之一。一个CSP由三个要素组成： - 变量集合 $X = {X_1, X_2, ..., X_n}$ - 值域集合 $D = {D_1, D_2, ...,...