[論文レビュー] On the Node-Averaged Complexity of Locally Checkable Problems on Trees

Alkida Balliu, Sebastian Brandt+3 more|arXiv (Cornell University)|Jan 1, 2023

Mathematical Control Systems and Analysis被引用数 3

ひとこと要約

本稿は、有界次数の木における局所的に検証可能なラベル付け（LCL）問題のノード平均複雑度を調査し、ノードごとの計算ラウンドを平均化する新しい複雑度測度を導入する。すべてのLCL問題について、最悪計算量がO(log n)である場合、決定的ノード平均複雑度はO(log∗n)、ランダム化複雑度はO(1)であることを証明し、最悪計算量がΘ(n^{1/k})である問題に対して、タイトなΩ(n^{1/(2k−1)})の下界を確立する。

ABSTRACT

Over the past decade, a long line of research has investigated the distributed complexity landscape of locally checkable labeling (LCL) problems on bounded-degree graphs, culminating in an almost-complete classification on general graphs and a complete classification on trees. The latter states that, on bounded-degree trees, any LCL problem has deterministic worst-case time complexity O(1), Θ(log^* n), Θ(log n), or Θ(n^{1/k}) for some positive integer k, and all of those complexity classes are nonempty. Moreover, randomness helps only for (some) problems with deterministic worst-case complexity Θ(log n), and if randomness helps (asymptotically), then it helps exponentially. In this work, we study how many distributed rounds are needed on average per node in order to solve an LCL problem on trees. We obtain a partial classification of the deterministic node-averaged complexity landscape for LCL problems. As our main result, we show that every problem with worst-case round complexity O(log n) has deterministic node-averaged complexity O(log^* n). We further establish bounds on the node-averaged complexity of problems with worst-case complexity Θ(n^{1/k}): we show that all these problems have node-averaged complexity Ω̃(n^{1 / (2^k - 1)}), and that this lower bound is tight for some problems.

研究の動機と目的

• 有界次数の木におけるLCL問題のノード平均分散計算時間の理解を図ること。
• LCL問題の決定的およびランダム化ノード平均複雑度の地図を分類すること。
• さまざまな複雑度クラスにおいて、最悪計算量の境界が平均計算量の設定で著しく改善可能かどうかを特定すること。
• 最悪計算量がΘ(n^{1/k})である問題に対して、タイトな下界および上界を確立すること。

提案手法

• 部分定数のノード平均複雑度を有するランダム化アルゴリズムを用いて、代表的な木上でテスト手順に合格する関数を構築する。
• 確率的補題を適用して、特定のランダムビット割り当て下で有効なラベル付けが存在することを示す。
• 木のポンピングおよびノード追加操作（pumpkおよびadd(n, ·)）を用いて、小さな木をサイズnに拡張し、構造的およびラベル付けの性質を保持する。
• クラスベースのテスト手順を用いて、関数構築における空のクラスが存在しないことを保証し、正しさを確保する。
• より小さい木とノード平均複雑度o(w^{1/(2k−1)}/log n)のランダム化アルゴリズムに基づき、関数fΠ,k+1の再帰的構築を行う。
• 補題57および補題56を適用して失敗確率を抑え、すべてのノードで高確率で成功するように保証する。

実験結果

リサーチクエスチョン

• RQ1 最悪計算量がO(log n)であるLCL問題のうち、ノード平均複雑度をO(log∗n)未満に改善できるものはどれか？
• RQ2 最悪計算量がΘ(n^{1/k})の問題に対して、Ω(n^{1/(2k−1)}/log n)の下界をlog n要因を除いてΩ(n^{1/(2k−1)})に厳密化できるか？
• RQ3 最悪計算量がΘ(n^{1/k})であるすべてのLCL問題に対して、O(n^{1/(2k−1)})のノード平均複雑度を達成する決定的アルゴリズムは存在するか？
• RQ4 最悪計算量がΘ(n^{1/k})であるLCL問題のうち、Ω(n^{1/k})のノード平均複雑度を必要とする問題は存在するか？

主な発見

• 最悪計算量がO(log n)であるすべてのLCL問題は、決定的ノード平均複雑度O(log∗n)を有する。
• 最悪計算量がO(log n)であるすべてのLCL問題は、ランダム化ノード平均複雑度O(1)を有する。
• 最悪計算量がΘ(n^{1/k})であるすべてのLCL問題は、ランダム化設定下でもノード平均複雑度Ω(n^{1/(2k−1)}/log n)を有する。
• この下界はタイトであり、O(n^{1/(2k−1)})のノード平均複雑度を達成する決定的アルゴリズムが存在する問題が存在する。
• ランダム化アルゴリズムは、確率的補題を用いて、有効なラベル付けの構築に非ゼロの成功確率を保証する。
• ノード平均複雑度o(w^{1/(2k−1)}/log n)のランダム化アルゴリズムを用いて構築された関数fΠ,k+1は、テスト手順に合格するため、すべてのクラスが空でなく、正しさが保証される。