[論文レビュー] 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|})$本の辺を有する新たな極値的境界を確立し、従来の結果を顕著に改善する。この結果を応用して、Steiner Network Design問題に対するより高速な近似アルゴリズムを設計し、$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})$.

研究の動機と目的

• ソース制限付きの要求ペアを有する有向グラフにおける到達可能性プレセーバのサイズに関するよりタイトな極値的境界を確立すること。
• より高い実行時間と最適性保証を達成するスパースな到達可能性プレセーバを構築するための効率的アルゴリズムを開発すること。
• 到達可能性プレセーバの境界を活用することで、極値的グラフ理論とSteiner Network Designを結びつけること。
• 下界構築により、$O(n)$サイズの到達可能性プレセーバが一般には不可能であることを示すこと。

提案手法

• 直線上の最近点へのユークリッド距離を用いた幾何的ポテンシャル議論を提案し、拡張された臨界パスの一意性を証明する。
• 高確率で最適サイズの到達可能性プレセーバを構築するための確率的アルゴリズムを用い、$\widetilde{O}(|E||S|)$の実行時間となる。
• 極値的グラフスパース化技術を用いて、到達可能性プレセーバに必要な辺の数の上界を導出する。
• Steiner Network Design問題を到達可能性プレセーバの構築問題に還元し、より良い近似比を達成可能にする。
• 拡張された臨界パスとパラメータ化された幾何的制約に基づく下界構築により、上界のタイトさを示す。
• 極値的境界を用いて、Steiner Network Designを到達可能性プレセーバに還元する新規な還元法を導入し、よりタイトな近似保証を実現する。

実験結果

リサーチクエスチョン

• RQ1 ノード数$n$、要求ペア数$|P|$、ソース集合$S$を有する有向グラフにおいて、$P \subseteq S \times V$の形の要求ペアに対して、到達可能性プレセーバが有する最小辺数は何か？
• RQ2 ソース制限付きの到達可能性プレセーバに対して、$O(n^{4/3})$本の辺という境界を一般に$O(n)$に改善できるか。あるいは、根本的な制限があるか？
• RQ3 極値的グラフスパース化の結果を、有向グラフにおけるSteiner Network Designの近似アルゴリズムの改善にどの程度活用できるか？
• RQ4 到達可能性プレセーバに対して、$O(n + \sqrt{n|P||S|})$本の辺という上界はタイトか。どのようなパrameter範囲がより大きな部分グラフを要求するか？
• RQ5 到達可能性プレセーバとSteiner Network Designの関係を活用することで、現在の最先端の近似比を向上させられるか？

主な発見

• 本稿は、要求ペアが$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|)$時間で最適サイズの到達可能性プレセーバを構築する確率的アルゴリズムを提案し、存在的最適性を達成した。
• 本稿は、極値的境界を活用することで、有向グラフにおけるSteiner Network Design問題の近似比を$O(n^{0.6+\varepsilon})$から$O(n^{4/7+\varepsilon})$に改善した。
• 下界構築により、$O(n + \sqrt{n|P||S|})$という上界が広いパrameter範囲でタイトであることが示され、$O(n)$サイズのプレセーバが一般には不可能であることが明らかになった。
• 本稿は、$n^4\sigma^6 \leq p^9$のパラメータ範囲において、到達可能性プレセーバのサイズが$\Omega(n^{4/5}p^{1/5}\sigma^{1/5})$であることを証明し、これらの条件下で上界のタイトさを確認した。