[论文解读] Distributed Maximal Matching: Greedy is Optimal

Juho Hirvonen, Jukka Suomela|arXiv (Cornell University)|Oct 3, 2011

Complexity and Algorithms in Graphs参考文献 17被引用 22

一句话总结

本文证明了在匿名、边染色图中，寻找最大匹配的贪心算法是最优的，当边使用 $k$ 种颜色染色时，恰好需要 $k-1$ 轮。它建立了最大匹配问题的紧致 $ frac{ heta}{ ext{round}}( ext{round})$ 复杂度为 $ frac{ heta}{ ext{round}}( ext{round})$，并为一个经典分布式图问题首次提供了线性于 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界。

ABSTRACT

We study distributed algorithms that find a maximal matching in an anonymous, edge-coloured graph. If the edges are properly coloured with $k$ colours, there is a trivial greedy algorithm that finds a maximal matching in $k-1$ synchronous communication rounds. The present work shows that the greedy algorithm is optimal in the general case: any algorithm that finds a maximal matching in anonymous, $k$-edge-coloured graphs requires $k-1$ rounds. If we focus on graphs of maximum degree $Δ$, it is known that a maximal matching can be found in $O(Δ+ \log^* k)$ rounds, and prior work implies a lower bound of $Ω(\polylog(Δ) + \log^* k)$ rounds. Our work closes the gap between upper and lower bounds: the complexity is $Θ(Δ+ \log^* k)$ rounds. To our knowledge, this is the first linear-in-$Δ$ lower bound for the distributed complexity of a classical graph problem.

研究动机与目标

• 为最大度数 $\Delta$ 和颜色数量 $k$ 的分布式最大匹配问题，弥合上界与下界之间的差距。
• 为匿名、$k$-边染色图中的确定性分布式最大匹配问题，建立 $ frac{ heta}{ ext{round}}( ext{round})$ 的紧致复杂度界。
• 证明贪心算法（在 $k-1$ 轮内运行）在一般情况下是最优的。
• 为一个经典分布式图问题首次建立线性于 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界，解决了长期存在的开放问题。

提出的方法

• 使用 $h$-模板和 $h$-关键对的归纳构造，以建模分布式网络中的不可区分性。
• 定义模板上的剪枝操作，以模拟局部网络视图，并在距离上传播信息。
• 在构造的子图中，对匹配和未匹配节点应用奇偶性论证，以识别输出不一致的节点。
• 构造一对 $d$-模板 $(S_d, \sigma_d)$ 和 $(T_d, \tau_d)$，它们是 $d$-兼容的，但在根节点的输出不同，从而证明下界。
• 利用边染色图的结构和贪心匹配过程，模拟需要 $k-1$ 轮的最坏情况。
• 将已知的上界（$O(\Delta + \log^* k)$）与新的下界（$ frac{ heta}{ ext{round}}( ext{round})$ 和 $ frac{ heta}{ ext{round}}( ext{round})$）结合，以获得紧致复杂度。

实验结果

研究问题

• RQ1 在 $k$-边染色图中，最大匹配的贪心算法在轮数复杂度上是否是最优的？
• RQ2 最大匹配的分布式复杂度作为 $ frac{ heta}{ ext{round}}( ext{round})$ 和 $k$ 的函数，其确切值是什么？
• RQ3 能否为一个经典分布式图问题建立线性于 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界？
• RQ4 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界是否与 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界结合，形成紧致的 $ frac{ heta}{ ext{round}}( ext{round})$ 复杂度？

主要发现

• 在匿名、$k$-边染色图中，最大匹配的贪心算法恰好需要 $k-1$ 轮，且这是最优的。
• 在匿名、$k$-边染色图中，任何确定性分布式算法求解最大匹配，至少需要 $ frac{ heta}{ ext{round}}( ext{round})$ 轮，从而建立了线性于 $ frac{ heta}{ ext{round}}( ext{round})$ 的下界。
• 最大匹配的分布式复杂度为 $ frac{ heta}{ ext{round}}( ext{round})$ 轮，紧致地弥合了已知上界与下界之间的差距。
• 这是首个已知的线性于 $ frac{ heta}{ ext{round}}( ext{round})$ 的经典分布式图问题下界，解决了该领域的一个重大开放问题。
• 该下界即使在无唯一标识符的匿名网络中也成立，且适用于确定性算法。
• 使用 $h$-模板和 $h$-关键对的证明技术，为分布式计算中推导下界提供了一个通用框架。