[论文解读] Fixed Parameter Polynomial Time Algorithms for Maximum Agreement and Compatible Supertrees

Viet Tung Hoang, Wing‐Kin Sung|ArXiv.org|Feb 20, 2008

Complexity and Algorithms in Graphs参考文献 10被引用 5

一句话总结

本论文首次为最大一致超树（MASP）和最大相容超树（MCSP）问题提供了多项式时间算法，当输入树的数量 $k$ 和其最大度数 $D$ 均为常数时。该方法通过在无根树的有根变体所导出的子森林上进行动态规划，将子问题总数减少至 $O((4n)^k)$，并实现了无根 MASP 的时间复杂度为 $O((kD)^{kD+3}(4n)^k)$，MCSP 的时间复杂度为 $O(2^{2kD}n^k)$。

ABSTRACT

Consider a set of labels $L$ and a set of trees ${\mathcal T} = \{{\mathcal T}^{(1), {\mathcal T}^{(2), ..., {\mathcal T}^{(k) \$ where each tree ${\mathcal T}^{(i)$ is distinctly leaf-labeled by some subset of $L$. One fundamental problem is to find the biggest tree (denoted as supertree) to represent $\mathcal T}$ which minimizes the disagreements with the trees in ${\mathcal T}$ under certain criteria. This problem finds applications in phylogenetics, database, and data mining. In this paper, we focus on two particular supertree problems, namely, the maximum agreement supertree problem (MASP) and the maximum compatible supertree problem (MCSP). These two problems are known to be NP-hard for $k \geq 3$. This paper gives the first polynomial time algorithms for both MASP and MCSP when both $k$ and the maximum degree $D$ of the trees are constant.

研究动机与目标

• 解决 Jansson 等人提出的一个开放问题，即当 $k$ 和 $D$ 为常数时，MASP 的可解性问题。
• 将固定参数可tractable 算法扩展至有根和无根树的 MASP 与 MCSP 问题。
• 在 $k$ 森林超树问题的参数约束下，通过实现多项式时间复杂度，改进先前的指数时间界。
• 为固定参数设置下的相容与一致超树问题提供统一的处理框架。
• 通过利用无根树有根变体的结构特性，减少动态规划中的子问题数量。

提出的方法

• 将子森林定义为从无根输入树的有根变体中导出的有根子树的集合。
• 在子森林上使用动态规划计算最大一致与相容超树，状态设计用于追踪各棵树之间的相容性或一致性。
• 将有效子森林表征为：每个连通分量要么是平凡的，要么是通过在内部节点处有根化并移除一个非平凡子树后得到的最大子树。
• 通过分析根的位置和边的方向，对所有有根变体中的最大子树进行计数，将此类子森林的总数界为 $O((4n)^k)$。
• 利用每棵树最多贡献 $3n - 1$ 个最大子树的事实，从而得到子问题总数的 $O((4n)^k)$ 上界。
• 通过记忆化和自底向上的计算，确保每个子问题仅被求解一次，且每个子问题的处理时间在 MASP 中为 $O((kD)^{kD+3})$，在 MCSP 中为 $O(2^{2kD})$。

实验结果

研究问题

• RQ1 当输入树的 $k$ 和最大度数 $D$ 均为常数时，MASP 是否可在多项式时间内求解？
• RQ2 在相同的参数约束下，MCSP 是否也可在多项式时间内求解？
• RQ3 为计算无根树的最大一致超树，需要考虑的最少子森林数量是多少？
• RQ4 如何利用无根树的有根变体来高效探索所有可能的超树候选，而避免指数级爆炸？
• RQ5 树的何种结构特性使得在固定参数超树算法中能实现子问题数量的次指数级减少？

主要发现

• 本论文首次为常数 $k$ 和 $D$ 条件下的无根树 MASP 问题提供了多项式时间算法，时间复杂度为 $O((kD)^{kD+3}(4n)^k)$。
• 对于 MCSP，在相同约束下，算法运行时间为 $O(2^{2kD}n^k)$，优于先前的指数时间界。
• 需要考虑的子森林总数被界为 $O((4n)^k)$，该界通过统计所有输入树有根变体中的最大子树数量获得。
• 对于有根二叉树，MASP 算法的时间复杂度为 $O(6^k n^k)$，优于先前的最佳界 $O(8^k n^k)$。
• 每棵树的最大子树数量至多为 $3n - 1$，该结果基于对根位置和边方向的分类分析得出。
• 通过使用有根变体和子森林分解，该框架可推广至有根和无根树，从而支持高效的动态规划。