[论文解读] Tight Bounds and Faster Algorithms for Directed Max-Leaf Problems

Paul Bonsma, Frederic Dorn|ArXiv.org|Apr 12, 2008

Advanced Graph Theory Research参考文献 21被引用 3

一句话总结

本文提出了有向最大叶子出树（Max-Leaf Out-Tree）和最大叶子出根树（Max-Leaf Out-Branching）问题的固定参数可追踪（FPT）算法，时间复杂度为 $2^{O(kackepsilon k)} \cdot n^{O(1)}$，优于以往的界限。关键贡献在于提出了一项组合界，表明对于不含无用边的有向图，出根树中的最大叶子数至少为任意出树中最大叶子数的三分之一，从而支持了高效算法的设计。

ABSTRACT

An out-tree $T$ of a directed graph $D$ is a rooted tree subgraph with all arcs directed outwards from the root. An out-branching is a spanning out-tree. By $l(D)$ and $l_s(D)$ we denote the maximum number of leaves over all out-trees and out-branchings of $D$, respectively. We give fixed parameter tractable algorithms for deciding whether $l_s(D)\geq k$ and whether $l(D)\geq k$ for a digraph $D$ on $n$ vertices, both with time complexity $2^{O(k\log k)} \cdot n^{O(1)}$. This improves on previous algorithms with complexity $2^{O(k^3\log k)} \cdot n^{O(1)}$ and $2^{O(k\log^2 k)} \cdot n^{O(1)}$, respectively. To obtain the complexity bound in the case of out-branchings, we prove that when all arcs of $D$ are part of at least one out-branching, $l_s(D)\geq l(D)/3$. The second bound we prove in this paper states that for strongly connected digraphs $D$ with minimum in-degree 3, $l_s(D)\geq Θ(\sqrt{n})$, where previously $l_s(D)\geq Θ(\sqrt[3]{n})$ was the best known bound. This bound is tight, and also holds for the larger class of digraphs with minimum in-degree 3 in which every arc is part of at least one out-branching.

研究动机与目标

• 开发有向图中 $k$-Leaf Out-Tree 和 $k$-Leaf Out-Branching 问题的更快固定参数可追踪算法。
• 改进现有FPT时间复杂度，特别是将参数函数从 $2^{O(k^3\log k)}$ 降低至 $2^{O(k\log k)}$。
• 为最小入度为3的强连通有向图的出根树中叶子数建立紧致的组合下界。
• 分析比值 $\ell(D)/\ell_s(D)$，并证明在不含无用边的有向图中该比值至多为3，从而提升算法效率。

提出的方法

• 基于树分解和顶点着色技术，设计一种基于动态规划的FPT算法，以探索出树结构。
• 引入从路径中顶点到树中叶子的映射，以限制每个叶子的原像数量，确保每个叶子至多有三个原像。
• 证明在不含无用边的有向图中，$\ell_s(D) \geq \ell(D)/3$，从而实现将出根树问题转化为出树问题且损失有界。
• 通过在树 $T_p$ 中分阶段构造路径 $P$，证明 $P$ 中至少有 $p/4$ 个顶点成为叶子，从而导出叶子数的下界。
• 应用绿色/白色/叶子顶点着色方案，以追踪算法各阶段的结构变化，并确保叶子计数的正确性。
• 利用在无环或强连通有向图中，具有 $k$ 个叶子的出树可扩展为出根树的性质，从而实现算法框架的共享。

实验结果

研究问题

• RQ1 能否将 $k$-Leaf Out-Branching 问题的FPT算法参数函数改进至 $2^{O(k^3\log k)}$ 以下？
• RQ2 对于不含无用边的有向图，比值 $\ell(D)/\ell_s(D)$ 的最紧可能上界是多少？
• RQ3 是否可能实现时间复杂度为 $2^{O(k)}$ 的FPT算法来解决有向最大叶子问题，类似于无向图中 $c^k$（$c=6.75$）的情形？
• RQ4 对于最小入度为3的强连通有向图，$\ell_s(D)$ 的最佳可能下界是什么？
• RQ5 能否改进出根树中叶子数下界中的因子 $1/4$？

主要发现

• 本文实现了 $k$-Leaf Out-Tree 问题的FPT算法，时间复杂度为 $2^{O(k\log k)} \cdot n^{O(1)}$，优于先前的 $2^{O(k\log^2 k)}$ 界限。
• 对于 $k$-Leaf Out-Branching 问题，算法运行时间为 $2^{O(k\log k)} \cdot n^{O(1)}$，优于先前的 $2^{O(k^3\log k)}$ 复杂度。
• 证明了在所有不含无用边的有向图中，$\ell_s(D) \geq \ell(D)/3$，为出树与出根树之间提供了关键的结构联系。
• 对于最小入度为3的强连通有向图，有 $\ell_s(D) \geq \Theta(\sqrt{n})$，该界是紧致的，优于先前的 $\Theta(\sqrt[3]{n})$ 界限。
• 该界 $\ell_s(D) \geq \Theta(\sqrt{n})$ 同样适用于最小入度为3且每条边至少属于一个出根树的有向图。
• 分析表明，所构造树中的每个叶子在顶点路径中至多有三个原像，该性质被用于推导出叶子数的 $p/4$ 下界。