[논문 리뷰] Finding Descriptions of Polytopes via Extended Formulations and Liftings

Volker Kaibel, Andreas Loos|arXiv (Cornell University)|2011. 09. 05.

Optimization and Packing Problems참고 문헌 6인용 수 11

한 줄 요약

이 논문은 확장형식에서 다각체의 선형 기술을 유도하기 위해 리프팅 기반 방법을 제안하며, 유효성을 유지하면서 원래 공간으로 점들을 되돌리는 리프팅 함수를 사용한다. 이 기법은 경로-세트 및 소형 클리크 다각체에 대한 새로운 간단한 증명을 가능하게 하며, 정수계획법에서 대칭성 제거를 위해 나타나는 특수한 0-1 배낭다각체인 오르비삭스의 첫 번째 명시적 선형 기술을 도출한다.

ABSTRACT

We describe a technique to obtain linear descriptions for polytopes from extended formulations. The simple idea is to first define a suitable lifting function and then to find linear constraints that are valid for the polytope and guarantee lifted points to be contained in the extension. We explain the technique at an example from the literature (matching polytopes), obtain new simple proofs of results on path-set polytopes and small-cliques polytopes, and finally exploit the technique in order to derive linear descriptions of orbisacks, which are special Knapsack polytopes arising in the context of symmetry breaking in integer programming problems.

연구 동기 및 목표

• 직접 투영 원뿔 계산이 어려운 경우에, 확장형식에서 다각체의 선형 기술을 체계적으로 도출하는 방법을 개발하는 것.
• 경로-세트 및 소형 클리크 다각체에 대한 기존 결과에 대해 간단한 대체 증명을 통해 이 방법의 유용성을 입증하는 것.
• 정수계획법에서 대칭성 제거를 위해 나타나는 특수한 배낭다각체인 오르비삭스의 첫 번째 명시적 선형 기술을 리프팅 기법을 사용하여 도출하는 것.
• 전통적인 투영 원뿔 방법에 비해 리프팅의 장점을 부각시키며, 특히 다각체의 타당 부등식을 구성하는 데 정점 정보를 활용하는 데서의 이점에 중점을 두는 것.
• 리프팅 함수와 그 확장형식과의 호환성에 초점을 맞춰, 다각체 기술의 유도를 단순화하는 프레임워크를 구축하는 것.

제안 방법

• 목표 다각체 P를 포함하는 R ⊆ R^n 에서 정의된 리프팅 함수 λ: R → Rd 를 정의하여, 모든 x ∈ R 에 대해 σ(λ(x)) = x 를 만족시키며, 여기서 σ 는 투영 사상이다.
• 리프팅된 점 λ(x) 가 확장형식 Q ⊆ Rd 내에 존재하도록 보장하여, x ∈ P 이면 λ(x) ∈ Q 임을 보장한다.
• 모든 x ∈ P 에 대해 λ(x) 를 만족하는 제약 조건을 식별함으로써 P 에 대한 타당한 선형 부등식을 유도한다.
• 확장형식 Q 의 구조(예: 이중화된 그래프 위의 완전 매칭 다각체)를 활용하여 리프팅 함수의 구성에 안내한다.
• 목표 다각체의 정점 집합과 면 차원 분석을 통해 도출된 부등식이 필수적이고 충분함을 검증한다.
• 오르비삭스의 비트 제약 조건 등 정점의 조합적 특성(예: 임계 행과 블록 부등식)을 활용하여 부등식의 면 정의 성질과 중복 제거 성질을 증명한다.

실험 결과

연구 질문

• RQ1 직접 투영 원뿔을 계산하지 않고도, 확장형식을 체계적으로 활용하여 원래 공간의 다각체 기술을 도출할 수 있는 방법은 무엇인가?
• RQ2 리프팅 방법은 기존의 경로-세트 및 소형 클리크 다각체에 대한 다각체 결과에 대해 더 단순하고 직관적인 증명을 제공할 수 있는가?
• RQ3 오르비삭스의 선형 기술의 구조는 어떠한가? 그리고 이는 어떻게 확장형식에서 리프팅을 통해 도출될 수 있는가?
• RQ4 개념적 명료성과 계산 가능성 측면에서 리프팅 방법은 전통적인 투영 원뿔 방법에 비해 어떤 방식으로 뛰어나게 되는가?
• RQ5 확장형식에서의 정점 기반 정보는 어떻게 사용되어 다각체의 구조를 유지하는 타당한 리프팅 함수를 구성할 수 있는가?

주요 결과

• 리프팅 방법은 고전적인 투영 원뿔 방법에 대한 개념적으로 더 단순한 대안을 제공하며, 확장형식에서 선형 기술을 도출하는 데에 유용하다.
• 리프팅 함수와 정점 분석을 활용하여, 경로-세트 다각체와 소형 클리프 다각체의 선형 기술에 대해 새로운 간결한 증명을 도출한다.
• 이 논문은 오르비삭스—특수한 배낭다각체—에 대해 처음으로 완전하고 중복 제거된 선형 기술을 리프팅 기법을 사용하여 도출한다.
• 분석 결과, (i,j) = (1,1) 또는 (1,2) 일 경우, x_{i,j} ≥ 0 및 x_{i,j} ≤ 1 부등식은 오르비삭스에서 면 정의가 아니며, 더 높은 차원의 면에 포함되어 있기 때문이다.
• 기타 모든 블록 제약 조건에서 유도된 부등식은 면 정의가 되며, 이들의 대응 면은 차원 2p−1 이고, 다른 어떤 면에도 포함되어 있지 않다.
• 타당 벡터 τ ∈ {0,1,2,3}^p 와 관련된 정점 집합 X(τ) 는 임계 부등식에 의해 정의된 면에 포함되지 않으며, τ' ≠ τ 인 다른 X(τ') 에도 포함되지 않기 때문에, 블록 부등식의 중복 제거 성질이 입증된다.