[論文レビュー] Augmentation in Linear and Integer Linear Programming

Jesús A. De Loera, Raymond Hemmecke+1 more|arXiv (Cornell University)|Aug 15, 2014

Advanced Optimization Algorithms Research被引用数 1

ひとこと要約

本稿は、線形および整数線形計画法における3つの増幅ルールを導入し、1ノルム長単位あたりのコスト改善を最小化する離散的勾配降下ステップに注目する。このようなステップが制約行列のグラーバー基底のサイズ以下で収束することを証明し、N-フォールド整数線形最適化のための最初の強多項式時間アルゴリズムを構築するとともに、シンプレックス類似手法に既知の境界を一般化する。

ABSTRACT

Motivated by Bland's linear-programming generalization of the renowned Edmonds-Karp efficient refinement of the Ford-Fulkerson maximum-flow algorithm, we discuss three closely-related natural augmentation rules for linear and integer-linear optimization. In several nice situations, we show that polynomially-many augmentation steps suffice to reach an optimum. In particular, when using discrete steepest-descent augmentations (i.e., directions with the best ratio of cost improvement per unit 1-norm length), we show that the number of augmentation steps is bounded by the number of elements in the Graver basis of the problem matrix, giving the first ever strongly polynomial-time algorithm for $N$-fold integer-linear optimization. Our results also improve on what is known for such algorithms in the context of linear optimization (e.g., generalizing the bounds of Kitahara and Mizuno for the number of steps in the simplex method) and are closely related to research on the diameters of polytopes and the search for a strongly polynomial-time simplex or augmentation algorithm.

研究の動機と目的

• 線形および整数線形計画法における多項式時間収束を保証する増幅ルールの開発。
• BlandのEdmonds-Karpアルゴリズムの一般化を、勾配降下増幅を介して整数計画法に拡張すること。
• 制約行列のグラーバー基底のサイズを用いた増幅ステップ数に対する強多項式境界の確立。
• 線形最適化におけるシンプレックス類似手法の既存境界の改善。

提案手法

• 本稿は、1ノルム長単位あたりのコスト改善を最大にする方向を選択する離散的勾配降下増幅を採用する。
• 制約行列のグラーバー基底を用いて増幅ステップ数の上限を導出する。
• アプローチは、Ford-FulkersonのEdmonds-Karpの改良版を整数線形計画法へ一般化する。
• 増幅ステップ数がグラーバー基底のサイズによって上限付けられることを確立し、強多項式性を保証する。
• この手法は線形および整数線形計画法に適用可能であり、N-フォールド構造に特に焦点を当てる。
• 理論的分析により、増幅ステップが多面体径路の境界およびアルゴリズム複雑性と結びつく。

実験結果

リサーチクエスチョン

• RQ1 整数線形計画法における増幅ルールは、強多項式時間収束を保証するように設計可能か？
• RQ2 勾配降下方向を用いた最適解に到達するための最小増幅ステップ数は何か？
• RQ3 N-フォールド整数線形計画法において、グラーバー基底のサイズと増幅ステップ数の関係は何か？
• RQ4 既存のシンプレックス法の境界は、増幅ベースのアルゴリズムへ一般化可能か？
• RQ5 増幅ステップ数と多面体の径路の間にはどのような関係があるか？

主な発見

• 離散的勾配降下増幅ステップの数は、制約行列のグラーバー基底のサイズによって上限付けられる。
• この境界により、N-フォールド整数線形最適化のための最初の強多項式時間アルゴリズムが得られる。
• 本手法は、KitaharaとMizunoによるシンプレックス法の既知のステップ境界を一般化する。
• 結果として、増幅ステップの複雑さと多面体径路理論との直接的な関連が確立される。
• 本手法は、整数計画法における効率的で強多項式的なアルゴリズム設計のための新たな理論的基盤を提供する。
• フレームワークは線形および整数線形計画法に広く適用可能であり、より良い複雑性保証を提供する。