[论文解读] On a conjecture of compatibility of multi-states characters

Michel Habib, Thu‐Hien To|arXiv (Cornell University)|May 5, 2011

Algorithms and Data Compression参考文献 21被引用 6

一句话总结

本文研究了完美分支图中多状态字符的相容性，提出一个猜想：一组r状态字符的相容性仅取决于其大小为f(r)的有界子集的相容性。作者提出一个反例，表明f(4) ≥ 5，挑战了f(r) = r的原有猜想，并引入了一种弦图夹杂物图的闭包操作，以简化问题，为确定r ≥ 4时的f(r)提供了潜在路径。

ABSTRACT

Perfect phylogeny consisting of determining the compatibility of a set of characters is known to be NP-complete. We propose in this article a conjecture on the necessary and sufficient conditions of compatibility: Given a set $\mathcal{C}$ of $r$-states full characters, there exists a function $f(r)$ such that $\mathcal{C}$ is compatible iff every set of $f(r)$ characters of $\mathcal{C}$ is compatible. Some previous work showed that $f(2)=2$, $f(3)=3$ and $f(r) \ge r-1$. Gusfield et al. 09 conjectured that $f(r) = r$ for any $r \ge 2$. In this paper, we present an example showing that $f(4) \ge 5$ and then a closure operation for chordal sandwich graphs. The later problem is a common approach of perfect phylogeny. This operation can be the first step to simplify the problem before solving some particular cases $f(4), f(5), ... $, and determining the function $f(r)$.

研究动机与目标

• 解决关于完美分支图中r状态完整字符相容性的必要与充分条件的猜想。
• 确定最小函数f(r)，使得一组r状态字符相容当且仅当其任意f(r)个字符的子集均相容。
• 通过提供一个反例，挑战此前猜想的f(r) = r，证明f(4) ≥ 5。
• 为弦图夹杂物图设计一种闭包操作，作为简化r ≥ 4时字符相容性问题的工具。
• 为确定f(r)并建立多状态字符函数f(r)的上界奠定基础。

提出的方法

• 提出一个猜想：一组r状态完整字符的相容性由其大小为f(r)的每个子集的相容性决定，且与字符总数无关。
• 构造一个具体例子，证明f(4) ≥ 5，从而反驳f(r) = r对所有r ≥ 2的猜想。
• 引入一种弦图夹杂物图的闭包操作，该操作保持关键结构特性，并可简化相容性问题。
• 使用图论技术，包括禁止边与强制边，分析无弦环及其弦图完成。
• 应用深度优先搜索检测图中的f(u,v)路径与g(u,v,w)环，使算法能够确定有效的弦图完成。
• 建立递归归纳论证，证明在特定连通性条件下，若所有较小子环可完成，则长度为k+1的环也可进行适当的弦图完成。

实验结果

研究问题

• RQ1 是否存在一个函数f(r)，使得一组r状态完整字符相容当且仅当其任意f(r)个字符的子集均相容？
• RQ2 对于r ≥ 4，f(r)的最小值是多少，且f(r)是否超过r？
• RQ3 能否利用弦图夹杂物图的闭包操作来简化r状态字符的相容性问题？
• RQ4 一个环存在多个不同的弦图完成是否意味着存在对相容性测试有用的结构约束？
• RQ5 所提出的闭包操作能否推广以确定r ≥ 4时f(r)的上界？

主要发现

• 本文提供了一个反例，表明f(4) ≥ 5，这与此前猜想的f(r) = r（对所有r ≥ 2）相矛盾。
• 基于该例子与结构分析，作者推测对所有r ≥ 4，有f(r) ≥ r+1。
• 提出了一种弦图夹杂物图的闭包操作，该操作保持适当弦图完成的存在性，可用于简化相容性问题。
• 该闭包操作确保通过连接非边所形成的每个环至少存在一个适当的弦图完成，从而保持结构一致性。
• 检测f(u,v)路径与g(u,v,w)环的算法时间复杂度为O(n⁴(n+m))，提供了可行的计算框架。
• 结果表明，字符相容性问题可简化为检查有界子集，但当r ≥ 4时，所需大小f(r)的增长超过r。