[论文解读] Fast Deterministic Rendezvous in Labeled Lines

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

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

一句话总结

本文提供了林尼亞爾（Linial）關於標籤有向環中確定性3-著色問題之奠基性下界的一種簡化且自包含的證明，表明任何此類演算法至少需要 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-著色問題之下的新穎且基礎的證明。
• 在證明中消除對拉姆齊定理、色數或線圖等進階概念的依賴。
• 提出一個自包含且直觀的論證，可在白板上於15分鐘內說明清楚。
• 建立任何確定性3-著色演算法之通訊輪數 T ≥ (1/2)log*(n) − 1 的緊緻下界。

提出的方法

• 定義 k-元 c-著色函數為：將顏色從 {1, ..., c} 分配給任意 k 個不同節點 ID 的 k-元組，並滿足重疊元組之間的不等式約束。
• 使用歸納法：從 k-元 3-著色函數出發，透過對最後一個元素的所有可能輸出取集合，迭代構造出 (k−1)-元 2c-著色函數。
• 將此轉換迭代應用，使每一步的元數減少一，同時每一步將顏色數量加倍。
• 利用基底情形：1-元 c-著色函數要求 c ≥ n，此由抽屜原理導出。
• 從 k-元 3-著色函數開始，逐步構造至 1-元 (k+1)2-著色函數，進而導出不等式 (k+1)2 ≥ n。
• 透過解不等式 (k+1)2 ≥ n，可得 k+1 ≥ log*(n)，因此得出主要結果 T ≥ (1/2)log*(n) − 1。

实验结果

研究问题

• RQ1 林尼亞爾關於標籤環中確定性3-著色問題之 log* 下界，能否在不依賴拉姆齊理論或複雜圖不變量的情況下證明？
• RQ2 是否存在一種更簡潔、更具直覺性的歸納證明，可避免使用鄰域圖與色數？
• RQ3 能否透過對著色函數的構造性轉換，降低元數同時控制顏色集合的增長，來推導出此下界？
• RQ4 任何確定性3-著色演算法在標籤有向環中所需的最少通訊輪數為何？

主要发现

• 本文確立了在標籤有向 n-環中，任何確定性3-著色演算法所需通訊輪數 T ≥ (1/2)log*(n) − 1 的緊緻下界。
• 證明構造了一個著色函數序列，每步將元數減少一，同時將顏色數量加倍，起始於 k-元 3-著色函數。
• 經過 k+1 次此類轉換後，所得函數為 1-元 (k+1)2-著色函數，根據抽屜原理，必須滿足 (k+1)2 ≥ n。
• 不等式 (k+1)2 ≥ n 直接導出 k+1 ≥ log*(n)，因此得出主要結果 T ≥ (1/2)log*(n) − 1。
• 該方法避開所有進階圖論概念，使證明更具可及性，適合課堂講授。