[論文レビュー] Compact and Fast Sensitivity Oracles for Single-Source Distances

Davide Bilò, Luciano Gualà+2 more|arXiv (Cornell University)|Aug 16, 2016

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

ひとこと要約

本稿では、単一の辺障害が生じた場合の無向かつ非負重み付きグラフにおける単一始点近似距離のための2種類のコンパクトで高速な感度オラクルを提示する。O(n)サイズでO(1)クエリ時間と2ストレッチを達成するオラクル、およびO(n/ε log(1/ε))サイズでO(log n / ε log(1/ε))クエリ時間と(1+ε)-ストレッチを達成するオラクルをそれぞれ提案し、両者ともサイズにおいて最適であり、クエリ時間においてはほぼ最適である。

ABSTRACT

Let $s$ denote a distinguished source vertex of a non-negatively real weighted and undirected graph $G$ with $n$ vertices and $m$ edges. In this paper we present two efficient \emph{single-source approximate-distance sensitivity oracles}, namely \emph{compact} data structures which are able to \emph{quickly} report an approximate (by a multiplicative stretch factor) distance from $s$ to any node of $G$ following the failure of any edge in $G$. More precisely, we first present a sensitivity oracle of size $O(n)$ which is able to report 2-approximate distances from the source in $O(1)$ time. Then, we further develop our construction by building, for any $0

研究の動機と目的

• 単一の辺障害後のグラフにおける近似単一始点距離のためのコンパクトで効率的なデータ構造の設計。
• (1+ε)-近似距離のための、空間とクエリ時間の最適なトレードオフの達成。
• 加法的ストレッチを持つ感度オラクルのための空間下界の確立により、コンパクト設計の難易度を示す。
• 空間とクエリ時間のオーバーヘッドを最小限に抑える一方で、距離オラクルにおける故障耐性の課題に取り組む。

提案手法

• O(n)サイズの2近似感度オラクルを、キーデータ構造を用いて構築し、事前に主要な距離情報を計算・格納することで、O(1)クエリ時間で実現する。
• 階層的クラスタリングとスパarsification技術を用いて、(1+ε)-近似オラクルを設計し、サイズをO(n/ε log(1/ε))、クエリ時間をO(log n / ε log(1/ε))とする。
• 2辺連結グラフにおける最短経路の構造を活用し、辺障害によって影響を受ける関連パスの数を制限する。
• 増加するパス長さと、慎重に定義された関数β(x)を用いた再帰的構築により、ストレッチを制限し、正しさを保証する。
• ストレッチ制約を満たす有効な辺重みの存在を示すために、x_iとβ(x_i)を含む不等式系への還元を適用する。
• 異なる部分グラフに対して必要な異なるオラクルの数を数えることで、下界を確立し、加法的ストレッチオラクルにはΩ(n²)ビットの必要性を示す。

実験結果

リサーチクエスチョン

• RQ1 O(n)サイズかつO(1)クエリ時間で2ストレッチを維持しつつ、単一の辺障害後の単一始点距離のための感度オラクルを設計可能か？
• RQ2 単一の辺障害下で、(1+ε)-近似距離をほぼ最適なサイズと対数的クエリ時間で達成することは可能か？
• RQ3 単一始点距離感度オラクルに加法的ストレッチを適用するための最小空間は何か？
• RQ4 辺障害が存在する状況下で、サイズ、クエリ時間、ストレッチのトレードオフはどのように振る舞うか？
• RQ5 加法的ストレッチを持つ感度オラクルの空間計算量に非自明な下界を証明できるか？

主な発見

• 任意の単一の辺障害後において、O(n)サイズ、O(1)クエリ時間、2ストレッチを満たす感度オラクルが実現可能である。
• 任意のε > 0に対して、サイズO(n/ε log(1/ε))の感度オラクルが、O(log n / ε log(1/ε))時間で(1+ε)-近似距離クエリをサポートする。
• 提案された(1+ε)-近似オラクルは、サイズにおいてほぼ最適であり、クエリ時間においてもほぼ最適であり、既知の下界と対数的要因を除いて一致する。
• 任意の単一始点加法的ストレッチ感度オラクルに対して、Ω(n²)ビットの空間下界が証明され、加法的ストレッチのためのコンパクト設計の本質的難易度が示された。
• 構築は、すべての辺障害においてストレッチ境界が満たされるように保証する再帰的重み割り当てと不等式系に依存している。
• 結果として、乗法的ストレッチでは加法的ストレッチよりもはるかにコンパクトなオラクルが可能であることが示され、特に重み付きグラフ設定において顕著である。