[論文レビュー] The ellipsoid method redux

Michael J. Todd|arXiv (Cornell University)|Jan 18, 2023

Advanced Optimization Algorithms Research被引用数 4

ひとこと要約

この論文は、下界の計算を改善し、重みを減少させるステップを導入することで、線形不等式系を解くための楕円体法を向上させている。収束が速くなり、理論的保証も強化される。この手法は体積またはポテンシャル関数に対する座標降下法として解釈でき、最適な下界と適応的重みの使用により、従来の変種よりも性能が著しく向上することが示されたが、大規模問題では計算結果は依然として不満足な状態にとどまっている。

ABSTRACT

We reconsider the ellipsoid method for linear inequalities. Using the ellipsoid representation of Burrell and Todd, we show the method can be viewed as coordinate descent on the volume of an enclosing ellipsoid, or on a potential function, or on both. The method can be enhanced by improving the lower bounds generated and by allowing the weights on inequalities to be decreased as well as increased, while still guaranteeing a decrease in volume. Three different initialization schemes are described, and preliminary computational results given. Despite the improvements discussed, these are not encouraging.

研究の動機と目的

• 線形不等式系を解くための楕円体法を、下界の生成を改善し、重みの調整を可能にするように向上させること。
• この手法が体積、ポテンシャル関数、または両者に対する座標降下法として解釈できることを示すこと。
• 最適な下界を用い、理論的保証を失わず、良好に満たされた制約に対して重みを減少させることが可能な、修正された楕円体アルゴリズムを開発すること。
• 無知な楕円体法（OEA）を、常に最良の下界を使用するように適応させ、収束性と不可能性の証明を保持すること。
• 中～大規模な問題に対して、計算実験を通じて改善された手法の性能を評価すること。

提案手法

• 論文は、線形制約から導かれるランク1の凸二次不等式を用いて、包摂楕円体を表現するBurrell-Toddの楕円体表現を用いる。
• 各制約関数における「最良」の下界を、計算コストをほとんど増やさずに計算する手法を導入し、各反復で楕円体の品質を向上させる。
• 標準楕円体アルゴリズム（SEA）を修正し、良好に満たされた制約に対して重みを減少または削除可能にし、理論的収束保証を維持する。
• 一部の制約に対してゼロの重みを許容するが、不可能ケースでも収束を保証する修正されたポテンシャル関数を提案する。
• 無知な楕円体法（OEA）を、各ステップで最良の下界を使用するように適応させ、多項式時間収束性と不可能の証明特性を保持する。
• 計算実験では、3つの初期化スキームと複数の問題インスタンスを用いて、改良されたSEA、OEAおよび標準バージョンを比較する。

実験結果

リサーチクエスチョン

• RQ1 制約関数における最適な下界を、計算コストをほとんど増やさずに計算可能か？
• RQ2 良好に満たされた制約に対して重みを減少させることを許容するが、理論的収束性を保持できるか？
• RQ3 無知な楕円体法（OEA）を、常に最良の下界を使用するように適応可能か？ ただし理論的保証を損なわないように。
• RQ4 改善された下界と適応的重みの使用が、実際の収束速度の向上に寄与するか？
• RQ5 修正されたポテンシャル関数は、一部の制約に対してゼロの重みを許容しつつ、不可能ケースでも収束を保証できるか？

主な発見

• 改善された楕円体法は、計算コストをほとんど増やさずに制約関数における最良の下界を計算でき、包摂楕円体の品質を著しく向上させる。
• 良好に満たされた制約に対して重みを減少させる修正された標準楕円体アルゴリズム（SEA）は、理論的収束保証を維持しながら性能が向上する。
• 無知な楕円体法（OEA）は、常に最良の下界を使用するように適応可能であり、不可能の証明能力と多項式時間収束性を保持する。
• 理論的改善がなされたものの、計算結果では、特に大規模問題において、改善された手法の実用的性能は依然として不十分である。
• 改善された下界と修正されたポテンシャル関数を用いたOEAは、一部の制約に対してゼロの重みを許容しても、不可能ケースでの収束を正常に維持する。
• 最悪ケースでは、OEAは体積を約 1 - (2m)^{-1} の要因で減少させるが、より良い下界選択のおかげで、理論的保証が強化されている。