[논문 리뷰] Planar F-Deletion: Approximation and Optimal FPT Algorithms

Fedor V. Fomin, Daniel Lokshtanov외 2명|arXiv (Cornell University)|2012. 04. 19.

Complexity and Algorithms in Graphs인용 수 9

한 줄 요약

이 논문은 F에 최소한 하나의 평면 그래프가 포함될 경우 F-Deletion 문제를 위한 통합된 다항시간 전처리 기반 프레임워크를 제시한다. 이는 O(nm) 시간에 작동하는 랜덤화된 상수 요인 근사 알고리즘과 연결된 F에 대해 O(2^O(k)n) 시간에 작동하는 FPT 알고리즘을 제공하며, Vertex Cover 및 Feedback Vertex Set 등의 문제들에 대한 이전 결과들을 크게 일반화하고 향상시킨다.

ABSTRACT

Let F be a finite set of graphs. In the F-Deletion problem, we are given an n-vertex, m-edge graph G and an integer k as input, and asked whether at most k vertices can be deleted from G such that the resulting graph does not contain a graph from F as a minor. F-Deletion is a generic problem and by selecting different sets of forbidden minors F, one can obtain various fundamental problems such as Vertex Cover, Feedback Vertex Set or Treewidth η-Deletion. In this paper we obtain a number of generic algorithmic results about F-Deletion, when F contains at least one planar graph. The highlights of our work are • A randomized O(nm) time constant factor approximation algorithm for the opti-mization version of F-Deletion. • A randomized O(2O(k)n) parameterized algorithm for F-Deletion when F is con-nected. Here a family F is called connected if every graph in F is connected. The algorithm can be made deterministic at the cost of making the polynomial factor in the running time n log2 n rather than linear. These algorithms unify, generalize, and improve over a multitude of results in the litera-ture. Our main results have several direct applications, but also the methods we develop on the way have applicability beyond the scope of this paper. Our results – constant factor approximation and FPT algorithms – are stringed together by a common theme of polynomial time preprocessing. 1

연구 동기 및 목표

• F에 최소한 하나의 평면 그래프가 포함될 경우 F-Deletion을 위한 일반적인 알고리즘 프레임워크를 개발하기 위해.
• 다양한 그래프 삭제 문제에 대한 기존의 근사 및 고정 매개변수 복잡도(FPT) 알고리즘을 통합하고 향상시키기 위해.
• F-Deletion 최적화 문제에 대해 O(nm) 시간에 상수 요인 근사 알고리즘을 확립하기 위해.
• 연결된 F에 대해 O(2^O(k)n) 시간에 작동하는 FPT 알고리즘을 제공하며, 약간 더 나쁜 다항 인자로 인해 결정적 변형을 제공하기 위해.
• 이 프레임워크가 Vertex Cover, Feedback Vertex Set, Treewidth η-Deletion과 같은 기본 문제들에 적용 가능함을 보여주기 위해.

제안 방법

• F-Deletion에 대한 필수 구조적 성질을 유지하면서 입력 그래프를 다항시간 전처리를 통해 단순화하기 위해.
• 전처리와 탐욕적 정점 선택을 이용해 O(nm) 시간 내에 상수 근사 비율을 달성하는 랜덤화된 근사 알고리즘을 설계하기 위해.
• 평면 금지 소수를 기반으로 한 커널화와 반복적 감소를 이용해 연결된 F에 대해 O(2^O(k)n) 시간에 작동하는 랜덤화된 FPT 알고리즘을 적용하기 위해.
• 랜덤 선택을 전수 검색으로 대체함으로써 랜덤 알고리즘을 결정적 버전으로 확장하기 위해, 이로 인해 다항 인자가 n log²n으로 증가한다.
• 평면 그래프와 소수 폐쇄 성질에 관한 구조적 그래프 이론 결과를 활용해 전처리 및 감소 단계의 정확성과 효율성을 보장하기 위해.
• 트위드와 그래프 소수에 관한 기존 결과를 통합해 커널 크기를 제한하고 고정 매개변수 복잡도를 보장하기 위해.

실험 결과

연구 질문

• RQ1 F에 최소한 하나의 평면 그래프가 포함될 경우, F-Deletion에 대해 통합된 근사 및 FPT 알고리즘을 개발할 수 있는가?
• RQ2 F-Deletion 최적화 문제에 대해 근선형 시간 내에서 달성 가능한 최선의 근사 비율은 무엇인가?
• RQ3 F가 연결되어 있을 경우, k에 대해 단일 지수적 의존도를 갖는 FPT 알고리즘을 F-Deletion에 대해 설계할 수 있는가?
• RQ4 다항시간 전처리가 미니처 폐쇄 그래프 삭제 문제에 대해 개선된 근사 및 FPT 알고리즘을 가능하게 하는 방식은 무엇인가?
• RQ5 이 프레임워크는 Vertex Cover 및 Feedback Vertex Set과 같은 문제들을 하나의 이론적 프레임워크에 통합할 수 있는 정도는 어느 정도인가?

주요 결과

• 이 논문은 F에 최소한 하나의 평면 그래프가 포함될 경우 F-Deletion에 대해 O(nm) 시간에 작동하는 랜덤화된 상수 요인 근사 알고리즘을 제시한다.
• 연결된 F에 대해 O(2^O(k)n) 시간에 작동하는 FPT 알고리즘을 달성하였으며, 이는 지수의 상수에 대해 최적이다.
• 랜덤화된 FPT 알고리즘은 다항 인자를 n log²n으로 증가시킴으로써 결정적 버전으로 변환할 수 있으며, 이로 인해 O(2^O(k)n log²n)-시간 결정적 알고리즘이 도출된다.
• 이 프레임워크는 Vertex Cover, Feedback Vertex Set, Treewidth η-Deletion 등의 고전 문제들에 대한 기존의 광범위한 결과들을 통합하고 향상시킨다.
• 핵심 기술인 다항시간 전처리 기법은 근사 알고리즘과 FPT 알고리즘 양쪽 모두가 근최적의 실행 시간을 달성하도록 한다.
• 결과는 특정 사례를 초월해 일반적이며, 방법론적 기여는 고정 매개변수 및 근사 알고리즘 분야에 광범위한 함의를 지닌다.