[논문 리뷰] Fixed Parameter Polynomial Time Algorithms for Maximum Agreement and Compatible Supertrees

Viet Tung Hoang, Wing‐Kin Sung|ArXiv.org|2008. 02. 20.

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

한 줄 요약

이 논문은 입력 트리의 수 $k$와 그 최대 차수 $D$가 모두 상수일 때, 최대 일致 슈퍼트리(MASP) 및 최대 호환 슈퍼트리(MCSP) 문제에 대한 처음으로 다항시간 알고리즘을 제시한다. 이는 뿌리가 있는 트리의 변형에서 유도된 부분 숲에 대한 동적 프로그래밍을 활용하여 총 하위 문제 수를 $O((4n)^k)$로 줄임으로써 달성되며, 비루트 MASP의 시간 복잡도는 $O((kD)^{kD+3}(4n)^k)$, MCSP의 시간 복잡도는 $O(2^{2kD}n^k)$이다.

ABSTRACT

Consider a set of labels $L$ and a set of trees ${\mathcal T} = \{{\mathcal T}^{(1), {\mathcal T}^{(2), ..., {\mathcal T}^{(k) \$ where each tree ${\mathcal T}^{(i)$ is distinctly leaf-labeled by some subset of $L$. One fundamental problem is to find the biggest tree (denoted as supertree) to represent $\mathcal T}$ which minimizes the disagreements with the trees in ${\mathcal T}$ under certain criteria. This problem finds applications in phylogenetics, database, and data mining. In this paper, we focus on two particular supertree problems, namely, the maximum agreement supertree problem (MASP) and the maximum compatible supertree problem (MCSP). These two problems are known to be NP-hard for $k \geq 3$. This paper gives the first polynomial time algorithms for both MASP and MCSP when both $k$ and the maximum degree $D$ of the trees are constant.

연구 동기 및 목표

• Jansson 등이 제기한, $k$와 $D$가 상수일 때 MASP의 다항시간 가용성에 대한 열린 문제를 해결하기 위해.
• 고정 매개변수 다항시간 알고리즘의 적용 범위를 뿌리가 있는 트리와 뿌리가 없는 트리 모두로 확장하기 위해.
• 상수 $k$와 $D$ 조건 하에서 이전의 지수시간 복잡도에 비해 다항시간 복잡도를 달성함으로써 $k$-트리 슈퍼트리 문제의 기존 지수시간 한계를 향상시키기 위해.
• 고정 매개변수 설정 하에서 일치 및 호환 슈퍼트리 문제를 통합적으로 다룰 수 있는 프레임워크를 제공하기 위해.
• 뿌리가 없는 트리의 뿌리가 있는 변형의 구조적 성질을 활용하여 동적 프로그래밍의 하위 문제 수를 줄이기 위해.

제안 방법

• 뿌리가 없는 입력 트리의 뿌리가 있는 변형에서 유도된 뿌리가 있는 부분 트리들의 집합으로 부분 숲을 정의한다.
• 부분 숲에 대한 동적 프로그래밍을 통해 최대 일치 및 호환 슈퍼트리를 계산하며, 각 상태는 트리 간의 호환성 또는 일치 여부를 추적한다.
• 유효한 부분 숲을 각 구성 요소가 자명하거나 내부 노드에서 뿌리로 설정하고 비자명한 한 부분 트리를 제거하여 유도된 최대 부분 트리인 경우로 특성화한다.
• 뿌리 위치와 간선 방향에 대한 케이스 분석을 통해 모든 뿌리가 있는 변형에서 최대 부분 트리의 수를 세어 총 부분 숲의 수를 $O((4n)^k)$로 유 bounds한다.
• 각 트리가 최대 $3n - 1$개의 최대 부분 트리를 기여하므로, 하위 문제의 총 수는 $O((4n)^k)$로 유도된다.
• 메모이제이션과 하향식 계산을 적용하여 각 하위 문제를 한 번만 해결함을 보장하며, MASP의 경우 하위 문제당 시간 복잡도는 $O((kD)^{kD+3})$, MCSP의 경우 $O(2^{2kD})$로 제한된다.

실험 결과

연구 질문

• RQ1 입력 트리의 수 $k$와 최대 차수 $D$가 모두 상수일 때 MASP는 다항시간 내에 해결될 수 있는가?
• RQ2 동일한 매개변수 제약 조건 하에서 MCSP도 다항시간 내에 해결될 수 있는가?
• RQ3 비루트 트리의 최대 일치 슈퍼트리를 계산하기 위해 고려해야 할 최소한의 부분 숲 수는 얼마인가?
• RQ4 뿌리가 없는 트리의 뿌리가 있는 변형을 어떻게 활용하여 지수적 증가 없이 모든 가능한 슈퍼트리 후보를 효율적으로 탐색할 수 있는가?
• RQ5 어떤 트리의 구조적 성질이 고정 매개변수 슈퍼트리 알고리즘에서 하위 문제 수를 지수적 감소로 이끄는가?

주요 결과

• 이 논문은 $k$와 $D$가 상수일 때 비루트 트리에 대한 MASP에 대해 처음으로 다항시간 알고리즘을 제공하며, 시간 복잡도는 $O((kD)^{kD+3}(4n)^k)$이다.
• MCSP의 경우 동일한 조건 하에서 $O(2^{2kD}n^k)$ 시간 내에 실행되며, 이는 이전의 지수시간 복잡도에 비해 향상된 결과이다.
• 고려해야 할 부분 숲의 총 수는 $O((4n)^k)$로 유 bounds되며, 이는 입력 트리의 모든 뿌리가 있는 변형에서 최대 부분 트리의 수를 세어 달성된다.
• 뿌리가 있는 이진 트리의 경우, MASP 알고리즘은 $O(6^k n^k)$ 시간 내에 실행되며, 이는 이전 최선의 복잡도 $O(8^k n^k)$보다 향상된 결과이다.
• 트리당 최대 부분 트리 수는 $3n - 1$ 이하이며, 이는 뿌리 위치와 간선 방향에 대한 케이스 분석을 통해 유도된다.
• 뿌리가 있는 변형과 부분 숲 분해를 활용함으로써 이 프레임워크는 뿌리가 있는 트리와 뿌리가 없는 트리 모두에 일반화되며, 효율적인 동적 프로그래밍을 가능하게 한다.