[論文レビュー] Classification of Distributed Binary Labeling Problems

Alkida Balliu, Sebastian Brandt+5 more|arXiv (Cornell University)|Nov 29, 2019

Complexity and Algorithms in Graphs参考文献 29被引用数 2

ひとこと要約

本稿は、木構造における二値ラベル付け問題の決定的分散時間計算量を完全に分類し、すべてのこのような問題が以下の4つのクラスのいずれかに属することを示している：O(1)、Θ(log n)、Θ(n)、または解なし。著者らは、与えられた二値ラベル付け問題の複雑さクラスを特定する実用的な決定手順と、最適なアルゴリズムを提示しており、Θ(log* n) の複雑さを持つ二値ラベル付け問題が存在しないことを証明している。これは、最大マッチングのような問題が、辺ラベル付け形式では少なくとも3つのラベルを必要とすることを示唆している。

ABSTRACT

We present a complete classification of the deterministic distributed time complexity for a family of graph problems: binary labeling problems in trees. These are locally checkable problems that can be encoded with an alphabet of size two in the edge labeling formalism. Examples of binary labeling problems include sinkless orientation, sinkless and sourceless orientation, 2-vertex coloring, perfect matching, and the task of coloring edges red and blue such that all nodes are incident to at least one red and at least one blue edge. More generally, we can encode e.g. any cardinality constraints on indegrees and outdegrees. We study the deterministic time complexity of solving a given binary labeling problem in trees, in the usual LOCAL model of distributed computing. We show that the complexity of any such problem is in one of the following classes: $O(1)$, $Θ(\log n)$, $Θ(n)$, or unsolvable. In particular, a problem that can be represented in the binary labeling formalism cannot have time complexity $Θ(\log^* n)$, and hence we know that e.g. any encoding of maximal matchings has to use at least three labels (which is tight). Furthermore, given the description of any binary labeling problem, we can easily determine in which of the four classes it is and what is an asymptotically optimal algorithm for solving it. Hence the distributed time complexity of binary labeling problems is decidable, not only in principle, but also in practice: there is a simple and efficient algorithm that takes the description of a binary labeling problem and outputs its distributed time complexity.

研究の動機と目的

• 木構造におけるすべての二値ラベル付け問題の決定的分散時間計算量を分類すること。
• このような問題が、他の分散問題で一般的な Θ(log* n) のような中間的複雑さをとる可能性があるかどうかを特定すること。
• 与えられた二値ラベル付け問題の複雑さクラスを決定し、最適なアルゴリズムを構築する、実用的で効率的な手法を開発すること。
• 分散計算におけるラウンド削除の固定点および下界技術の理論的基盤を提供すること。

提案手法

• LOCALモデルにおける2記号の辺ラベル付け形式を用いて、二値ラベル付け問題を形式化すること。
• ラベル付け制約の構造的性質に基づく機械的パターンマッチング手順を定義し、問題を4つの複雑さクラスのいずれかに分類すること。
• ラウンド削除と区別不能性の議論を用いて、非自明な問題に対して Ω(log n) の下界を証明すること。
• 木構造の制約の構造的分析を通じて、O(1) および Θ(n) 複雑さクラスの明示的アルゴリズムを構築すること。
• グローバルな調整を要する問題（Θ(n)）が、ラベル付けルールにおける特定の非対称性または接続性の制約によって特徴づけられることを示すこと。
• 制約がグローバルに一貫しない問題（例：木においてすべてのノードがインデグリーとアウトデグリーの両方を0にしなければならないなど）は解なしであることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 木構造における二値ラベル付け問題が、O(1) と Θ(log n) の間に位置する決定的時間計算量（例：Θ(log* n)）をとる可能性はあるか？
• RQ2 二値ラベル付け問題の分散時間計算量は実用的に決定可能であるか？ もしそうなら、その方法は何か？
• RQ3 最大マッチングのような問題が少なくとも3つのラベルを必要とする理由は何か？ どのような構造的性質がこれを必然的に生じさせるのか？
• RQ4 ラウンド削除フレームワークにおいて、スィンクレスオリエンテーションを超える新しい非自明な固定点は存在するか？
• RQ5 分類は確率的アルゴリズムへと拡張可能か？ もし可能なら、どのような複雑さクラスが出現する可能性があるか？

主な発見

• すべての木構造における決定的二値ラベル付け問題の時間計算量は、以下の4つのクラスのいずれかに属する：O(1)、Θ(log n)、Θ(n)、または解なし。
• 二値ラベル付け問題の複雑さが Θ(log* n) であるものは存在しない。これは、最大マッチングが Θ(log* n) ラウンドを要するが、辺ラベル付け形式では少なくとも3つのラベルを必要とする理由を説明している。
• 本稿は、制約構造に基づいて任意の二値ラベル付け問題を4つの複雑さクラスのいずれかに分類する、簡単で機械的な手順を提供している。
• 与えられた問題に対して、この手法は時間計算量が漸近的に最適なアルゴリズムとその複雑さを出力するため、このような問題の計算量が実用的に決定可能であることを示している。
• 分類により、ラウンド削除フレームワークにおける新しい非自明な固定点が明らかになった。これは、下界証明の理論的有用性を拡張している。
• 結果として、スィンクレスオリエンテーションへの還元に依存しない広範な問題族に対し、直接的にラウンド削除を用いて Ω(log n) の下界を証明できることを示している。