[논문 리뷰] The Complexity of Tree Partitioning

Zhao An, Qilong Feng외 2명|arXiv (Cornell University)|2017. 04. 19.

Advanced Graph Theory Research참고 문헌 4인용 수 3

한 줄 요약

이 논문은 최대 차수 3인 트리에 대해 트리 분할과 균형 트리 분할 문제의 NP-완전성을 입증하며, 미해결 문제를 해결한다. 또한 두 문제 모두 W[1]-완전성을 증명하고, 해 공간의 압축된 σ-표현을 사용하여 2^O(√n)의 비지수 시간 내에 실행되는 동적 프로그래밍 알고리즘을 제시한다.

ABSTRACT

Given a tree $T$ on $n$ vertices, and $k, b, s_1, \ldots, s_b \in N$, the Tree Partitioning problem asks if at most $k$ edges can be removed from $T$ so that the resulting components can be grouped into $b$ groups such that the number of vertices in group $i$ is $s_i$, for $i =1, \ldots, b$. The case when $s_1=\cdots =s_b =n/b$, referred to as the Balanced Tree Partitioning problem, was shown to be NP-complete for trees of maximum degree at most 5, and the complexity of the problem for trees of maximum degree 4 and 3 was posed as an open question. The parameterized complexity of Balanced Tree Partitioning was also posed as an open question in another work. In this paper, we answer both open questions negatively. We show that Balanced Tree Partitioning (and hence, Tree Partitioning) is NP-complete for trees of maximum degree 3, thus closing the door on the complexity of Balanced Tree Partitioning, as the simple case when $T$ is a path is in P. In terms of the parameterized complexity of the problems, we show that both Balanced Tree Partitioning and Tree Partitioning are $W[1]$-complete. Finally, using a compact representation of the solution space for an instance of the problem, we present a dynamic programming algorithm for Tree Partitioning (and hence, for Balanced Tree Partitioning) that runs in subexponential-time $2^{O(\sqrt{n})}$, adding a natural problem to the list of problems that can be solved in subexponential time.

연구 동기 및 목표

• 최대 차수 3 및 4인 트리에 대해 균형 트리 분할 문제의 복잡도에 대한 미해결 문제를 해결하기 위함.
• k(자르야 할 간선 수)를 매개변수로 삼을 때 트리 분할 문제와 균형 트리 분할 문제의 매개변수 복잡도를 규명하기 위함.
• 기존의 지수 시간 접근 방식보다 향상된 2^O(√n)의 비지수 시간 내에 실행되는 트리 분할 문제의 정확한 알고리즘을 설계하기 위함.
• 해 공간의 압축된 표현 방식인 σ-표현을 사용하여 트리에서 효율적인 동적 프로그래밍을 가능하게 하기 위함.

제안 방법

• 3-Partition 문제로부터의 축소를 통해 최대 차수 3인 트리에 대해 NP-완전성을 증명하며, 복잡한 기구와 정당성 증명을 사용한다.
• 각 노드가 가능한 구성( k, X, s )을 담은 표 Γ_v 를 유지하는 트리 분해 기반 동적 프로그래밍 접근 방식을 채택하며, X 는 그룹 크기의 σ-표현이다.
• 자식 노드로의 간선이 잘린 경우와 아닌 경우를 처리하기 위해 Γ_i^- 와 Γ_i^+ 를 계산하고, 부모 및 자식 서브트리의 결과를 통합한다.
• 주어진 σ-표현 X 와 그룹 크기 목록 Y 가 유효한 구성 요소의 그룹화로 실현 가능한지 확인하기 위해 Check-Realizability 서브루틴을 활용한다.
• σ-표현의 수가 2^O(√n) 이하로 제한된다는 사실을 활용하여, 그룹 크기 조합의 수가 많더라도 비지수 시간 계산이 가능하다.
• 각 노드에서 부모 및 자식의 k, X, s 조합을 모두 검토하여 표를 통합하며, 귀납적 불변식을 통해 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 최대 차수 3인 트리에 대해 균형 트리 분할 문제는 NP-완전한가?
• RQ2 k(제거할 간선 수)를 매개변수로 삼을 때 트리 분할 문제와 균형 트리 분할 문제의 매개변수 복잡도는 무엇인가?
• RQ3 트리 분할 문제는 비지수 시간, 특히 2^O(√n) 시간 내에 해결될 수 있는가?
• RQ4 해 공간의 압축된 표현 방식이 이 문제에 대해 트리에서 효율적인 동적 프로그래밍을 가능하게 하는가?
• RQ5 표준 매개변수화 하에 문제의 W[1]-완전성은 무엇을 의미하는가? 그리고 고정 매개변수 유연성에 어떤 영향을 미치는가?

주요 결과

• 균형 트리 분할 문제는 최대 차수 3인 트리에 대해 NP-완전하며, 이는 이전 연구에서 남겨진 복잡도 격차를 메운다.
• 트리 분할 문제와 균형 트리 분할 문제 모두 W[1]-완전하며, 매개변수 복잡도 이론에서 오랫동안 미해결이었던 문제를 해결한다.
• b(그룹 수)와 k(자르는 간선 수)를 함께 매개변수로 삼을 경우에도 두 문제 모두 W[1]-난이도를 유지한다.
• 동적 프로그래밍 알고리즘이 트리 분할 문제를 2^O(√n) 시간 내에 해결하며, 이는 기존의 지수 시간 방법보다 상당한 향상이다.
• 알고리즘은 그룹 크기 분포의 σ-표현을 사용하여 구성 수를 2^O(√n) 이하로 제한하며, 이는 비지수 실행 시간을 달성하는 데 핵심적이다.
• 각 트리 노드에서 표 Γ_v 에 대한 귀납적 불변식을 유지함으로써 알고리즘의 정확성이 확보되며, 모든 유효한 분할이 탐색됨을 보장한다.