[논문 리뷰] On the extension complexity of combinatorial polytopes

David Avis, Hans Raj Tiwary|arXiv (Cornell University)|2013. 02. 10.

Advanced Graph Theory Research참고 문헌 13인용 수 22

한 줄 요약

이 논문은 NP-완전 문제인 부분합, 3차원 매칭, 안정집합 문제와 관련된 조합적 다면체의 지수적 확장 복잡도를 입증한다. 이를 위해 NP-완전성 감소를 하한선으로 전환하는 데 사용되는 리프팅 기반 기법을 도입한다. 어떤 그래프가 $K_n$ 미니어를 포함하면 그의 컷 다면체의 확장 복잡도는 최소 $2^{\Omega(n)}$이며, $K_6$-미니어 없는 그래프—예를 들어 삼각형 평면 그래프의 스텐션—조차도 초다항적 확장 복잡도를 가질 수 있음을 보여, $K_5$-미니어 없는 그래프가 다항식 크기의 확장이 가능하다는 것과 대조된다.

ABSTRACT

In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut polytope and related polyhedra. We first describe a lifting argument to show exponential extension complexity for a number of NP-complete problems including subset-sum and three dimensional matching. We then obtain a relationship between the extension complexity of the cut polytope of a graph and that of its graph minors. Using this we are able to show exponential extension complexity for the cut polytope of a large number of graphs, including those used in quantum information and suspensions of cubic planar graphs.

연구 동기 및 목표

• NP-완전 문제와 관련된 더 넓은 범주의 조합적 다면체에 대해 Fiorini 등이 제시한 확장 복잡도 결과를 확장하기 위해.
• NP-완전성 감소를 확장 복잡도 하한선으로 전환하는 일반적인 기법을 개발하기 위해.
• 그래프 미니어를 기반으로 컷 다면체의 확장 복잡도를 특성화하고, 다항식에서 지수적 복잡도로의 전이가 발생하는 정확한 임계점(임계값)을 규명하기 위해.
• 다항식 확장이 가능한 $K_5$-미니어 없는 그래프조차도 $K_6$-미니어를 포함하면 초다항적 확장 복잡도를 가질 수 있음을 보여주기 위해.
• 그래프 미니어가 컷 다면체의 확장 형식 복잡도를 결정하는 데서 수행하는 역할을 명확히 하기 위해.

제안 방법

• 기존의 어려운 다면체(예: $\mathrm{CUT}^\square(K_n)$)의 확장 복잡도 하한선을 다른 NP-완전 문제에서 유도된 다면체로 옮기기 위해 리프팅 추론을 사용한다.
• 논문은 단조성 성질을 확립한다: $H$가 $G$의 미니어이면 $\mathrm{xc}(\mathrm{CUT}^\square(G)) \geq \mathrm{xc}(\mathrm{CUT}^\square(H))$이며, 이는 하한선의 전파를 가능하게 한다.
• 스텐션 구조를 사용하여 안정집합 다면체 $\mathrm{STAB}(G)$를 $G'$의 얼굴로 표현한다. 여기서 $G'$는 $G$의 스텐션이며, 이로 인해 확장 복잡도 하한선이 유전됨을 보장한다.
• 얼굴 투영 기법을 사용하여 $\mathrm{STAB}(G)$가 $\mathrm{CUT}^\square(G')$의 얼굴의 투영임을 보여, 안정집합 다면체와 컷 다면체를 연결한다.
• 유효한 부등식 $x_{0i} + x_{0j} - x_{ij} \geq 0$ 등을 활용하여 $\mathrm{CUT}^\square(G')$의 얼굴를 정의함으로써 $G$의 안정집합을 표현하고, 면의 구조를 유지한다.
• Fiorini 등이 제시한 기존 결과, 특히 $\mathrm{xc}(\mathrm{CUT}^\square(K_n)) \geq 2^{\Omega(n)}$를 활용하여 관련 다면체에 대해 지수적 하한선을 도출한다.

실험 결과

연구 질문

• RQ1 NP-완전성 감소를 체계적으로 조합적 다면체의 확장 복잡도 하한선으로 변환할 수 있는가?
• RQ2 그래프 미니어는 컷 다면체의 확장 복잡도를 결정하는 데 어떤 역할을 하는가?
• RQ3 $K_5$-미니어 없는 그래프는 다항식 확장을 허용하지만, $K_6$-미니어 없는 그래프 중에서도 컷 다면체의 확장 복잡도가 초다항적일 수 있는가?
• RQ4 삼각형 평면 그래프의 안정집합 다면체는 초다항적 확장 복잡도를 가질 수 있는가?
• RQ5 컷 다면체에서 여전히 지수적 확장 복잡도를 지닌 최소한의 그래프 구조는 무엇인가?

주요 결과

• 모든 그래프 $G$가 $K_n$을 미니어로 포함하면, 컷 다면체 $\mathrm{CUT}^\square(G)$의 확장 복잡도는 최소 $2^{\Omega(n)}$이다.
• 완전 삼분 그래프 $K_{1,n,n}$의 컷 다면체는 확장 복잡도가 최소 $2^{\Omega(n)}$이며, 이는 벨 부등식 다면체의 지수적 복잡도를 확인한다.
• $n \geq 2$일 때마다, $K_6$-미니어 없는 그래프 $G$가 존재한다(특히 평면 그래프의 스텐션). 이 경우 $\mathrm{xc}(\mathrm{CUT}^\square(G)) \geq 2^{\Omega(n^{1/4})}$이며, 이는 $K_5$-미니어 없는 그래프를 초월해 초다항적 복잡도가 존재함을 보여준다.
• 삼각형 평면 그래프의 안정집합 다면체는 초다항적 확장 복잡도를 가지며, 이는 이전의 Fiorini 등의 결과를 향상시킨다.
• 평면 그래프 $G$의 스텐션 $G'$의 컷 다면체는 안정집합 다면체 $\mathrm{STAB}(G)$로 투영될 수 있으며, 이로 인해 확장 복잡도 하한선이 상속된다.
• 명백한 대비가 존재한다: $K_5$-미니어 없는 그래프는 $O(n^3)$의 확장 복잡도를 가지며, 반면 $K_6$-미니어 없는 그래프는 초다항적 확장 복잡도를 가질 수 있다. 이는 $K_6$에서 복잡도가 다항식에서 지수적 복잡도로 전이되는 임계점임을 시사한다.