[論文レビュー] Space-Efficient Fault-Tolerant Diameter Oracles

Davide Bilò, Sarel Cohen+2 more|arXiv (Cornell University)|Jul 7, 2021

Distributed systems and fault tolerance被引用数 3

ひとこと要約

本稿では、辺の故障を想定した有向および無向グラフにおける、空間効率的で耐故障性のある直径オラクル（FDO）を提示する。重みなし有向グラフに対しては、近似的に最適な前処理時間とO(m)の空間を達成する(1+ε)-近似FDOを提案し、条件付き下界と一致する。無向重み付きグラフに対しては、ストレッチ(f+2)、O(fn)の空間、効率的な前処理時間を実現するf-FDOを提供する。本研究では、タイトな情報理論的空間下界を確立し、ストレッチが3/2未満の場合、サブ線形空間は不可能であることを示した。

ABSTRACT

We design $f$-edge fault-tolerant diameter oracles ($f$-FDOs). We preprocess a given graph $G$ on $n$ vertices and $m$ edges, and a positive integer $f$, to construct a data structure that, when queried with a set $F$ of $|F| \leq f$ edges, returns the diameter of $G-F$. For a single failure ($f=1$) in an unweighted directed graph of diameter $D$, there exists an approximate FDO by Henzinger et al. [ITCS 2017] with stretch $(1+\varepsilon)$, constant query time, space $O(m)$, and a combinatorial preprocessing time of $\widetilde{O}(mn + n^{1.5} \sqrt{Dm/\varepsilon})$.We present an FDO for directed graphs with the same stretch, query time, and space. It has a preprocessing time of $\widetilde{O}(mn + n^2/\varepsilon)$. The preprocessing time nearly matches a conditional lower bound for combinatorial algorithms, also by Henzinger et al. With fast matrix multiplication, we achieve a preprocessing time of $\widetilde{O}(n^{2.5794} + n^2/\varepsilon)$. We further prove an information-theoretic lower bound showing that any FDO with stretch better than $3/2$ requires $\Omega(m)$ bits of space. For multiple failures ($f>1$) in undirected graphs with non-negative edge weights, we give an $f$-FDO with stretch $(f+2)$, query time $O(f^2\log^2{n})$, $\widetilde{O}(fn)$ space, and preprocessing time $\widetilde{O}(fm)$. We complement this with a lower bound excluding any finite stretch in $o(fn)$ space. We show that for unweighted graphs with polylogarithmic diameter and up to $f = o(\log n/ \log\log n)$ failures, one can swap approximation for query time and space. We present an exact combinatorial $f$-FDO with preprocessing time $mn^{1+o(1)}$, query time $n^{o(1)}$, and space $n^{2+o(1)}$. When using fast matrix multiplication instead, the preprocessing time can be improved to $n^{\omega+o(1)}$, where $\omega < 2.373$ is the matrix multiplication exponent.

研究の動機と目的

• 最大f個の辺の故障が発生した後でも、グラフの直径を素早く報告できる空間効率的なデータ構造の設計。
• 耐故障性直径オラクルにおける、空間、ストレッチ、クエリ時間、前処理時間のトレードオフの調査。
• 有限ストレッチを持つ任意のFDOに必要な空間の情報理論的下界の確立。
• 組合せ的および行列乗算ベースのアルゴリズムの両方において、近似的に最適な前処理時間と空間性能の達成。
• 多対数的直径を有するグラフにおいて、正確なFDOをサブ二次空間とほぼ定数時間のクエリ時間で構築可能であることを示すこと。

提案手法

• 各頂点ペアの故障下でのリプレースメントパスを対象に、再帰的木構造を用いて耐故障性直径オラクル（FDO）を構築する。
• 最大f個の辺の故障下でのリプレースメントパスを計算するために、距離感受性オラクル（DSO）をサブルーチンとして用いる。
• 故障セットのすべての部分集合に対して、リプレースメント距離を集約・保存するハッシュテーブルを用い、定数時間のクエリアクセスを実現する。
• Weimann-Yuster手法の洗練された解析を適用し、オラクルのサイズとクエリ時間を制御する。
• 高速行列乗算を活用し、(1+ε)-近似FDOの前処理時間を Õ(n^2.5794 + n^2/ε) に改善する。
• 部分グラフの接続性を符号化する組合せ的構成を用いて空間下界を導出し、有限ストレッチの場合にo(fn)空間では不十分であることを示した。

実験結果

リサーチクエスチョン

• RQ1 無向無重みグラフにおいて、ストレッチσ < 3/2である耐故障性直径オラクルに必要な最小空間は何か？
• RQ2 単一辺故障に対する(1+ε)-近似FDOを、組合せ的アルゴリズムの条件付き下界と一致する前処理時間で構築可能か？
• RQ3 多対数的直径を有するグラフにおいて、正確なFDOをサブ二次空間とほぼ定数時間のクエリ時間で達成可能か？
• RQ4 無向重み付きグラフにおけるf辺故障耐性FDOについて、ストレッチ、空間、前処理時間のトレードオフは何か？
• RQ5 無向グラフにおいて、3/2未満のストレッチを持つFDOは、o(m)空間で実現可能か？

主な発見

• 重みなし有向グラフにおける(1+ε)-近似FDOは、前処理時間 Õ(mn + n²/ε) を達成し、組合せ的アルゴリズムのHenzynerらの条件付き下界にほぼ一致する。
• 同じ設定において、高速行列乗算を用いることで、前処理時間は Õ(n^2.5794 + n²/ε) に改善され、理論的限界に近づく。
• 情報理論的下界により、無向無重みグラフにおいてストレッチσ < 3/2の任意のFDOはΩ(m)ビットの空間を必要とし、提案されたFDOは空間的にほぼ最適であることが示された。
• f ≥ 1の辺故障を許容する無向重み付きグラフに対しては、ストレッチ(f+2)、空間 Õ(fn)、クエリ時間O(f² log²n)、前処理時間 Õ(fm) のf-FDOを構築した。
• 多対数的直径を有するグラフとf = o(log n / log log n)の故障数に対しては、正確な組合せ的f-FDOを、前処理時間mn^1+o(1)、クエリ時間n^o(1)、空間n^2+o(1)で構築した。
• 下界により、有限ストレッチのf-FDOがo(fn)空間で実現可能でないことが示され、提案されたf-FDOの空間効率は漸近的に最適であることが証明された。