[论文解读] An FPT Algorithm for Minimum Additive Spanner Problem

Yusuke Kobayashi|arXiv (Cornell University)|Mar 4, 2019

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

一句话总结

本文提出了首个针对最小加法 t-跨度图问题的固定参数可追踪（FPT）算法，参数为从原图中移除的边数。通过利用长度不超过 $t+2$ 的环结构，该算法利用有界搜索树高效搜索稀疏加法 $t$-跨度图，实现运行时间为 $(t+1)^{O(k+t)} \cdot |V| \cdot |E|$，并通过约化到加法跨度图，进一步扩展至 $(\alpha,\beta)$-跨度图。

ABSTRACT

For a positive integer $t$ and a graph $G$, an additive $t$-spanner of $G$ is a spanning subgraph in which the distance between every pair of vertices is at most the original distance plus $t$. Minimum Additive $t$-Spanner Problem is to find an additive $t$-spanner with the minimum number of edges in a given graph, which is known to be NP-hard. Since we need to care about global properties of graphs when we deal with additive $t$-spanners, Minimum Additive $t$-Spanner Problem is hard to handle, and hence only few results are known for it. In this paper, we study Minimum Additive $t$-Spanner Problem from the viewpoint of parameterized complexity. We formulate a parameterized version of the problem in which the number of removed edges is regarded as a parameter, and give a fixed-parameter algorithm for it. We also extend our result to $(α, β)$-spanners.

研究动机与目标

• 为解决加法跨度图问题中处理全局图性质的长期挑战，此类问题已知为 NP-难且难以近似。
• 为最小加法 t-跨度图问题开发一个固定参数可追踪（FPT）算法，其中参数为从原图中移除的边数。
• 通过将问题约化为加法跨度图情形，将 FPT 方法扩展至更一般的 $(\alpha,\beta)$-跨度图问题。
• 为未来关于最稀疏跨度图问题的算法研究提供理论基础，特别是针对加法跨度图与混合跨度图。

提出的方法

• 通过固定需移除的边数 $k$ 来定义参数化问题，目标是寻找边数最少的加法 $t$-跨度图。
• 识别所有位于长度不超过 $t+2$ 的环中的边的集合 $F$，该集合必须包含任何解的边集 $E'$。
• 采用有界搜索树方法：若 $|F| \leq f_4(t,k)$，则对 $F$ 的所有 $k$-大小子集进行穷举检查，以寻找有效的跨度图。
• 若 $|F|$ 较大，则构造一个包含大量短环（$\leq t+2$）的集合 $C$，并在其边集中进行搜索，以找到有效的 $k$-边移除集合。
• 利用结构引理与命题，保证有效解存在于由环所定义的搜索空间之内。
• 通过将 $(\alpha,\beta)$-跨度图约化为 $t$-加法跨度图（其中 $t = \lfloor \alpha + \beta \rfloor - 1$），将算法扩展至 $(\alpha,\beta)$-跨度图。

实验结果

研究问题

• RQ1 当以从图中移除的边数为参数时，最小加法 t-跨度图问题是否能被高效求解？
• RQ2 是否存在基于局部环性质的、可被移除以生成加法 $t$-跨度图的边集的结构表征？
• RQ3 能否将加法跨度图的 FPT 方法扩展至更一般的 $(\alpha,\beta)$-跨度图问题？
• RQ4 寻找最稀疏加法 $t$-跨度图的计算复杂度是多少？是否能以 $k$ 和 $t$ 的形式进行界定？

主要发现

• 本文提出了首个针对最小加法 t-跨度图问题的固定参数可追踪算法，其运行时间为 $(t+1)^{O(k+t)} \cdot |V| \cdot |E|$。
• 该算法依赖于识别位于短环（长度 $\leq t+2$）中的边作为唯一可能的候选移除边，该结论通过结构图分析得以证明。
• 当此类边的数量 $|F|$ 受 $f_4(t,k)$ 限制时，算法对 $F$ 的所有 $k$-子集进行暴力搜索，确保结果正确。
• 当 $|F|$ 较大时，算法构造一个包含大量短环的集合，并在这些环的边集上进行有界搜索，其有效性由组合引理保证。
• 该方法通过将 $(\alpha,\beta)$-跨度图约化为 $t$-加法跨度图（$t = \lfloor \alpha + \beta \rfloor - 1$）实现扩展，同时保持 FPT 运行时间。
• 该结果为一个此前因对图距离具有全局依赖性而被认为难以处理的问题，建立了基础性的 FPT 算法。