[논문 리뷰] On finite generation and infinite convergence of generalized closures from the theory of cutting planes

Gennadiy Averkov|arXiv (Cornell University)|2011. 06. 08.

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) $ 로 정의하여, 체바타르 및 스플릿 닫힘과 같은 닫힘 작동을 포괄한다.
• 퇴적뿔 이론과 하우스도르프 거리 수렴을 사용하여 반복적 $ \mathcal{L} $-닫힘의 극한을 분석한다.
• $ \mathbb{M} $-자유 집합과 최대 $ \mathbb{M} $-자유 집합의 사용을 포함한 기하학적 및 위상수학적 추론을 통해 닫힘 성질을 도출한다.
• 적당한 조건 하에서 $ R_{\mathcal{L}}^{i}(K) \to \mathrm{conv}(K \cap \mathbb{M}) $ 가 $ i \to \infty $ 일 때 하우스도르프 거리 수렴을 통해 증명한다.
• $ \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) $ 는 $ i \to \infty $ 일 때 하우스도르프 거리 수렴을 통해 $ \mathrm{conv}(K \cap \mathbb{M}) $ 로 수렴한다.
• 유리 선-free 다면체 $ 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}} $ 는 체바타르 및 스플릿 닫힘과 같은 알려진 닫힘 작동을 일반화하며, 이들의 분석을 위한 통합된 기하학적 프레임워크를 제공한다.