[논문 리뷰] Product structure of graphs with an excluded minor

Freddie Illingworth, Alex Scott외 1명|arXiv (Cornell University)|2021. 04. 14.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 $K_t$-minor-free 및 $K_{s,t}$-minor-free 그래프가 유계 트리너비를 가진 그래프 $H$와 완전 그래프 $K_m$의 강한 곱의 부분그래프로 임bedded될 수 있음을 입증하며, $H$의 트리너비와 블로우업 인자 $m$에 대해 최적의 경계를 확보한다. 핵심 기여는 Alon-Seymour-Thomas 분리자 정리의 강화와 함께, 그래프 미노르 자유 가족에 대해 날카롭고 구조적인 경계를 제공하는 일반적인 곱 구조 정리이다.

ABSTRACT

This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].

연구 동기 및 목표

• 고정된 미노르를 포함하지 않는 그래프의 곱 구조에 대해 최적의 경계를 확립하는 것, 특히 $K_t$- 및 $K_{s,t}$-minor-free 그래프에 초점한다.
• 새로운 곱 분해 프레임워크를 사용하여 Alon-Seymour-Thomas 분리자 정리를 일반화하고 강화하는 것.
• 미노르 자유 그래프에 대해 기저 그래프 $H$의 트리너비와 $H \boxtimes K_m$에서의 블로우업 인자 $m$에 대해 구조적이고 최적의 경계를 제공하는 것.
• 블로우업 인자 $m$이 트리너비 $\operatorname{tw}(G)$에 선형 의존성을 가지는지에 대한 열린 문제를 해결하며, $K_t$-minor-free 그래프에 대해 $\operatorname{tw}(G)$에 대해 선형 의존성을 달성하는 것.

제안 방법

• 저자는 $K_t$-minor-free 그래프의 트리분해를 곱 분해 $G \subseteq H \boxtimes K_m$로 변환하는 일반적인 곱 구조 정리를 도입하며, 여기서 $H$는 분해로부터 얻는 유계 트리너비를 상속한다.
• 반복적인 클리크 합을 사용하여 기저 그래프 $H$를 구성하여, $K_t$-minor-free 그래프에 대해 $\operatorname{tw}(H) \leq t-2$임을 보장한다.
• 블로우업 인자 $m$은 정점 수 $n$과 그래프의 트리너비에 기반하며, $K_t$-minor-free 그래프에 대해 $m = \mathcal{O}(\sqrt{n})$이다.
• For $K_{s,t}^*$-minor-free 그래프에 대해, 방법은 $\operatorname{tw}(H) \leq s$와 함께 $m = \mathcal{O}(\sqrt{(s-1)(t-1)n})$를 도출하며, 이는 이전의 경계를 향상시킨다.
• 이 접근법은 이중성 추론과 해븐스를 피하고, 트리분해와 강한 곱 성질에 기반한 직접적 구성에 의존한다.
• 이 프레임워크는 평면 그래프 곱 구조 정리와 Alon-Seymour-Thomas 분리자 정리를 복구하고 강화하는 데 적용된다.

실험 결과

연구 질문

• RQ1 고정된 $t$에 대해 $\operatorname{tw}(H)$가 $t$에 독립적이고 $m$이 $n^{1/2}$에 다항식인 $H \boxtimes K_m$에 $K_t$-minor-free 그래프를 임베딩할 수 있는가?
• RQ2 $K_t$-minor-free 그래프에 대해 $m$이 $\operatorname{tw}(G)$에 대해 선형이 되도록 할 수 있는가, 즉 이전의 $\mathcal{O}(\operatorname{tw}(G)^2)$ 경계보다 개선된 것인가?
• RQ3 $H$의 트리너비에서 $t$에 대한 의존성을 상수로 줄일 수 있는가, 이때 $m = \mathcal{O}(\sqrt{n})$를 유지하는가?
• RQ4 $K_{s,t}^*$-minor-free 곱 구조 정리가 $m$과 $\operatorname{tw}(H)$에 대해 최적의 경계를 제공하는가, 특히 $s=2$일 경우에 대해 어떻게 되는가?
• RQ5 $K_t$-minor-free 그래프의 행 트리너비가 층상 트리너비로 유계될 수 있는가, 그리고 이는 그래프 곱 계층에 어떤 의미를 갖는가?

주요 결과

• 모든 $K_t$-minor-free 그래프 $G$에 대해 $n$개 정점이 있을 때, $G$는 $\operatorname{tw}(H) \leq t-2$ 및 $m = 2\sqrt{(t-3)n}$인 $H \boxtimes K_{\lfloor m \rfloor}$의 부분그래프와 동형이며, $n$에 대해 최적의 의존성을 달성한다.
• 블로우업 인자 $m$은 渐近적으로 최적임이 입증되었으며, 이는 $n^{1/2} \times n^{1/2}$ 평면 격자(이는 $K_5$-minor-free이지만 $m = \Omega(n^{1/2})$ 가 필요로 함)에 의해 확인된다.
• For $K_{s,t}^*$-minor-free 그래프에 대해, $G$는 $\operatorname{tw}(H) \leq s$ 및 $m = 2\sqrt{(s-1)(t-1)n}$를 만족하는 $H \boxtimes K_m$에 임bedded되며, 이는 최고의 알려진 하한 경계와 일치한다.
• 논문은 $K_t$-minor-free 그래프에 대해 $m$이 $\operatorname{tw}(G)$에 대해 선형 의존성을 가지며, 구체적으로 $m = \operatorname{tw}(G) + 1$임을 달성하여 이전의 $\mathcal{O}(\operatorname{tw}(G)^2)$ 경계를 향상시켰다.
• $K_{2,t}^*$-minor-free 그래프에 대해, 블로우업 인자는 $n$에 독립적인 $t-1$ 이하로 유계되며, 이는 $\mathcal{O}(t^3)$ 경계를 $\mathcal{O}(t)$로 개선하는 데 있어 열린 문제를 해결한다.
• 이 방법은 더 강력한 정량적 제어를 제공하는 Alon-Seymour-Thomas 분리자 정리의 새로운 증명을 도출하며, $K_t$-minor-free 그래프에 대해 $\operatorname{rtw}(G) \leq (t-1)\operatorname{ltw}(G) - 1$임을 입증한다.