约束规划中的一致性概念：

令为CSP。$P = (X, D, C)$

给定一组变量和上的局部一致实例化是 -一致当且仅当对于任何个变量存在值使得是局部一致的。CSP是变量的集合，上的任何局部一致的实例化都是一致的。$Y \subseteq X$$|Y| = k -1$$I$$Y$$k$$k$$x_{i_{k}} \in X \setminus Y$$v_{i_{k}} \in D(x_{i_{k}})$$I \cap \{ (x_{i_k}, v_{i_k}) \}$$P$$k$$Y$$k-1$$Y$$k$

例如，3-一致性确保任何对变量的任何实例化都可以扩展到涉及任何第三个变量的实例化，而不会违反任何约束。相当于路径一致性。同样，2-一致性也称为弧一致性。

我的问题是凸几何如何确保全局一致性，因为似乎一致性和凸性之间存在关系。因为具有路径（3）一致性的行凸约束保证了全局一致性。

任何人都可以帮助我找到研究途径或证明这种关系的方法吗？