线性下界的简化
Linial's Lower Bound Made Easy
摘要：
Linial的开创性结果表明，任何找到$n$ -循环的$3$ -着色的确定性分布式算法至少需要$\log^*(n)/2 - 1$通信轮。给出了这个定理的一个新的简单证明。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
