[論文レビュー] List Defective Colorings: Distributed Algorithms and Applications

M. Fuchs, Fabian Kühn|arXiv (Cornell University)|Jan 1, 2023

Cryptography and Data Security被引用数 2

ひとこと要約

この論文は、欠損色分けとリスト色分けの一般化であるリスト欠損色分けを導入し、(∆+1)-色分けの決定的分散アルゴリズムを高速化する。度数和条件の下で通信効率の高い方向付きリスト欠損色分けアルゴリズムを設計することで、CONGESTモデルにおいて、初めてO(√∆·poly log ∆ + log∗n)ラウンドの決定的(∆+1)-色分けアルゴリズムを達成し、最良のKNOWN LOCALモデルの複雑さにpoly log ∆要因を除いて一致する。

ABSTRACT

The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of the remarkable recent progress on deterministic distributed coloring algorithms is based on two main tools: a) defective colorings in which every node of a given color can have a limited number of neighbors of the same color and b) list coloring, a natural generalization of the standard coloring problem that naturally appears when colorings are computed in different stages and one has to extend a previously computed partial coloring to a full coloring. In this paper, we introduce 'list defective colorings', which can be seen as a generalization of these two coloring variants. Essentially, in a list defective coloring instance, each node $v$ is given a list of colors $x_{v,1},\dots,x_{v,p}$ together with a list of defects $d_{v,1},\dots,d_{v,p}$ such that if $v$ is colored with color $x_{v, i}$, it is allowed to have at most $d_{v, i}$ neighbors with color $x_{v, i}$. We highlight the important role of list defective colorings by showing that faster list defective coloring algorithms would directly lead to faster deterministic $(Δ+1)$-coloring algorithms in the LOCAL model. Further, we extend a recent distributed list coloring algorithm by Maus and Tonoyan [DISC '20]. Slightly simplified, we show that if for each node $v$ it holds that $\sum_{i=1}^p \big(d_{v,i}+1)^2 > \mathrm{deg}_G^2(v)\cdot polylogΔ$ then this list defective coloring instance can be solved in a communication-efficient way in only $O(\logΔ)$ communication rounds. This leads to the first deterministic $(Δ+1)$-coloring algorithm in the standard CONGEST model with a time complexity of $O(\sqrtΔ\cdot polylog Δ+\log^* n)$, matching the best time complexity in the LOCAL model up to a $polylogΔ$ factor.

研究の動機と目的

• リスト欠損色分けを用いて、欠損色分けとリスト色分けを統合する一般化されたフレームワークを構築すること。
• リスト欠損色分けを活用することで、CONGESTモデルにおけるより高速な決定的(∆+1)-色分けアルゴリズムを可能にすること。
• 度数和条件の下で、通信効率の高い分散アルゴリズムを方向付きリスト欠損色分けに確立すること。
• 改善されたリスト欠損色分けアルゴリズムが直接的により高速な(∆+1)-色分けアルゴリズムをもたらすことを示すこと。

提案手法

• 各ノードvが、色-欠損ペア(xv,i, dv,i)のリストを持ち、同じ色xv,iを最大dv,i個の隣接ノードが共有できるリスト欠損色分けを提案する。
• vのリスト内のすべての色について、(dv,i + 1)²の和に関する条件を導入し、効率的な計算を可能にする十分な色の多様性を保証する。
• マウスとトノヤンのリスト色分けアルゴリズムの変更版を用い、方向付けと有界な出次数を介して欠損制約に適応させる。
• 最大次数を低下させるために、標準的なO(log∗n)-ラウンドのO(∆²)-色分けを前処理ステップとして適用する。
• コロナリー4.2と定理1.1を組み合わせることで、方向付きリスト欠損色分けアルゴリズムのラウンド複雑さをO(log ∆)に導出する。
• 定理1.3を用いて、アルゴリズムを(∆+1)-色分けソリューションに合成し、O(√∆·poly log ∆ + log∗n)の時間複雑さを達成する。

実験結果

リサーチクエスチョン

• RQ1 リスト欠損色分けは、分散モデルにおける決定的(∆+1)-色分けの高速化を実現する統合的フレームワークとして機能できるか？
• RQ2 色リストと欠損バウンドにどのような条件が課されれば、CONGESTモデルにおける通信効率の高いリスト欠損色分けが可能になるか？
• RQ3 リスト欠損色分けのラウンド複雑さは、(∆+1)-色分け全体の複雑さにどのように関連するか？
• RQ4 提案されたアルゴリズムは、より制約の厳しいCONGESTモデルにおいて、LOCALモデルの最良のアルゴリズムと同等の時間複雑さを達成できるか？

主な発見

• この論文は、CONGESTモデルにおける(∆+1)-色分けのための最初の決定的O(√∆·poly log ∆ + log∗n)-ラウンドアルゴリズムを提示する。
• このアルゴリズムは、LOCALモデルにおける最良の既知の時間複雑さにpoly log ∆要因を除いて一致する。
• 効率性の鍵となる条件は、∑ᵢ (dv,i + 1)² > deg²_G(v) · poly log ∆であり、十分な色の多様性を保証する。
• アルゴリズムは、O(log∗n)ラウンドでO(∆²)-色分けを計算する前処理ステップを用い、問題を有界次数の部分グラフに還元する。
• 提示された条件の下で、方向付きリスト欠損色分けアルゴリズムはO(log ∆)ラウンドの複雑さを達成し、効率的な合成を可能にする。
• 色空間のサイズがO(∆)の場合、時間複雑さはO(√∆·log²∆·log⁶log∆ + log∗n)であり、与えられた仮定の下でタイトである。