[논문 리뷰] A Linear Time Parameterized Algorithm for Directed Feedback Vertex Set

Daniel Lokshtanov, M. S. Ramanujan외 1명|arXiv (Cornell University)|2016. 09. 14.

Advanced Graph Theory Research참고 문헌 47인용 수 9

한 줄 요약

이 논문은 Directed Feedback Vertex Set (DFVS) 문제에 대해 최초로 선형 시간 내에 작동하는 고정 매개변수 다항시간(FPT) 알고리즘을 제시한다. 이 알고리즘은 $\mathcal{O}(k!\,4^k\,k^5\,(n+m))$의 실행 시간을 가지며, 매개변수 의존도를 유지하면서 인스턴스 크기를 줄이는 새로운 분리자 기반 반복 축소 기법을 도입함으로써 이를 달성한다. 이 기법은 최적에 가까운 매개변수 의존도를 유지하며, $k$의 요소까지 허용한다. 또한 이 접근법은 Multicut 및 Directed Subset Feedback Vertex Set과 같은 관련 문제들에 대한 성능 향상도 가능하게 한다.

ABSTRACT

In the Directed Feedback Vertex Set (DFVS) problem, the input is a directed graph $D$ on $n$ vertices and $m$ edges, and an integer $k$. The objective is to determine whether there exists a set of at most $k$ vertices intersecting every directed cycle of $D$. Whether or not DFVS admits a fixed parameter tractable (FPT) algorithm was considered the most important open problem in parameterized complexity until Chen, Liu, Lu, O'Sullivan and Razgon [JACM 2008] answered the question in the affirmative. They gave an algorithm for the problem with running time $O(k!4^kk^4nm)$. Since then, no faster algorithm for the problem has been found. In this paper, we give an algorithm for DFVS with running time $O(k!4^kk^5(n+m))$. Our algorithm is the first algorithm for DFVS with linear dependence on input size. Furthermore, the asymptotic dependence of the running time of our algorithm on the parameter $k$ matches up to a factor $k$ the algorithm of Chen, Liu, Lu, O'Sullivan and Razgon. On the way to designing our algorithm for DFVS, we give a general methodology to shave off a factor of $n$ from iterative-compression based algorithms for a few other well-studied covering problems in parameterized complexity. We demonstrate the applicability of this technique by speeding up by a factor of $n$, the current best FPT algorithms for Multicut [STOC 2011, SICOMP 2014] and Directed Subset Feedback Vertex Set [ICALP 2012, TALG 2014].

연구 동기 및 목표

• 고전적인 Directed Feedback Vertex Set (DFVS) 문제에 대해 최초로 선형 시간 내에 작동하는 FPT 알고리즘을 설계하는 것.
• Chen 등(2008)의 최신 기술인 $\mathcal{O}(4^k\,k!\,k^4\,nm)$의 실행 시간을 향상시켜 입력 크기와의 선형 의존도를 달성하는 것.
• 커버링 문제에 대한 반복 압축 기반 FPT 알고리즘에서 $n$ 요소를 제거하는 일반적인 방법론을 개발하는 것.
• 이 기법을 Multicut 및 Directed Subset Feedback Vertex Set와 같은 다른 문제들로 확장하는 것.
• 작은 $k$ 값에 대해 낮은 숨겨진 상수를 가지므로 알고리즘이 구현 가능하고 효율적임을 보여주는 것.

제안 방법

• 각 반복에서 인스턴스 크기를 일정 비율로 줄이는 새로운 분리자 기반 반복 축소 프레임워크를 도입한다.
• 매개변수를 줄이거나 효율적인 인스턴스 압축을 가능하게 하는 좋은 분리자를 식별하기 위해 타이트한 분리자 순서를 활용한다.
• 유효한 피드백 정점 집합을 찾는 데 도움이 되는 $l$-좋음, $r$-좋음, $l$-경량, $r$-경량 분리자 개념을 사용한다.
• 일般적인 DFVS 문제를 그의 압축 형태로 변환하는 데 사용되는 블랙박스 감소 기법을 적용하여 선형 시간 성능을 달성한다.
• 해결책의 구조적 강성 덕분에 분리자에 의해 유도된 부분 구조가 항상 원하는 그래프 클래스에 속하도록 보장한다.
• 이러한 기법을 Multicut 및 Directed Subset Feedback Vertex Set에 대한 기존 FPT 알고리즘에 적용하여 $n$ 요소의 성능 향상을 이룬다.

실험 결과

연구 질문

• RQ1 Directed Feedback Vertex Set 문제에 대해 $\mathcal{O}(f(k)\cdot(n+m))$ 실행 시간을 가지는 선형 시간 FPT 알고리즘을 설계할 수 있는가?
• RQ2 반복 축소 기반 FPT 알고리즘에 대해 이 기법을 다른 문제들로 일반화할 수 있는가, 특히 $\mathcal{O}(f(k)\cdot n)$ 오버헤드를 가지는 문제들에 대해?
• RQ3 이 알고리즘의 매개변수 의존도를 최고의 기존 결과와 일치시키면서도 입력 크기와의 선형 의존도를 달성할 수 있는가?
• RQ4 새로운 분리자 기반 방법이 작은 $k$에 대해 실용적 효율성에 상당한 향상을 줄 수 있는가?
• RQ5 이 기법을 Multicut 및 Directed Subset Feedback Vertex Set와 같은 다른 커버링 문제로 확장할 수 있는가?

주요 결과

• 논문은 입력 크기와의 선형 의존도를 달성한 최초의 선형 시간 FPT 알고리즘을 DFVS 문제에 대해 제시하며, 실행 시간은 $\mathcal{O}(k!\,4^k\,k^5\,(n+m))$이다.
• 알고리즘은 최고의 기존 매개변수 의존도인 $\mathcal{O}(k!\,4^k)$를 $k$의 요소까지 유지하며, Exponential Time Hypothesis (ETH)에 따라 거의 최적이다.
• 매개변수 의존도를 유지하면서도 각 반복에서 인스턴스 크기를 일정 비율로 줄이는 새로운 분리자 기반 반복 축소 기법을 도입한다.
• 이 기법은 Multicut 및 Directed Subset Feedback Vertex Set에 대한 기존 FPT 알고리즘의 실행 시간을 $\mathcal{O}(f(k)\cdot n^2)$에서 $\mathcal{O}(f(k)\cdot n)$으로 줄여 $n$ 요소의 성능 향상을 이룬다.
• 알고리즘은 기본적인 알고리즘적 및 조합적 도구들만 사용하므로, 낮은 숨겨진 상수를 가지며 작은 $k$에 대해 높은 실용적 효율성을 보인다.
• 이 프레임워크는 $\mathcal{O}(f(k)\cdot n)$ 오버헤드를 가지는 임의의 반복 압축 기반 FPT 알고리즘을 $\mathcal{O}(f(k)\cdot n)$ 시간으로 변환할 수 있는 일반적인 방법을 제공한다. 이는 각 단계에서 입력 크기를 줄임으로써 달성된다.