连续数值约束的方向一致性

在连续约束上强制执行边界一致性通常首先将其分解为二元和三元原语。长期以来已经表明，这种分解会极大地减慢解的计算速度。为了解决这一问题，Benhamou等人提出了一种避免形式上分解约束的算法。与先前方法相比，其更高的效率已在实验中得到证明。本文表明，他们的算法实现了一种策略，在连续约束上强制执行一种类似于 Dechter 和 Pearl 为离散问题引入的方向边界一致性的一致性。在该框架下对该算法进行了分析，并与强制执行边界一致性的算法进行了比较。这些理论结果最终与在区间约束社区的标准基准上的新实验结果进行了对比。