[논문 리뷰] Polynomial Bounds for the Grid-Minor Theorem

Chandra Chekuri, Julia Chuzhoy|arXiv (Cornell University)|2013. 05. 28.

Advanced Graph Theory Research참고 문헌 15인용 수 12

한 줄 요약

이 논문은 유계 티위드를 가진 그래프에서 가장 큰 격자 마이너의 크기에 대한 최초의 다항식 하한을 확립하며, 모든 티위드 $k$를 가진 그래프가 $\Omega(k^{\delta}/\operatorname{poly}\log k)$ 크기의 격자 마이너를 포함함을 증명한다. 여기서 $\delta > 0$ 인 절대 상수이다. 저자들은 너비 $w$와 길이 $\ell$를 가진 새로운 조합 구조인 '세트의 경로 시스템'을 도입하고, 그러한 격자 마이너 모델을 효율적으로 구성하기 위한 랜덤화된 다항식 시간 알고리즘을 제시한다.

ABSTRACT

One of the key results in Robertson and Seymour's seminal work on graph minors is the Grid-Minor Theorem (also called the Excluded Grid Theorem). The theorem states that for every grid $H$, every graph whose treewidth is large enough relative to $|V(H)|$ contains $H$ as a minor. This theorem has found many applications in graph theory and algorithms. Let $f(k)$ denote the largest value such that every graph of treewidth $k$ contains a grid minor of size $(f(k) imes f(k))$. The best previous quantitative bound, due to recent work of Kawarabayashi and Kobayashi, and Leaf and Seymour, shows that $f(k)=Ω(\sqrt{\log k/\log \log k})$. In contrast, the best known upper bound implies that $f(k) = O(\sqrt{k/\log k})$. In this paper we obtain the first polynomial relationship between treewidth and grid minor size by showing that $f(k)=Ω(k^δ)$ for some fixed constant $δ> 0$, and describe a randomized algorithm, whose running time is polynomial in $|V(G)|$ and $k$, that with high probability finds a model of such a grid minor in $G$.

연구 동기 및 목표

• 티위드와 격자 마이너 크기 사이의 다항식 관계를 확립하는 데 있어 오랫동안 열려 있던 문제를 해결하기 위해.
• 이전까지의 최선의 하한 $f(k) = \Omega(\sqrt{\log k / \log \log k})$ 를 초월하여, 티위드 $k$를 가진 그래프에서 가장 큰 격자 마이너의 크기에 대해 개선된 하한을 확보하기 위해.
• 주어진 그래프의 티위드 $k$에 대해, 높은 확률로 다항식 시간 내에 큰 격자 마이너의 모델을 구성할 수 있는 랜덤화된 다항식 시간 알고리즘을 개발하기 위해.
• 구체적인 정량적 상한을 제공하는 구조적 증명을 통해 격자 마이너 정리의 증명을 완성하여, 알려진 상한과 하한 사이의 격차를 메우기 위해.

제안 방법

• 너비 $w$와 길이 $\ell$를 가진 '세트의 경로 시스템'이라 불리는 새로운 조합 구조를 도입하고 활용하며, 이는 서로소인 노드 집합들로 구성되며, 서로소 경로들로 연결되어 있으며, 강한 내부 연결성 특성을 지닌다.
• 너비 $w$와 길이 $w$를 가진 세트의 경로 시스템은 $\Omega(w^{1/2}) \times \Omega(w^{1/2})$ 크기의 격자 마이너를 효율적으로 찾는 데 사용될 수 있음을 증명한다.
• 티위드 $k$를 가진 그래프 $G$가 주어졌을 때, 랜덤 샘플링과 잘 연결된 성질을 활용하여, $\Omega(k^{\delta})$ 너비를 가진 세트의 경로 시스템을 구성하는 랜덤화된 알고리즘을 설계한다. 여기서 $\delta > 0$ 이다.
• 경계 성질이 제어된 클러스터로 그래프를 재귀적으로 분해하여, 결과적으로 생성된 클러스터가 변형에 대해 강한 연결성과 잘 연결된 성질을 유지하도록 보장한다.
• 그래프 확산 및 잘 연결된 집합 내의 라우팅 기법을 적용하여, 엣지 혼잡도 한계와 대역폭 성질을 활용해 클러스터 정밀화 과정 동안도 구조적 안정성을 유지한다.
• 티위드와 마이너 포함성에 관한 기존 결과와 새로운 구조 레미마를 결합하여, 충분히 큰 티위드를 가진 그래프에서는 이러한 시스템을 찾을 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 티위드 $k$ 에 대해 가장 큰 격자 마이너의 크기에 대해 다항식 하한을 확립할 수 있는가?
• RQ2 주어진 그래프의 티위드 $k$ 에 대해, $|V(G)|$ 와 $k$ 에 대해 다항식 시간 내에 효율적으로 격자 마이너 모델을 구성할 수 있는 랜덤화된 알고리즘을 설계할 수 있는가?
• RQ3 모든 티위드 $k$ 를 가진 그래프에 대해 $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$ 가 성립하는 데 있어 최적의 지수 $\delta$ 는 무엇인가?
• RQ4 잘 연결된 집합과 세트의 경로 시스템의 구조적 성질을 어떻게 활용하여 격자 마이너 정리의 정량적 상한을 향상시킬 수 있는가?

주요 결과

• 논문은 $\delta > 0$ 인 절대 상수 $\delta$ 가 존재하여 $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$ 임을 증명한다. 특히 $\delta \geq 1/98$ 이다.
• 저자들은 높은 확률로 $|V(G)|$ 와 $k$ 에 대해 다항식 시간 내에 크기 $\Omega(k^{\delta}/\operatorname{poly}\log k) \times \Omega(k^{\delta}/\operatorname{poly}\log k)$ 의 격자 마이너 모델을 찾는 랜덤화된 알고리즘을 제시한다.
• 세트의 경로 시스템 프레임워크는 다항 정량 상한을 가진 격자 마이너 정리의 구조적 증명을 가능하게 하여 오랫동안 열려 있던 문제를 해결한다.
• 결과적으로, 고정된 단순 평면 그래프를 마이너로 포함하지 않는 그래프의 티위드는 $O(|V(H)|^c)$ 로 유계가 되며, 이는 기존의 상한을 향상시킨다. 여기서 $c$ 는 절대 상수이다.
• 기존의 하한이 $f(k) = \Omega(\sqrt{\log k / \log \log k})$ 와 같이 다항식 이하였던 것과는 달리, 이 방법은 상당한 향상을 이룩하며 알려진 상한 $f(k) = O(\sqrt{k / \log k})$ 와의 격차를 메운다.
• 잘 연결된 성질과 클러스터 정밀화에 기반한 알고리즘 프레임워크는 향후 그래프 이론 및 알고리즘 설계 분야에서 새로운 도구세트를 제공한다.