[論文レビュー] Fast Deterministic Rendezvous in Labeled Lines

Juhana Laurinharju, Jukka Suomela|arXiv (Cornell University)|Feb 11, 2014

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

ひとこと要約

この論文は、ラベル付き有向サイクルにおける決定的3色彩色のためのLinialの古典的下界を、簡素で自己完結的な証明により提示する。任意のこのようなアルゴリズムが少なくとも log*(n)/2 − 1 回の通信ラウンドを要することを示している。証明は、非効率なグラフ理論的概念（近傍グラフやラマセー理論など）を避けるために、新しい帰納的議論を用いて、より速いが色数の多い関数を反復的に構築する。

ABSTRACT

Linial's seminal result shows that any deterministic distributed algorithm that finds a $3$-colouring of an $n$-cycle requires at least $\log^*(n)/2 - 1$ communication rounds. We give a new simpler proof of this theorem.

研究の動機と目的

• ラベル付き有向サイクルにおける決定的3色彩色のためのLinialの下界を、新たな初等的証明で提示すること。
• 証明においてラマセーの定理、彩色数、または線グラフといった高度な概念に依存しないようにすること。
• 15分以内にホワイトボードで説明可能な、自己完結的で直感的な議論を提示すること。
• 任意の決定的3色彩色アルゴリズムに対して、通信ラウンド数 T についてのタイトな下界 T ≥ (1/2)log*(n) − 1 を確立すること。

提案手法

• k-ary c-色関数を、k個の異なるノードIDの組に対して {1, ..., c} からの色を割り当て、重複する組の間に非等価制約を満たす関数として定義する。
• 帰納法を用いる：k-ary 3-色関数から出発し、最後の要素に関する出力の集合をとることで、(k−1)-ary 2c-色関数を反復的に構築する。
• 各段階で arity を1つ減らし、色数を2倍にする変換を反復的に適用する。
• 基本ケースとして、1-ary c-色関数では c ≥ n であることが、鳩の巣原理から導かれる。
• k-ary 3-色関数から始まり、1-ary (k+1)2-色関数へと至る関数の列を構築し、(k+1)2 ≥ n という不等式を得る。
• 不等式 (k+1)2 ≥ n を解くことで、k+1 ≥ log*(n) が得られ、結局 T ≥ (1/2)log*(n) − 1 が導かれる。

実験結果

リサーチクエスチョン

• RQ1 ラマセー理論や複雑なグラフ不変量に依存せずに、ラベル付きサイクルにおける決定的3色彩色のためのLinialの下界を証明できるか？
• RQ2 近傍グラフや彩色数を避けることのできる、より簡単で直感的な帰納的証明は存在するか？
• RQ3 色数の集合の成長を制御しながら、arity を段階的に減らすような、構成的関数変換によって下界を導けるか？
• RQ4 ラベル付き有向サイクルにおける任意の決定的3色彩色アルゴリズムに必要な最小通信ラウンド数は何か？

主な発見

• この論文は、ラベル付き有向 n-サイクルにおける任意の決定的3色彩色アルゴリズムに、通信ラウンド数 T についてのタイトな下界 T ≥ (1/2)log*(n) − 1 が成り立つことを確立している。
• 証明は、各段階で arity を1つ減らし、色数を2倍にする関数の列を構築する。初期関数は k-ary 3-色関数である。
• k+1 回の変換を経て得られる関数は 1-ary (k+1)2-色関数であり、鳩の巣原理により (k+1)2 ≥ n を満たさなければならない。
• 不等式 (k+1)2 ≥ n から k+1 ≥ log*(n) が直接導かれ、結局主結果 T ≥ (1/2)log*(n) − 1 が得られる。
• この手法は、すべての高度なグラフ理論的概念を避けており、証明は理解しやすく、教室での指導に適している。