[论文解读] Quadratic and Near-Quadratic Lower Bounds for the CONGEST Model

Keren Censor-Hillel, Seri Khoury+1 more|arXiv (Cornell University)|Jan 1, 2017

Numerical methods for differential equations被引用 13

一句话总结

该论文首次在 CONGEST 模型中为自然图问题建立了超线性下界，证明了精确计算最小点覆盖、最大独立集和 χ-着色问题需要 Ω(n²/log²n) 轮。此外，它还表明，即使是 P 类中的简单问题，如同构子图检测和加权环检测，分别需要 Ω(n²) 和 Ω(n²/log n) 轮，且正式证明了标准的 Alice-Bob 框架无法为加权所有点对最短路径（APSP）问题获得超线性下界，揭示了当前技术中的一个根本性障碍。

ABSTRACT

We present the first super-linear lower bounds for natural graph problems in the CONGEST model, answering a long-standing open question. Specifically, we show that any exact computation of a minimum vertex cover or a maximum independent set requires a near-quadratic number of rounds in the CONGEST model, as well as any algorithm for computing the chromatic number of the graph. We further show that such strong lower bounds are not limited to NP-hard problems, by showing two simple graph problems in P which require a quadratic and near-quadratic number of rounds. Finally, we address the problem of computing an exact solution to weighted all-pairs-shortest-paths (APSP), which arguably may be considered as a candidate for having a super-linear lower bound. We show a simple linear lower bound for this problem, which implies a separation between the weighted and unweighted cases, since the latter is known to have a sub-linear complexity. We also formally prove that the standard Alice-Bob framework is incapable of providing a super-linear lower bound for exact weighted APSP, whose complexity remains an intriguing open question.

研究动机与目标

• 为解决 CONGEST 模型中自然图问题是否需要超线性时间这一长期悬而未决的问题。
• 证明即使是在 P 类中的问题，而不仅仅是 NP-难问题，也可能具有接近二次方的轮数复杂度。
• 正式证明标准的 Alice-Bob 通信框架无法为加权全源最短路径（APSP）问题在 CONGEST 模型中获得超线性下界。
• 在 CONGEST 模型中建立全局问题的复杂度类层次结构，包括接近二次方的困难性。

提出的方法

• 使用从两方通信复杂度改进的约化框架，利用一个位-装置（bit-gadget）实现对数规模的切割。
• 构建具有小切割（O(1) 或 O(log n)）但输入规模大（Θ(n²)）的下界图，以放大通信复杂度。
• 将该框架应用于 NP-难问题（点覆盖、独立集、3-着色）和 P 类问题（同构子图检测、加权环检测）。
• 证明在 Alice-Bob 模型中，交换的位数受 O(|C|n log n) 限制，从而得出轮数复杂度的下界为 Ω(CC(f)/|C| log n)。
• 将分析扩展到 t 方共享黑板模型，表明即使有多个参与方，通信复杂度的上界仍会将可达到的下界限制在 O(n)。
• 正式证明：任何使用 Alice-Bob 框架的约化都无法为加权 APSP 问题获得超线性下界，无论函数或图构造如何。

实验结果

研究问题

• RQ1 CONGEST 模型中的自然图问题是否需要超线性时间，特别是 Ω(n²/log²n) 轮？
• RQ2 P 类问题，如同构子图检测或加权环检测，是否在 CONGEST 模型中需要接近二次方的时间？
• RQ3 标准的 Alice-Bob 通信框架是否足以在 CONGEST 模型中为加权 APSP 问题证明超线性下界？
• RQ4 在 CONGEST 模型中是否存在一个复杂度层次结构，使得问题的复杂度范围从 Θ(D) 到 Θ(n²/log²n)？
• RQ5 加权 APSP 是否可以在线性时间内求解，还是其复杂度本质上更高？

主要发现

• 在 CONGEST 模型中，精确计算最小点覆盖和最大独立集需要 Ω(n²/log²n) 轮，即使对于高概率成功的随机化算法也是如此。
• 对 3-可着色图进行 χ-着色和 3-着色也需 Ω(n²/log²n) 轮，即使在常数直径网络中也是如此。
• 同构子图检测问题需要 Ω(n²) 轮的确定性时间，而加权环检测需要 Ω(n²/log n) 轮。
• 同构子图检测的随机化算法可在 O(D) 轮内完成，表明全局问题在确定性和随机化复杂度之间存在显著分离。
• 标准的 Alice-Bob 框架无法为加权 APSP 问题获得超线性下界，无论使用何种函数或图构造。
• 通过该框架获得的任何加权 APSP 下界最多为 Ω(n)，这与无权情况（Θ(n/log n)）相区别，但仍未达到超线性下界。