[論文レビュー] The Soft Cumulative Constraint

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

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

ひとこと要約

本稿では、罰則変数を用いてリソース容量制限を緩和することで、過制限な累積スケジューリング問題を扱うため、SoftCumulativeおよびRelSoftCumulative制約を導入する。スイープアルゴリズムとエネルギー推論を拡張し、開始時刻とコスト変数のフィルタリングを可能にし、効率的な下界推定と pruning を実現するとともに、時間区間全体での過負荷を管理する。

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.

研究の動機と目的

• 特定の時間点でリソース容量を超える過制限な累積スケジューリング問題に対処すること。
• ソフトな違反をモデル化するため、関連するコスト変数を伴う容量制限の緩和を可能にするグローバル制約の開発。
• 従来のスイープおよびエネルギー推論アルゴリズムを、過負荷とコスト変数の定義域を処理できるように拡張すること。
• 区間ベースのエネルギー的推論と時間範囲集約を用いて、合計コストの目的関数に対するタイトな下界を提供すること。
• 計算効率を維持しながら、開始時刻およびコスト変数の定義域の効率的な pruning を可能にすること。

提案手法

• 時間離散化されたコスト配列を用いて、ソフトな容量違反を伴う累積問題をモデル化する SoftCumulativeSum 制約を提案する。
• 累積過負荷を追跡し、mult でインデックス付けられた各時間区間に対して costarray 値を更新するようにスイープアルゴリズムを拡張する。
• 強制部分の合計と最小リソース使用量が理想容量を超える場合、非妥当な開始時刻範囲を削除するための pruning ルールを適用する。
• 集約コスト変数を用いたタスク区間におけるエネルギー推論を導入し、min(costVar[j]) と過負荷の過大評価を用いて下界を計算する。
• 表記法 4 を用いて # (I,j) を、区間 I と時間範囲 j が共有する時間点の数として計算し、区間ベースのコスト推定を可能にする。
• 各時間範囲ごとの過負荷を蓄積する costarray を維持し、蓄積過負荷が最小値を超えた場合に costVar の定義域を更新する。

実験結果

リサーチクエスチョン

• RQ1 リソース容量が特定の時間点で超過する場合、累積スケジューリング問題はどのように効果的に緩和できるか？
• RQ2 ソフト累積制約における開始時刻およびコスト変数の定義域に適用可能なフィルタリング技術は何か？
• RQ3 スイープアルゴリズムは、過負荷とタイトな下界を維持する上で、どのように過負荷を処理できるように拡張できるか？
• RQ4 時間範囲集約（mult を通じて）は、コスト変数の定義域の pruning と下界推定の正確性にどのような影響を与えるか？
• RQ5 エネルギー推論は、過負荷に対する罰則変数を伴うソフト制約をサポートするために、どのように拡張できるか？

主な発見

• SoftCumulativeSum 制約により、各時間範囲ごとに過負荷を表すコスト変数を導入することで、過制限な累積問題のモデル化が可能になった。
• スイープに基づくフィルタリングアルゴリズムは、累積過負荷に基づく開始時刻定義域の pruning を実現し、O(n log n) の時間計算量を達成した。
• Pruning Rule 6 により、蓄積過負荷が最小値を超えた場合に costVar[j] の定義域が削減され、境界のタイトニングが向上した。
• 区間ベースのエネルギー的推論により、交差する時間範囲における min(costVar[j]) と過大評価された過負荷の合計として、合計コストの下界が提供された。
• costarray のインクリメンタルな更新を通じて、コスト変数の定義域の効率的削減が可能となり、計算効率が維持された。
• mult ≥ 2 を用いることで、過負荷のタイトな過大評価が得られ、区間推論における下界の正確性が保証され、下界の過小評価が回避された。