[论文解读] 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) $，定义为 $ K \setminus \mathrm{int}(L) $ 的凸包，并研究其有限生成性与收敛性。在族 $ \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} $-闭包将有理多面体映射为有理多面体的条件。
• 研究迭代 $ \mathcal{L} $-闭包操作对整数点凸包的无限收敛性。
• 建立 $ R_{\mathcal{L}} $ 保持多面体结构并确保有限收敛的条件。

提出的方法

• 定义 $ R_L(K) := \mathrm{conv}(K \setminus \mathrm{int}(L)) $ 为凸集 $ K $ 的 $ L $-约化，通过凸集 $ L $ 广义化割平面。
• 引入 $ \mathcal{L} $-闭包为 $ R_{\mathcal{L}}(K) := \bigcap_{L \in \mathcal{L}} R_L(K) $，捕捉如 Chvátal 和分裂闭包等闭包操作。
• 使用截面锥理论和 Hausdorff 距离中的收敛性分析迭代 $ \mathcal{L} $-闭包的极限。
• 应用几何与拓扑论证，包括 $ \mathbb{M} $-自由集和极大 $ \mathbb{M} $-自由集的使用，推导闭包性质。
• 证明在较弱条件下，$ R_{\mathcal{L}}^{i}(K) \to \mathrm{conv}(K \cap \mathbb{M}) $ 当 $ i \to \infty $，使用 Hausdorff 范数收敛。
• 建立当 $ \mathcal{L} $ 满足某些几何与有理性条件时，$ R_{\mathcal{L}} $ 保持有理多面体性质的结论。

实验结果

研究问题

• RQ1 在何种 $ \mathcal{L} $ 条件下，$ \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) $ 沿 Hausdorff 距离收敛于 $ \mathrm{conv}(K \cap \mathbb{M}) $，当 $ i \to \infty $。
• 对于有理无直线多面体 $ 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 和分裂闭包），并为它们的分析提供了统一的几何框架。