[論文レビュー] Explicit solution of a tropical optimization problem with application to project scheduling

Nikolai Krivulin|arXiv (Cornell University)|Mar 21, 2013

Polynomial and algebraic computation参考文献 26被引用数 6

ひとこと要約

本稿では、idempotent semifieldにおける共役転置を用いて定義される非線形目的関数を伴う多次元トロピカル最適化問題の明示的解を提示する。主な貢献は、鋭い下界と行列代数を用いて導出されたコン pact なベクトル形式の解であり、これは先行順序制約および開始時刻制約を伴うジャストインタイムプロジェクトスケジューリング問題に応用可能であり、スパンノルムを最小化する最適スケジュールを導く。

ABSTRACT

A new multidimensional optimization problem is considered in the tropical mathematics setting. The problem is to minimize a nonlinear function defined on a finite-dimensional semimodule over an idempotent semifield and given by a conjugate transposition operator. A special case of the problem, which arises in just-in-time scheduling, serves as a motivation for the study. To solve the general problem, we derive a sharp lower bound for the objective function and then find vectors that yield the bound. Under general conditions, an explicit solution is obtained in a compact vector form. This result is applied to provide new solutions for scheduling problems under consideration. To illustrate, numerical examples are also presented.

研究の動機と目的

• idempotent semifieldにおける共役転置を含む非線形目的関数を伴うトロピカル最適化問題の一般解枠組みを構築すること。
• 完了時刻のスパンノルムを最小化することを目的とするジャストインタイム制約下のプロジェクトスケジューリング問題を扱うこと。
• 先行研究では検討されていなかった追加の開始時刻間の先行制約を組み込むことで、既存の解法を拡張すること。
• 理論的分析および実装に適した、コン pact なベクトル形式の直接的で明示的な解を提供すること。
• 数値例を通じて、実世界のスケジューリング問題への解法の応用を示すこと。

提案手法

• 先行順序制約を表すために、idempotent semifieldにおける線形ベクトル等式および不等式を用いて問題を再定式化する。
• スパンノルムとして定義される非線形目的関数を、共役転置を含むベクトル形式で表現する。
• semifieldの性質および行列逆演算を用いて、目的関数の鋭い下界を導出する。
• 下界に到達するベクトルを特定することで、キャリア半体に基づく明示的解を構築する。
• トロピカル代数における線形不等式の解法に関する先行研究の結果を活用し、制約付き問題を制約なし問題に還元する。
• 最終的な解は、一般条件のもとで有効な行列積および逆演算を含む、コン pact なベクトル形式で表現される。

実験結果

リサーチクエスチョン

• RQ1 idempotent semifield設定下で、共役転置を含む非線形目的関数を伴う一般トロピカル最適化問題をどのように明示的に解くことができるか？
• RQ2 線形制約下でスパンノルムを最小化する場合、解の構造はいかなるものか？
• RQ3 解析的取り扱いの容易さを損なわずに、トロピカルプロジェクトスケジューリング問題に追加の開始時刻制約を組み込むにはどうすればよいか？
• RQ4 コン pact な明示的ベクトル形式の解が存在するための条件は何か？
• RQ5 本手法は、従来の間接的またはアルゴリズム的解法に比べて、スケジューリング問題の解決においてどのように改善をもたらすか？

主な発見

• スパンノルムの最小値は $\Delta = (\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-})^{-}\mathbb{1}$ で与えられ、特定の解のクラスで達成される。
• 最適解ベクトルは、任意の $\alpha > \mathbb{0}$ に対して $\bm{x} = \alpha\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$ および $\bm{y} = \alpha\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$ で与えられ、スケール不変性が示される。
• 開始時刻間の先行制約がない特殊ケースでは、最小スパンノルムは $\Delta = 0$ となり、共通の完了時刻を持つジャストインタイムスケジュールを示す。
• 開始時刻間の先行制約が含まれる場合、スパンノルムは $\Delta = 2$ に増加し、タイミング制限がスケジュールの柔軟性に与える影響が反映される。
• 本手法は等式および不等式制約を効果的に扱い、従来の反復的または計算的アプローチが必要であった問題に対し、直接的な解析的解を提供する。
• 数値例により、手法の有効性が確認された：$\bm{C}$ および $\bm{D}$ が与えられたとき、最適な $\Delta = 2$ が $\bm{x} = \alpha(-4, -3, -5)^T$、$\bm{y} = \alpha(0, 0, -2)^T$ で達成される。