[論文レビュー] Improved Purely Additive Fault-Tolerant Spanners

Davide Bilò, Fabrizio Grandoni+3 more|arXiv (Cornell University)|Jul 2, 2015

Complexity and Algorithms in Graphs参考文献 11被引用数 10

ひとこと要約

この論文は、重みなし無向グラフにおける完全に加法的障害耐性のあるスパニンググラフの改良された構成を提示している。加法的ストレッチをそれぞれ6、28、38から4、10、14に低減しつつ、同じスパarsityを維持している。アプローチは、クラスタリングに基づくスパニンググラフ拡張と、障害耐性のあるソースワイズスパニンググラフ拡張を組み合わせており、エッジ障害下でのサイズとストレッチの最適なトレードオフを達成している。

ABSTRACT

Let $G$ be an unweighted $n$-node undirected graph. A \emph{$β$-additive spanner} of $G$ is a spanning subgraph $H$ of $G$ such that distances in $H$ are stretched at most by an additive term $β$ w.r.t. the corresponding distances in $G$. A natural research goal related with spanners is that of designing \emph{sparse} spanners with \emph{low} stretch. In this paper, we focus on \emph{fault-tolerant} additive spanners, namely additive spanners which are able to preserve their additive stretch even when one edge fails. We are able to improve all known such spanners, in terms of either sparsity or stretch. In particular, we consider the sparsest known spanners with stretch $6$, $28$, and $38$, and reduce the stretch to $4$, $10$, and $14$, respectively (while keeping the same sparsity). Our results are based on two different constructions. On one hand, we show how to augment (by adding a \emph{small} number of edges) a fault-tolerant additive \emph{sourcewise spanner} (that approximately preserves distances only from a given set of source nodes) into one such spanner that preserves all pairwise distances. On the other hand, we show how to augment some known fault-tolerant additive spanners, based on clustering techniques. This way we decrease the additive stretch without any asymptotic increase in their size. We also obtain improved fault-tolerant additive spanners for the case of one vertex failure, and for the case of $f$ edge failures.

研究の動機と目的

• 単一のエッジ障害下で最小限の加法的ストレッチを持つスパースな障害耐性スパニンググラフを設計すること。
• 既存の完全に加法的障害耐性スパニンググラフを改善し、漸近的サイズを増加させることなくストレッチを低減すること。
• ソースワイズ障害耐性スパニンググラフを全ペア障害耐性スパニンググラフに変換する一般化されたフレームワークを開発すること。
• 複数のエッジ障害および頂点障害に対応するためのアプローチを拡張すること。

提案手法

• エッジ障害下でもすべてのペアワイズ距離を保持するために、小さな数のエッジを障害耐性のあるソースワイズスパニンググラフに追加する。
• 既知の加法的スパニンググラフにクラスタリング技術を適用し、ストレッチを低減しつつサイズの上限を維持する。
• 5乗法的エッジ障害耐性スパニンググラフをバックボーンとして用い、サイズO(n^{4/3})の14加法的EFTスパニンググラフを構築する。
• 4加法的ストレッチとÕ(n^{7/5})サイズの確率的クラスタリングベーススパニンググラフを用いて、10加法的EFTスパニンググラフを構築する。
• エッジに依存しないパスの議論を用いて、エッジ障害下でのストレッチを制限する。
• 性質に基づく距離解析（P2, P3）を適用し、エッジの削除後もストレッチの上限が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 既存のスパースな障害耐性スパニンググラフの加法的ストレッチを、サイズの漸近的増加なしに低減することは可能か？
• RQ2 ソースワイズ障害耐性スパニンググラフを、最小限のオーバーヘッドで全ペア障害耐性スパニンググラフに変換することは可能か？
• RQ3 サイズO(n^{4/3})のEFTスパニンググラフで達成可能な最小の加法的ストレッチは何か？
• RQ4 クラスタリングベースの構成は、障害耐性環境でのストレッチ向上にどのように適応可能か？
• RQ5 同じ技術を複数のエッジ障害または頂点障害に対応するように拡張可能か？

主な発見

• サイズO(n^{4/3})の14加法的エッジ障害耐性スパニンググラフが構築され、同サイズの以前の38加法的スパニンググラフを改善した。
• サイズÕ(n^{7/5})の10加法的エッジ障害耐性スパニンググラフが達成され、同サイズの以前の28加法的スパニンググラフを改善した。
• 5乗法的EFTスパニンググラフと6加法的スパニンググラフを用いて、多項式時間で14加法的EFTスパニンググラフを構築した。
• 4加法的スパニンググラフ（サイズÕ(n^{7/5})）を確率的構成で用いることで、10加法的EFTスパニンググラフを取得した。
• スパースに知られているO(n^{4/3})サイズのスパニンググラフのストレッチを6から4に低減できた。
• フレームワークはfエッジ障害および頂点障害に対応するように拡張され、改善されたストレッチバウンドが得られた。