[논문 리뷰] On the Parameterized Complexity of Contraction to Generalization of Trees

Akanksha Agrawal, Saket Saurabh외 1명|arXiv (Cornell University)|2017. 08. 02.

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

한 줄 요약

이 논문은 그래프를 최대 ℓ개의 간선을 삭제함으로써 트리로 만들 수 있는 그래프로 일반화된 그래프 수축, 즉 Tℓ-Contraction을 소개한다. 이는 k에 대해 FPT 알고리즘을 제공하며, 실행 시간은 O((2√ℓ + 2)^{O(k+ℓ)} · n^O(1))이다. 또한 k에 대해 다항식 커널이 존재하지 않음을 보이며, 임의의 α > 1에 대해 크기가 O([k(k + 2ℓ)]^{⌈α/(α−1)⌉+1})인 손실 커널을 제시한다.

ABSTRACT

For a family of graphs F, the F-Contraction problem takes as an input a graph G and an integer k, and the goal is to decide if there exists S \subseteq E(G) of size at most k such that G/S belongs to F. Here, G/S is the graph obtained from G by contracting all the edges in S. Heggernes et al.[Algorithmica (2014)] were the first to study edge contraction problems in the realm of Parameterized Complexity. They studied \cal F-Contraction when F is a simple family of graphs such as trees and paths. In this paper, we study the F-Contraction problem, where F generalizes the family of trees. In particular, we define this generalization in a "parameterized way". Let T_\ell be the family of graphs such that each graph in T_\ell can be made into a tree by deleting at most \ell edges. Thus, the problem we study is T_\ell-Contraction. We design an FPT algorithm for T_\ell-Contraction running in time O(( col)^{O(k + \ell)} * n^{O(1)}). Furthermore, we show that the problem does not admit a polynomial kernel when parameterized by k. Inspired by the negative result for the kernelization, we design a lossy kernel for T_\ell-Contraction of size O([k(k + 2\ell)] ^{(\lceil {\frac{\alpha}{\alpha-1} ceil + 1)}}).

연구 동기 및 목표

• 최대 ℓ개의 간선을 제거함으로써 트리로 만들 수 있는 그래프의 가족 Tℓ에 대해, 그래프 수축의 매개변수 복잡도를 연구하는 것.
• k에 대해 다항식 커널이 존재하는지 여부에 대한 열린 문제를 다루며, 특히 ℓ=0인 T-Contraction의 경우 이미 다항식 커널이 존재하지 않음을 알고 있기에 이를 고려하는 것.
• 커널화가 실패할 경우를 대비해 손실 커널을 설계하는 것.
• ℓ를 사용한 매개변수화된 확장 기법을 통해 T-Contraction(ℓ=0)에 대한 FPT 알고리즘의 일반화를 위한 것.

제안 방법

• 최대 ℓ개의 간선을 제거함으로써 트리로 만들 수 있는 그래프의 가족 Tℓ를 정의하며, 이를 표준 트리 가족의 일반화로 삼는다.
• Heggernes 등 [17]의 T-Contraction에 대한 FPT 알고리즘 프레임워크를 변형하여, 간선 수축 기반의 분할 전략을 사용해 Tℓ-Contraction을 처리한다.
• 그래프를 단순화하기 위한 세 가지 감소 규칙(6.1–6.3)을 설계: 연결된 정점 커버 정리, 고도수 정점에 기반한 정점 정리, 이웃의 크기를 제한하는 조건.
• 감소 규칙을 적용한 후 남는 그래프의 크기가 O([k(k + 2ℓ)]^{d+1})로 유계임을 증명하며, 이는 엄밀한 PSAKS(다항식 크기의 근사 커널화 체계)를 이끈다.
• 해답의 등가성을 유지하기 위해 증거 구조와 수축 불변성을 사용하며, 손실 커널이 근사 해의 품질을 보존함을 보장한다.
• 표준 복잡도 가정 하에 Tℓ-Contraction은 다항식 커널을 갖지 못함을 입증하며, 이는 손실 커널화의 필요성을 부각시킨다.

실험 결과

연구 질문

• RQ1 T-Contraction 문제는 트리 이외의 그래프 가족으로 매개변수화된 일반화가 가능할 수 있는가? 즉, 문제의 고정 매개변수 복잡도가 유지되는가?
• RQ2 고정된 ℓ ≥ 0에 대해 Tℓ-Contraction은 k에 대해 다항식 커널을 갖는가?
• RQ3 아니면, k와 ℓ에 대해 다항식 크기로 축소된 인스턴스를 제공하면서도 좋은 근사값을 보존할 수 있는 손실 커널을 구성할 수 있는가?
• RQ4 Tℓ에 속하는 그래프의 어떤 구조적 성질을 활용하여 효율적인 FPT 알고리즘과 커널화 체계를 설계할 수 있는가?

주요 결과

• Tℓ-Contraction에 대해 실행 시간이 O((2√ℓ + 2)^{O(k+ℓ)} · n^O(1))인 FPT 알고리즘을 설계하였으며, 이는 표준 T-Contraction의 FPT 결과를 일반화한다.
• 모든 고정된 ℓ ∈ ℕ에 대해 k에 대해 다항식 커널이 존재하지 않음을, 기존 커널화 하한의 감소를 통해 증명하였다.
• 임의의 α > 1에 대해 크기가 O([k(k + 2ℓ)]^{⌈α/(α−1)⌉+1})인 손실 커널을 구성하였으며, 이는 엄밀한 PSAKS(다항식 크기의 근사 커널화 체계)를 형성한다.
• 세 가지 감소 규칙을 적용한 후의 축소된 인스턴스 크기는 O([k(k + 2ℓ)]^{d+1})로 유계이며, 여기서 d = ⌈α/(α−1)⌉이다. 이는 커널이 작고 효율적임을 보장한다.
• 감소 규칙은 근사 해 재구성 가능성을 유지하며, 손실 커널은 최적 해의 크기를 최대 α 배 이내로 유지함을 보장한다.
• 증명은 증거 구조와 수축 불변성을 기반으로 하며, 원래 그래프의 모든 해가 축소된 그래프의 해로 매핑 가능하며 크기 손실가 제한됨을 보여준다.