[論文レビュー] Level-k Phylogenetic Network can be Constructed from a Dense Triplet Set in Polynomial Time

Thu‐Hien To, Michel Habib|ArXiv.org|Jan 12, 2009

Genomics and Phylogenetic Studies参考文献 10被引用数 14

ひとこと要約

本稿では、密度のある三重対集合からレベル-kの系統発生ネットワークを構築する多項式時間アルゴリズムを提示し、系統発生学における未解決問題を解決する。SN-集合の構造的性質を活用し、動的計画法を用いた再帰的構築により、任意の固定された k に対して、O(|T|^{k+1}n^{3k+1}) 時間で一貫性のあるネットワークを効率的に特定し、ハブ数を最小化する。

ABSTRACT

Given a dense triplet set $\mathcal{T}$, there arise two interesting questions: Does there exists any phylogenetic network consistent with $\mathcal{T}$? And if so, can we find an effective algorithm to construct one? For cases of networks of levels $k=0$ or 1 or 2, these questions were answered with effective polynomial algorithms. For higher levels $k$, partial answers were recently obtained with an $O(|\mathcal{T}|^{k+1})$ time algorithm for simple networks. In this paper we give a complete answer to the general case. The main idea is to use a special property of SN-sets in a level-k network. As a consequence, we can also find the level-k network with the minimum number of reticulations in polynomial time.

研究の動機と目的

• 任意の固定された k に対して、密度のある三重対集合からレベル-kの系統発生ネットワークを多項式時間で構築できるかどうかという未解決問題を解決すること。
• 一貫性のあるレベル-kネットワークの存在を特定し、存在する場合にはそのネットワークを構築する効率的なアルゴリズムを提供すること。
• 多項式時間で、密度のある三重対集合に一貫するレベル-kネットワークのハブ数を最小化するものにアプローチを拡張すること。
• レベル-1およびレベル-2ネットワークに関する先行結果を任意の固定されたレベル k に一般化すること。
• 系統発生ネットワークの複雑さの指標としての treerank パrameter の理論的基盤を確立すること。

提案手法

• 三重対集合 T から導かれる SN-集合（強くネストされた集合）の概念を活用して、ネットワーク構築問題を分解する。
• 密度のある三重対集合 T から SN-木 R を構築し、データの階層的構造を捉える。
• SN-木上で下位から上位への動的計画法を適用し、各内部ノードに対して部分ネットワークを再帰的に構築する。
• SN-木の各ノードに対して、その子孫リーブのすべての可能な分割を列挙し、誘導される三重対集合および分割に一貫する単純なレベル-kネットワークをすべて検証する。
• 最適なネットワークがハイブリッド頂点の総数を最小化することを活用し、再帰的最適化を実現する。
• カットアークおよび最高カットアークに基づく剪定と再構築戦略を用いて、ネットワーク構築中にレベル-k制約を維持する。

実験結果

リサーチクエスチョン

• RQ1 任意の固定された k に対して、密度のある三重対集合からレベル-kの系統発生ネットワークを多項式時間で構築できるか？
• RQ2 密度のある三重対集合に一貫するレベル-kネットワークのハブ数を最小化するものが、多項式時間で求められるか？
• RQ3 レベル-kネットワークにおけるSN-集合の構造的性質が、効率的なアルゴリズム的構築を可能にする要因は何か？
• RQ4 k が固定されている場合に、k に依存しない形でネットワーク構築の複雑さを上限づけられるか？
• RQ5 どのような三重対集合の条件下で、一意に一貫するレベル-kネットワークが保証されるか？

主な発見

• 本稿は [7] で提示された未解決問題に対して完全な解決を提供し、任意の固定された k に対して、密度のある三重対集合からレベル-kの系統発生ネットワークを多項式時間で構築できることを証明する。
• アルゴリズムの実行時間は O(|T|^{k+1}n^{3k+1}) であり、|T| は三重対の数、n はリーブの数を表す。
• 存在する場合に一貫性のあるレベル-kネットワークを保証して構築でき、ハブ数の最小化に適応可能である。
• 構築は SN-集合を用いた再帰的分解と SN-木上の動的計画法に依存しており、正しさと多項式実行時間の両方を保証する。
• レベル-1およびレベル-2ネットワークに関する先行結果を一般化し、すべての固定されたレベルにおいて一貫したアルゴリズム枠組みを統合する。
• 本稿では、三重対集合 S を表現する最小の k として treerank(S) の概念を導入し、密度のある集合に対して treerank ≤ k かの判定が多項式時間で可能であることを示す。