[论文解读] A Distributed $(2+\epsilon)$-Approximation for Vertex Cover in $O(\log{\Delta}/\epsilon\log\log{\Delta})$ Rounds

Reuven Bar-Yehuda, Keren Censor-Hillel+1 more|arXiv (Cornell University)|Feb 11, 2016

Complexity and Algorithms in Graphs参考文献 19被引用 3

一句话总结

本文提出了一种确定性分布式算法，在 O(log Δ / (ε log log Δ)) 轮内实现了最小权顶点覆盖问题的 (2 + ε)-近似解，其中 Δ 为最大度数。通过引入一种新颖的两部分权重管理系统——'保险库'与'银行'——该算法解耦了相互依赖的权重减少操作，实现了高效且可扩展的近似，且无需全局知识或顶点标识符。

ABSTRACT

We present a simple deterministic distributed $(2+\epsilon)$-approximation algorithm for minimum weight vertex cover, which completes in $O(\log{\Delta}/\epsilon\log\log{\Delta})$ rounds, where $\Delta$ is the maximum degree in the graph, for any $\epsilon>0$ which is at most $O(1)$. For a constant $\epsilon$, this implies a constant approximation in $O(\log{\Delta}/\log\log{\Delta})$ rounds, which contradicts the lower bound of [KMW10].

研究动机与目标

• 设计一种针对最小权顶点覆盖问题的确定性分布式算法，以提升轮数复杂度。
• 以一种避免长依赖链的方式，将序列局部比率技术适配到分布式环境。
• 在相对于 Δ 的亚对数轮数内实现 (2 + ε)-近似解，从而挑战先前的下界结果。
• 证明该算法可在无标识符的匿名网络中运行，并可基于有界权重假设适配至 CONGEST 模型。

提出的方法

• 引入一种两部分权重系统：'保险库'用于发起减少请求，'银行'用于响应这些请求。
• 每个顶点 v 维护 di(v) 和 wi(v)，分别追踪其保险库中请求的次数和剩余权重。
• 使用参数 Kv = d(v) + 1（当 d(v) ≤ 16 时），否则 Kv = log d(v)/log log d(v)，以限制迭代次数。
• 仅当保险库容量充足时才响应邻居的请求来减少权重，确保不会出现负权重。
• 通过使用预计算值将请求和预算编码为 O(log n)-比特消息，对 CONGEST 模型中的算法进行修改。
• 通过局部比率不变性证明正确性：最终剩余权重为零的顶点集合构成一个 (2 + ε)-近似解。

实验结果

研究问题

• RQ1 能否在不产生高通信开销的前提下，将局部比率技术有效适配到分布式环境中？
• RQ2 是否可能在 o(log Δ) 轮内实现最小权顶点覆盖的 (2 + ε)-近似解？
• RQ3 该算法在无唯一标识符的匿名网络中是否仍保持高效且正确？
• RQ4 能否在有界消息大小的 CONGEST 模型中使该算法保持高效？
• RQ5 常数近似顶点覆盖在分布式系统中的真正轮数复杂度下界是什么？

主要发现

• 该算法在 O(log Δ / (ε log log Δ)) 轮内实现了 (2 + ε)-近似解，优于先前的分布式算法。
• 对于常数 ε，轮数复杂度为 O(log Δ / log log Δ)，与 [KMW10] 声称的 Ω(log Δ) 下界相矛盾。
• 对于度数 ≤16 的顶点，算法在 O(1/ε) 轮内完成；其余顶点则在 O(log d(v)/(ε log log d(v))) 轮内完成。
• 该算法可在匿名网络中运行，且无需同步启动时间。
• 作者发现 [KMW10] 的下界存在缺陷，其仅在对 k 的严格假设下成立（即 k = O((log n)^{1/3}) 且 k = O(√log Δ)）。
• 真正的下界被修正为 Ω(log Δ / log log Δ)，使得该算法在渐近意义上达到紧致性。