[論文レビュー] A new algebraic solution to multidimensional minimax location problems with Chebyshev distance

Nikolai Krivulin|arXiv (Cornell University)|Oct 17, 2012

Advanced Optimization Algorithms Research被引用数 13

ひとこと要約

本稿では、アイデムポテン法におけるマックス-プラス半体 $\mathbb{R}_{\max,+}$ を用いて、チービシェフ距離を伴う多次元ミニマックス位置問題を解くための新しい代数的アプローチを提示する。問題をアイデムポテン半体上の線形ベクトル方程式系に再定式化することで、行列-ベクトル演算を用いて閉形式の解が得られ、従来のスペクトル理論に基づく手法よりもより直接的かつ計算的に効率的な代替手法を提供する。

ABSTRACT

Both unconstrained and constrained minimax single facility location problems are considered in multidimensional space with Chebyshev distance. A new solution approach is proposed within the framework of idempotent algebra to reduce the problems to solving linear vector equations and minimizing functionals defined on some idempotent semimodule. The approach offers a solution in a closed form that actually involves performing matrix-vector multiplications in terms of idempotent algebra for appropriate matrices and vectors. To illustrate the solution procedures, numerical and graphical examples of two-dimensional problems are given.

研究の動機と目的

• チービシェフ距離を伴う多次元ミニマックス単一施設位置問題に対して、より直接的かつ計算的に効率的な解法を構築すること。
• アイデムポテン法におけるスペクトル理論に基づく従来の手法に起因する制限を克服すること。特に、高次元においてはその適用性が低い。
• 1次元問題から得られる代数的技術を、非制約および制約付きの両設定を含む多次元ケースへと拡張すること。
• 固有値計算を避けて、アイデムポテン法における行列演算を用いて明示的かつ閉形式の解を提供すること。
• 2次元空間における数値的および図的例を通じて、本手法の有効性を示すこと。

提案手法

• 問題は、$\max$ と $+$ を演算とする半体 $\mathbb{R}_{\max,+}$ を用いたアイデムポテン法の枠組み内で再定式化される。
• 非制約ミニマックス問題は、アイデムポテン半モジュール上の汎関数の最小化問題に変換され、行列-ベクトル乗算により解が得られる。
• 制約付き問題では、可行領域が $A\bm{x} = \bm{x}$ または $A\bm{x} \leq \bm{x}$ で定義され、ここで $A$ は制約から導かれる行列である。
• 等式制約の場合は $\bm{x} = \Delta A^{+}(\bm{q}^{-}A^{+})^{-}$ を、不等式制約の場合は $\bm{x} = \Delta A^{\ast}(\bm{q}^{-}A^{\ast})^{-}$ を計算することで解が得られる。
• 主な演算には、$A^{+}$ および $A^{\ast}$ を用いた行列の逆演算と、スカラー $\Delta = \sqrt{(A^{+}(\bm{q}^{-}A^{+})^{-})^{-}\bm{p}}$ の評価が含まれる。
• 本手法は、従来の手法で用いられる固有値計算を避けて、アイデムポテン法における線形ベクトル方程式の解法に依存する。

実験結果

リサーチクエスチョン

• RQ1 アイデムポテン法を用いて、チービシェフ距離を伴う多次元ミニマックス位置問題に対して、閉形式の解を導出できるか？
• RQ2 施設位置における等式および不等式制約を、アイデムポテンフレームワーク内で代数的に表現・解釈できるか？
• RQ3 このような問題に対して、スペクトル理論や固有値計算を避けて、直接的な行列-ベクトル演算に依存する解法が可能か？
• RQ4 極値固有値の性質に基づく従来の手法と比較して、本手法は簡潔さと効率性において優れているか？
• RQ5 2次元空間における数値的および図的例を通じて、本手法を効果的に図示および検証できるか？

主な発見

• 非制約問題では、最適な位置は $\bm{x} = (2, 9)^T$、$\Delta = 4$ であり、$\bm{p} = (6, 13)^T$ および $\bm{q} = (-2, 5)^T$ から導かれる。
• 等式制約 $A\bm{x} = \bm{x}$ において $A = \begin{pmatrix} 0 & -3 \\ -5 & -2 \end{pmatrix}$ の場合、解は $\bm{x} = (8, 3)^T$、$\Delta = 10$ である。
• 不等式制約 $A\bm{x} \leq \bm{x}$ の場合、解は $\bm{x} = (4, 7)^T$、$\Delta = 6$ であり、$A^{\ast}$ および $\bm{q}^{-}A^{\ast}$ を用いて得られる。
• 本手法は、アイデムポテン法における行列-ベクトル演算のみを用いて閉形式の解を提供し、反復的または固有値に基づく計算を回避する。
• 従来のアイデムポテン法における非可約行列のスペクトル理論に依存する手法よりも、本手法はより直接的かつ簡潔である。
• 図的図版により、最適な位置がチービシェフ距離の目的関数の等高線の中心に位置することが確認された。