[論文レビュー] Distributed Subgraph Detection

Pierre Fraigniaud, Pedro Montealegre+3 more|arXiv (Cornell University)|Jun 13, 2017

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

ひとこと要約

本稿では、Erd\'os らのアイデアにインspiredされた組合せスパース化技術を用いて、コンゲストモデルにおいて任意の木 $T$ を部分グラフとして検出する決定的分散アルゴリズムを提示する。このアルゴリズムは $O(1)$ ラウンドで動作し、サイクルは超定数ラウンドを要するのに対し、すべての木は定数時間で検出可能であるという明確な二分岐を確立する。これにより、木と1本の辺からなるグラフパターンの効率的な分散プロパティテストが可能になる。

ABSTRACT

In the standard CONGEST model for distributed network computing, it is known that "global" tasks such as minimum spanning tree, diameter, and all-pairs shortest paths, consume large bandwidth, for their running-time is $Ω(\mbox{poly}(n))$ rounds in $n$-node networks with constant diameter. Surprisingly, "local" tasks such as detecting the presence of a 4-cycle as a subgraph also requires $\widetildeΩ(\sqrt{n})$ rounds, even using randomized algorithms, and the best known upper bound for detecting the presence of a 3-cycle is $\widetilde{O}(n^{\frac{2}{3}})$ rounds. The objective of this paper is to better understand the landscape of such subgraph detection tasks. We show that, in contrast to \emph{cycles}, which are hard to detect in the CONGEST model, there exists a deterministic algorithm for detecting the presence of a subgraph isomorphic to $T$ running in a \emph{constant} number of rounds, for every tree $T$. Our algorithm provides a distributed implementation of a combinatorial technique due to Erdős et al. for sparsening the set of partial solutions kept by the nodes at each round. Our result has important consequences to \emph{distributed property-testing}, i.e., to randomized algorithms whose aim is to distinguish between graphs satisfying a property, and graphs far from satisfying that property. In particular, we get that, for every graph pattern $H$ composed of an edge and a tree connected in an arbitrary manner, there exists a distributed testing algorithm for $H$-freeness, performing in a constant number of rounds. Although the class of graph patterns $H$ formed by a tree and an edge connected arbitrarily may look artificial, all previous results of the literature concerning testing $H$-freeness for classical patterns such as cycles and cliques can be viewed as direct consequences of our result, while our algorithm enables testing more complex patterns.

研究の動機と目的

• コンゲストモデルにおける部分グラフ検出のラウンド複雑性を理解すること、特に検出が難しいサイクルと検出が容易な木の対比に焦点を当てる。
• 任意の木 $T$ を定数ラウンドで部分グラフとして検出する決定的分散アルゴリズムを開発すること。
• 木と1本の辺が任意に接続されたグラフ $H$ に対して、$H$-フリー性の分散プロパティテストを可能にするために結果を拡張すること。
• マスターテーブル（MST）などのグローバルタスクと、サイクル検出などのローカルタスクとの間の計算ギャップを解消し、木検出がグローバルタスクと同等に効率的であることを示すこと。

提案手法

• アルゴリズムは、Erd\'os らの組合せ的手法にインspiredされた分散スパース化技術を用い、各ノードで保持する部分解の数を削減する。
• ノードは局所的情報に基づいて候補エッジの正規化ラベルを計算し、競合を解消するために最小ランクのエッジのみを伝搬する。
• 2段階のプロセスを用いる：まず、最小ランクの候補エッジをブロードキャストする。次に、選択された候補エッジのみを用いて、木 $T$ の協調的探索を実行する。
• 競合の解消は、高いランクの候補エッジを破棄することで実現され、ネットワーク内の各エッジに対して1つの候補エッジのみが追跡される。
• 各ノードを根とする部分グラフと木 $T$ の間の同型性をチェックするが、固定エッジ $\{x,y\}$ と整合性があることを制約する。
• 木と1本の辺からなる $H$-パターンに対しては、探索条件を変更し、固定エッジの端点に隣接することを要件とする。

実験結果

リサーチクエスチョン

• RQ1 サイクルの検出が高コストであるにもかかわらず、すべての木 $T$ がコンゲストモデルで $O(1)$ ラウンドで検出可能か？
• RQ2 任意に接続された木と1本の辺からなる $H$ の場合に、$H$-フリー性のための一般化された定数ラウンド分散アルゴリズムを設計できるか？
• RQ3 なぜ $C_4$ のようなサイクルは $\widetilde{\Omega}(\sqrt{n})$ ラウンドを要するのに対し、木は定数時間で検出可能なのか？
• RQ4 このフレームワークは、クリークやハイパーキューブのようなより複雑なグラフパターンの $H$-フリー性テストに拡張可能か？
• RQ5 $k \geq 5$ の $K_k$-フリー性のラウンド複雑度は何か？特に $K_5$ は木と1本の辺に分解できないため、未解決の問題である。

主な発見

• すべての木 $T$ はコンゲストモデルで $O(1)$ ラウンドで検出可能であり、これはサイクルが $\widetilde{\Omega}(\sqrt{n})$ ラウンドを要するのと明確な対比をなす。
• アルゴリズムは決定的スパース化技術を用いて部分解の数を制限し、ネットワークサイズに依存せずに定数時間で実行可能である。
• 任意に接続された木と1本の辺からなるグラフパターン $H$ に対して、$H$-フリー性を検出するランダム化分散プロパティテストアルゴリズムが、$O(1)$ ラウンドで動作する。
• 本結果は、$K_3$-、$K_4$-、$C_k$-フリー性のテストに関する先行研究を一般化し、木と1本の辺のパターンの特殊ケースとして包含する。
• アルゴリズムは正しさを保証する：$G$ が $H$-フリーから $\epsilon$-離れている場合、確率 $\frac{2}{3}$ 以上で誤検出（拒否）される。
• このフレームワークは $K_5$-フリー性に直接拡張できないため、未解決の問題のままである。$K_5$ は木と1本の辺に分解できないからである。