[論文レビュー] On finite generation and infinite convergence of generalized closures from the theory of cutting planes

Gennadiy Averkov|arXiv (Cornell University)|Jun 8, 2011

Computational Geometry and Mesh Generation参考文献 21被引用数 4

ひとこと要約

本稿は、関数 $ R_L(K) $ を用いた混合整数最適化における一般化されたカット平面クラージャーの幾何的枠組みを導入し、それが凸包の有限生成性と収束性を満たすことを検討する。特定の $ \mathcal{L} $ の族に関する条件下で、反復的 $ \mathcal{L} $-クラージャーが $ K $ の整数点の凸包に収束することを証明し、有理数多面体が有理数多面体に写像される条件を同定する。

ABSTRACT

For convex sets $K$ and $L$ in ${\mathbb{R}}^d$ we define $R_L(K)$ to be the convex hull of all points belonging to $K$ but not to the interior of $L$. Cutting-plane methods from integer and mixed-integer optimization can be expressed in geometric terms using functionals $R_L$ with appropriately chosen sets $L$. We describe the geometric properties of $R_L(K)$ and characterize those $L$ for which $R_L$ maps polyhedra to polyhedra. For certain natural classes ${\mathcal{L}}$ of convex sets in ${\mathbb{R}}^d$ we consider the functional $R_{\mathcal{L}}$ given by $R_{\mathcal{L}}(K):= \bigcap_{L \in {\mathcal{L}}}R_L(K)$. The functional $R_{\mathcal{L}}$ can be used to define various types of closure operations considered in the theory of cutting planes (such as the Chvátal closure, the split closure as well as generalized split closures recently introduced by Andersen, Louveaux and Weismantel). We study conditions on ${\mathcal{L}}$ under which $R_{\mathcal{L}}$ maps rational polyhedra to rational polyhedra. We also describe the limit of the sequence of sets obtained by iterative application of $R_{\mathcal{L}}$ to $K$. A part of the presented material gives generalized formulations and unified proofs of several recent results obtained by various authors.

研究の動機と目的

• 関数 $ R_L $ および $ R_{\mathcal{L}} $ を用いた幾何的関数の枠組みにより、カット平面法の理論を統一的かつ一般化すること。
• 有理数多面体が有理数多面体に写像される条件を同定すること。
• 整数点の凸包への反復的 $ \mathcal{L} $-クラージャー操作の無限収束を研究すること。
• $ R_{\mathcal{L}} $ が多面体構造を保存し、有限収束を保証する条件を確立すること。

提案手法

• 凸集合 $ K $ に対する $ L $-還元を $ R_L(K) := \mathrm{conv}(K \setminus \mathrm{int}(L)) $ として定義し、凸集合 $ L $ を用いてカット平面を一般化する。
• $ \mathcal{L} $-クラージャーを $ R_{\mathcal{L}}(K) := \bigcap_{L \in \mathcal{L}} R_L(K) $ として導入し、Chvátal クラージャーやスプリットクラージャーなどの閉包操作を捉える。
• 再発錐理論とハウスドルフ距離における収束を用いて、反復的 $ \mathcal{L} $-クラージャーの極限を分析する。
• $ \mathbb{M} $-フリー集合および最大 $ \mathbb{M} $-フリー集合の使用を含む幾何学的・位相的議論により、クラージャーの性質を導出する。
• ハウスドルフ距離における収束を用いて、$ \mathcal{L} $ に適切な仮定が成り立つ場合に $ R_{\mathcal{L}}^{i}(K) \to \mathrm{conv}(K \cap \mathbb{M}) $ が $ i \to \infty $ のとき成り立つことを証明する。
• $ \mathcal{L} $ が特定の幾何学的および有理数的条件を満たす場合に、$ R_{\mathcal{L}} $ が有理数多面体性を保存することを確立する。

実験結果

リサーチクエスチョン

• RQ1 $ \mathcal{L} $ がどのような条件下で有理数多面体を有理数多面体に写像するか。
• RQ2 $ \mathcal{L} $-クラージャー操作が有限生成であるとは、すなわち $ R_{\mathcal{L}}^{i}(K) $ が有限ステップ後に安定化するとはどのような場合か。
• RQ3 反復的 $ \mathcal{L} $-クラージャー過程 $ R_{\mathcal{L}}^{i}(K) $ の極限は何か。また、どのような条件下で $ \mathrm{conv}(K \cap \mathbb{M}) $ に収束するか。
• RQ4 $ L $ の幾何的性質（例えば $ \mathbb{M} $-フリーまたは最大 $ \mathbb{M} $-フリーであること）がクラージャー操作に与える影響は何か。
• RQ5 $ K $ の再発錐と $ R_{\mathcal{L}}^{i}(K) $ の反復的挙動との関係は何か。

主な発見

• $ \mathcal{L} $ が有理数的で $ \mathbb{M} $-フリーかつ最大である場合、$ \mathcal{L} $-クラージャー操作 $ R_{\mathcal{L}} $ は有理数多面体を有理数多面体に写像する。
• 弱い仮定のもとで、反復的 $ \mathcal{L} $-クラージャー $ R_{\mathcal{L}}^{i}(K) $ は $ i \to \infty $ のときハウスドルフ距離において $ \mathrm{conv}(K \cap \mathbb{M}) $ に収束する。
• 有理数的で直線を含まない多面体 $ P $ に対して、$ \mathcal{L} $-クラージャー過程は $ \mathrm{conv}(P \cap \mathbb{M}) $ に収束し、この極限は有理数多面体である。
• 極限集合 $ R = \bigcap_{i=0}^{\infty} R_{\mathcal{L}}^{i}(K) $ は $ \mathrm{conv}(K \cap \mathbb{M}) + \mathrm{rec}(K) $ に等しく、$ K \cap \mathbb{M} \neq \emptyset $ ならば $ R = \mathrm{conv}(K \cap \mathbb{M}) $ である。
• $ \mathcal{L} $-クラージャーは $ K $ の再発錐を保存する。すなわち、すべての $ i $ に対して $ \mathrm{rec}(R_{\mathcal{L}}^{i}(K)) = \mathrm{rec}(K) $ であり、漸近的挙動の安定性が保証される。
• $ R_{\mathcal{L}} $ 機能は、Chvátal クラージャーやスプリットクラージャーといった既知のクラージャーを一般化し、それらの分析のための統一的幾何的枠組みを提供する。