[논문 리뷰] Constructing level-2 phylogenetic networks from triplets

Leo van Iersel, Judith Keijsper외 2명|ArXiv.org|2007. 07. 19.

Genomics and Phylogenetic Studies참고 문헌 15인용 수 9

한 줄 요약

이 논문은 조밀한 입력 트리플릿 집합으로부터 수준-2 계통수 네트워크를 구성하는 다항식 시간 알고리즘을 제시한다. 이는 이전의 수준-1 네트워크에 대한 연구를 확장한 것이다. 주요 기여는 밀도 조건 하에서, 교잡이나 수평 유전자 이행과 같은 사건으로 인해 사이클을 포함할 수 있는 복잡한 비나무 구조의 진화 역사도 여전히 다루기 쉬운 문제로 남아 있음을 증명한 것이다.

ABSTRACT

Jansson and Sung showed that, given a dense set of input triplets T (representing hypotheses about the local evolutionary relationships of triplets of species), it is possible to determine in polynomial time whether there exists a level-1 network consistent with T, and if so to construct such a network. They also showed that, unlike in the case of trees (i.e. level-0 networks), the problem becomes NP-hard when the input is non-dense. Here we further extend this work by showing that, when the set of input triplets is dense, the problem is even polynomial-time solvable for the construction of level-2 networks. This shows that, assuming density, it is tractable to construct plausible evolutionary histories from input triplets even when such histories are heavily non-tree like. This further strengthens the case for the use of triplet-based methods in the construction of phylogenetic networks. We also show that, in the non-dense case, the level-2 problem remains NP-hard.

연구 동기 및 목표

• 트리플릿 기반 계통수 네트워크 구성의 처리 가능성 문제를 수준-1 네트워크를 초월해 수준-2 네트워크로 확장하는 것.
• 입력 트리플릿이 조밀할 경우 비나무 구조의 진화 시나리오를 구성하는 계산적 과제를 다루는 것.
• 수준-1 네트워크의 다항식 시간 해법이 밀도 제약 조건 하에서 고수준 네트워크로 확장되는지 여부를 규명하는 것.
• 입력 트리플릿 집합이 조밀하거나 비조밀한 경우에 문제의 복잡도를 조사하는 것.

제안 방법

• 알고리즘은 일관된 네트워크에서 반드시 함께 그룹화되어야 하는 'SN-집합'을 식별하고 처리하는 데 기반한 재귀적 분해 전략을 사용한다.
• 최대한의 SN-집합을 컷-엣지 아래로 이동시키는 '밀어내기'(pushing) 기법을 적용하여 네트워크 구조에서의 복잡도를 줄인다.
• 구조적 분해와 일관된 트리플릿 임베딩을 반복적으로 수행함으로써 충돌하는 트리플릿 제약 조건을 해결하면서 네트워크를 구축한다.
• 특히 각 이중연결 성분당 최대 두 개의 리틱룰레이션을 갖는다는 수준-2 네트워크의 성질을 활용하여 복잡도를 제한한다.
• 모든 입력 트리플릿이 네트워크 구조 내에서 올바른 위상 위치에 임베딩되어 있음을 확인함으로써 일관성을 보장한다.
• 입력 트리플릿 수 |T|에 대해 O(|T|³) 시간 내에 실행되며, 이는 조밀한 데이터셋에 대해 효율적이다.

실험 결과

연구 질문

• RQ1 조밀한 트리플릿 집합과 일관된 수준-2 네트워크를 구성하는 문제는 다항식 시간 내에 해결 가능한가?
• RQ2 입력 트리플릿의 밀도 조건 하에서 수준-1 네트워크의 다항식 시간 해법이 수준-2 네트워크로도 확장되는가?
• RQ3 입력 트리플릿 집합이 비조밀한 경우 수준-2 네트워크 구성 문제의 계산 복잡도는 어떻게 되는가?
• RQ4 이 알고리즘을 주어진 트리플릿 집합과 일관된 모든 수준-2 네트워크를 생성하도록 수정할 수 있는가?
• RQ5 주어진 트리플릿 집합과 일관된 최소 수준-k 네트워크를 찾는 문제는 k ≥ 2일 때 NP-난이도인가?

주요 결과

• 조밀한 트리플릿 집합으로부터 수준-2 계통수 네트워크를 구성하는 문제는 다항식 시간 내에 해결 가능하며, 특히 O(|T|³) 시간 내에 수행된다.
• 입력 트리플릿의 밀도 조건 하에서는 수준-2 네트워크의 다항식 시간 해법이 성립하지만, 비조밀한 경우는 성립하지 않는다.
• 비조밀한 수준-2 네트워크 구성 문제의 복잡도는 여전히 NP-난이도이며, 조밀한 입력과 비조밀한 입력 간의 복잡도 격차를 확인한다.
• 알고리즘은 수준-1 네트워크 구성 기법을 일반화하여, 특히 SN-집합과 컷-아크 분해의 활용을 포함한다.
• 저자들은 비조밀한 수준-k 문제의 경우 모든 고정된 k ≥ 1에 대해 NP-난이도일 것이라 추측하며, 수준-1에서 알려진 결과를 확장한다.
• 네트워크의 유일성, 트리플릿에 대한 신뢰도 스코어링, 수준-k 네트워크에 대한 정확한 지수시간 알고리즘과 관련된 열린 문제를 규명한다.