[논문 리뷰] Graphs without large $K_{2,n}$-minors

Lochet, William, Sharma, Roohani|arXiv (Cornell University)|2017. 02. 05.

Advanced Graph Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 큰 $K_{2,n}$-minor을 갖지 않는 그래프의 구조를 규명하기 위해, 두 가지 그래프 유형의 유한한 2합성으로 구성된다는 것을 보여준다: 유형-I 그래프(외평면 그래프의 일반화로, 해밀턴 사이클에서 제한된 교차를 가진 다각형)와 크기가 유한한 그래프의 보강. 핵심 결과는 최소 차수 ≥6인 충분히 큰 3연결 그래프, 고차수 정점을 가진 4연결 그래프, 그리고 충분히 큰 5연결 그래프는 큰 $n$에 대해 반드시 $K_{2,n}$-minor을 포함한다는 것이다. 이는 고유한 미니어 컨텐트 구조적 임계점을 설정한다.

ABSTRACT

In the F-Deletion problem, where F is a fixed finite family of graphs, the input is a graph G and an integer k, and the goal is to determine if there exists a set of at most k vertices whose deletion results in a graph that does not contain any graph of F as a minor. The F-Deletion problem encapsulates a large class of natural and interesting graph problems like Vertex Cover, Feedback Vertex Set, Treewidth-η Deletion, Treedepth-η Deletion, Pathwidth-η Deletion, Outerplanar Deletion, Vertex Planarization and many more. We study the F-Deletion problem from the kernelization perspective. In a seminal work, Fomin et al. [FOCS 2012] gave a polynomial kernel for this problem when the family F contains at least one planar graph. The asymptotic growth of the size of the kernel is not uniform with respect to the family F: that is, the size of the kernel is k^{f(F)}, for some function f that depends only on F. Later Giannopoulou et al. [TALG 2017] showed that the non-uniformity in the kernel size bound is unavoidable as Treewidth-η Deletion cannot admit a kernel of size 𝒪(k^{(η+1)/2 - ε}), for any ε > 0, unless NP ⊆ coNP/poly. On the other hand it was also shown that Treedepth-η Deletion admits a uniform kernel of size f(F) ⋅ k⁶ depicting that there are subclasses of F where the asymptotic kernel sizes do not grow as a function of the family F. This work led to the question of determining classes of F where the problem admits uniform polynomial kernels. In this paper, we show that if all the graphs in F are connected and ℱ contains K_{2,p} (a bipartite graph with 2 vertices on one side and p vertices on the other), then the problem admits a uniform kernel of size f(F) ⋅ k^10. The graph K_{2,p} is one natural extension of the graph θ_p, where θ_p is a graph on two vertices and p parallel edges. The case when F contains θ_p has been studied earlier and serves as (the only) other example where the problem admits a uniform polynomial kernel.

연구 동기 및 목표

• 주어진 $n$에 대해 큰 $K_{2,n}$-minor을 포함하지 않는 그래프의 구조를 규명하는 것.
• $K_{1,n}$-minor-free 그래프의 기존 구조적 특성 분석을 더 복잡한 $K_{2,n}$-minor 경우로 확장하는 것.
• 크기가 큰 그래프에서 $K_{2,n}$-minor이 반드시 존재하도록 하는 충분한 연결성 조건을 설정하는 것.
• 2합성과 유한한 보강을 사용한 분해 정리의 형식화를 통해 $K_{2,n}$-minor-free 그래프를 묘사하는 것.

제안 방법

• 해밀턴 사이클에서 제한된 교차를 가진 유형-I 그래프를 도입하여 외평면 그래프의 일반화로 정의한다.
• 두 가지 유형의 보강을 정의한다: 팬과 스트립으로, 이는 크기가 유한한 그래프에 추가되어 두 번째 유형의 빌딩 블록을 형성한다.
• 2합성 연산을 사용하여 그래프를 조합하며, 구조적 제약을 유지하면서 복잡한 $K_{2,n}$-minor-free 그래프를 구축한다.
• 귀납법과 미니어 수축/삭제 추론을 적용하여 유형-I 그래프가 $K_{2,5}$-minor을 포함하지 않음을 보인다.
• 2합성에서의 재귀적 미니어 회피 추론을 사용하여, 구성 요소 그래프가 $K_{2,m}$ 및 $K_{2,n}$-minor을 회피한다면 2합성이 $K_{2,mn}$-minor을 회피함을 증명한다.
• 스트립과 팬에서의 간선 분리 집합을 사용하여 서로 다른 연결 수를 제한하고, 미니어 크기에 대한 지수적 상한을 도출한다.

실험 결과

연구 질문

• RQ1 주어진 $n$에 대해 큰 $K_{2,n}$-minor을 포함하지 않는 그래프를 특징짓는 구조적 성질은 무엇인가?
• RQ2 $K_{2,n}$-minor-free 그래프의 클래스는 유한한 수의 빌딩 블록과 연산을 사용해 분해될 수 있는가?
• RQ3 크기가 큰 그래프에서 $K_{2,n}$-minor이 반드시 존재하도록 하는 연결성의 임계값은 무엇인가?
• RQ4 2합성 연산은 크기가 유한한 보강을 가진 그래프의 미니어 닫힘 성질에 어떻게 영향을 미치는가?

주요 결과

• 모든 $K_{2,n}$-minor-free 그래프는 유한한 수의 2합성 연산을 통해 유형-I 그래프와 크기가 유한한 그래프의 보강으로 구성될 수 있다.
• 유형-I 그래프는 $K_{2,5}$-minor을 포함하지 않으며, 이는 미니어 포함의 구조적 장벽을 설정한다.
• 두 개의 $K_{2,m}$-와 $K_{2,n}$-minor-free 그래프의 2합성은 $K_{2,mn}$-minor-free이므로, 재귀적 미니어 회피 상한을 가능하게 한다.
• 최대 $n$개 정점을 가진 그래프의 모든 보강은 $K_{2,f_{6.3}(n)}$-minor을 회피하며, 여기서 $f_{6.3}(n) = 10n \cdot 2^n$ 이므로 지수적 상한이 제공된다.
• 임의의 고정된 $n$에 대해 충분히 큰 3연결 그래프이면서 최소 차수가 6 이상인 그래프는 반드시 $K_{2,n}$-minor을 포함한다.
• 충분히 높은 차수를 가진 4연결 그래프와 충분히 큰 5연결 그래프는 큰 $n$에 대해 반드시 $K_{2,n}$-minor을 포함한다.