[论文解读] Sublinear Communication Protocols for Multi-Party Pointer Jumping and a Related Lower Bound

Joshua Brody, Amit Chakrabarti|ArXiv.org|Feb 20, 2008

Complexity and Algorithms in Graphs参考文献 15被引用 7

一句话总结

本文提出了一种在人数-额头（NOF）模型中针对k方指针跳跃问题的次线性通信协议，表明当k ≥ 3时，确定性通信复杂度为o(n)，这与此前预期的Ω(n)下界相矛盾。此外，通过一种新颖的非信息论证明技术，本文建立了对坍塌协议（即除一个玩家外，其余玩家的消息仅依赖于先前各层）的强下界n − O(log n)。

ABSTRACT

We study the one-way number-on-the-forehead (NOF) communication complexity of the $k$-layer pointer jumping problem with $n$ vertices per layer. This classic problem, which has connections to many aspects of complexity theory, has seen a recent burst of research activity, seemingly preparing the ground for an $Ω(n)$ lower bound, for constant $k$. Our first result is a surprising sublinear -- i.e., $o(n)$ -- upper bound for the problem that holds for $k \ge 3$, dashing hopes for such a lower bound. A closer look at the protocol achieving the upper bound shows that all but one of the players involved are collapsing, i.e., their messages depend only on the composition of the layers ahead of them. We consider protocols for the pointer jumping problem where all players are collapsing. Our second result shows that a strong $n - O(\log n)$ lower bound does hold in this case. Our third result is another upper bound showing that nontrivial protocols for (a non-Boolean version of) pointer jumping are possible even when all players are collapsing. Our lower bound result uses a novel proof technique, different from those of earlier lower bounds that had an information-theoretic flavor. We hope this is useful in further study of the problem.

研究动机与目标

• 解决长期存在的猜想：k方指针跳跃问题在NOF模型中需要Ω(n)通信复杂度。
• 探究当k ≥ 3时，布尔指针跳跃问题是否存在次线性协议。
• 分析坍塌协议（即大多数玩家的消息仅依赖于先前各层的组合）的威力与局限性。
• 建立坍塌协议的强下界，从而推进对NOF模型中通信复杂度的理解。

提出的方法

• 通过使用对数迭代对数的分层桶方案，设计了一种针对k方指针跳跃问题的次线性协议。
• 采用分层通信策略，每位玩家使用两种桶方案：一种用于识别相关桶，另一种用于编码其中的元素。
• 提出一种新颖的下界证明技术，该技术脱离了传统的信息论方法。
• 分析了坍塌协议的结构，其中除一个玩家外，其余玩家的消息仅依赖于先前各层的组成。
• 将该协议应用于指针跳跃的一个非布尔变体，表明即使在坍塌约束下，仍能实现非平凡的通信效率。
• 使用递归桶化方法，桶的大小按迭代对数递减，以确保最终输出能以次线性代价恢复。

实验结果

研究问题

• RQ1 在NOF模型中，当k ≥ 3时，k方布尔指针跳跃问题是否存在次线性通信协议？
• RQ2 指针跳跃问题存在次线性协议是否意味着其被猜想的Ω(n)下界不成立？
• RQ3 当所有玩家均受限于坍塌协议时，指针跳跃的通信复杂度是多少？
• RQ4 即使所有玩家均为坍塌协议，非布尔指针跳跃问题是否仍可能存在非平凡协议？
• RQ5 本文所使用的下界结果中的新颖证明技术，是否为NOF模型中的下界证明开辟了新途径？

主要发现

• 对于k方布尔指针跳跃问题，存在次线性协议，通信代价为O(n log^(k-1) n)，证明了当k ≥ 3时，C(mpj_k) = o(n)。
• 该协议通过使用具有迭代对数精度的分层桶方案实现次线性代价，确保通过逐层组合可恢复最终输出。
• 对于坍塌协议（即除一个玩家外，其余玩家的消息仅依赖于先前各层）而言，存在强下界n − O(log n)，表明此类协议无法实现次线性代价。
• 即使在坍塌约束下，指针跳跃的一个非布尔变体仍可实现非平凡协议，通信代价为O(n log^(k-1) n)。
• 本文提出了一种新颖的下界证明技术，避免使用信息论方法，为NOF复杂度领域的未来研究开辟了新方向。
• 研究结果推翻了C(mpj_k) = Ω(n)（k为常数）的猜想，表明次线性协议是可能的，从而挑战了该问题复杂度的既有假设。