[论文解读] SLIDE: A Useful Special Case of the CARDPATH Constraint

Christian Bessière, Emmanuel Hébrard+3 more|ArXiv.org|Mar 3, 2009

Constraint Satisfaction and Optimization参考文献 13被引用 12

一句话总结

本文提出了 SLIDE，它是 CARDPATH 约束的一个特例，该约束要求在序列的每个位置上都满足给定约束。本文提出了一种完整的广义弧一致性（GAC）传播器用于 SLIDE，证明其能够编码并高效求解广泛范围的全局序列约束——在性能上可与专用传播器相媲美或超越，同时为约束工具包提供一种通用的建模原 primitive。

ABSTRACT

We study the CardPath constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CardPath where the slid constraint must hold always, can be used to encode a wide range of sliding sequence constraints including CardPath itself. We consider how to propagate SLIDE and provide a complete propagator for CardPath. Since propagation is NP-hard in general, we identify special cases where propagation takes polynomial time. Our experiments demonstrate that using SLIDE to encode global constraints can be as efficient and effective as specialised propagators.

研究动机与目标

• 将 SLIDE 识别并形式化为 CARDPATH 约束的一个有用特例，用于建模滑动序列约束。
• 为 SLIDE 开发一种完整的 GAC 传播器，解决先前 CARDPATH 传播器无法实现完全弧一致性的局限性。
• 证明 SLIDE 能够编码并高效求解一大类全局约束，包括 AmongSeq、Regular、Stretch 和 Lex。
• 评估 SLIDE 在与专用传播器及替代建模方法对比下的实际效率和可扩展性。
• 探索在 SLIDE 的 GAC 传播在一般情况下为 NP-难的前提下，其哪些结构特性可使传播保持多项式时间可计算。

提出的方法

• 将 SLIDE 定义为 CARDPATH 的一个特例，其中约束必须在序列中大小为 k 的每个窗口上成立。
• 根据约束结构，使用动态规划或对偶编码方法，提出一种完整的 SLIDE GAC 传播器。
• 识别 GAC 传播的多项式时间情况，例如当约束在单个变量上重叠或具有单调性时。
• 将复杂全局约束（如 Regular、Stretch、AmongSeq）编码为 SLIDE 约束，以实现统一的传播机制。
• 将二叉决策图（BDDs）作为潜在优化手段，用于在约束具有大量满足元组时存储支持。
• 在真实问题（如汽车排程和护士排班）上，实现 SLIDE 并与专用求解器（如 IloSequence）进行基准测试。

实验结果

研究问题

• RQ1 SLIDE 是否可作为编码多样化滑动序列约束的通用、可扩展的原 primitive？
• RQ2 SLIDE 上的 GAC 传播在一般情况下是否为 NP-难？若是，其约束的哪些结构特性可使传播在多项式时间内完成？
• RQ3 SLIDE 在 AmongSeq、Regular 和 Stretch 等约束上的性能与专用传播器相比如何？
• RQ4 SLIDE 是否能在实际应用中高效扩展至大域和高阶约束？
• RQ5 与 IloSequence 等替代建模技术相比，使用 SLIDE 的时间与内存开销如何权衡？

主要发现

• SLIDE 可通过统一且直观的分解方式，编码广泛范围的全局约束，包括 CardPath、AmongSeq、Regular、Stretch 和 Lex。
• 所提出的 SLIDE GAC 传播器实现了完全弧一致性，而先前的 CARDPATH 传播器仅能实现部分剪枝。
• 在汽车排程基准测试中，SLIDE 模型在 5 分钟超时内求解了 26 个实例，而 IloSequence 求解了 39 个，但 SLIDE 成功求解了 IloSequence 失败的 9 个实例。
• 尽管内存使用量更高（平均 22 MB 对比 IloSequence 的 5 MB），SLIDE 传播器仍保持可扩展性，即使在 arity 为 5、域大小为 30 的情况下也表现良好。
• 对于在单个变量上重叠或具有单调性的约束，SLIDE 的 GAC 传播是可 tractable 的，可通过动态规划或对偶编码高效计算。
• 使用 BDD 存储复杂约束的支持被识别为未来工作中提高效率的有前景方向。