[論文レビュー] On Resilient Graph Spanners

Giorgio Ausiello, Paolo Giulio Franciosa+2 more|arXiv (Cornell University)|Mar 6, 2013

Complexity and Algorithms in Graphs参考文献 20被引用数 5

ひとこと要約

本稿では、辺の故障後でも近似的に最適な距離歪みを維持する $\sigma$-耐障害性グラフスパンナ——を導入する。本稿では、基本となる $t$-スパンナ—に注意深く選ばれた短いサイクルを追加することで、このようなスパンナ—を構築する効率的なアルゴリズムを提示する。無重みグラフでは $O(n^{3/2})$ 本の辺を達成し、重み付きグラフでは $O(W n^{3/2})$ 本の辺を達成する。$\sigma \geq 3$ の場合、最適なストレッチと耐障害性を達成する。主な貢献は、証明可能なスパarsenessと耐障害性を備えたスパンナ—構築法であり、一時的障害下で従来の故障耐性スパンナ—よりも辺数が少ない。

ABSTRACT

We introduce and investigate a new notion of resilience in graph spanners. Let $S$ be a spanner of a graph $G$. Roughly speaking, we say that a spanner $S$ is resilient if all its point-to-point distances are resilient to edge failures. Namely, whenever any edge in $G$ fails, then as a consequence of this failure all distances do not degrade in $S$ substantially more than in $G$ (i.e., the relative distance increases in $S$ are very close to those in the underlying graph $G$). In this paper we show that sparse resilient spanners exist, and that they can be computed efficiently.

研究の動機と目的

• 動的ネットワークにおける一時的辺障害下での標準スパンナ—の脆弱性に対処すること。
• 任意の辺障害後でも距離歪みがわずかに増加するという新しい耐障害性特性—$\sigma$-耐障害性—を形式化すること。
• 辺数とストレッチに関する明示的境界を備えた、スパarsな耐障害性スパンナ—を構築する効率的なアルゴリズムを設計すること。
• 既存のスパンナ—構築法（例：故障耐性スパンナ—や加法的スパンナ—）をサイクル補強を用いて耐障害性版に一般化すること。
• $\sigma$-耐障害性を達成するために必要な辺数の理論的境界を確立し、スパarsな状況下での近似的最適性を示すこと。

提案手法

• 任意の1本の辺障害後でも距離歪みが最大 $\sigma$ 倍にしか増加しないという性質を持つ、$\sigma$-耐障害性スパンナ—という新しい耐障害性モデルを提唱する。
• 辺 $e$ の脆弱性 $\mathrm{frag}_G(e)$ を、$G$ 内の最短パスに含まれる $e$ の数として定義し、脆弱性の度合いに応じて低・中・高の3カテゴリに分類する。
• 基本となる $t$-スパンナ— $S$ 内の各 $\sigma$-脆弱な辺 $e$ に対して、$\Gamma_e(G)$ から短いサイクル $C_e$ を計算し、$S$ に追加することで耐障害性を維持する。
• 重複する辺の数を最小化しつつ、すべての $\sigma$-脆弱な辺をカバーするように、グリーディなサイクル選択戦略を用いる。
• 脆弱性に基づいて $\sigma$-脆弱な辺を3つの集合に分割し、各グループのサイクルサイズを解析することで、追加された辺の総数を境界づける。
• 既知のスパンナ—構築法（例：$(2k-1)$-スパンナ—）を基本スパンナ—として用い、サイクル補強を施すことで、最小限のオーバーヘッドで $\sigma$-耐障害性を達成する。

実験結果

リサーチクエスチョン

• RQ1 任意の1本の辺障害後でも近似的に最適なストレッチを維持するスパarsなスパンナ—を構築できるか？
• RQ2 $t$-スパンナ—が辺障害下で $\sigma$-要因の歪み増加に耐えうるようになるために必要な辺数の最小値は何か？
• RQ3 重み付きグラフ $G$ において、$\sigma$-耐障害性スパンナ—の辺数は、$\sigma$、辺重み $W$、グラフサイズ $n$ に対してどのようにスケーリングされるか？
• RQ4 既存のスパンナ—構築法（例：故障耐性スパンナ—や加法的スパンナ—）を、有界なオーバーヘッドで $\sigma$-耐障害性スパンナ—に変換できるか？
• RQ5 追加された辺数に関する理論的境界はタイトなものか、それとも $\sigma > 3$ の場合にさらに改善可能か？

主な発見

• 重み付きグラフでは、$W$ を最大辺重みと最小辺重みの比として、$O(W n^{3/2})$ 本の辺を持つ $\sigma$-耐障害性 $t$-スパンナ—を構築可能である。
• 無重みグラフでは、$\sigma \geq 3$ の場合、$O(n^{3/2})$ 本の辺を持つ $\sigma$-耐障害性スパンナ—が得られ、既知のスパarsスパンナ—の境界と一致する。
• $\sigma \geq \log n$ の場合、追加された辺数は $O(n^{3/2})$ に抑えられ、定数倍の要因を除いて最適なサイズを達成する。
• $5 \leq \sigma < \log n$ かつ十分に大きな $W$ の場合、辺数は $O(W \log n \cdot n^{1 + 1/\lfloor(\sigma+1)/2\rfloor})$ に抑えられ、$\sigma$ に従ってゆっくりと増加する。
• 構築法により、任意の $\sigma$-脆弱な辺 $e$ に対して、$e$ の故障後も追加されたサイクル $C_e$ が元のグラフの距離歪みの $\sigma$-要因以内に保つことが保証される。
• 本アプローチは、故障耐性スパンナ—や加法的スパンナ—などの任意の基本スパンナ—に一般化可能であり、制御された辺オーバーヘッドで $\sigma$-耐障害性スパンナ—の構築が可能である。