[论文解读] A Linear Vertex Kernel for Maximum Internal Spanning Tree

Fedor V. Fomin, Serge Gaspers+2 more|arXiv (Cornell University)|Jul 20, 2009

Advanced Graph Theory Research参考文献 10被引用 5

一句话总结

本文提出了一种多项式时间的核化算法，可将任意最大内部生成树（MIST）问题实例约化为至多包含 3k 个顶点的等价实例，其中 k 为生成树中内部顶点的数量。该方法利用超图中超树的极小极大刻画来识别并收缩冗余结构，实现了线性顶点核，并支持运行时间为 8^k · n^O(1) 的 FPT 算法。

ABSTRACT

We present a polynomial time algorithm that for any graph G and integer k >= 0, either finds a spanning tree with at least k internal vertices, or outputs a new graph G' on at most 3k vertices and an integer k' such that G has a spanning tree with at least k internal vertices if and only if G' has a spanning tree with at least k' internal vertices. In other words, we show that the Maximum Internal Spanning Tree problem parameterized by the number of internal vertices k, has a 3k-vertex kernel. Our result is based on an innovative application of a classical min-max result about hypertrees in hypergraphs which states that "a hypergraph H contains a hypertree if and only if H is partition connected."

研究动机与目标

• 开发参数化最大内部生成树（p-IST）问题的多项式时间核化算法。
• 在保持存在至少 k 个内部顶点的生成树的前提下，将任意输入图的规模缩减至至多 3k 个顶点。
• 通过使用超图超树对偶性，提供一种构造性方法，作为基于图极小化的 FPT 结果的非构造性替代方案。
• 通过实现线性 3k-顶点核，超越先前的 O(k²) 和 O(k³) 核大小。
• 通过新的核化方法，实现运行时间为 8^k · n^O(1) 的更快 FPT 算法。

提出的方法

• 核化方法新颖地应用了一条经典极小极大定理：当且仅当超图是划分连通时，其包含超树。
• 从输入图的 DFS 树构造一个超图，其中超边表示具有特定扩张性质的子树。
• 利用基于 Hall 型条件的结构引理，识别出子集 S ⊆ C 和 L ⊆ I，使得 S 具有 L-扩张 2 且 N(L) = S。
• 在由 S 和 L 导出的二分图中应用基于匹配的构造，以确保可构建一个生成树，使得 |S| - 1 个 L 中的顶点度数为 2。
• 基于此类 S 和 L 的存在性，对 C 和 I 中的顶点应用收缩规则，保持解的等价性。
• 重复该过程直至无法进一步约化，确保最终图的顶点数至多为 3k。

实验结果

研究问题

• RQ1 能否通过一种构造性方法，将最大内部生成树问题核化为线性顶点规模，特别是 O(k)？
• RQ2 能否在不依赖先前工作中使用的冠分解方法的前提下实现核化？
• RQ3 是否可以利用超图超树对偶性设计更高效的 MIST 核化方法？
• RQ4 p-IST 的最小可能顶点核大小是多少？能否进一步优化至 3k 以下？
• RQ5 该核化方法能否带来更快的 MIST FPT 算法？

主要发现

• 本文实现了最大内部生成树问题的 3k-顶点核，显著优于先前的 O(k²) 和 O(k³) 核大小。
• 核化算法在多项式时间内运行，并保持存在至少 k 个内部顶点的生成树。
• 该方法基于超图中超树存在的极小极大刻画，具体利用了超树存在性与划分连通性的等价性。
• 该核化支持运行时间为 8^k · n^O(1) 的 FPT 算法，优于先前的指数基。
• 该算法还可在多项式时间内实现对 MIST 的 3-近似，达到目前已知的最佳近似比 5/3。
• 该核化方法是构造性的，不依赖于禁止极小化的刻画，为非构造性 FPT 结果提供了实用的替代方案。