[论文解读] The alldifferent Constraint: A Survey

Willem Jan van Hoeve|ArXiv.org|May 8, 2001

Constraint Satisfaction and Optimization参考文献 57被引用 91

一句话总结

本文对约束编程中 alldifferent 约束的过滤算法进行了全面综述，比较了从界一致性到超弧一致性的各类技术。文中提出了一种基于值图中最大匹配的高效算法，可在 O(√n ⋅ m) 时间内实现超弧一致性，显著优于以往的一般方法。

ABSTRACT

The constraint of difference is known to the constraint programming community since Lauriere introduced Alice in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies.

研究动机与目标

• 为约束满足问题中 alldifferent 约束的过滤技术提供实用且理论上的全面概述。
• 在 alldifferent 约束的背景下，比较不同层次的局部一致性——界一致性、范围一致性、弧一致性和超弧一致性——的差异。
• 提出并分析一种基于值图中最大匹配的高效算法，以实现超弧一致性。
• 建立通用过滤方法与所提出的基于匹配的方法之间的时间复杂度比较。
• 识别 alldifferent 约束过滤中的研究空白，并提出未来研究方向，包括降低代价的方法以及对称/动态变体。

提出的方法

• 构建一个值图，其中变量位于一侧，取值位于另一侧，边表示允许的赋值。
• 使用 Hopcroft-Karp 算法在值图中计算最大匹配，该算法的时间复杂度为 O(√n ⋅ m)。
• 应用 Berge 定理，通过分析从自由节点出发的偶数交替路径和环，识别属于任意最大匹配的边。
• 移除所有不属于任何最大匹配的边，以实现超弧一致性，确保变量域中无任何取值不可行。
• 使用 Tarjan 算法在残差图中计算强连通分量，以高效识别非匹配边。
• 通过检查最大匹配的大小是否等于变量数量来验证解的存在性；若不相等，则无解存在。

实验结果

研究问题

• RQ1 适用于 alldifferent 约束的不同层次局部一致性有哪些？它们在强度和计算成本上如何不同？
• RQ2 如何利用图论技术高效实现 alldifferent 约束的超弧一致性？
• RQ3 与通用的过滤方法相比，所提出的超弧一致性算法的时间复杂度是多少？
• RQ4 能否利用值图中的最大匹配来识别并移除 alldifferent 约束下变量域中所有不可行的取值？
• RQ5 当前 alldifferent 约束过滤技术的局限性以及潜在扩展方向是什么，包括对称和动态变体？

主要发现

• 所提出的算法在 O(√n ⋅ m) 时间内实现了 alldifferent 约束的超弧一致性，其中 n 为变量数量，m 为值图中的边数。
• 当变量域的大小被 d 限制时，该方法的时间复杂度为 O(dn√n)，显著优于通用超弧一致性算法的 O(d!/(d−n)!) 复杂度。
• 当最大匹配无法覆盖所有变量节点时，即 |M(GV)| < |XC| 时，该算法能正确检测出不可行性。
• 通过 Berge 定理，不属于任何最大匹配的边被移除，该定理通过从自由节点出发的偶数交替路径和环来刻画这些边。
• 过滤过程生成一个剪枝后的值图，其中仅保留在有效赋值中可能被使用的取值，从而确保正确性和完备性。
• 利用 Tarjan 算法计算强连通分量，可高效识别非匹配边，从而显著提升过滤步骤的整体效率。