[論文レビュー] Lower Bounds on Sparse Spanners, Emulators, and Diameter-reducing shortcuts

Shang-En Huang, Seth Pettie|arXiv (Cornell University)|Apr 30, 2017

Complexity and Algorithms in Graphs参考文献 19被引用数 3

ひとこと要約

この論文は、重みなしグラフにおけるThorup-Zwickの部分線形加法的エミュレータが、(β, ϵ)-ホップセットとして本質的に最適であることを示している。サイズ O(n^{1+1/(2k+1−1)}) とホップバウンド β の間で、既知の最良のトレードオフを達成する。著者らは構成をわずかに変更することで、サイズを k 分の1に削減し、Abboud, Bodwin, and Pettieの下界に一致させ、エミュレータおよびスパンナのスパarsityを向上させた。

ABSTRACT

A $(β,ε)$-$ extit{hopset}$ is, informally, a weighted edge set that, when added to a graph, allows one to get from point $a$ to point $b$ using a path with at most $β$ edges ("hops") and length $(1+ε)\mathrm{dist}(a,b)$. In this paper we observe that Thorup and Zwick's $ extit{sublinear additive}$ emulators are also actually $(O(k/ε)^k,ε)$-hopsets for every $ε>0$, and that with a small change to the Thorup-Zwick construction, the size of the hopset can be made $O(n^{1+\frac{1}{2^{k+1}-1}})$. As corollaries, we also shave "$k$" factors off the size of Thorup and Zwick's sublinear additive emulators and the sparsest known $(1+ε,O(k/ε)^{k-1})$-spanners, due to Abboud, Bodwin, and Pettie.

研究の動機と目的

• Thorup-Zwickの部分線形加法的エミュレータが、普遍的に最適な(β, ϵ)-ホップセットであることを示すこと。
• サイズを k 分の1に削減することで、(1+ϵ, β)-スパンナおよび部分線形加法的エミュレータのスパarsityを改善すること。
• ホップセット構成における既知の上界と下界の差を埋めること。
• 既存の洗練された構成の簡単な変更を用いて、ホップセット構成が複雑である必要がないことを示すこと。

提案手法

• 確率 qi を用いた段階的頂点サンプリングを用いて、Thorup-Zwickのエミュレータ構成を変更し、(β, ϵ)-ホップセットを構築する。
• 各頂点 v ∈ Vi \ Vi+1 に対して、B(v) および pi+1(v) へのエッジ Ei を定義し、エッジの重みを最短経路距離に等しくする。
• qi = n^{-(2i−1)/(2k+1−1)} · 2^{-(2i−i+1)} と設定することで、期待サイズを制御する幾何級数的減少するレイヤーサイズを実現する。
• パラメータ r = ⌈4k/ϵ′⌉ および µ = d/r^k を用いて再帰的解析を行い、加法的ストレッチおよびホップバウンドを束縛する。
• 鳩の巣原理を用いて、ホップセット下での最短経路におけるマルチホップおよびシングルホップセグメントの数を束縛する。
• hk < 2(r+1)^k ホップ以内で、G∪H における距離が元の距離の (1+ϵ) 倍以内であることを証明し、(β, ϵ)-ホップセットの性質を達成する。

実験結果

リサーチクエスチョン

• RQ1 Thorup-Zwickのエミュレータ構成を、最適な(β, ϵ)-ホップセットとして再利用できるか？
• RQ2 Thorup-Zwickエミュレータのサイズを、最適なストレッチおよびホップバウンドを保ったまま k 分の1に削減できるか？
• RQ3 修正された構成が、Abboud, Bodwin, and Pettieが確立したホップセットサイズの下界に一致するか？
• RQ4 この手法を、(1+ϵ, β)-スパンナおよび部分線形加法的エミュレータのスパarsity向上に拡張できるか？
• RQ5 複雑な従来のアプローチを避ける、単純で洗練された最適ホップセットの構成は存在するか？

主な発見

• 重みなしグラフにおけるThorup-Zwickエミュレータは、サイズ O(n^{1+1/(2k+1−1)}) および β = O((k/ϵ)^k) で(β, ϵ)-ホップセットであり、Abboud-Bodwin-Pettieの下界と一致する。
• サンプリング確率をわずかに変更することで、ホップセットサイズが O(n^{1+1/(2k+1−1)}) に削減され、元のThorup-Zwick構成に比べて k 分の1の削減が達成される。
• 部分線形加法的エミュレータのサイズは、ストレッチ f(d) = d + (4+o(1))kd^{1−1/k} で O(n^{1+1/(2k+1−1)}) に改善された。
• (1+ϵ, β)-スパンナのサイズは、O((k/ϵ)^h n^{1+1/(2k+1−1)}) に改善され、h = (3·2^{k−1} − (k+2))/(2^{k+1}−1) < 3/4 である。
• k = log log n − O(1) の場合、ホップセットサイズは線形 O(n) になり、β = O((k/ϵ)^k) となり、近似的に最適なスパarsityが達成される。
• サイズ n^{1+1/(2k+1−1)−δ} のホップセットに対して、Ω(ck/ϵ^{k+1}) のホップバウンド下限が成立することを示し、最適性を証明した。