[論文レビュー] Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

Pierre Flener, Justin Pearson|arXiv (Cornell University)|Jan 29, 2014

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

ひとこと要約

本稿では、制約プログラミングを用いた空域セクタリゼーションにおける幾何的およびワークロード制約の形式的分析を提示し、体系的探索のための効率的なプロパゲーターおよび確率的局所探索のための違反/デルタ関数を提案する。CompactおよびConnected制約における制約の伝搬が限定的であることが判明し、効率性を向上させるために、滞在時間に基づく間接的モデリングを提唱する。

ABSTRACT

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some cost metric is minimised. We make a study of the constraints that arise in airspace sectorisation. For each constraint, we give an analysis of what algorithms and properties are required under systematic search and stochastic local search.

研究の動機と目的

• 空域セクタリゼーションにおける幾何的およびワークロード制約を制約プログラミングを用いて形式的に分析すること。
• 制約の一貫性を保証する体系的探索のための効率的なプロパゲーターを開発すること。
• 効率的な局所探索の移動の影響を迅速に探査できるように、段階的違反関数およびデルタ関数を設計すること。
• 現実のセクタリゼーション問題において、特にCompactおよびConnected制約において制約伝搬が限定的であるという課題に対処すること。
• 宣言的モデリングと手続き的ソルブの両方を支援する、問題に依存しない再利用可能な制約実装を提案すること。

提案手法

• 領域をセクタに割り当てるグラフ彩色の枠組みを用いて、空域セクタリゼーションを制約充足問題としてモデリングすること。
• Balanced Workload、Bounded Workload、Convexity、Connectedness、Compactnessなどの制約を、形式的な数学的仕様を用いて定義すること。
• 特に、Balanced制約における補助変数を介した間接的依存関係に注目し、一貫性を保証する体系的探索のためのプロパゲーターを設計すること。
• 制約違反の度合を定量化する違反関数と、局所探索の移動が与える影響を効率的に探査するデルタ関数を生成すること。
• 標準的なプロパゲーターが不十分であるため、NonBorderのような複雑な制約に対して自動機械に基づく制約を用いること。
• 監視および衝突ワークロードの加法的成分を統合する一方で、非加法的協調ワークロードのモデリングにおける課題を特定すること。

実験結果

リサーチクエスチョン

• RQ1 空域セクタリゼーションの体系的探索において、幾何的およびワークロード制約を効率的に強制するために必要なプロパゲーターの種類は何か？
• RQ2 確率的局所探索の過程で、制約違反およびその変化を効率的に維持・計算するにはどうすればよいか？
• RQ3 なぜCompactおよびConnected制約において制約伝搬が限定的となるのか？また、それを改善するための代替モデリングアプローチは何か？
• RQ4 滞在時間を介した間接的モデリングは、問題の意味論を損なわせることなく、伝搬をどの程度向上させ得るか？
• RQ5 制約実装を、異なるセクタリゼーション問題および探索戦略にわたって再利用可能にするにはどうすればよいか？

主な発見

• Balancedワークロード制約は、セクタ割り当てによって関数的に決定される補助変数に依存しており、伝搬が複雑かつ間接的である。
• CompactおよびConnected制約において、制約伝搬に顕著な制限が存在することが判明し、これにより過去の体系的探索アプローチの性能が低かったことが説明できる。
• 最大滞在時間制約（例：≤ t）を用いたCompactnessのモデリングが、変数のドメインが単一化する前までにより多くの伝搬を引き起こす手段として提案される。
• 確率的局所探索のための違反関数およびデルタ関数は、問題に依存しており、しばしばカスタムな数学的およびアルゴリズム的設計を要するため、再利用性が制限される。
• 協調ワークロードは非加法的であり、本研究ではモデリングされていない。これは今後の拡張における主要なギャップである。
• グラフ彩色と集合被覆の二重表現は有益である可能性があり、今後の研究ではそれらの間のチャネリングを検討することで制約処理を改善すべきである。