[논문 리뷰] A O(c^k n) 5-Approximation Algorithm for Treewidth

Hans L. Bodlaender, Pål Grønås Drange외 4명|arXiv (Cornell University)|2013. 04. 23.

Complexity and Algorithms in Graphs참고 문헌 3인용 수 10

한 줄 요약

이 논문은 트리 폭 $k$와 정점 수 $n$에 대해 시간 복잡도 $2^{O(k)}n$로 작동하는 최초의 상수 요인 근사 알고리즘을 제안한다. 이 알고리즘은 트리 폭이 $k$를 초과함을 인증하거나, 너비가 $5k+4$ 이하인 트리 분해를 구성한다. 이는 $k$에 대해 단일 지수적 의존도와 $n$에 대해 선형 의존도를 갖는 5-근사 알고리즘을 제공하며, 유계 트리 폭 그래프에서의 동적 프로그래밍 계산에 오랫동안 지속된 성능 저하 문제를 해결한다.

ABSTRACT

We give an algorithm that for an input n-vertex graph G and integer k>0, in time 2^[O(k)]n either outputs that the treewidth of G is larger than k, or gives a tree decomposition of G of width at most 5k+4. This is the first algorithm providing a constant factor approximation for treewidth which runs in time single-exponential in k and linear in n. Treewidth based computations are subroutines of numerous algorithms. Our algorithm can be used to speed up many such algorithms to work in time which is single-exponential in the treewidth and linear in the input size.

연구 동기 및 목표

• 트리 폭에 대해 $k$에 대해 단일 지수적이고 $n$에 대해 선형적인 시간 복잡도를 갖는 상수 요인 근사 알고리즘을 개발하기.
• 이전 알고리즘이 시간 복잡도가 더 높거나 $n$에 대해 선형 의존도를 갖는 상수 요인 근사 알고리즘을 제공하지 못했던 오랜 기간 지속된 트리 폭 계산의 성능 저하 문제를 극복하기.
• 유계 트리 폭 그래프에서 작동하는 알고리즘에 필요한 작은 너비의 트리 분해를 제공하는 실용적이고 이론적으로 효율적인 서브루틴을 제공하기.

제안 방법

• 알고리즘은 반복적으로 부분 그래프에서 작은 분리집합을 식별하여 트리 분해를 구성하는 데 유도하는 재귀적 분리집합 기반 접근법을 사용한다.
• 일부 상수 $c$에 대해 $O(c^k \log n)$ 시간 내에 질의를 지원하는 새로운 데이터 구조를 도입하여 트리 분해를 기반으로 한 효율적 동적 프로그래밍을 가능하게 한다.
• 트리 분해의 경로 분해를 활용하고 루트에서 리프로 향하는 경로를 따라 중간 테이블 $D[i_t]$를 계산하여 유효한 분리와 그 크기를 추적한다.
• 서명과 인터페이스 기반 동적 프로그래밍을 사용하여 트리 분해 노드 간의 일관성을 유지하고 분리 정보의 정확한 전파를 보장한다.
• 좌측 및 우측으로 밀린 분리집합을 조합하여 부분 그래프에서 $\frac{8}{9}$-분리집합을 탐지하고, 이는 낮은 너비의 분해가 존재하는지 확인하는 데 사용된다.
• 기본 재귀 단계에 더미 테이블을 도입하여 종료 조건을 강제 적용하고 분리 추적의 정확한 초기화를 보장한다.

실험 결과

연구 질문

• RQ1 트리 폭에 대해 상수 요인 근사를 $2^{O(k)}n$ 시간 내에 수행할 수 있는가?
• RQ2 트리 폭 근사 알고리즘을 $k$에 대해 단일 지수적이고 $n$에 대해 선형적인 시간 복잡도로 설계할 수 있는가?
• RQ3 이러한 알고리즘이 유계 트리 폭 그래프에서의 동적 프로그래밍을 가속화하는 데 서브루틴으로 사용될 수 있는가?
• RQ4 단일 지수적 시간 복잡도와 $n$에 대한 선형 의존도 조건 하에서 달성 가능한 최선의 근사 비율은 무엇인가?

주요 결과

• 알고리즘은 트리 폭에 대해 5-근사를 달성하며, 트리 폭이 $k$ 이하일 경우 너비가 $5k+4$ 이하인 트리 분해를 구성한다.
• 실행 시간은 $2^{O(k)}n$이며, 이는 상수 요인 근사를 위해 $k$에 대해 단일 지수적 의존도와 $n$에 대해 선형 의존도를 동시에 달성하는 최초의 알고리즘이다.
• 중간 알고리즘으로서 $3k+4$-근사를 $2^{O(k)}n\log n$ 시간 내에 달성하는 알고리즘이 제시되어 근사 비율과 효율성 사이의 트레이드오프를 보여준다.
• 알고리즘은 새로운 데이터 구조와 트리 분해 경로를 기반으로 한 동적 프로그래밍을 사용하여 각 질의당 $O(c^k \log n)$ 시간 내에 효율적인 질의를 지원한다.
• 정확한 트리 폭 계산을 효율적인 근사로 대체함으로써, 유계 트리 폭 그래프에서의 문제 해결을 위한 더 빠른 알고리즘 설계를 가능하게 한다.
• 이 결과는 이전 알고리즘이 시간 복잡도가 더 높거나 $n$에 대해 선형 의존도를 갖는 상수 요인 근사를 달성하지 못했던, 매개변수 알고리즘 분야에서 오랫동안 미해결이었던 열린 문제를 해결한다.