[논문 리뷰] Faster Parameterized Algorithms using Linear Programming

Daniel Lokshtanov, N. S. Narayanaswamy외 3명|arXiv (Cornell University)|2012. 03. 05.

Advanced Graph Theory Research참고 문헌 16인용 수 19

한 줄 요약

이 논문은 정점 커버의 최적 해의 크기와 선형계획법(LP) 근사값 사이의 차이를 활용하여 정점 커버 및 관련 문제에 대해 더 빠른 파arameterized 알고리즘을 제시한다. 분기 과정에서 LP 값의 변화를 분석함으로써, Above Guarantee Vertex Cover 및 관련 문제에 대해 $O^{*}(2.3146^k)$ 알고리즘을 달성하였으며, 이는 이전의 $O^{*}(3^k)$ bound에 비해 크게 향상된 결과이다. 또한 표준 정점 커버 문제에 대해 $2k - O(\log k)$ 크기의 커널을 제안한다.

ABSTRACT

We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal solution and the value of the linear programming (LP) relaxation of the problem. By carefully analyzing the change in the LP value in the branching steps, we argue that combining previously known preprocessing rules with the most straightforward branching algorithm yields an $O^*((2.618)^k)$ algorithm for the problem. Here $k$ is the excess of the vertex cover size over the LP optimum, and we write $O^*(f(k))$ for a time complexity of the form $O(f(k)n^{O(1)})$, where $f (k)$ grows exponentially with $k$. We proceed to show that a more sophisticated branching algorithm achieves a runtime of $O^*(2.3146^k)$. Following this, using known and new reductions, we give $O^*(2.3146^k)$ algorithms for the parameterized versions of Above Guarantee Vertex Cover, Odd Cycle Transversal, Split Vertex Deletion and Almost 2-SAT, and an $O^*(1.5214^k)$ algorithm for Konig Vertex Deletion, Vertex Cover Param by OCT and Vertex Cover Param by KVD. These algorithms significantly improve the best known bounds for these problems. The most notable improvement is the new bound for Odd Cycle Transversal - this is the first algorithm which beats the dependence on $k$ of the seminal $O^*(3^k)$ algorithm of Reed, Smith and Vetta. Finally, using our algorithm, we obtain a kernel for the standard parameterization of Vertex Cover with at most $2k - c \log k$ vertices. Our kernel is simpler than previously known kernels achieving the same size bound.

연구 동기 및 목표

• 정점 커버 및 관련 문제에 대해 LP 근사값 간격을 파arameter로 활용하여 더 빠른 파arameterized 알고리즘을 개발하기 위해.
• 기존의 $O^{*}(3^k)$ bound를 초월하여 이상적인 정점 커버 문제와 관련된 문제에 대해 개선된 결과를 얻기 위해.
• 기존의 결과보다 더 단순한 커널을 설계하여 표준 정점 커버 문제에 대해 크기가 $2k - O(\log k)$인 커널을 제공하기 위해.
• LP 기반 파arameterization이 더 엄밀한 실행 시간 분석과 향상된 알고리즘 설계를 가능하게 함을 보여주기 위해.

제안 방법

• 저자들은 $\text{OPT}_{\text{VC}} - \text{OPT}_{\text{LP}}$ 를 파arameter로 사용하며, 여기서 $\text{OPT}_{\text{LP}}$ 는 정점 커버 문제의 선형계획법 근사값을 의미한다.
• 분기 단계에서 LP 값의 변화를 분석함으로써 재귀 호출의 수를 제한하고, 이로 인해 향상된 분기 인자 값을 도출한다.
• 방정식 $x^3 = x^2 + 1$ 의 근을 기반으로 하는 개선된 분기 알고리즘을 설계하여 $O^{*}(2.3146^k)$ 실행 시간을 달성한다.
• 표준 전처리 규칙과 LP 기반 분기 알고리즘을 조합함으로써 복잡한 구조적 감소를 피한다.
• Above Guarantee Vertex Cover 로부터의 파arameterized 감소를 통해 이상적인 사이클 제거 및 Kon"{i}g 정점 제거 문제 등으로의 확장이 가능하다.
• 전처리 규칙을 적용하여 $k - \text{OPT}_{\text{LP}} \leq \log k$ 가 되면, 직접 해결하는 커널화 절차를 개발하였다.

실험 결과

연구 질문

• RQ1 최적의 정점 커버 크기와 LP 근사값 간의 차이를 이용하여 정점 커버 및 관련 문제에 대해 더 빠른 파arameterized 알고리즘을 설계할 수 있는가?
• RQ2 LP 값 변화의 정밀한 분석을 통한 LP 기반 분기 알고리즘이 개선된 渐近 실행 시간 bound 를 도출할 수 있는가?
• RQ3 이 방법을 통해 이전에 알려진 것보다 더 작은 커널을 표준 정점 커버 문제에 대해 도출할 수 있는가?
• RQ4 이 방법은 이상적인 정점 커버 문제와 같은 문제들에 대해 $O^{*}(3^k)$ 장벽을 돌파할 수 있는가?

주요 결과

• Above Guarantee Vertex Cover 에 대해 $O^{*}(2.3146^k)$ 알고리즘을 달성하였으며, 이는 이전의 $O^{*}(4^k)$ bound 보다 향상된 결과이다.
• 이상적인 사이클 제거 및 관련 문제들에 대해 새로운 알고리즘이 $O^{*}(3^k)$ 장벽을 돌파하여 $O^{*}(2.3146^k)$ 실행 시간을 달성하였다.
• 표준 정점 커버 문제에 대해 크기가 최대 $2k - O(\log k)$ 인 커널을 확보하였으며, 이는 이전의 동일한 bound 를 가진 구성보다 더 단순하다.
• Kon"{i}g 정점 제거 문제에 대한 알고리즘은 $O^{*}(1.5214^k)$ 시간 내에 실행되며, 이는 이전의 결과를 초월한다.
• 이 방법은 Split Vertex Deletion 및 Almost 2-SAT 와 같은 다른 문제들로의 파arameterized 감소를 통해 일반화 가능하다.
• 결과적으로, Above Guarantee Vertex Cover 에 대한 커널 크기의 모든 경계는 감소 체인 상의 모든 문제들로 이식 가능하다.