[论文解读] Regular networks are determined by their trees

Stephen J. Willson|arXiv (Cornell University)|Feb 17, 2009

Interconnection Networks and Systems参考文献 17被引用 3

一句话总结

本文证明了常规系统发育网络可由其显示的根树集合唯一确定。文章提出一种构造性算法 MaximumProperChild，通过迭代识别簇及其适当子节点，利用树一致性条件从显示的树中重建常规网络，从而证明对于常规网络有 Tr(N) = Tr(M) 蕴含 N = M。

ABSTRACT

A rooted acyclic digraph N with labelled leaves displays a tree T when there exists a way to select a unique parent of each hybrid vertex resulting in the tree T. Let Tr(N) denote the set of all trees displayed by the network N. In general, there may be many other networks M such that Tr(M) = Tr(N). A network is regular if it is isomorphic with its cover digraph. This paper shows that if N is regular, there is a procedure to reconstruct N given Tr(N). Hence if N and M are regular networks and Tr(N) = Tr(M), it follows that N = M, proving that a regular network is uniquely determined by its displayed trees.

研究动机与目标

• 建立系统发育网络可从其显示的树集合中唯一重建的条件。
• 解决非常规网络可能共享相同显示树而导致重建不唯一的问题。
• 证明常规网络——定义为具有唯一簇且簇包含关系与有向路径存在性完全对应——可由其显示的树唯一确定。
• 开发一种构造性算法，从 Tr(N)（即显示树的集合）中恢复完整的网络结构。
• 阐明从基因树进行网络重建在生物学和数学上可能且唯一成立的条件。

提出的方法

• 将常规网络定义为每个顶点具有唯一后代簇，且簇包含关系与有向路径存在性完全对应。
• 引入簇 C 的“适当树”概念：在 Tr(N) 中出现 C 且其父节点也是 N 中簇的树。
• 对每个簇 C，计算 ProperTr(C) 为 Tr(N) 中 C 出现且其父节点是 N 中簇的树的集合。
• 将 ProperCh(C) 定义为任意适当树中 C 的子节点集合，然后提取 MaxProperCh(C) 作为此类子节点集合中的最大集合。
• 通过逐步添加对应于 MaxProperCh(C) 的顶点及从 C 到每个最大子节点的弧，增量式地构建网络，确保与原始网络结构一致。
• 证明所得到的网络 M_k 同构于原始常规网络 N，从而实现从 Tr(N) 重建 N。

实验结果

研究问题

• RQ1 能否从网络所显示的树集合中唯一重建系统发育网络？
• RQ2 在何种条件下，显示树集合 Tr(N) 足以恢复原始网络 N？
• RQ3 是否常规性条件——即唯一簇和基于路径的簇包含关系——可保证从 Tr(N) 唯一重建？
• RQ4 是否存在一种构造性算法，可仅从 Tr(N) 恢复常规网络？
• RQ5 当常规性不成立时会发生什么？是否存在具有相同 Tr(N) 的非常规网络？

主要发现

• MaximumProperChild 算法成功地从其显示树集合 Tr(N) 重建了常规网络 N。
• 若两个常规网络 M 和 N 具有相同的显示树集合（Tr(M) = Tr(N)），则 M 和 N 同构（M = N），从而证明了唯一性。
• 该方法在非常规网络上失效，如图 1 所示，其中两个不同的网络 M 和 N 共享相同的 Tr(N) = {b, c}。
• 该方法依赖于识别每个簇 C 的“适当树”，确保仅考虑父节点为 N 中有效簇的树。
• 算法通过分析簇在适当树中的出现情况，正确识别出每个簇的最大子节点，避免了来自非适当树的虚假子节点。
• 最终重建的网络 M_k 同构于原始网络 N，其顶点和弧与 N 中的簇及其父子关系完全匹配。