[논문 리뷰] Uniform Kernelization Complexity of Hitting Forbidden Minors

Archontia C. Giannopoulou, Bart M. P. Jansen외 2명|arXiv (Cornell University)|2015. 02. 13.

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

한 줄 요약

이 논문은 $φ$-Minor-Free Deletion의 커널화 복잡도를 해결하며, Treewidth-$\eta$ Deletion이 일관된 다항식 커널을 갖지 못함을 증명함과 동시에, Treedepth-$\eta$ Deletion이 크기가 $\mathcal{O}(k^6)$인 일관된 다항식 커널을 갖는다는 것을 입증한다. 이는 트리깊이 분해의 명시적 구조적 통찰과 비-프로트루션 기반 커널화 알고리즘을 통해 달성된다.

ABSTRACT

The F-Minor-Free Deletion problem asks, for a fixed set F and an input consisting of a graph G and integer k, whether k vertices can be removed from G such that the resulting graph does not contain any member of F as a minor. This paper analyzes to what extent provably effective and efficient preprocessing is possible for F-Minor-Free Deletion. Fomin et al. (FOCS 2012) showed that the special case Planar F-Deletion (when F contains at least one planar graph) has a kernel of size f(F) * k^{g(F)} for some functions f and g. The degree g of the polynomial grows very quickly; it is not even known to be computable. Fomin et al. left open whether Planar F-Deletion has kernels whose size is uniformly polynomial, i.e., of the form f(F) * k^c for some universal constant c that does not depend on F. Our results in this paper are twofold. (1) We prove that some Planar F-Deletion problems do not have uniformly polynomial kernels (unless NP is in coNP/poly). In particular, we prove that Treewidth-Eta Deletion does not have a kernel with O(k^{eta/4} - eps) vertices for any eps > 0, unless NP is in coNP/poly. In fact, we even prove the kernelization lower bound for the larger parameter vertex cover number. This resolves an open problem of Cygan et al. (IPEC 2011). It is a natural question whether further restrictions on F lead to uniformly polynomial kernels. However, we prove that even when F contains a path, the degree of the polynomial must, in general, depend on the set F. (2) A canonical F-Minor-Free Deletion problem when F contains a path is Treedepth-eta Deletion: can k vertices be removed to obtain a graph of treedepth at most eta? We prove that Treedepth-eta Deletion admits uniformly polynomial kernels with O(k^6) vertices for every fixed eta. In order to develop the kernelization we prove several new results about the structure of optimal treedepth-decompositions.

연구 동기 및 목표

• 모든 Planar $\mathcal{F}$-Minor-Free Deletion 문제들이 일관된 다항식 커널을 갖는지 여부를 규명하는 것.
• 커널화의 맥락에서 트리너비와 트리깊이 매개변수 간의 구조적 차이를 조사하는 것.
• Treewidth-$\eta$ Deletion의 커널화 복잡도에 대한 열린 문제를 해결하는 것.
• Treedepth-$\eta$ Deletion에 대해 구조적이고 비-프로트루션 기반의 커널화 알고리즘을 개발하는 것.

제안 방법

• 기존의 하드네스 가정으로부터의 축소를 통해 Treewidth-$\eta$ Deletion이 일관된 다항식 커널을 갖지 못함을 증명하였다.
• 최적의 트리깊이 분해의 구조적 성질에 기반한 새로운 커널화 프레임워크를 제안하였다.
• 분해 트리의 높이와 리프 구조에 의존하여, 커널 내의 컴포넌트 크기를 유한하게 제한하는 유한 분기 축소 전략을 사용하였다.
• 정점 커버, 피드백 정점 집합, 컴포넌트 트리의 경계를 조합하여 커널 크기의 경계를 $\mathcal{O}(k^6)$로 확립하였다.
• '프로트루션 기계장치'에 의존하지 않도록, 완전히 명시적인 커널화 알고리즘을 구축함으로써 이를 피했다.
• 장애 집합과 커널 크기 간의 연결을 활용하여, 커널 복잡도에 대한 상한과 하한을 유도하였다.

실험 결과

연구 질문

• RQ1 모든 Planar $\mathcal{F}$-Minor-Free Deletion 문제들이 일관된 다항식 커널을 갖는가, 즉 모든 $\mathcal{F}$에 대해 $f(\mathcal{F}) \cdot k^c$ 크기의 커널을 갖는가? (여기서 $c$는 보편적인 상수이다.)
• RQ2 소멸 불가 그래프 문제에서 커널화 복잡도 측면에서 트리너비와 트리깊이 매개변수 간에 근본적인 차이가 존재하는가?
• RQ3 구조적이고 비-프로트루션 기반의 커널화 알고리즘이 Treedepth-$\eta$ Deletion에 대해 일관된 다항식 커널 크기를 달성할 수 있는가?
• RQ4 소멸 폐쇄 그래프 가족에서 장애 집합의 크기와 커널 크기 사이의 관계는 무엇인가?

주요 결과

• Treewidth-$\eta$ Deletion은 $\mathcal{O}(k^{\eta/4 - \epsilon})$ 크기의 커널을 갖지 못하며, 이는 $\epsilon > 0$에 대해 성립한다. 이는 NP $\subseteq$ coNP/poly가 성립하지 않는 한이다.
• 정점 커버 수에 따라 매개변수화된 경우에도, Treewidth-$\eta$ Deletion은 동일한 가정 하에 일관된 다항식 커널을 갖지 못한다.
• Treedepth-$\eta$ Deletion은 크기가 $\mathcal{O}(k^6)$인 일관된 다항식 커널을 갖는다. 명시적인 상한은 $2^{\mathcal{O}(\eta^2)} \cdot k^6$이다.
• 커널화 알고리즘은 완전히 구조적이며, 이전 연구에서 사용된 비구조적 '프로트루션 기계장치'에 의존하지 않는다.
• 트리깊이 $\eta$로 축소 가능한 그래프에 대해, 장애 집합의 크기는 $2^{\mathcal{O}(\eta^2)} \cdot k^6$ 이하로 제한되며, 이는 커널 크기 상한과 정확히 일치한다.
• 결과적으로, 소멸 폐쇄 그래프 가족에서 커널화 복잡도와 장애 집합 크기 사이의 밀접한 연결을 확립하였다.