[論文レビュー] Local Conflict Coloring Revisited: Linial for Lists

Yannic Maus, Tigran Tonoyan|arXiv (Cornell University)|Jan 1, 2020

Advanced Graph Theory Research参考文献 44被引用数 4

ひとこと要約

本稿では、最大出次数βの有向グラフにおける欠陥的リスト彩色のための2ラウンドLOCALモデルアルゴリズムを提示する。各ノードはサイズΩ(β²(log β + log log m + log log |C|))のリストから色を選択することで、従来の研究と比較してメッセージサイズを顕著に削減する。この結果は、Linialの色削減をリスト彩色に一般化し、(deg+1)-リスト彩色の実行時間をO(√∆log ∆) + log∗nに改善し、通信複雑性を低減する。

ABSTRACT

Linial's famous color reduction algorithm reduces a given $m$-coloring of a graph with maximum degree $Δ$ to a $O(Δ^2\log m)$-coloring, in a single round in the LOCAL model. We show a similar result when nodes are restricted to choose their color from a list of allowed colors: given an $m$-coloring in a directed graph of maximum outdegree $β$, if every node has a list of size $Ω(β^2 (\log β+\log\log m + \log \log |\mathcal{C}|))$ from a color space $\mathcal{C}$ then they can select a color in two rounds in the LOCAL model. Moreover, the communication of a node essentially consists of sending its list to the neighbors. This is obtained as part of a framework that also contains Linial's color reduction (with an alternative proof) as a special case. Our result also leads to a defective list coloring algorithm. As a corollary, we improve the state-of-the-art truly local $(deg+1)$-list coloring algorithm from Barenboim et al. [PODC'18] by slightly reducing the runtime to $O(\sqrt{Δ\logΔ})+\log^* n$ and significantly reducing the message size (from huge to roughly $Δ$). Our techniques are inspired by the local conflict coloring framework of Fraigniaud et al. [FOCS'16].

研究の動機と目的

• メッセージサイズと実行時間を削減した真正に局所的なLOCALモデルにおけるリスト彩色のためのアルゴリズムを開発すること。
• ノードが制限された色リストから選択しなければならないリスト彩色設定において、Linialの色削減を一般化すること。
• 従来の最高水準の(degree+1)-リスト彩色アルゴリズムを、実行時間と通信複雑性の両方を低減することで改善すること。
• Linialの色削減とリスト彩色を、衝突彩色と機械的問題変換を通じて統一するフレームワークを提供すること。

提案手法

• Fraigniaudらの局所的衝突彩色フレームワークを、有向グラフにおけるリスト制約を扱えるように適応する。
• ノードが自身の局所的リストと隣接ノードの情報を用いて衝突を解消する2ラウンドアルゴリズムを導入する。
• 問題インスタンス(P0, P1, P2)の機械的変換を用いて1ラウンドの削減をシミュレートし、効率的なメッセージ伝達を可能にする。
• 集合系と確率的解析を用いて、欠陥的制約下での成功する彩色に必要なリストサイズの上限を求める。
• 従来のアルゴリズムにおける∆に依存する要件を、βが最大出次数であるときのβ²(log β + log log m + log log |C|)のリストサイズに置き換える。
• このフレームワークを応用して、実行時間O(√∆log ∆) + log∗n、メッセージサイズO(∆)の(degree+1)-リスト彩色アルゴリズムを導出し、従来の研究を上回る。

実験結果

リサーチクエスチョン

• RQ1 ノードが制限された色リストから選択しなければならないリスト彩色設定において、Linialの色削減を拡張可能か？
• RQ2 出次数がβで有界なグラフにおける2ラウンドの欠陥的リスト彩色に必要な最小のリストサイズは何か？
• RQ3 真正に局所的なリスト彩色において、メッセージサイズを∆の指数関数的から多項式的へ削減可能か、かつサブ線形実行時間の維持を可能か？
• RQ4 リストサイズ要件におけるlog β要因を削除可能か、かつ実行時間の増加がo(√log β)を超えないか？
• RQ5 機械的問題変換を用いて、LOCALモデルにおける効率的なリスト彩色アルゴリズムを導出可能か？

主な発見

• 最大出次数βの有向グラフにおける欠陥的リスト彩色のための2ラウンドアルゴリズムは、リストサイズΩ(β²(log β + log log m + log log |C|))で彩色を達成する。
• アルゴリズムにより、ノード1つあたりのメッセージサイズを巨大（∆の指数関数的）からO(∆)に削減し、通信効率を顕著に向上させる。
• このフレームワークは、LinialのO(∆²)-色削減を一般化し、特殊ケースとしてその代替的証明を提供する。
• 改善された(degree+1)-リスト彩色アルゴリズムは、O(√∆log ∆) + log∗nラウンドで実行され、メッセージサイズはO(∆)であり、実行時間と通信両面で従来の研究を上回る。
• リストサイズ要件は∆に依存せず、βにのみ依存するため、最大次数が大きなグラフにおいても効率的な彩色が可能である。
• リストサイズにおけるlog β項は除去可能である可能性を示唆しているが、これは未解決の問題のままである。