[论文解读] Long cycles through prescribed vertices have the Erd\H{o}s-P\'osa property

Henning Bruhn, Felix Joos+1 more|arXiv (Cornell University)|Dec 9, 2014

Limits and Structures in Graph Theory参考文献 10被引用 9

一句话总结

本论文通过指定顶点集 S 确立了长圈的 Erdös-Pósa 性质：要么存在 k 个顶点不相交的、长度至少为 ℓ 的 S-圈，要么存在一个大小为 O(ℓ·k log k) 的命中集，与所有此类圈相交。证明结合了 Simonovits 的圈增长方法与基于框架的分解，得到了一个以 ℓ 为参数的 FPT 算法，时间复杂度为 O(k log k · s² · (2²¹(2ℓ)! · n + m))，其中 s = |S|。

ABSTRACT

We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan. In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.

研究动机与目标

• 统一两个经典结果：长圈的 Erdös-Pósa 定理与 S-圈（通过顶点集 S 的圈）的 Erdös-Pósa 定理。
• 确立长 S-圈——即长度至少为 ℓ 且每个都至少包含 S 中一个顶点的圈——满足 Erdös-Pósa 性质。
• 提供一种构造性、算法化的证明，当不存在 k 个不相交的此类圈时，可构造出大小为 O(ℓ·k log k) 的命中集。
• 将结果扩展至加权版本，其中顶点权重上限为 ℓ，同时保持命中集边界不变。

提出的方法

• 将 Simonovits 的圈增长策略适配，以构造一个子图 H，该子图同时支持候选圈与潜在命中集。
• 使用由一个立方多重图（含分支顶点与悬挂圈）构成的框架结构，以建模潜在的长 S-圈。
• 应用基于深度优先搜索的子程序，在 G − X 中检测长 S-圈，使用 Bodlaender 的圈检测算法。
• 实施迭代改进过程：若发现长 S-圈，则更新框架与候选命中集；否则，返回当前命中集。
• 采用命中集构造的加权变体，其中将距离分支顶点总权重不超过 ℓ 的顶点纳入，替代基于距离的判定标准。
• 通过限制迭代次数（O(k log k)）与每次迭代的代价（O(s² · (2²¹(2ℓ)! · n + m))）来分析运行时间。

实验结果

研究问题

• RQ1 长 S-圈族（长度至少为 ℓ）是否具有 Erdös-Pósa 性质，且命中集大小仅依赖于 ℓ 与 k？
• RQ2 长 S-圈的命中集大小是否可被界为 O(ℓ·k log k)，与长圈和 S-圈分别的最优已知界一致？
• RQ3 是否存在一个以 ℓ 为参数的 FPT 算法，能计算出 k 个不相交的长 S-圈，或一个较小的命中集？
• RQ4 该结果能否扩展到加权情形，其中顶点权重上限为 ℓ，且命中集边界保持不变？
• RQ5 命中集大小 O(ℓ·k log k) 是否渐近紧致，或可改进为 O(k(ℓ + log k))？

主要发现

• 本文证明：对任意图 G、顶点子集 S 及整数 k、ℓ，要么存在 k 个长度至少为 ℓ 的顶点不相交的 S-圈，要么存在一个大小为 O(ℓ·k log k) 的命中集 X，与所有此类圈相交。
• 命中集边界与 Fiorini 和 Herinckx 对长圈的最优界，以及 Pontecorvi 和 Wollan 对 S-圈的最优界完全一致，统一了两个结果。
• 提供了一种算法，可在 O(k log k · s² · (2²¹(2ℓ)! · n + m)) 时间内计算出两种结果之一，其中 s = |S|，表明该算法在 ℓ 上是 FPT 的。
• 该算法是构造性且迭代的，采用基于框架的分解，并通过 Bodlaender 方法实现圈检测。
• 提出了一种加权变体，其中顶点权重属于 [0, ℓ]，命中集大小仍为 O(ℓ·k log k)，构造方式基于权重可达性进行修改。
• 作者猜想命中集大小可进一步改进为 O(k(ℓ + log k))，暗示当前边界可能并非最优。