[論文レビュー] Optimal (Degree+1)-Coloring in Congested Clique

Sam Coy, Artur Czumaj+2 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、コンフリクトクラスタモデルにおける(次数+1)-リスト彩色の決定的定数ラウンドアルゴリズムを提示する。これは、再帰的グラフ分割とバケツベースの彩色を用いることで、最大次数に依存せずに最適なラウンド複雑性を達成する。主な貢献は、最大次数にかかわらずO(1)ラウンドで問題を解けることであり、分散グラフアルゴリズム分野における長年の未解決問題を解決する。

ABSTRACT

We consider the distributed complexity of the (degree+1)-list coloring problem, in which each node $u$ of degree $d(u)$ is assigned a palette of $d(u)+1$ colors, and the goal is to find a proper coloring using these color palettes. The (degree+1)-list coloring problem is a natural generalization of the classical $(Δ+1)$-coloring and $(Δ+1)$-list coloring problems, both being benchmark problems extensively studied in distributed and parallel computing. In this paper we settle the complexity of the (degree+1)-list coloring problem in the Congested Clique model by showing that it can be solved deterministically in a constant number of rounds.

研究の動機と目的

• コンフリクトクラスタモデルにおいて、(次数+1)-リスト彩色が(∆+1)-彩色と漸近的に同じラウンド複雑性で解けるかどうかという未解決問題を解くこと。
• 最大次数∆にかかわらず、(次数+1)-リスト彩色に対して定数ラウンド複雑性を達成する決定的アルゴリズムを開発すること。
• 既存の確率的アルゴリズムの結果を、最適なラウンド複雑性を持つ決定的設定に一般化すること。
• ノードのパレットサイズがd(v)+1である場合でも、問題が効率的に解けるかどうかを示すこと。これは低次元ノードでは∆+1より小さくなることがある。
• 再帰的分割とバケツベースの彩色が、コンフリクトクラスタモデルにおける定数ラウンド解法を可能にすることを確立すること。

提案手法

• アルゴリズムは、LowSpacePartitionプロシージャを用いた再帰的分割により、部分インスタンスの最大次数をO(√n)に低下させ、効率的な処理を可能にする。
• ノードがパレットと次数制約に基づいてバケツの階層を移動するバケツベースの彩色メカニズムが採用される。
• アルゴリズムは、20回の反復後に各ノードが一意の利用可能な色を持つバケツにあり、衝突する辺が存在しないことを保証する不変性を維持する。
• ColorTrial、SubSample、BucketColorなどのサブルーチンが、全対全通信とメッセージ集約を用いてO(1)ラウンドで実行される。
• 十分な反復後、非先祖-子孫ペアのバケツ間に辺が存在しなくなることを利用し、衝突のない彩色が可能になる。
• 最終的な彩色は、残りの未彩色部分インスタンスを1つのノードに集約し、O(1)ラウンドで完了する。

実験結果

リサーチクエスチョン

• RQ1 (次数+1)-リスト彩色は、コンフリクトクラスタモデルにおいてO(1)ラウンドで解けるか。これは(∆+1)-彩色の複雑性と一致するか。
• RQ2 確率的処理を避け、定数ラウンド複雑性を達成する(次数+1)-リスト彩色の決定的アルゴリズムは存在するか。
• RQ3 ノードのパレットサイズがd(v)+1である場合でも、問題は効率的に解けるか。これは∆+1よりも顕著に小さい場合がある。
• RQ4 再帰的分割とバケツ化は、コンフリクトクラスタモデルにおける(次数+1)-リスト彩色の複雑性を低下させるためにどのように利用できるか。
• RQ5 バケツ走査中に維持できる構造的不変性は何か。これにより、定数ラウンド内で衝突のない彩色が保証されるか。

主な発見

• (次数+1)-リスト彩色問題は、コンフリクトクラスタモデルにおいて決定的にO(1)ラウンドで解ける。これは最適なラウンド複雑性を達成する。
• アルゴリズムは再帰的分割を用い、部分インスタンスの最大次数をO(√n)に低下させ、定数時間で効率的に処理可能になる。
• バケツベースの彩色手順を20回反復した後、G2 \\(G_{\text{bad}})に属するすべてのノードが、非先祖-子孫バケツペア間に辺が存在しないため、衝突なく彩色可能である。
• 分割から得られる部分インスタンスはO(1)のグループにまとめられ、並列に彩色可能である。これにより、全体として定数ラウンド複雑性が保証される。
• アルゴリズムは、最大次数が任意であっても、問題を定数次数の部分インスタンスに還元し、O(1)ラウンドで解ける。
• 証明は、d^+_{h(v)}(v) < p_{h(v)}(v) および最終的に d^+_{h^*}(v) = 0 かつ p_{h^*}(v) = 1 となる重要な不変性の維持に依存しており、これにより一意の利用可能色が保証される。