[논문 리뷰] Towards the fixed parameter tractability of constructing minimal phylogenetic networks from arbitrary sets of nonbinary trees

Steven Kelk, Céline Scornavacca|arXiv (Cornell University)|2012. 07. 30.

Evolution and Paleontology Studies참고 문헌 17인용 수 7

한 줄 요약

이 논문은 비이진 나무의 임의의 집합으로부터 최소 피로그램 네트워크를 구성하는 데 있어 고정 매개변수 다항시간 가용성(FPT)을 확립한다. 두 가지 충분조건 하에서: 나무의 수가 유량 수 $ r $ 의 함수로 유계이거나, 나무에서의 최대 노드 차수(노드의 차수)가 $ r $ 의 함수로 유계일 경우. 이 접근법은 유량 생성자와 군집 기반의 종 할당을 사용하여 $ f(r) \cdot \text{poly}(m) $ 시간 복잡도를 달성하며, 이는 이전의 두 비이진 나무 또는 다수의 이진 나무에 대한 FPT 결과를 확장한 것이다.

ABSTRACT

It has remained an open question for some time whether, given a set of not necessarily binary (i.e. "nonbinary") trees T on a set of taxa X, it is possible to determine in time f(r).poly(m) whether there exists a phylogenetic network that displays all the trees in T, where r refers to the reticulation number of the network and m=|X|+|T|. Here we show that this holds if one or both of the following conditions holds: (1) |T| is bounded by a function of r; (2) the maximum degree of the nodes in T is bounded by a function of r. These sufficient conditions absorb and significantly extend known special cases, namely when all the trees in T are binary, or T contains exactly two nonbinary trees. We believe this result is an important step towards settling the issue for an arbitrarily large and complex set of nonbinary trees. For completeness we show that the problem is certainly solveable in polynomial time.

연구 동기 및 목표

• 주어진 비이진 나무 집합을 모두 표현하는 최소 피로그램 네트워크를 구성하는 문제의 고정 매개변수 다항시간 가용성(FPT) 조건을 규명하는 것.
• 이전에 두 비이진 나무 또는 다수의 이진 나무에 국한된 FPT 결과를 확장하여 더 넓은 충분조건를 규명하는 것.
• 지정된 유계 조건 하에서 $ f(r) \cdot \text{poly}(m) $ 시간 내에 실행되는 알고리즘을 개발하는 것. 여기서 $ m = |\mathcal{X}| + |\mathcal{T}| $ 이다.
• 구조적 성질인 군집과 유량 생성자의 특성을 활용하여, 임의의 비이진 나무 집합, 특히 수나 차수가 유계가 아닌 경우에도 처리할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 목표 유량 수 $ r $ 를 바탕으로, 최대 $ f(r) $ 개 이내의 $ r $-유량 생성자를 추측한다.
• 각 생성자의 각 변에 대해, 할당된 종의 수(0, 1, 2, 또는 >2)를 추측하고, 종이 1개인 경우 그 종의 정체성을 추측한다. 종이 >2개인 경우, 루트에 가장 가까운 종($ s^+ $)과 가장 멀리 떨어진 종($ s^- $)을 추측한다.
• 특정 순서로 변들을 처리한다. 즉, 다른 >2개 종이 없는 변들로부터 도달할 수 없는 '가장 낮은' 변들부터 시작하여 순차적으로 각 변에 종을 할당한다.
• 종은 군집 $ C \in \text{Cl}(\mathcal{T}) $ 에 속할 때, 그 종과 $ s^- $ 가 모두 $ C $ 에 속하지만 $ s^+ $ 는 속하지 않는 경우에만 변 $ s $ 에 할당된다.
• 각 변에 있는 종의 총 순서는 $ \rightarrow_{\text{Cl}(\mathcal{T})} $ 관계에 의해 유일하게 결정되며, 이 관계는 ST-수축된 가정 하에 사이클이 없다.
• 마지막으로, 완성된 네트워크가 $ \mathcal{T} $ 의 모든 나무를 표현하는지 $ f(r) \cdot \text{poly}(m) $ 시간 내에 확인한다.

실험 결과

연구 질문

• RQ1 비이진 나무 집합으로부터 최소 피로그램 네트워크를 구성하는 문제의 고정 매개변수 다항시간 가용성(FPT) 조건은 유량 수 $ r $ 에 대해 어떤가?
• RQ2 두 비이진 나무 또는 다수의 이진 나무에 대해 알려진 FPT 결과는 수나 차수가 유계가 아닌 임의의 비이진 나무 집합으로 확장 가능한가?
• RQ3 효율적인 종 할당과 네트워크 구성이 가능한 군집과 유량 생성자의 구조적 특성은 무엇인가?
• RQ4 '공통 체인' 개념은 비이진 나무로 어떻게 일반화할 수 있으며, 이는 다수의 비이진 나무 설정에서 커널화를 지원하는가?
• RQ5 $ \rightarrow_{\text{Cl}(\mathcal{T})} $ 관계는 네트워크의 각 변에 있는 종의 순서에 어떤 영향을 미치며, 이것이 정확성을 보장하는가?

주요 결과

• 나무 수 $ |\mathcal{T}| $ 가 $ r $ 의 함수로 유계일 경우 문제는 FPT이며, 이는 두 비이진 나무에 대한 기존 결과를 확장한 것이다.
• 나무에서의 최대 노드 차수(노드의 차수)가 $ r $ 의 함수로 유계일 경우 문제는 FPT이며, 이는 이진 나무의 경우를 일반화한 것이다.
• 알고리즘은 $ r $-유량 생성자와 군집 기반 종 할당을 사용하여 $ f(r) \cdot \text{poly}(m) $ 시간 내에 네트워크를 구성한다. 여기서 $ m = |\mathcal{X}| + |\mathcal{T}| $ 이다.
• 각 생성기 변에 있는 종의 순서는 $ \rightarrow_{\text{Cl}(\mathcal{T})} $ 관계에 의해 유일하게 결정되며, ST-수축된 가정 하에 이 관계는 사이클이 없다.
• 알고리즘은 군집 소속과 상대적 위치에 기반한 순서로 변들을 처리함으로써, 모든 종이 일관되게 할당되도록 보장하여 정확성을 확보한다.
• 이 프레임워크는 $ |\mathcal{T}| $ 와 노드 차수 모두가 유계가 아닐 경우에도, 향후 일반적인 비이진, 다수 나무 설정에서의 FPT 알고리즘 개발에 기초를 마련한다.