[论文解读] 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图）提出了一种独特完美分支图的新表征方法，表明当且仅当划分交集图存在一种三元且唯一可表示的弦图最小补全时，部分字符的子集才存在唯一完美分支图。其核心贡献在于建立了一种结构表征，将补全图中的最小分隔集与潜在最大团与分支图的唯一性联系起来。

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最小补全，来识别最大定义字符子集。