[论文解读] Additive Spanners: A Simple Construction

Mathias Bæk Tejs Knudsen|arXiv (Cornell University)|Mar 2, 2014

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

一句话总结

本论文提出了一种简单、贪心的算法，用于在无权无向图中构建加法边带（additive spanners），通过迭代添加违反加法伸展条件的点对之间的最短路径来实现。从每个节点包含 $\lceil n^{1/3} \rceil$ 条边的初始子图出发，该方法构造出大小最优的 $6$-边带（$O(n^{4/3})$ 条边）和 $2$-边带（$O(n^{3/2})$ 条边），其结果与目前已知的最佳上界完全一致，且采用了一种极简且直观的构造方式。

ABSTRACT

We consider additive spanners of unweighted undirected graphs. Let $G$ be a graph and $H$ a subgraph of $G$. The most naïve way to construct an additive $k$-spanner of $G$ is the following: As long as $H$ is not an additive $k$-spanner repeat: Find a pair $(u,v) \in H$ that violates the spanner-condition and a shortest path from $u$ to $v$ in $G$. Add the edges of this path to $H$. We show that, with a very simple initial graph $H$, this naïve method gives additive $6$- and $2$-spanners of sizes matching the best known upper bounds. For additive $2$-spanners we start with $H=\emptyset$ and end with $O(n^{3/2})$ edges in the spanner. For additive $6$-spanners we start with $H$ containing $\lfloor n^{1/3} floor$ arbitrary edges incident to each node and end with a spanner of size $O(n^{4/3})$.

研究动机与目标

• 开发一种简单、直观的加法边带构造方法，使其达到已知的最优大小界。
• 证明：从一个最小初始子图出发，通过贪心的最短路径扩展过程，可得到 $k=2$ 和 $k=6$ 时的最优大小 $k$-边带。
• 提供一个统一的框架，其结构与先前构造方法相似，但分析更简单，初始条件更清晰。
• 证明：当以稀疏初始图作为种子时，$k$-边带完成过程可产生与目前已知最佳上界相匹配大小的边带。

提出的方法

• 该方法从每个节点包含 $\lfloor n^{1/3} \rfloor$ 条边的初始子图 $H$ 开始（若度数较小则包含所有关联边），对于 $2$-边带则从空图开始。
• 应用贪心的 $k$-边带完成过程：反复寻找满足 $d_H(u,v) > d_G(u,v) + k$ 的点对 $u,v$，并将 $G$ 中 $u$ 到 $v$ 的一条最短路径的所有边加入 $H$。
• 对于 $6$-边带，分析使用势函数 $v(H) = \sum_{u,v} \max\{0, d_G(u,v) - d_H(u,v) + 5\}$，通过每条边带来的 $v(H)$ 增益来限制边的添加数量。
• 对于 $2$-边带，采用另一种势函数 $v(H) = \sum_{u,v} \max\{0, d_G(u,v) - d_H(u,v) + 3\}$ 以及二次度数和 $c(H) = \sum_v (\deg_H(v))^2$ 来限制边的增长。
• 证明表明，每次边的添加会使 $v(H)$ 增加 $\Omega(n^{2/3})$，从而将总边数限制在 $O(n^{4/3})$ 以内，适用于 $6$-边带。
• 对于 $2$-边带，该方法证明 $c(H) - 12v(H)$ 在边添加过程中不会增加，从而推出 $c(H) = O(n^2)$，再通过柯西-施瓦茨不等式可得边数为 $O(n^{3/2})$。

实验结果

研究问题

• RQ1 能否基于最短路径扩展的简单贪心算法，构造出大小为 $O(n^{4/3})$ 的 $6$-边带？
• RQ2 当从空图开始时，该方法是否也能构造出大小为 $O(n^{3/2})$ 的 $2$-边带？
• RQ3 是否可以选择合适的初始子图，使得 $k$-边带完成过程达到已知的最优大小界？
• RQ4 势函数方法是否有效用于限制加法边带完成过程中边的添加数量？

主要发现

• 当以每个节点 $\lfloor n^{1/3} \rfloor$ 条边作为种子时，$6$-边带完成过程可产生大小为 $O(n^{4/3})$ 的边带，与目前已知的最佳上界完全一致。
• 从空图开始的 $2$-边带完成过程可产生大小为 $O(n^{3/2})$ 的边带，与已知上界及 Woodruff 的下界一致。
• 该方法证明：在 $6$-边带过程中，每次边的添加会使势函数 $v(H)$ 增加 $\Omega(n^{2/3})$，从而将总边数限制在 $O(n^{4/3})$ 以内。
• 对于 $2$-边带，该方法表明 $c(H) - 12v(H)$ 在边添加过程中不会增加，从而推出 $c(H) = O(n^2)$，再通过柯西-施瓦茨不等式可得边数为 $O(n^{3/2})$。
• 分析证实，贪心的路径添加过程足以在初始结构极简的前提下，达到最优边带大小。