[論文レビュー] Additive Spanners: A Simple Construction

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

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

ひとこと要約

この論文は、重みなし無向グラフにおける加法的スパンナの構築のための単純でグリーディなアルゴリズムを提示する。この手法は、加法的ストレッチ条件に違反するペア間の最短経路を反復的に追加することで、初期部分グラフにノードあたり $\lceil n^{1/3} \rceil$ 構成する。この方法により、$O(n^{4/3})$ 様式の最適サイズの $6$-スパンナと $O(n^{3/2})$ 様式の最適サイズの $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$-スパンナを生成することの証明。
• 従来の構成法を模倣する統一的枠組みを提供するが、解析と初期条件がより単純化されている。
• スパarsな初期グラフを出発点として $k$-スパンナ完成プロセスを実行すると、既知の最良上界と一致するサイズのスパンナが得られることの証明。

提案手法

• 初期部分グラフ $H$ を出発点とし、ノードあたり $\lfloor n^{1/3} \rfloor$ 本の辺（度数がそれ以下の場合にはすべての接続辺）を含む。$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\}$ を用いる。
• $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})$ だけ増加させることを示し、これにより $6$-スパンナの総辺数が $O(n^{4/3})$ に制限されることを示す。
• $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 潜在関数法は、加法的スパンナの完成プロセスにおける辺の追加数を制限するのに有効か？

主な発見

• $6$-スパンナ完成プロセスは、ノードあたり $\lfloor n^{1/3} \rfloor$ 本の辺を初期に持つ場合、サイズ $O(n^{4/3})$ のスパンナを生成し、既知の最良上界と一致する。
• $2$-スパンナ完成プロセスは、空のグラフから出発すると、サイズ $O(n^{3/2})$ のスパンナを生成し、ウッドラフによる既知の上界と下界と一致する。
• この手法により、$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})$ 本の辺が得られると示した。
• 解析により、グリーディな経路追加プロセスが、最小限の初期構造で最適スパンナサイズを達成するのに十分であることが確認された。