[论文解读] Fast and Simple Deterministic Algorithms for Highly-Dynamic Networks.

Keren Censor-Hillel, Neta Dafni+3 more|arXiv (Cornell University)|Jan 13, 2019

Distributed systems and fault tolerance被引用 4

一句话总结

本文提出了一种简单、确定性的算法，用于高度动态的网络，在任意并发边变更下，能够以每轮均摊的常数时间维护多个基础问题的解，如 $(degree+1)$-着色、最大匹配和2-近似最小权顶点覆盖。核心贡献是引入了局部可修复标记（LFLs）的概念，使得仅通过小尺寸（对数规模）的消息即可实现高效的局部修复。

ABSTRACT

This paper provides a surprisingly simple method for obtaining fast (constant amortized time) deterministic distributed algorithms for a highly-dynamic setting, in which arbitrarily many edge changes may occur in each round. Among the implications of our results are deterministic algorithms that maintain solutions to many problems, including $(degree+1)$-coloring, maximal matching, maximal independent set and the seemingly unrelated problem of a 2-approximation for minimum weight vertex cover (2-MWVC). These significantly improve upon prior work in various aspects, such as having $O(1)$ amortized round complexity, using message of logarithmic size only, handling arbitrarily many concurrent topology changes, being deterministic, having correctness guarantees for intermediate rounds, and more. The core of our work is in defining a subclass of locally-checkable labelings which we call locally-fixable labelings (LFLs). Very roughly speaking, these are labelings that allow a node to fix its neighborhood based solely on their old labels. We present a simple algorithm for LFLs with small labels, which handles multiple edge insertions/deletions while keeping the amortized round complexity at a small constant. We then extend it, for specific tasks, to handle the insertion and deletion of nodes. Moreover, we show that the same approach can also fix labeling with large labels, given that they can be made to behave as small labels.

研究动机与目标

• 设计确定性的分布式算法，以在高度动态的网络中维护正确解，应对任意并发的边插入和删除操作。
• 在先前解法为随机化或复杂度更高的动态环境中，实现基础图问题的常数均摊轮复杂度。
• 引入并形式化局部可修复标记（LFLs）类，使其能够仅基于旧邻域信息实现标签的高效局部修复。
• 将框架扩展至支持节点的插入和删除，从而超越仅处理边变更的适用范围。
• 证明即使标签较大的问题，只要能通过适当编码使其行为类似小标签系统，也可高效管理。

提出的方法

• 引入局部可修复标记（LFLs）类，其中节点可仅使用自身及邻居的旧标签来修复其局部邻域。
• 设计一种简单、确定性的LFL算法，可在多个并发边变更下保持正确性，且具有 $O(1)$ 的均摊轮复杂度。
• 使用小尺寸、对数规模的消息来传播和更新标签，确保通信开销低。
• 通过适配局部修复机制以应对动态拓扑变化，将算法扩展至支持节点的插入和删除。
• 证明可通过适当的编码将具有大标签的标记问题转化为等价的小标签系统，同时保持效率。
• 利用局部可修复性特性，确保即使在中间轮次也具备正确性保证，而不仅限于完全稳定之后。

实验结果

研究问题

• RQ1 确定性的分布式算法能否在高度动态的网络中，应对任意并发边变更，持续维护基础图问题的解？
• RQ2 何种标记问题的结构性质使得在动态环境中可实现均摊常数时间的维护？
• RQ3 如何设计局部修复机制，以在同时发生多个拓扑变更时仍保持正确性和效率？
• RQ4 该框架能否扩展至支持节点的插入和删除，而不仅限于边的更新？
• RQ5 是否可通过将大标签问题约化为小标签系统，实现其高效管理？

主要发现

• 本文提出一种针对局部可修复标记（LFLs）的确定性算法，具有 $O(1)$ 的均摊轮复杂度，可在任意并发边变更下实现解的快速维护。
• 该算法仅使用对数规模的消息，与先前方法相比显著降低了通信开销。
• 正确性不仅在稳定后保证，也在中间轮次中得到保障，增强了实际可靠性。
• 该框架支持边和节点的插入与删除，扩展了其在全动态网络中的适用性。
• 该方法可推广至具有大标签的问题，只要其可通过编码使其行为类似小标签系统。
• 该方法实现了 $(degree+1)$-着色、最大匹配、最大独立集和2-MWVC的确定性、均摊常数时间解，相较于先前工作在多个维度上表现更优。