[論文レビュー] Locally Checkable Labelings with Small Messages

Alkida Balliu, Keren Censor-Hillel+3 more|arXiv (Cornell University)|Jan 1, 2021

Complexity and Algorithms in Graphs参考文献 37被引用数 1

ひとこと要約

この論文は、帯域制限が分散ネットワークにおける局所的に検証可能なラベル付け（LCL）問題の複雑さに与える影響を調査する。木構造では、CONGESTモデルとLOCALモデルの間でLCL問題の漸近的複雑度が等価であることを証明する一方、一般のグラフでは、LOCALモデルではO(log n)ラウンドで解けるLCL問題が、CONGESTモデルでは˜Ω(n^{1/2})ラウンドを要することを示し、一般のグラフにおいてモデル間に明確な分離が存在することを示している。

ABSTRACT

A rich line of work has been addressing the computational complexity of locally checkable labelings (LCLs), illustrating the landscape of possible complexities. In this paper, we study the landscape of LCL complexities under bandwidth restrictions. Our main results are twofold. First, we show that on trees, the CONGEST complexity of an LCL problem is asymptotically equal to its complexity in the LOCAL model. An analog statement for non-LCL problems is known to be false. Second, we show that for general graphs this equivalence does not hold, by providing an LCL problem for which we show that it can be solved in O(log n) rounds in the LOCAL model, but requires Ω̃(n^{1/2}) rounds in the CONGEST model.

研究の動機と目的

• 帯域制限が分散システムにおけるLCL問題の計算複雑度に与える影響を理解すること。
• LOCALモデルとCONGESTモデルが、木構造におけるLCL問題について同等の表現力を持つかどうかを特定すること。
• 一般のグラフにおいて、CONGESTモデルとLOCALモデルの間で分離が存在するかどうかを同定すること。
• 特定のLCL問題について、CONGESTモデルにおけるタイトな下界を提供し、LOCALモデルからの超定数ギャップを示すこと。

提案手法

• 著者たちは、木構造と一般のグラフの両方において、LCL問題の複雑度をLOCALモデルとCONGESTモデルで分析する。
• 通信ゲームにおける2人協力のシナリオにおいて、通信量を制限するための新しいシミュレーション技術を導入し、移動カットアプローチを用いる。
• ノードの状態をラウンドごとに再現するために、階層的なノード集合（Wj, Br）を定義する。
• 帰納的議論を用いて、アリスがボブにO(log²n)ビットの通信で入力を再構築可能であることを示し、これによりアルゴリズムのシミュレーションが可能になる。
• 下界の確立には還元を用いる：ボブが少ないビット数でアリスの入力を再構築できるならば、元のアルゴリズムは多くのラウンドを要する必要がある。
• グリッド構造に近いグラフ上で特定のLCL問題を構築し、LOCALモデルとCONGESTモデルの複雑度の分離を示す。

実験結果

リサーチクエスチョン

• RQ1 CONGESTモデルにおけるLCL問題の計算複雑度は、木構造においてLOCALモデルと漸近的に同等であるか？
• RQ2 一般のグラフにおいて、CONGESTモデルとLOCALモデルの間で分離が存在するか？
• RQ3 特定のLCL問題が、CONGESTモデルではLOCALモデルよりもはるかに多くのラウンドを要することを示せるか？
• RQ4 LOCALモデルでO(log n)ラウンドで解けるLCL問題について、CONGESTモデルにおけるタイトな下界は何か？

主な発見

• 木構造では、すべてのLCL問題について、CONGESTモデルの漸近的複雑度はLOCALモデルと定数倍の違いを除き等価である。
• 一般のグラフでは、LOCALモデルでO(log n)ラウンドで解けるLCL問題が存在するが、CONGESTモデルでは˜Ω(n^{1/2})ラウンドを要する。
• 下界˜Ω(n^{1/2})が構築された問題に対してほぼ最適であるため、この分離はタイトである。
• 2人通信ゲームにおける通信複雑度の下界としてΩ(k / log²n)を確立し、ここでk = Θ(√n)である。この結果が主な複雑度の分離を導く。
• この結果は、帯域制限が一般のグラフにおけるLCL問題の複雑度を顕著に増加させることを示しており、LOCALモデルで効率的な解法が可能であっても同様である。
• 本論文は、LCL複雑度に関する理解における重要なギャップを埋め、木構造におけるLOCALとCONGESTの等価性が一般のグラフにまで拡張されないことを示している。