[논문 리뷰] Extended Formulations in Combinatorial Optimization

Volker Kaibel|arXiv (Cornell University)|2011. 04. 06.

Advanced Graph Theory Research참고 문헌 21인용 수 29

한 줄 요약

이 논문은 조합 최적화에서 확장 표현법을 탐구하며, 특정 다면체(예: 순열다면체와 제한된 매칭 다면체)가 선형 사영을 통해 더 작은 고차원 다면체로 표현될 수 있음을 보여준다. 주요 기여는 비대칭 확장 표현법이 소매칭 문제와 같이 다항 크기의 표현을 달성할 수 있음을 입증한 것이다. 반면 대칭 표현법은 지수적 하한을 갖는다. 이는 대칭 제약 조건이 표현 크기의 효율성에 심각한 제한을 가한다는 것을 드러낸다.

ABSTRACT

The concept of representing a polytope that is associated with some combinatorial optimization problem as a linear projection of a higher-dimensional polyhedron has recently received increasing attention. In this paper (written for the newsletter Optima of the Mathematical Optimization Society), we provide a brief introduction to this topic and sketch some of the recent developments with respect to both tools for constructing such extended formulations as well as lower bounds on their sizes.

연구 동기 및 목표

• 높은 차원의 사영을 통해 조합 최적화 다면체를 표현하는 확장 표현법의 개념을 소개하는 것.
• 크기와 표현 효율성 측면에서 대칭 및 비대칭 확장 표현법 간의 상충 관계를 조사하는 것.
• 다면체 조합 기하학과 통신 복잡도 도구를 활용해 확장 표현법의 한계를 검토하는 것.
• 기본적인 조합 다면체에 대해 최소 크기의 확장 표현법을 결정하는 데 있어 대칭의 역할을 명확히 하는 것.
• 다항 시간 내에 해결 가능한 문제들이 다항 크기의 확장 표현법을 갖는지 여부와 같은 열린 질문을 다루는 것.

제안 방법

• 원래의 다면체를 유지하는 선형 사영을 통해 고차원 다면체의 사영을 이용해 다면체를 표현하는 방법.
• 다양한 더 작은 다면체의 볼록 hull을 취하는 할당 프로그래밍 기법을 적용해 확장 표현법을 구성하는 것.
• 특정 구조적 성질을 갖는 매칭을 식별하기 위해 색상 코딩 기법을 활용하여 제한된 매칭 다면체의 압축된 표현을 가능하게 하는 것.
• 특히 Alon, Yuster, Zwick의 정리(부분집합에서 서로 다른 색상이 존재하는 색상 부여에 관한 것)를 활용해 모든 관련 매칭을 커버함을 보장하는 것.
• Yannakakis의 프레임워크를 활용해 비음수 행렬 분해와 통신 복잡도를 통해 대칭 확장 표현법의 하한을 유도하는 것.
• Birkhoff 다면체를 순열다면체의 표준적인 소규모 확장 표현법으로 분석하여, 대칭 표현법 중에서 최적임을 보여주는 것.

실험 결과

연구 질문

• RQ1 완전 그래프에서의 임의의 매칭에 대해 매칭 다면체는 다항 크기의 확장 표현법으로 표현될 수 있는가?
• RQ2 순열다면체에 대한 대칭 확장 표현법의 최소 크기는 얼마이며, Birkhoff 다면체는 이 클래스에서 최적인가?
• RQ3 비대칭성은 제한된 매칭 다면체와 같은 조합 다면체의 표현 크기를 크게 줄일 수 있는가?
• RQ4 로그 길이의 사이클으로 제한된 경우, TSP 다면체에 대해 다항 크기의 확장 표현법이 존재하는가?
• RQ5 특히 대칭 제약 조건 하에서, 확장 표현법의 크기 측면에서의 근본적인 한계는 무엇인가?

주요 결과

• 순열다면체는 Birkhoff 다면체를 통해 다항 크기의 확장 표현법을 갖는다. 이는 대칭 표현법 중에서 최적임을 보여준다.
• 크기 ⌊log n⌋인 매칭의 매칭 다면체에 대해 다항 크기의 비대칭 확장 표현법이 존재하지만, 모든 대칭 표현법은 크기 n^Ω(log n)을 요구한다.
• 대칭 표현법에 대해 순열다면체의 확장 복잡도는 최소 Ω(n²)이므로, Birkhoff 다면체가 이 클래스에서 渐近적으로 최적임을 증명한다.
• 크기 ⌊log n⌋인 매칭의 매칭 다면체에 대해, O(2^k + n²)개의 부등식(색상별로)과 O(2^k log n)개의 색상 조합을 사용하는 구성은 총 크기 2^O(k)n² log n을 갖는다. 이는 k = ⌊log n⌋일 때 다항식 크기가 된다.
• TSP 다면체 또는 크기 ⌊log n⌋인 사이클의 다면체에 대해 다항 크기의 대칭 확장 표현법은 존재하지 않으며, 이는 다항 확장 복잡도를 갖더라도 마찬가지다.
• 확장 표현법의 개념은 대칭성이 표현에 필요한 크기를 극적으로 증가시킬 수 있음을 드러내며, 대칭성과 효율성 사이의 근본적인 상충 관계를 강조한다.