[논문 리뷰] Exact Exponential Time Algorithms for Max Internal Spanning Tree

Henning Fernau, Serge Gaspers외 1명|ArXiv.org|2008. 11. 12.

Algorithms and Data Compression참고 문헌 17인용 수 7

한 줄 요약

이 논문은 NP-난이도의 Max Internal Spanning Tree (MIST) 문제에 대한 정확하고 매개변수화된 알고리즘을 제시하며, 최대 차수 3인 그래프에 초점을 맞춘다. 새로운 분기 알고리즘을 도입하여 다항 시간 공간을 사용해 $\mathcal{O}^*(1.8669^n)$의 시간 복잡도를 달성하고, 내부 정점 수가 최소 $k$개인 스패닝 트리를 찾는 데 $\mathcal{O}^*(2.1364^k)$의 런타임을 가지는 매개변수화된 버전을 제공하며, Measure & Conquer 분석을 통해 분석한다.

ABSTRACT

We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our dynamic-programming algorithms for general and degree-bounded graphs have running times of the form O*(c^n) (c <= 3). The main result, however, is a branching algorithm for graphs with maximum degree three. It only needs polynomial space and has a running time of O*(1.8669^n) when analyzed with respect to the number of vertices. We also show that its running time is 2.1364^k n^O(1) when the goal is to find a spanning tree with at least k internal vertices. Both running time bounds are obtained via a Measure & Conquer analysis, the latter one being a novel use of this kind of analyses for parameterized algorithms.

연구 동기 및 목표

• Max Internal Spanning Tree (MIST) 문제에 대해 더 빠른 정확한 알고리즘을 개발하는 것.
• 최대 차수 3인 그래프에 대해 MIST에 대한 다항 시간 공간 알고리즘을 설계하여 이전의 지수 시간 복잡도를 향상시키는 것.
• 매개변수화된 관점에서 Measure & Conquer를 적용하여 내부 정점 수 $k$를 매개변수로 삼아 알고리즘을 분석하는 것.
• 최초로 $\mathcal{O}^*(c^n)$-시간 알고리즘을 MIST에 대해 $c < 3$로 구현하고, 차수 제한이 있는 그래프의 런타임을 향상시키는 것.
• 일반 그래프와 최대 차수 3인 그래프에서 MIST에 대해 $2^n$ 장벽을 뛰어넘는 것이 가능한지 탐색하는 것.

제안 방법

• 일반 그래프 및 차수 제한이 있는 그래프에 대해 동적 프로그래밍 기법을 사용하여 $\mathcal{O}^*(3^n)$의 시간 복잡도를 달성한다.
• 최대 차수 3인 그래프에 특화된 분기 알고리즘을 설계하여, 구조적 제약 조건을 활용해 분기 인자를 감소시킨다.
• 정점의 상태를 집합 $U, X, Y, Z, W$로 나누어 분기 과정 중 정점의 상태를 추적하는 상태 기반 정점 분류를 사용한다.
• Measure & Conquer 분석을 적용하여 런타임의 엄밀한 상한을 유도하며, 문제 크기 감소를 모델링하기 위해 고유한 잠재 함수 $\omega_1, \omega_2, \omega_3$를 사용한다.
• 매개변수화된 분석에서는 $k$를 해의 크기(내부 정점의 최소 수)로 간주하고, 분기 트리에서의 진행 상황을 포착하기 위해 수정된 측정 기준을 사용한다.
• 정점의 차수와 이웃 유형에 기반한 케이스 구분을 통해 그래프 내 간선의 추가 및 삭제를 처리하면서도 타당한 스패닝 트리 후보를 유지한다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 다항 시간 공간을 사용하여 MIST의 $\mathcal{O}^*(2^n)$ 시간 장벽을 뛰어넘을 수 있는가?
• RQ2 특히 $\mathcal{O}^*(c^n)$ 시간 복잡도를 가지며 $c < 3$인 경우에 대해, 최대 차수 3인 그래프에서 MIST에 대해 더 빠른 정확한 알고리즘을 설계할 수 있는가?
• RQ3 Measure & Conquer가 MIST에 대한 매개변수화된 알고리즘에 효과적으로 적용될 수 있는가, 특히 해의 크기 $k$가 매개변수일 경우에 대해?
• RQ4 차수 3인 그래프에서 MIST에 대해 최악의 분기 인자를 최소화하는 최적의 분기 전략은 무엇인가?
• RQ5 내부 정점 수 $k$를 매개변수로 삼을 경우, 정점 수 $n$을 매개변수로 삼을 때와 비교해 런타임이 어떻게 변화하는가?

주요 결과

• 논문은 $c < 3$인 $\mathcal{O}^*(c^n)$-시간 알고리즘을 MIST에 대해 최초로 제시하며, 일반 그래프에 대해 $\mathcal{O}^*(3^n)$의 시간 복잡도를 달성한다.
• 최대 차수 3인 그래프에 대해 알고리즘은 다항 시간 공간을 사용하여 $\mathcal{O}^*(1.8669^n)$의 시간 복잡도로 실행된다.
• 매개변수화된 알고리즘의 런타임은 $\mathcal{O}^*(2.1364^k)$로, $k$는 스패닝 트리의 내부 정점 수이다.
• $\mathcal{O}^*(2.1364^k)$의 런타임 상한은 매개변수화된 알고리즘 분석에서 Measure & Conquer를 새로운 방식으로 적용하여 도출되었다.
• 알고리즘의 최악의 분기 인자는 케이스 4.(b)에서 $d_T(a)=2$인 경우, 케이스 4.(c), 4.(d), 그리고 케이스 5에서 $b$의 모든 이웃이 차수 3인 경우에 발생하며, 이 모든 경우에서 분기 수는 $2.1364$이다.
• 분석 결과 알고리즘의 성능가 최적임을 확인하였고, 새로운 분기 전략이나 측정 기준 없이선 상당한 향상이 불가능하다고 결론내린다.