[论文解读] FPT Algorithms and Kernels for the Directed $k$-Leaf Problem

Jean Daligault, Gregory Gutin+2 more|ArXiv.org|Oct 27, 2008

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

一句话总结

本文提出了一种更快的固定参数可满足性（FPT）算法来解决有向 $k$-叶问题，将时间复杂度从 $4^k \cdot n^{O(1)}$ 降低至 $3.72^k \cdot n^{O(1)}$，并为受限于有向无环图的有根变体提出了一个 $O(k)$ 大小的核。主要贡献在于显著改进了指数因子，实现了首个 $O(\gamma^n)$ 时间复杂度的有向最大叶问题算法，其中 $\gamma < 2$。

ABSTRACT

A subgraph $T$ of a digraph $D$ is an {\em out-branching} if $T$ is an oriented spanning tree with only one vertex of in-degree zero (called the {\em root}). The vertices of $T$ of out-degree zero are {\em leaves}. In the {\sc Directed $k$-Leaf} Problem, we are given a digraph $D$ and an integral parameter $k$, and we are to decide whether $D$ has an out-branching with at least $k$ leaves. Recently, Kneis et al. (2008) obtained an algorithm for the problem of running time $4^{k}\cdot n^{O(1)}$. We describe a new algorithm for the problem of running time $3.72^{k}\cdot n^{O(1)}$. In {\sc Rooted Directed $k$-Leaf} Problem, apart from $D$ and $k$, we are given a vertex $r$ of $D$ and we are to decide whether $D$ has an out-branching rooted at $r$ with at least $k$ leaves. Very recently, Fernau et al. (2008) found an $O(k^3)$-size kernel for {\sc Rooted Directed $k$-Leaf}. In this paper, we obtain an $O(k)$ kernel for {\sc Rooted Directed $k$-Leaf} restricted to acyclic digraphs.

研究动机与目标

• 填补有向 $k$-叶问题在运行时间上的空白，目标是获得快于先前 $4^k \cdot n^{O(1)}$ 边界的FPT算法。
• 为有向无环图中的有根有向 $k$-叶问题开发一个线性规模的核，优于此前已知的 $O(k^3)$ 核。
• 提供首个针对有向最大叶问题的 $O(\gamma^n)$ 时间复杂度算法，且 $\gamma < 2$，推动指数时间参数化算法的前沿进展。
• 探索结构化约化与双支配集技术，以在保持 $k$-出树存在性的同时简化有向图。
• 深化对有向生成树问题中叶约束的核化与参数化复杂性理论的理解。

提出的方法

• 设计一种新的有向 $k$-叶问题的FPT算法，采用优化的分支策略，使分支因子低于4，实现 $3.72^k \cdot n^{O(1)}$ 的时间复杂度。
• 应用约化规则（A 和 B），通过收缩或删除入度为1且出度为1的顶点来简化有向无环图，同时保持 $k$-出树的存在性。
• 将问题转化为从简化后的有向图导出的二分图上的双支配集问题，从而可应用贪心近似界。
• 使用贪心覆盖算法来界定双支配集的大小，从而为有向无环图导出 $O(k)$ 的核大小界。
• 证明：若简化后的有向图 $D^*$ 满足 $n^* \geq 6.6(k+2)$，则其必然包含一个 $k$-出树，从而确立线性核大小界。
• 利用有根有向 $k$-叶问题与有向 $k$-叶问题在有向无环图中（由于存在唯一源点）的等价性，使有根变体的核化成为可能。

实验结果

研究问题

• RQ1 能否将有向 $k$-叶问题的运行时间改进至低于 $4^k \cdot n^{O(1)}$？
• RQ2 有向无环图中，有根有向 $k$-叶问题是否存在线性规模的核？
• RQ3 能否实现一个 $O(\gamma^n)$ 时间复杂度的有向最大叶问题算法，且 $\gamma < 2$？
• RQ4 在有向无环图中，如何通过结构化约化在保持 $k$-出树存在性的同时简化问题实例？
• RQ5 双支配集技术能否被有效应用于有向图中的参数化问题？

主要发现

• 本文提出了一种有向 $k$-叶问题的FPT算法，其时间复杂度为 $3.72^k \cdot n^{O(1)}$，优于先前的 $4^k \cdot n^{O(1)}$ 上界。
• 为受限于有向无环图的有根有向 $k$-叶问题构建了一个 $O(k)$ 大小的核，优于先前的 $O(k^3)$ 核。
• 成功实现了一种新的 $O(\gamma^n)$ 时间复杂度算法用于有向最大叶问题，其中 $\gamma \approx 1.9973$，这是首个 $\gamma < 2$ 的此类算法。
• 分析表明，若简化后的有向图 $D^*$ 的顶点数 $n^* \geq 6.6(k+2)$，则其必然包含一个 $k$-出树，从而确立了线性核大小界。
• 约化规则（A 和 B）被证明能保持 $k$-出树的存在性，从而支持对有向无环图的安全简化。
• 双支配集框架被成功应用于核大小的界定，通过利用贪心近似界推导出线性核。