[論文レビュー] Unique Perfect Phylogeny Characterizations via Uniquely Representable Chordal Graphs

Rob Gysel|arXiv (Cornell University)|May 7, 2013

Advanced Graph Theory Research参考文献 24被引用数 3

ひとこと要約

本稿は、一意に表現可能な弦的グラフ（ur-chordal グラフ）を用いて、一意な完全系統発生樹の新しい特徴付けを提示する。部分的対応の部分集合に対して一意な完全系統発生樹が存在するための必要十分条件は、分割インターセクショングラフが三進的かつ ur-chordal な最小三角形分割を許容することである。主な貢献は、最小分離集合と三角形化されたグラフ内の潜在的最大クリークとの関係を構造的特徴付けすることで、系統発生樹の一意性を明らかにしたことである。

ABSTRACT

The perfect phylogeny problem is a classic problem in computational biology, where we seek an unrooted phylogeny that is compatible with a set of qualitative characters. Such a tree exists precisely when an intersection graph associated with the character set, called the partition intersection graph, can be triangulated using a restricted set of fill edges. Semple and Steel used the partition intersection graph to characterize when a character set has a unique perfect phylogeny. Bordewich, Huber, and Semple showed how to use the partition intersection graph to find a maximum compatible set of characters. In this paper, we build on these results, characterizing when a unique perfect phylogeny exists for a subset of partial characters. Our characterization is stated in terms of minimal triangulations of the partition intersection graph that are uniquely representable, also known as ur-chordal graphs. Our characterization is motivated by the structure of ur-chordal graphs, and the fact that the block structure of minimal triangulations is mirrored in the graph that has been triangulated.

研究の動機と目的

• 部分的対応の部分集合が一意な完全系統発生樹を許容する条件を特徴付けること。
• 系統発生木の一意性を保証する分割インターセクショングラフの構造的条件を特定すること。
• 完全系統発生樹の一意性を、三進的かつ一意に表現可能な弦的グラフ（ur-chordal）である最小三角形分割の存在と関連付けること。
• 最小分離集合と潜在的最大クリークを用いた、最大定義的対応部分集合を計算するフレームワークを提供すること。

提案手法

• 本稿は、対応集合の分割インターセクショングラフを、適合性と一意性の分析の基盤として用いる。
• 一意に表現可能な最小三角形分割（ur-chordal）の概念を導入し、これは一意なクリークツリー構造に対応する。
• この手法は、ur-chordal グラフのクリークツリーと自由で三進的な系統発生木との対応に基づく。
• 三角形化されたグラフ内の最小分離集合と潜在的最大クリークを活用して、一意な系統発生樹の構造を特徴付ける。
• 最小分離集合に基づく動的計画法的手法を用いて、候補となる最大定義的対応部分集合を同定する。
• 最小三角形分割のブロック構造と元のグラフの構造との関係を示す定理により、特徴付けを検証する。

実験結果

リサーチクエスチョン

• RQ1 部分的対応の集合が一意な完全系統発生樹を許容する条件は何か？
• RQ2 分割インターセクショングラフの構造をどのように用いることで、系統発生木の一意性を特定できるか？
• RQ3 最小分離集合と潜在的最大クリークは、一意な最小三角形分割を同定するために果たす役割は何か？
• RQ4 ur-chordal グラフの性質を用いて、最大定義的対応部分集合を効率的に計算できるか？
• RQ5 最小三角形分割が三進的かつ ur-chordal であるかどうかを判定する多項式時間法はあるか？

主な発見

• 部分的対応の部分集合に対して一意な完全系統発生樹が存在するための必要十分条件は、分割インターセクショングラフが三進的かつ ur-chordal な最小三角形分割を許容することである。
• 三進的 ur-chordal グラフの唯一のクリークツリーは、対応を表示する唯一の自由で三進的な系統発生木に正確に対応する。
• 三角形化されたグラフの最小分離集合は、元の分割インターセクショングラフのブロック構造を再現し、構造的情報を保持する。
• 三角形化されたグラフ内の最小分離集合の数は、元のグラフのそれ以上に制限されており、多項式時間計算の可能性を秘める。
• 最小分離集合と潜在的最大クリークに基づく動的計画法を用いて、対応の候補となる最大定義的部分集合を計算できる。
• 本手法は、三進的 ur-chordal 最小三角形分割の存在を確認することで、最大定義的部分集合を構成的に同定する手段を提供する。