[论文解读] Circles and Paths in 2-Colored Best Match Graphs

Annachiara Korchmaros|arXiv (Cornell University)|Jun 7, 2020

Advanced Graph Theory Research参考文献 13被引用 4

一句话总结

本文研究了2-彩色最优匹配图（2-cBMG）的结构性质，这是一类从根化物种发育树导出的有向二分图，重点关注在三个关键公理N(1)、N(2)和N(3)下的环与路径。研究发现，在N(2)条件下，商图包含长有向路径；在N(1)与N(3)条件下，图结构呈现出一种层级结构，其中可达集嵌套或互不相交，为计算生物学中的进化推断提供了图论基础。

ABSTRACT

Recent investigations in computational biology focus on a family of 2-colored digraphs, called 2-colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unexpectedly unusual in graph theory, and they were established only recently after the discovery of their links to evolutionary relatedness via phylogenetic trees. In this paper several results are obtained on 2-colored best match graphs which well fit in the mainstream of graph theory.

研究动机与目标

• 表征从根化物种发育树导出的2-彩色最优匹配图（2-cBMG）的结构性质。
• 研究公理N(1)、N(2)和N(3)如何影响2-cBMG中存在与结构的有向路径与环。
• 建立满足N(1)、N(2)和N(3)的2-cBMG中的层级性质，确保可达集嵌套或互不相交。
• 将新颖的图论性质——特别是N(2)与N(3)——与经典有向图论结果联系起来，并阐明其在计算生物学中的相关性。

提出的方法

• 本研究将2-cBMG分析为有向二分有向图，其顶点着色基于从根化物种发育树叶集到颜色的满射映射。
• 应用公理N(1)、N(2)和N(3)以推导图中出邻居、入邻居和可达性结构的约束。
• 通过合并具有相同入邻居与出邻居的等价顶点，构建2-cBMG的商图，从而在简化图中分析路径结构。
• 利用强连通性与通路定义分析有向路径与有向圈，重点研究在给定公理下路径的长度与存在性。
• 采用反证法与包含关系（例如N(N(u)) ⊆ N(u)）的证明技术，推导公理的推论。
• 将结果与经典图论进行比较，特别是双传递与无环有向有向图，并应用文献[7]中关于cBMG表征的结果。

实验结果

研究问题

• RQ1 在何种条件下2-cBMG包含长有向路径，且N(2)性质如何影响这一现象？
• RQ2 公理N(1)、N(2)与N(3)如何共同作用，以在2-cBMG中顶点的可达集上强制形成层级结构？
• RQ3 在满足N(3)的2-cBMG中，对称边与顶点支配在图结构中起何种作用？
• RQ4 是否可从N(1)、N(2)与N(3)推导出层级性质（即可达集嵌套或互不相交），且其与路径存在性有何关联？
• RQ5 2-cBMG的图论性质，特别是N(2)，如何与经典有向图论结果相一致？

主要发现

• 在满足N(2)的2-cBMG中，若无入边或出边的顶点数量较少，则其商图包含长度至少为3的有向路径，表明存在长可达链。
• 在N(1)与N(2)条件下，若两个顶点独立且无共同出邻居，则它们中任一均不能强连通至同一第三个顶点，从而施加结构约束。
• 对于满足N(1)、N(2)与N(3)的2-cBMG，层级性质成立：对任意两个顶点，其可达集R(α)与R(β)要么嵌套，要么互不相交。
• 当N(2)与N(3)成立时，任意两个非等价顶点若具有共同出邻居且彼此间无长度为2的路径，则至少有一个顶点不是对称边的端点。
• 通过移除对称边得到的2-cBMG的有向版本是无环的，且当无入边或出边的顶点总数足够大时，可支持更长的有向路径。
• 在[7, 图7A]的实例中，图包含一条长度为4的有向路径，且层级性质确保从α₅与α₆出发的可达集嵌套或互不相交，与公理一致。