[논문 리뷰] Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization

Hans L. Bodlaender, Bart M. P. Jansen외 1명|arXiv (Cornell University)|2011. 04. 21.

Advanced Graph Theory Research참고 문헌 38인용 수 7

한 줄 요약

이 논문은 매개변수화 복잡도에서 커널화를 통해 트리폭에 대한 전처리 규칙에 대한 첫 번째 엄밀한 이론적 분석을 제공한다. 트리폭이 피드백 정점 집합(정점 수 O(fvs(G)⁴)) 또는 정점 커버(정점 수 O(vc(G)³))에 대해 다항식 커널을 가지며, NP ⊆ coNP/poly가 성립하지 않는 한 클리크 모듈레이터 또는 정점 커버를 통한 가중치 트리폭에 대해 다항식 커널이 존재하지 않음을 보여준다.

ABSTRACT

The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first apply an array of preprocessing rules that simplify and shrink it. This work seeks to prove rigorous performance guarantees for such preprocessing rules, both known and new ones, by studying them in the framework of kernelization from parameterized complexity. It is known that the NP-complete problem of determining whether a given graph G has treewidth at most k admits no polynomial-time preprocessing algorithm that reduces any input instance to size polynomial in k, unless NP is in coNP/poly and the polynomial hierarchy collapses to its third level. In this paper we therefore consider structural graph measures larger than treewidth, and determine whether efficient preprocessing can shrink the instance size to a polynomial in such a parameter value. We prove that given an instance (G,k) of treewidth we can efficiently reduce its size to O(fvs(G)^4) vertices, where fvs(G) is the size of a minimum feedback vertex set in G. We can also prove a size reduction to O(vc(G)^3) vertices, where vc(G) is the size of a minimum vertex cover. Phrased in the language of parameterized complexity, we show that Treewidth has a polynomial kernel when parameterized by the size of a given feedback vertex set, and also by the size of a vertex cover. In contrast we show that Treewidth parameterized by the vertex-deletion distance to a single clique, and Weighted Treewidth parameterized by the size of a vertex cover, do not admit polynomial kernelizations unless NP is in coNP/poly.

연구 동기 및 목표

• 실제 트리폭 계산에 사용되는 전처리 휴리스틱에 대한 이론적 보장을 제공하기 위해.
• 효율적인 전처리가 트리폭 문제를 트리폭보다 큰 구조적 매개변수에 대해 다항식 크기로 축소시킬 수 있는지 분석하기 위해.
• 특히 단순한 그래프 클래스로의 모듈레이터에 기반한 다양한 매개변수화에 대해 트리폭에 대한 다항식 커널 존재 여부를 규명하기 위해.
• 트리폭과 가중치 트리폭에 대한 커널화의 한계를 명확히 하기 위해 다항식 커널이 존재할 가능성이 낮은 매개변수를 식별하기 위해.

제안 방법

• 매개변수화 복잡도에서의 커널화 기법을 활용하여 트리폭 전처리 규칙을 분석한다.
• 트리폭 k와 대체 매개변수로 피드백 정점 집합 크기 및 정점 커버 크기와 같은 구조적 매개변수를 사용한다.
• 트리폭을 유지하면서 그래프를 단순화하는 감소 규칙을 적용하며, 특히 차수 k+1인 거의 단순 정점에 대한 새로운 규칙을 포함한다.
• 주 서브그래프와 모듈 분해의 조합 분석을 통해 커널 크기의 상한을 증명한다.
• 에지가 없는 그래프, 클리크 등과 같은 그래프 클래스로의 모듈레이터 개념을 적용하여 문제를 매개변수화된 커널화 설정으로 재정의한다.
• 소규모 주 서브그래프에서의 가중치 독립 트리폭에 대한 오라클을 활용하여 FPT 알고리즘을 유도한다.

실험 결과

연구 질문

• RQ1 트리폭에 대한 전처리 규칙이 트리폭보다 큰 구조적 매개변수에 대해 다항식 크기로 인스턴스 크기를 줄일 수 있다는 것을 공식적으로 보장할 수 있는가?
• RQ2 피드백 정점 집합 크기나 정점 커버 크기로 매개변수화할 때 트리폭이 다항식 커널을 가지는가?
• RQ3 효율적인 전처리가 존재하더라도 트리폭에 대해 다항식 커널이 존재하지 않는 구조적 매개변수가 존재하는가?
• RQ4 동일한 기법을 가중치 트리폭에 적용할 수 있으며, 이 변종에 대한 커널화의 한계는 무엇인가?
• RQ5 그래프의 구조(예: 코그래프, 순환 그래프, 또는 간격 그래프까지의 거리 등)는 다항식 커널화 가능성에 어떤 영향을 미치는가?

주요 결과

• 피드백 정점 집합 크기로 매개변수화할 경우 트리폭은 크기가 O(fvs(G)⁴)인 다항식 커널을 가진다.
• 정점 커버 크기로 매개변수화할 경우 트리폭은 크기가 O(vc(G)³)인 다항식 커널을 가진다.
• 단일 클리크로의 삭제 거리로 매개변수화할 경우 트리폭에 대해 다항식 커널이 존재하지 않으며, NP ⊆ coNP/poly가 성립하지 않는 한 그러하다.
• 동일한 가정 하에 정점 커버 크기로 매개변수화할 경우 가중치 트리폭에 대해 다항식 커널이 존재하지 않는다.
• 기존 전처리 휴리스틱의 경험적 성공을 설명하기 위해, 이들이 증명 가능한 효과적인 커널화 규칙과 일치함을 보여준다.
• 분석 결과, 코그래프나 순환 그래프까지의 거리와 같은 매개변수들은 다항식 커널을 가지지 않으며, 다항계층 구조가 붕괴하지 않는 한 그러하다.