[论文解读] Reachability Preservers: New Extremal Bounds and Approximation Algorithms

Abboud, Amir, Bodwin, Greg|arXiv (Cornell University)|Oct 30, 2017

Advanced Graph Theory Research被引用 17

一句话总结

本文引入了可达性保持子图——一种在有向图中保持指定需求对之间可达性的稀疏子图。它建立了源受限需求对的新的极值边界 $O(n + \sqrt{n|P||S|})$ 条边，显著优于先前结果，并将其应用于设计更快的斯坦纳网络设计近似算法，近似比达到 $O(n^{4/7+\varepsilon})$，超越了先前的 $O(n^{0.6+\varepsilon})$ 边界。

ABSTRACT

We abstract and study \\emph{reachability preservers}, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph $G = (V, E)$ and a set of \\emph{demand pairs} $P \\subseteq V \ imes V$, a reachability preserver is a sparse subgraph $H$ that preserves reachability between all demand pairs. Our first contribution is a series of extremal bounds on the size of reachability preservers. Our main result states that, for an $n$-node graph and demand pairs of the form $P \\subseteq S \ imes V$ for a small node subset $S$, there is always a reachability preserver on $O(n+\\sqrt{n |P| |S|})$ edges. We additionally give a lower bound construction demonstrating that this upper bound characterizes the settings in which $O(n)$ size reachability preservers are generally possible, in a large range of parameters. The second contribution of this paper is a new connection between extremal graph sparsification results and classical Steiner Network Design problems. Surprisingly, prior to this work, the osmosis of techniques between these two fields had been superficial. This allows us to improve the state of the art approximation algorithms for the most basic Steiner-type problem in directed graphs from the $O(n^{0.6+\\varepsilon})$ of Chlamatac, Dinitz, Kortsarz, and Laekhanukit (SODA'17) to $O(n^{4/7+\\varepsilon})$.

研究动机与目标

• 建立有向图中源受限需求对的可达性保持子图大小的更紧极值边界。
• 设计高效算法以构建具有改进时间复杂度和最优性保证的稀疏可达性保持子图。
• 通过利用可达性保持子图边界，将极值图论与斯坦纳网络设计相连接，以改进近似算法。
• 通过下界构造证明，$O(n)$ 大小的可达性保持子图在一般参数范围内通常不可行。

提出的方法

• 提出一种基于欧氏距离到直线上最近点的几何势函数论证，用于证明扩展关键路径在构造中的唯一性。
• 使用随机化算法，其时间复杂度为 $\widetilde{O}(|E||S|)$，以高概率构造出最优大小的可达性保持子图。
• 应用极值图稀疏化技术，推导出可达性保持子图中所需边数的上界。
• 将斯坦纳网络设计问题约化为可达性保持子图的构造，从而实现更优的近似比。
• 基于扩展关键路径和参数化几何约束提出下界构造，以证明上界紧致性。
• 提出一种新颖的从斯坦纳网络设计到可达性保持子图的约化，通过极值边界实现更紧的近似保证。

实验结果

研究问题

• RQ1 对于包含 $n$ 个节点和 $|P|$ 个起源于源集 $S$ 的需求对的有向图，可达性保持子图的最小边数是多少？
• RQ2 源受限可达性保持子图的 $O(n^{4/3})$ 边界能否在一般情况下改进为 $O(n)$？是否存在固有局限？
• RQ3 在多大程度上可以利用极值图稀疏化结果来改进有向图中斯坦纳网络设计的近似算法？
• RQ4 可达性保持子图的 $O(n + \sqrt{n|P||S|})$ 边界是否紧致？哪些参数范围会强制产生更大的子图？
• RQ5 可达性保持子图与斯坦纳网络设计之间的联系能否被利用以改进当前最先进的近似比？

主要发现

• 本文建立了当需求对形式为 $P \subseteq S \times V$ 时，可达性保持子图的新的上界 $O(n + \sqrt{n|P||S|})$ 条边，显著优于先前的边界。
• 对于一般需求对，本文推导出 $O(n + (n|P|)^{2/3})$ 的边数边界，优于先前的 $O(\min\{n|P|^{1/2}, n^{1/2}|P|\} + n)$ 边界。
• 一种随机化算法以 $\widetilde{O}(|E||S|)$ 时间复杂度高概率构造出此类可达性保持子图，达到存在性最优性。
• 本文利用新的极值边界，将有向斯坦纳网络设计问题的近似比从 $O(n^{0.6+\varepsilon})$ 提升至 $O(n^{4/7+\varepsilon})$。
• 通过下界构造表明，$O(n + \sqrt{n|P||S|})$ 边界在广泛参数范围内是紧致的，证明了 $O(n)$ 大小的保持子图通常不可行。
• 本文证明，在参数范围 $n^4\sigma^6 \leq p^9$ 内，可达性保持子图大小为 $\Omega(n^{4/5}p^{1/5}\sigma^{1/5})$，在这些条件下确认了上界紧致性。