[論文レビュー] Analysis of Sparse Cutting-planes for Sparse MILPs with Applications to Stochastic MILPs

Santanu S. Dey, Marco Molinaro+1 more|arXiv (Cornell University)|Jan 2, 2016

Optimization and Mathematical Programming参考文献 1被引用数 5

ひとこと要約

この論文は、スパースな混合整数線形計画問題（MILP）におけるスパースなカット平面の強さを分析し、スパースカットのみを用いる場合の最適解ギャップに対するデータに依存しない上限を証明する。パッケージング、カバーイング、一般の非負の目的関数をもつMILPにおいて、ギャップはスパース構造とカットのサポートにのみ依存し、$ K \cdot z^I $ 要因までタイトな境界を持つことが示され、ソルバーや確率的MILPにおけるスパースカットの実験的成功に対する理論的裏付けを提供する。

ABSTRACT

In this paper, we present an analysis of the strength of sparse cutting-planes for mixed integer linear programs (MILP) with sparse formulations. We examine three kinds of problems: packing problems, covering problems, and more general MILPs with the only assumption that the objective function is non-negative. Given a MILP instance of one of these three types, assume that we decide on the support of cutting-planes to be used and the strongest inequalities on these supports are added to the linear programming relaxation. Call the optimal objective function value of the linear programming relaxation together with these cuts as $z^{cut}$. We present bounds on the ratio of $z^{cut}$ and the optimal objective function value of the MILP that depends only on the sparsity structure of the constraint matrix and the support of sparse cuts selected, that is, these bounds are completely data independent. These results also shed light on the strength of scenario-specific cuts for two stage stochastic MILPs.

研究の動機と目的

• 最先端のMILPソルバがカット選択の理論的分析が限られている中でなぜスパースなカット平面を好むのかを理論的に理解すること。
• 現実世界の定式化で一般的なスパースな制約行列をもつMILPにおけるスパースカットの強さを分析すること。
• 最適解ギャップの境界を導出すること。この境界は、整数ヘイプの頂点数に依存せず、スパース構造とカットサポートにのみ依存する。
• 現代のソルバ（例：CPLEX）におけるスパースカットの実験的成功を理論的に裏付ける基盤を提供すること。

提案手法

• カットのサポートを固定し、そのサポート上での最も強い有効不等式を追加することで、スパースなカット平面を分析するフレームワークを提案する。
• カットサポート制限の効果をモデル化するために、自然なスパースクロージャ（NSC）とスパースサポートクロージャ（SSC）の概念を用いる。
• 幾何学的および多面体的解析を用いて、カットを強化したLP緩和の最適値（$ z^{\text{cut}} $）と真のMILP最適値（$ z^I $）の比を境界づける。
• 分解に基づく議論を用いる：制約行列がスパースで、カットがスパースサポートに制限されている場合、カットの強さは変数と制約の間の相互作用グラフに依存する。
• 反例構築を用いて境界のタイトさを示し、$ z^{\text{SS}} \geq K \cdot z^I - \epsilon $ となるMILPの族を構成することで、境界が漸近的にタイトであることを証明する。
• スパース構造を保つカットでさえ、完全な整数ヘイプを捉えていなくても強い境界を達成できることに着目する。

実験結果

リサーチクエスチョン

• RQ1 固定されたサポート上での最も強いカットのみを追加する場合、スパースな制約行列をもつMILPにおけるスパースカット平面の強さはどの程度か？
• RQ2 整数ヘイプの頂点数に依存せず、スパース構造とカットサポートのみを用いて、スパースカットの性能を境界づけることは可能か？
• RQ3 なぜスパースカットは実際にはうまく機能するのか、特に確率的MILPや緩く分解可能な構造を持つ問題において？
• RQ4 スパースカットで強化されたLP緩和の最適値と真のMILP最適値との間の最悪ケースギャップはどの程度か？
• RQ5 現代のソルバ（例：CPLEX）におけるスパースカットの実験的成功を説明する理論的境界を導出することは可能か？

主な発見

• パッケージングおよびカバーイングMILPにおいて、$ z^{\text{cut}} / z^I $ の比は、整数ヘイプの頂点数に依存せず、スパース構造とカットのサポートにのみ依存する要因によって境界づけられる。
• 自然なスパースクロージャ（NSC）設定において、$ z^{\text{N.S.}} \geq K \cdot z^I $ となる例を構築し、境界が定数要因までタイトであることを示している。
• スパースサポートクロージャ（SSC）において、$ z^{\text{SS}} \geq K \cdot z^I - \epsilon $ を証明し、ギャップがブロック数 $ K $ に対して線形に増大しうることを示しており、この境界は漸近的にタイトである。
• これらの結果は、シナリオ固有のカットが自然にスパースである確率的MILPにおけるスパースカットの実験的成功を理論的に説明する。
• 分析により、制約行列がスパースで、カットがスパース性を保つ場合、スパースカットが密なカットとほぼ同等の強さを持つことが確認され、特に構造的MILPにおいて顕著である。
• 境界は完全にデータに依存せず、制約行列のスパースパターンと選択されたカットサポートにのみ依存する。