[論文レビュー] Near-Additive Spanners and Near-Exact Hopsets, A Unified View

Michael Elkin, Ofer Neiman|arXiv (Cornell University)|Jan 21, 2020

Complexity and Algorithms in Graphs参考文献 38被引用数 6

ひとこと要約

本稿は、無向グラフにおける近似加法的スパニヤーと近似正確なホップセットの統一的な枠組みを提示し、両構造が類似した組合せ的技法を用いてスパarsityとストレッチの最適なトレードオフを達成することを示している。任意の $\kappa \geq 1$ および $\epsilon > 0$ に対して、$(1+\epsilon, \beta)$-スパニヤーと $(1+\epsilon, \beta)$-ホップセットは、$O_{\epsilon,\kappa}(n^{1+1/\kappa})$ の辺と加法的誤差 $\beta = \left(\frac{\log \kappa}{\epsilon}\right)^{\log \kappa - 2}$ を用いて構築可能であり、これは現在の最高の境界のままである。

ABSTRACT

Given an {\em unweighted} undirected graph $G = (V,E)$, and a pair of parameters $ε> 0$, $β= 1,2,\ldots$, a subgraph $G' =(V,H)$, $H \subseteq E$, of $G$ is a {\em $(1+ε,β)$-spanner} (aka, a {\em near-additive spanner}) of $G$ if for every $u,v \in V$, $$d_{G'}(u,v) \le (1+ε)d_G(u,v) + β~.$$ It was shown in \cite{EP01} that for any $n$-vertex $G$ as above, and any $ε> 0$ and $κ= 1,2,\ldots$, there exists a $(1+ε,β)$-spanner $G'$ with $O_{ε,κ}(n^{1+1/κ})$ edges, with $$β= β_{EP} = \left({{\log κ} \over ε} ight)^{\log κ- 2}~.$$ This bound remains state-of-the-art, and its dependence on $ε$ (for the case of small $κ$) was shown to be tight in \cite{ABP18}. Given a {\em weighted} undirected graph $G = (V,E,ω)$, and a pair of parameters $ε> 0$, $β= 1,2,\ldots$, a graph $G'= (V,H,ω')$ is a {\em $(1+ε,β)$-hopset} (aka, a {\em near-exact hopset}) of $G$ if for every $u,v \in V$, $$d_G(u,v) \le d_{G\cup G'}^{(β)}(u,v) \le (1+ε)d_G(u,v)~,$$ where $ d_{G\cup G'}^{(β)}(u,v)$ stands for a $β$-(hop)-bounded distance between $u$ and $v$ in the union graph $G \cup G'$. It was shown in \cite{EN16} that for any $n$-vertex $G$ and $ε$ and $κ$ as above, there exists a $(1+ε,β)$-hopset with $ ilde{O}(n^{1+1/κ})$ edges, with $β= β_{EP}$. Not only the two results of \cite{EP01} and \cite{EN16} are strikingly similar, but so are also their proof techniques. Moreover, Thorup-Zwick's later construction of near-additive spanners \cite{TZ06} was also shown in \cite{EN19,HP17} to provide hopsets with analogous (to that of \cite{TZ06}) properties. In this survey we explore this intriguing phenomenon, sketch the basic proof techniques used for these results, and highlight open questions.

研究の動機と目的

• 近似加法的スパニヤーと近似正確なホップセットの理論的理解を統一し、共通する構造的およびアルゴリズム的原則を特定すること。
• 両者のスパニヤーおよびホップセットの構築に裏付けられる共通の証明技法、特にスーパクラスタリングと相互接続に基づくものを探る。
• 両構造におけるスパarsity、乗法的ストレッチ、加法的誤差／ホップ数制限のトレードオフに関する未解決問題を強調すること。
• 近似加法的スパニヤーと近似正確なホップセットの間の形式的還元の可能性を検討すること。

提案手法

• ElkinとPeleg (2001) のスーパクラスタリングと相互接続フレームワークを採用し、スパニヤーおよびホップセット両方の構築に一般化する。
• 複数レベルの階層的クラスタリングを用いることで、任意の頂点ペアがストレッチ $1+\epsilon$ と有界なホップ数または加法的誤差を持つ経路で接続されることを保証する。
• 距離の再帰的分解を活用し、各レベルでの区間を分割し、ホップセットの辺またはスパニヤーの辺を介して接続することでストレッチの保証を維持する。
• クラスタリング階層の対数的深さを用いてホップ数または加法的誤差の上限を設定し、$\beta = \left(\frac{\log \kappa}{\epsilon}\right)^{\log \kappa - 2}$ の境界に到達する。
• 重み付きグラフへの拡張では、距離近似メカニズムを調整して重み付き距離を $1+\epsilon$ 因子内に保つ。
• この手法は存在的構成および効率的アルゴリズムの両方に適用可能であり、パラメータ $\rho$ を用いて実行時間のトレードオフを制御できる。

実験結果

リサーチクエスチョン

• RQ1 近似加法的スパニヤーと近似正確なホップセットの間の根本的な構造的類似性は何か？ これにより統一的構築法が可能となる。
• RQ2 スーパクラスタリングと相互接続の共通する証明技法を、スパニヤーとホップセットの間の一般還元に形式化できるか？
• RQ3 両者のスパニヤーおよびホップセットにおける加法的誤差 $\beta$ の $\epsilon$ および $\kappa$ への最適依存関係は何か？
• RQ4 非パス報告型バージョンと同等のパラメータを持つパス報告型ホップセットを構築できるか？
• RQ5 近似正確なホップセットまたは近似加法的スパニヤーにおいて、$\beta$ を $\kappa$ の多項式に保ちながらストレッチを $3+\epsilon$ 未満に達成できるか？

主な発見

• $(1+\epsilon, \beta)$-スパニヤーおよび $(1+\epsilon, \beta)$-ホップセットにおける現在の最高の境界 $\beta = \left(\frac{\log \kappa}{\epsilon}\right)^{\log \kappa - 2}$ は改善されておらず、既知の下界と整合する。
• 両スパニヤーおよびホップセットともに $O_{\epsilon,\kappa}(n^{1+1/\kappa})$ の辺数を達成し、スパarsityとストレッチのタイトなトレードオフを示している。
• 同じコア技術である階層的スーパクラスタリングと階層間接続が両構築の背後にあるため、構造的および解析的類似性が説明できる。
• Thorup-Zwickフレームワークによる近似正確なホップセットの構築は、近似加法的スパニヤーと類似した結果をもたらし、両者の間の深い関係を示唆している。
• 集中型計算では、$\beta = \left(\frac{\log(\kappa\rho + 1/\rho)}{\epsilon}\right)^{\log(\kappa\rho + 1/\rho)}$ を用いて $(1+\epsilon, \beta)$-スパニヤーを $O(|E| \cdot n^\rho)$ 時間で達成でき、時間と精度のトレードオフが示された。
• 現在の最良のユニバーサル構成では、非ユニバーサル構成より $\beta$ パrameter が悪く、具体的には $\beta_{EP}^{\log_{4/3} 2}$ であり、大きなギャップが存在する。