[論文レビュー] Quadratic and Near-Quadratic Lower Bounds for the CONGEST Model

Keren Censor-Hillel, Seri Khoury+1 more|arXiv (Cornell University)|Jan 1, 2017

Numerical methods for differential equations被引用数 13

ひとこと要約

この論文は、CONGESTモデルにおける自然なグラフ問題について、初めての非線形下界を確立し、最小頂点被覆、最大独立集合、χ-彩色の正確な計算がΩ(n²/log²n)ラウンドを要することを証明している。さらに、同一部分グラフ検出や重み付きサイクル検出といった単純なP問題ですら、それぞれΩ(n²)およびΩ(n²/log n)ラウンドを要することを示し、重み付きAPSPに対して標準的なアリス・ボブフレームワークが非線形下界を導けないことを明確に示しており、現在の技術的限界を示している。

ABSTRACT

We present the first super-linear lower bounds for natural graph problems in the CONGEST model, answering a long-standing open question. Specifically, we show that any exact computation of a minimum vertex cover or a maximum independent set requires a near-quadratic number of rounds in the CONGEST model, as well as any algorithm for computing the chromatic number of the graph. We further show that such strong lower bounds are not limited to NP-hard problems, by showing two simple graph problems in P which require a quadratic and near-quadratic number of rounds. Finally, we address the problem of computing an exact solution to weighted all-pairs-shortest-paths (APSP), which arguably may be considered as a candidate for having a super-linear lower bound. We show a simple linear lower bound for this problem, which implies a separation between the weighted and unweighted cases, since the latter is known to have a sub-linear complexity. We also formally prove that the standard Alice-Bob framework is incapable of providing a super-linear lower bound for exact weighted APSP, whose complexity remains an intriguing open question.

研究の動機と目的

• CONGESTモデルにおける自然なグラフ問題が非線形時間要件を有するかどうかという長年の未解決問題を解明すること。
• NP困難な問題に限らず、Pに属する問題が近い二次関数的ラウンド複雑度を有することを示すこと。
• 標準的なアリス・ボブ通信フレームワークが、重み付き全点対最短経路（APSP）に対して非線形下界を導けないことを形式的に証明すること。
• CONGESTモデルにおけるグローバル問題の複雑度クラスの階層を確立すること、特に近い二次関数的難易度を含むこと。

提案手法

• 2人通信複雑度からの洗練された還元フレームワークを用い、ビットガジェットを活用して対数的サイズのカットを可能にする。
• 通信複雑度を強化するために、小さなカット（O(1)またはO(log n)）だが大きな入力サイズ（Θ(n²)）を持つ下界グラフを構築する。
• NP困難問題（頂点被覆、独立集合、3彩色）およびP問題（同一部分グラフ検出、重み付きサイクル検出）にこのフレームワークを適用する。
• アリス・ボブモデルにおいて交換されるビット数がO(|C|n log n)で抑えられることを示し、これによりラウンド複雑度の下界がΩ(CC(f)/|C| log n)となることを証明する。
• t人共有ブレックボードモデルへの拡張を行い、複数のプレイヤーが存在しても通信複雑度の上界が通信量に制限され、達成可能な下界がO(n)に留まることを示す。
• 任意の還元において、アリス・ボブフレームワークが重み付きAPSPに対して非線形下界を導けないことを形式的に証明する。関数やグラフ構築法に関わらず、同様の結論が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 CONGESTモデルにおける自然なグラフ問題は、具体的にはΩ(n²/log²n)ラウンドを要するのか？
• RQ2 同一部分グラフ検出や重み付きサイクル検出といったPに属する問題が、CONGESTモデルで近い二次関数的時間要件を有するのか？
• RQ3 標準的なアリス・ボブ通信フレームワークは、CONGESTモデルにおける重み付きAPSPに対して非線形下界を導くのに十分か？
• RQ4 CONGESTモデルに、Θ(D)からΘ(n²/log²n)までの複雑度を有する問題の階層が存在するのか？
• RQ5 重み付きAPSPは線形時間で解けるのか、それともその複雑度は本質的に高いのか？

主な発見

• 最小頂点被覆と最大独立集合の正確な計算は、高確率で動作するランダム化アルゴリズムに対しても、CONGESTモデルではΩ(n²/log²n)ラウンドを要する。
• 3色可能グラフのχ-彩色および3彩色も、Ω(n²/log²n)ラウンドを要する。これは定数直径ネットワークにおいても同様に成り立つ。
• 同一部分グラフ検出問題は決定的アルゴリズムでΩ(n²)ラウンドを要し、重み付きサイクル検出はΩ(n²/log n)ラウンドを要する。
• 同一部分グラフ検出のランダム化アルゴリズムはO(D)ラウンドで完了し、グローバル問題において決定的とランダム化の複雑度に顕著な隔たりがあることを示している。
• 標準的なアリス・ボブフレームワークは、重み付きAPSPに対して非線形下界を導けない。関数やグラフ構築法に関わらず同様の結論が成り立つ。
• このフレームワークによる重み付きAPSPの下界は、最大でΩ(n)に留まり、未重み付きの場合（Θ(n/log n)）とは異なり非線形下界に達しない。