[논문 리뷰] Extension complexity of stable set polytopes of bipartite graphs

Manuel Aprile, Yuri Faenza외 3명|arXiv (Cornell University)|2017. 02. 28.

Advanced Graph Theory Research참고 문헌 10인용 수 4

한 줄 요약

이 논문은 이분 그래프에 대한 안정 집합 다면체의 확장 복잡도에 대해 향상된 상한과 하한을 확립한다. 기하적 구성에서 직사각형 커버와 중심이 있는 직사각형을 사용하여 $ O(n^2 / \log n) $ 의 상한을 증명하고, 유한 삼각기하평면의 인cidenc 그래프에 대해 $ \Omega(n \log n) $ 의 하한을 도출하여, 이 클래스의 그래프에서 초선형 확장 복잡도를 처음으로 입증한다.

ABSTRACT

The extension complexity $\mathsf{xc}(P)$ of a polytope $P$ is the minimum number of facets of a polytope that affinely projects to $P$. Let $G$ be a bipartite graph with $n$ vertices, $m$ edges, and no isolated vertices. Let $\mathsf{STAB}(G)$ be the convex hull of the stable sets of $G$. It is easy to see that $n \leqslant \mathsf{xc} (\mathsf{STAB}(G)) \leqslant n+m$. We improve both of these bounds. For the upper bound, we show that $\mathsf{xc} (\mathsf{STAB}(G))$ is $O(\frac{n^2}{\log n})$, which is an improvement when $G$ has quadratically many edges. For the lower bound, we prove that $\mathsf{xc} (\mathsf{STAB}(G))$ is $Ω(n \log n)$ when $G$ is the incidence graph of a finite projective plane. We also provide examples of $3$-regular bipartite graphs $G$ such that the edge vs stable set matrix of $G$ has a fooling set of size $|E(G)|$.

연구 동기 및 목표

• 이분 그래프에 대한 안정 집합 다면체의 확장 복잡도에 대한 기존 상한과 하한을 향상시키기.
• 비어 있는 상한과 하한 $ n \leq \mathsf{xc}(\mathsf{STAB}(G)) \leq n + m $ 가 정점 수에 비해 크게 개선될 수 있는지 여부를 규명하기.
• 정점 수에 대해 선형 성장보다 빠르게 증가하는 확장 복잡도를 보이는 이분 그래프의 명시적 가족을 구성하기.
• 현재 기법들, 예를 들어 속임수 집합과 직사각형 커버의 한계를 분석하여 더 강력한 하한을 도출하는 데에 있어 한계를 탐색하기.

제안 방법

• 저자들은 기하적 프레임워크에서 직사각형 커버와 중심이 있는 직사각형을 사용하여 안정 집합 다면체의 효율적인 확장을 구성한다.
• 정점과 직선을 정렬하기 위해 계층적 트리 구조 $ T(q+1) $ 를 정의하여 커버링 직사각형의 재귀적 구성이 가능하도록 한다.
• 각 중심 점 $ \mathsf{c} $ 에 대해, 다수의 직선에서 유도된 직사각형들을 합산 연산을 통해 조합하여 커버리지 유지와 동시에 총 수의 감소를 달성한다.
• 동일한 중심을 가진 다수의 직사각형을 하나의 최대 직사각형으로 융합하는 감소 기법을 적용하여 총 직사각형 수를 $ q $ 배 감소시킨다.
• 유한 삼각기하평면의 성질을 활용하여 확장 복잡도가 높은 속임수 집합 크기를 갖는 그래프를 구성함으로써 강력한 하한을 도출한다.
• 슬랙 행렬의 특수 항목 개념을 도입하고, 중심이 있는 직사각형의 철저히 구성된 집합이 이러한 모든 항목을 커버함을 증명한다.

실험 결과

연구 질문

• RQ1 밀도가 높은 그래프에 대해 이분 그래프의 $ \mathsf{STAB}(G) $ 의 확장 복잡도에 대한 상한 $ n + m $ 이 향상될 수 있는가?
• RQ2 정점 수 $ n $ 에 대해 선형 성장보다 더 빠르게 증가하는 확장 복잡도를 보이는 이분 그래프의 가족이 존재하는가?
• RQ3 3-정규 이분 그래프의 간선 대 안정 집합 행렬에서 속임수 집합의 최대 크기는 얼마인가?
• RQ4 현재의 직사각형 커버 및 속임수 집합 기법을 다른 그래프 클래스에 확장하여 초선형 하한을 도출할 수 있는가?
• RQ5 이분 그래프의 어떤 구조적 성질이 안정 집합 다면체의 높은 확장 복잡도를 초래하는가?

주요 결과

• 모든 정점 수 $ n $ 인 이분 그래프 $ G $ 에 대해 $ \mathsf{STAB}(G) $ 의 확장 복잡도는 최대 $ O(n^2 / \log n) $ 이며, $ m = \Omega(n^2) $ 일 경우 기존의 $ n + m $ 상한보다 향상된다.
• 유한 삼각기하평면의 인cidenc 그래프에 대해 확장 복잡도는 $ \Omega(n \log n) $ 이며, 이는 이분 그래프의 안정 집합 다면체에 대해 초선형 하한이 처음으로 밝혀진 경우이다.
• 간선 수와 동일한 크기의 속임수 집합을 포함하는 3-정규 이분 그래프가 존재하며, 이는 높은 복잡도를 시사한다.
• 중심이 있는 직사각형과 계층적 트리 구조를 사용한 직사각형 커버의 구성은 직사각형 수를 $ O(nq\log q) $ 에서 $ O(n\log n) $ 으로 감소시켜 상한 향상에 기여한다.
• 본 논문은 현재의 직사각형 커버 및 속임수 집합 기법으로는 $ \Omega(n \log n) $ 보다 더 좋은 하한을 도출할 수 없음을 보여주며, 향후 향상의 위해 새로운 기법이 필요함을 시사한다.