[论文解读] An FPT Algorithm for Directed Spanning k-Leaf

Paul Bonsma, Frederic Dorn|ArXiv.org|Nov 26, 2007

Advanced Graph Theory Research参考文献 19被引用 16

一句话总结

本文提出了首个针对一般有向图上有向生成k-叶问题的固定参数可满足（FPT）算法，时间复杂度为 $2^{O(k^3 /log k)} \cdot n^{O(1)}$。该方法结合了针对局部最优出树的新型路径分解引理与宽度为 $O(k^3)$ 的路径分解上的动态规划，解决了 Michael Fellows 于 2005 年提出的一个开放问题。

ABSTRACT

An out-branching of a directed graph is a rooted spanning tree with all arcs directed outwards from the root. We consider the problem of deciding whether a given directed graph D has an out-branching with at least k leaves (Directed Spanning k-Leaf). We prove that this problem is fixed parameter tractable, when k is chosen as the parameter. Previously this was only known for restricted classes of directed graphs. The main new ingredient in our approach is a lemma that shows that given a locally optimal out-branching of a directed graph in which every arc is part of at least one out-branching, either an out-branching with at least k leaves exists, or a path decomposition with width O(k^3) can be found. This enables a dynamic programming based algorithm of running time 2^{O(k^3 \log k)} n^{O(1)}, where n=|V(D)|.

研究动机与目标

• 解决有向生成k-叶问题是否对所有有向图（而不仅限于有向无环图或强连通图等特殊类）存在FPT算法的开放问题。
• 将FPT技术从无向图推广到更复杂的有向图情形，其中标准的无向图方法失效。
• 提出一个新的结构引理，将大出树的缺失与低宽度路径分解的存在性联系起来。
• 在存在此类分解时，构建基于路径分解的动态规划算法，以高效求解该问题。

提出的方法

• 引入1-最优出树的概念，并以此作为结构分析的基础。
• 证明一个关键引理：若不存在具有 $k$ 个叶子的出树，且当前出树的叶子数少于 $k$，则可构造出宽度为 $O(k^3)$ 的路径分解。
• 定义后向弧 $\mbox{HB}_D^T(x,l)$ 以衡量与最优性的结构偏离程度，并对其大小进行有界控制。
• 基于顶点高度与后向弧集合构造路径分解 $(X_1, \ldots, X_m)$，确保每个顶点的连续袋包含性。
• 在路径分解上应用标准动态规划，以检测是否存在至少 $k$ 个叶子的出树。
• 遍历所有可能的根 $r$，并在移除无用边后的图 $D'$ 上应用该算法，以确保正确性。

实验结果

研究问题

• RQ1 有向生成k-叶问题是否可在所有有向图上以FPT时间求解，而不仅限于有向无环图或强连通图等特殊类？
• RQ2 是否存在一种结构表征，能将有向图中大出树的缺失与低宽度路径分解的存在性联系起来？
• RQ3 能否将无向图中使用的动态规划方法，通过使用有界宽度的路径分解，适配到有向图情形？
• RQ4 出树的1-最优性是否能促成该问题的构造性FPT算法？

主要发现

• 本文证明了有向生成k-叶问题在所有有向图上是固定参数可满足的，时间复杂度为 $2^{O(k^3 \log k)} \cdot n^{O(1)}$。
• 提出了一项新颖的结构引理：若不存在 $k$-叶出树，且当前1-最优出树的叶子数少于 $k$，则存在宽度至多为 $6k^3$ 的路径分解。
• 路径分解通过顶点高度与后向弧集合 $\mbox{HB}_D^T(x,l)$ 构造，确保每个顶点在连续的袋中被包含。
• 在路径分解上进行的动态规划步骤可正确判断是否存在 $k$-叶出树，时间复杂度为 $2^{O(k^3 \log k)} \cdot n$。
• 该算法具有构造性：存在 $k$-叶出树的证明可被转化为多项式时间构造算法。
• 该结果解决了 Michael Fellows 于 2005 年提出的一个开放问题，并将先前针对受限图类的FPT结果推广至一般有向图。