[论文解读] Locally Checkable Labelings with Small Messages

Alkida Balliu, Keren Censor-Hillel+3 more|arXiv (Cornell University)|Jan 1, 2021

Complexity and Algorithms in Graphs参考文献 37被引用 1

一句话总结

本论文研究了带宽限制对分布式网络中局部可检查标记（LCL）问题复杂度的影响。研究证明，在树形图中，CONGEST 模型与 LOCAL 模型对 LCL 问题具有相同的渐近复杂度，而在一般图中，存在某些 LCL 问题可在 LOCAL 模型中以 O(log n) 轮求解，却需要 ˜Ω(n^{1/2}) 轮才能在 CONGEST 模型中求解，从而在一般图上严格区分了这两个模型。

ABSTRACT

A rich line of work has been addressing the computational complexity of locally checkable labelings (LCLs), illustrating the landscape of possible complexities. In this paper, we study the landscape of LCL complexities under bandwidth restrictions. Our main results are twofold. First, we show that on trees, the CONGEST complexity of an LCL problem is asymptotically equal to its complexity in the LOCAL model. An analog statement for non-LCL problems is known to be false. Second, we show that for general graphs this equivalence does not hold, by providing an LCL problem for which we show that it can be solved in O(log n) rounds in the LOCAL model, but requires Ω̃(n^{1/2}) rounds in the CONGEST model.

研究动机与目标

• 理解带宽限制如何影响分布式系统中 LCL 问题的计算复杂度。
• 确定 LOCAL 与 CONGEST 模型在树上的 LCL 问题中是否具有相同的表达能力。
• 识别在一般图中，CONGEST 与 LOCAL 模型之间是否存在 LCL 问题的分离。
• 为 CONGEST 模型中的特定 LCL 问题提供紧致的下界，以展示其与 LOCAL 模型之间存在超常数差距。

提出的方法

• 作者分析了在 LOCAL 和 CONGEST 模型中 LCL 问题的复杂度，重点关注树和一般图。
• 他们引入一种新颖的模拟技术，采用移动割集方法来限制双人通信游戏中的通信量。
• 该方法涉及定义分层的节点集合（Wj, Br），以模拟网络中节点在各轮中的状态。
• 他们使用归纳论证证明，Bob 可通过 Alice 提供的 O(log²n) 位通信模拟该算法，从而实现输入重建。
• 通过归约证明建立下界：若 Bob 能以极少比特重建 Alice 的输入，则原算法必需要耗费大量轮数。
• 他们构造了一个在类似网格图上的特定 LCL 问题，以展示 LOCAL 与 CONGEST 复杂度之间的分离。

实验结果

研究问题

• RQ1 在树上，CONGEST 模型中 LCL 问题的计算复杂度是否与 LOCAL 模型渐近等价？
• RQ2 在一般图中，CONGEST 与 LOCAL 模型之间是否存在 LCL 问题的分离？
• RQ3 能否证明某个特定 LCL 问题在 CONGEST 模型中所需轮数显著多于 LOCAL 模型？
• RQ4 在 CONGEST 模型中，一个在 LOCAL 模型中可于 O(log n) 轮内求解的 LCL 问题，其最紧致的下界是多少？

主要发现

• 在树上，所有 LCL 问题的 CONGEST 模型复杂度与 LOCAL 模型渐近等价，仅相差常数因子。
• 在一般图中，存在一个 LCL 问题，可在 LOCAL 模型中以 O(log n) 轮求解，却需要 ˜Ω(n^{1/2}) 轮才能在 CONGEST 模型中求解。
• 该分离是紧致的，即 ˜Ω(n^{1/2}) 的下界对于所构造的问题几乎是最优的。
• 作者建立了双人模拟的通信复杂度下界为 Ω(k / log²n)，其中 k = Θ(√n)，从而导出主要的复杂度分离结果。
• 结果表明，带宽限制可能显著增加一般图中 LCL 问题的复杂度，即使在 LOCAL 模型中存在高效解法。
• 本论文通过证明树上的 LOCAL 与 CONGEST 模型等价性无法推广至一般图，填补了理解 LCL 复杂度的一个关键空白。