[論文レビュー] A Local Algorithm for the Sparse Spanning Graph Problem

Christoph Lenzen, Reut Levi|arXiv (Cornell University)|Mar 15, 2017

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

ひとこと要約

この論文は、任意の有界次数グラフにおいて、スパンナーモデルでスパンの保証を持つスパースな全域部分グラフを構築する、最初の集中型ローカルアルゴリズムを提示する。ボロノイ分割とランダムサンプリング、BFSに基づくクラスタ再構築を組み合わせることで、クエリ複雑性が $ ilde{O}( ext{poly}( ilde{ abla}/ abla)n^{2/3})$ に抑えられ、出力において選択されない辺に対しては、$O(\log n \cdot (\tilde{ abla} + \log n)/\varepsilon)$ ハップの代替経路が存在し、近似距離が保たれる。

ABSTRACT

Constructing a sparse spanning subgraph is a fundamental primitive in graph theory. In this paper, we study this problem in the Centralized Local model, where the goal is to decide whether an edge is part of the spanning subgraph by examining only a small part of the input; yet, answers must be globally consistent and independent of prior queries. Unfortunately, maximally sparse spanning subgraphs, i.e., spanning trees, cannot be constructed efficiently in this model. Therefore, we settle for a spanning subgraph containing at most $(1+\varepsilon)n$ edges (where $n$ is the number of vertices and $\varepsilon$ is a given approximation/sparsity parameter). We achieve query complexity of $ ilde{O}(poly(Δ/\varepsilon)n^{2/3})$, ($ ilde{O}$-notation hides polylogarithmic factors in $n$). where $Δ$ is the maximum degree of the input graph. Our algorithm is the first to do so on arbitrary bounded degree graphs. Moreover, we achieve the additional property that our algorithm outputs a spanner, i.e., distances are approximately preserved. With high probability, for each deleted edge there is a path of $O(poly(Δ/\varepsilon)\log^2 n)$ hops in the output that connects its endpoints.

研究の動機と目的

• 完全なグラフアクセスが不可能な状況下でも、$(1+\varepsilon)n$ 本以下の辺をもつスパースな全域部分グラフを構築する集中型ローカルアルゴリズムの設計。
• 局所的クエリ複雑性を最小限に抑えつつ、過去のクエリに依存せず、グローバルな一貫性と独立性を確保すること。
• 非選択辺が出力部分グラフ内で短い代替経路を持つようにスパンナーモデルを構築することで、距離の近似を保証すること。
• 一般の有界次数グラフにおいて、先行手法が失敗したのに対し、部分線形のクエリ複雑性を達成すること。

提案手法

• 頂点の両端が $O(\log n)$ ハップ内に $\Omega(n^{1/3})$ 個のノードを持つ辺を拡張的と分類し、効率的な局所処理を可能にする。
• ランダムに $n^{2/3}$ 個の中心を選び、ノードをそれらの周囲のボロノイセルに分割し、高確率で各ノードが最も近い中心から $O(\log n)$ ハップ以内に存在することを保証する。
• 各ボロノイセル内で中心をルートとするBFSを用いて全域木を構築し、最も近い中心を特定するためのクエリ複雑性を $\tilde{O}(n^{1/3})$ に抑える。
• BFSと親子関係を用いて、$\tilde{O}(n^{1/3})$ 個を超えるノードを含む部分木を再帰的に特定することで、ボロノイセルを $\tilde{O}(n^{1/3})$ サイズのクラスタに精錬する。
• ランダムマーキング方式を用いて分散スパンナーアルゴリズムをシミュレートし、$\tilde{O}(n^{2/3})$ 個のランダムビットで十分である（$\tilde{O}(n^{1/3})$ 次独立性のおかげ）。
• 任意のクエリされた辺 $\{u,v\}$ に対して、クラスタ内所属、中心への近接度、隣接辺における相対順位をチェックすることで、出力部分グラフへの属するかを決定し、一貫性と低コストなクエリを確保する。

実験結果

リサーチクエスチョン

• RQ1 任意の有界次数グラフにおいて、部分線形のクエリ複雑性を達成する集中型ローカルアルゴリズムが、$O((1+\varepsilon)n)$ 本の辺をもつスパースな全域部分グラフを構築できるか？
• RQ2 このようなアルゴリズムが、非選択辺に対して出力内に短い代替経路を保証し、近似距離を維持できるか？
• RQ3 共有メモリや調整を一切使わず、共有ランダムネスと局所的クエリのみに依存して、エッジ選択のグローバルな一貫性を達成できるか？
• RQ4 クエリ複雑性を $\tilde{O}(\text{poly}(\tilde{ abla}/\varepsilon)n^{2/3})$ に抑えつつ、スパンの保証を維持できるか？

主な発見

• アルゴリズムは、エッジごとに $\tilde{O}(\text{poly}(\tilde{ abla}/\varepsilon)n^{2/3})$ のクエリ複雑性を達成し、これは集中型ローカルモデルにおける任意の有界次数グラフで初めてのバウンディングである。
• 出力部分グラフは、スパンが $O(\log n \cdot (\tilde{ abla} + \log n)/\varepsilon)$ のスパンナーモデルであり、非選択辺に対しては、その長さの経路が必ず出力内に存在することを保証する。
• アルゴリズムはエッジ選択のグローバルな一貫性を確保する：クエリの答えは過去のクエリに依存せず、一意で固定された出力部分グラフと一貫している。
• $n^{2/3}$ 個のサンプリングされた中心とクラスタの精錬を用いたボロノイ分割に依存し、クラスタおよび親関係の効率的局所再構築を可能にする。
• 各クエリが小さな局所的近傍にのみ依存するため、$\tilde{O}(n^{2/3})$ 個のランダムビットで十分であり、$\tilde{O}(n^{1/3})$ 次独立性のおかげである。
• アルゴリズムは高確率で、$(1+\varepsilon)n$ 本以下の辺をもつ部分グラフを構築でき、リラックスされた全域木要件を満たしつつ、距離近似を維持する。