[论文解读] The Soft Cumulative Constraint

Thierry Petit, Emmanuel Poder|ArXiv.org|Jul 6, 2009

Constraint Satisfaction and Optimization参考文献 3被引用 3

一句话总结

本文引入了 SoftCumulative 和 RelSoftCumulative 约束，通过使用惩罚变量放松资源容量限制，以处理过约束的累积调度问题。它扩展了扫掠算法和能量推理，用于过滤开始时间变量和成本变量，从而实现高效的下界估计与剪枝，同时管理时间区间内的过载问题。

ABSTRACT

This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.

研究动机与目标

• 解决在某些时间点资源容量被超出的过约束累积调度问题。
• 开发一种全局约束，通过关联的成本变量放松容量限制，以建模软性违反情况。
• 扩展传统扫掠算法和能量推理算法，以处理过载情况并管理成本变量的定义域。
• 通过基于区间的能量推理和时间范围聚合，为总成本目标提供紧致的下界。
• 在保持计算效率的同时，实现对开始时间变量和成本变量定义域的高效剪枝。

提出的方法

• 提出 SoftCumulativeSum 约束，通过时间离散化成本数组来建模存在软性容量违规的累积问题。
• 扩展扫掠算法，以追踪累积过载情况，并根据 mult 索引的每个时间区间更新 costarray 值。
• 应用剪枝规则，当强制部分之和与最小资源使用量超过理想容量时，移除不可行的开始时间范围。
• 在任务区间上应用能量推理，使用聚合成本变量，通过 min(costVar[j]) 和过载的高估值计算下界。
• 使用符号 4 计算 # (I,j) 作为区间 I 与时间范围 j 共享的时间点数量，从而实现基于区间的成本估计。
• 维护 costarray 以累积每个时间范围的过载量，并根据累积过载超过其最小值的情况更新 costVar 定义域。

实验结果

研究问题

• RQ1 当在某些时间点资源容量被超出时，如何有效放松累积调度问题？
• RQ2 在软性累积约束中，可对开始时间与成本变量定义域应用哪些剪枝技术？
• RQ3 如何调整扫掠算法以处理过载情况，并在放松的累积问题中保持紧致的下界？
• RQ4 通过 mult 实现的时间范围聚合对成本变量定义域剪枝和下界估计的准确性有何影响？
• RQ5 如何将能量推理扩展以支持带有惩罚变量的过载软性约束？

主要发现

• SoftCumulativeSum 约束通过为每个时间范围引入一个成本变量来表示过载，实现了对过约束累积问题的建模。
• 基于扫掠的剪枝算法在时间复杂度为 O(n log n) 的前提下，实现了基于累积过载的开始时间定义域剪枝。
• 剪枝规则 6 确保当累积过载超过其最小值时，costVar[j] 的定义域被缩减，从而提升边界紧致性。
• 基于区间的能量推理通过累加 min(costVar[j]) 和跨相交时间范围的过载高估值，为总成本提供下界。
• 通过 costarray 的增量更新，该方法实现了对成本变量定义域的高效缩减，同时保持计算效率。
• 通过使用 mult ≥ 2，该方法对过载提供了紧致的高估，确保在区间推理中不会出现低估，从而保证下界正确性。