我研究了弧一致性比向前检查要强，但是我不确定为什么会这样。据我所知，直觉上是因为前向检查仅会使当前变量与弧保持一致，但不能向前看并使所有其他变量与弧保持一致，而如果X从其域中失去值，则ar一致性将重新检查X的邻居。主要问题。但是令我困惑的是，如果正向检查使每个变量圆弧保持一致，那么它已经在做弧线一致性了，那么，圆弧一致性如何增强？我也知道正向检查失败时，但是我不明白为什么弧形一致性在类似情况下不会失败。
这是教科书中的弧向正向检查的定义-“每当分配变量X时，正向检查过程都会为其建立弧向一致性；”
谢谢！