通过原子约束系统中结构化传播计算函数型与关系型盒一致性

盒一致性被观察到在通过将原表达式分解为原子约束得到的区间约束系统中，比混乱约束传播显示出指数级的更好性能。曾有人认为这种改进是由于避免了分解所致。本文我们认为，改进源于用更结构化的替代方案取代了混乱迭代。为此，我们区分了现有的盒一致性概念与关系盒一致性。我们指出，从计算角度来看，保持与方程组相关的约束系统中的函数结构是重要的。迄今为止，仅有人认为约束传播应公平进行。具备函数约束系统的额外结构后，可定义并实现计算有效的结构化、截断约束传播。现有的盒一致性算法即是此类方法之一。我们的研究结果表明，还有其他值得探索的方法。