[論文レビュー] Idempotent interval analysis and optimization problems

Grigori Litvinov, Andreĭ Sobolevskiĭ|ArXiv.org|Jan 10, 2001

Numerical Methods and Algorithms参考文献 17被引用数 10

ひとこと要約

本稿では、特にmax-plus代数を含むidempotent半体の代数的構造を活用することで、区間不確実性を伴う最適化問題を解くための新しい枠組み、idempotent区間解析を導入する。この設定では区間系が多項式時間で解けることが示され、従来の区間線形代数とは異なり、NP困難ではない。また、正確な区間解を伴う離散定常ベルマン方程式への応用も行われる。

ABSTRACT

Many problems in optimization theory are strongly nonlinear in the traditional sense but possess a hidden linear structure over suitable idempotent semirings. After an overview of `Idempotent Mathematics' with an emphasis on matrix theory, interval analysis over idempotent semirings is developed. The theory is applied to construction of exact interval solutions to the interval discrete stationary Bellman equation. Solution of an interval system is typically NP-hard in the traditional interval linear algebra; in the idempotent case it is polynomial. A generalization to the case of positive semirings is outlined.

研究の動機と目的

• idempotent半体上の区間解析の理論的枠組みを構築し、古典的区間算術を非標準的な代数的構造へと拡張すること。
• 従来の区間線形系（通常はNP困難）の計算的非効率性を、idempotent半体における隠れた線形性を活用することで解消すること。
• 不確実な入力を伴う離散最適化における中心的問題である離散定常ベルマン方程式に対して、正確な区間解を提供すること。
• 結果をidempotent構造にとどまらず、正の半体へと一般化し、より広範な適用可能性を拡大すること。
• 行列乗算や線形系の解法といった主要な演算が、idempotent設定においても結合的および分配的であることを確立すること。これは古典的区間算術とは異なり、代数的性質が保持されるためである。

提案手法

• 加法がmax、乗法が通常の加法であるmax-plus代数（R_max）を含む、特にidempotent半体上での区間算術の形式化。
• 正の半体の弱および強区間拡張の定義を行い、成分ごとの順序を伴う区間行列の導入。
• idempotent区間設定における行列演算が、古典的区間算術とは異なり、結合的および分配的であることを確立すること。
• 非線形最適化問題をidempotent半体上での線形系に再定式化するため、idempotent重ね合わせ原理を適用すること。
• 正の半体における閉包演算 * を用いて、代数的解 X = A*X ⊕ B を定義し、区間行列 A*B がすべての解を含むことを証明すること。
• 半体の単調性および正性を用いて、区間解 A*B がすべての解を含む最小の区間であることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 idempotent半体上での区間解析は、最適化問題を解くための古典的区間線形代数の代替として、計算的に実行可能であるか？
• RQ2 idempotent構造は、古典的区間算術で失われる代数的性質（例えば、結合的・分配的）をどの程度保持するのか？
• RQ3 この枠組みを用いて、区間離散ベルマン方程式を正確に解くことは可能か？その解法の計算複雑性はいかほどか？
• RQ4 idempotent設定における区間線形系の解集合は、古典的設定と比較して、複雑性および構造の点でどのように異なるか？
• RQ5 idempotent半体にとどまらず、非負実数と標準演算を用いたようなより広範な正の半体クラスへも、結果を一般化できるか？

主な発見

• idempotent設定における区間系は、古典的区間線形系とは異なり、多項式時間で解ける。
• 行列 A と B が区間行列であるとき、演算 * を用いた区間行列解 A*B は、方程式 X = AX ⊕ B のすべての解を含む。
• 区間解 A*B は、すべての解を含む最小の区間であるため、正確かつ最適な包摂となる。
• 半体の単調性および正性のおかげで、idempotent設定において行列演算の結合的および分配的性質が保持される。これは古典的区間算術とは対照的である。
• 区間離散定常ベルマン方程式の解は、このidempotent区間解析を用いて正確かつ多項式時間で計算可能である。
• 結果は非負実数などの正の半体へと一般化可能であり、類似の解の性質および最小区間包摂が保持される。