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

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

Interconnection Networks and Systems参考文献 22被引用 3

一句话总结

本文提出了一种确定性分布式算法框架，用于在具有任意频繁拓扑变化的高动态网络中维护基础图问题的解——如最大匹配、(度数+1)着色、2-近似最小权顶点覆盖和最大独立集。该算法使用O(log n)位消息实现O(1)摊销轮复杂度，支持节点插入和突发删除，并保证强中间解质量，通过同时结合所有这些特性，显著优于以往工作。

ABSTRACT

This paper provides an algorithmic framework for obtaining fast distributed algorithms for a highly-dynamic setting, in which *arbitrarily many* edge changes may occur in each round. Our algorithm significantly improves upon prior work in its combination of (1) having an $O(1)$ amortized time complexity, (2) using only $O(\log{n})$-bit messages, (3) not posing any restrictions on the dynamic behavior of the environment, (4) being deterministic, (5) having strong guarantees for intermediate solutions, and (6) being applicable for a wide family of tasks. The tasks for which we deduce such an algorithm are maximal matching, $(degree+1)$-coloring, 2-approximation for minimum weight vertex cover, and maximal independent set (which is the most subtle case). For some of these tasks, node insertions can also be among the allowed topology changes, and for some of them also abrupt node deletions.

研究动机与目标

• 设计一种分布式算法框架，以在拓扑变化可任意且频繁发生的高动态网络中维护基础图问题的正确解。
• 即使在任意、无界边和节点变化（包括突发删除）下，仍实现O(1)摊销轮复杂度。
• 确保确定性行为，并在动态更新期间提供对中间解质量的强保证。
• 支持一类广泛的局部可验证标签（LCL）问题，包括在动态环境中尤其具有挑战性的最大独立集。
• 消除对动态行为的限制（如要求变化在时间上间隔开），从而使其适用于现实世界中不稳定的分布式系统。

提出的方法

• 该算法使用基于时间戳的机制，跟踪因拓扑变化而变为脏状态的节点，使其能够启动本地修复。
• 引入一种新颖的脏状态传播机制：当节点的标签变为false时，其邻居中若也为false且无true邻居，则变为脏状态。
• 仅当节点为脏状态且其时间戳在邻居中最早时，才变为活跃状态，从而在无需全局协调的情况下实现有序修复。
• 该算法采用势函数论证方法，将所有节点的活跃周期总数与拓扑变化次数直接关联，从而实现上界控制。
• 采用单射责备机制，将每次激活归因于特定的拓扑变化，证明活跃周期总数至多为变化次数的两倍。
• 通过允许邻居检测不一致性并启动本地恢复，该框架支持边和节点变化（包括突发节点删除）的处理。

实验结果

研究问题

• RQ1 能否设计一种确定性分布式算法，在拓扑变化任意且频繁（包括节点插入和突发删除）的高动态网络中，持续维护基础LCL问题的正确解？
• RQ2 是否可能在不限制网络动态行为的前提下，实现此类问题的O(1)摊销轮复杂度？
• RQ3 在分布式环境中，如何在快速且任意的拓扑变化下维持对中间解质量的强保证？
• RQ4 能否设计一种算法，仅使用O(log n)-位消息，同时保持正确性和效率？
• RQ5 何种机制使得该算法能够在同一框架内处理最大独立集问题——该问题在动态环境中尤为微妙？

主要发现

• 该算法在最大匹配、(度数+1)-着色、2-MWVC和最大独立集问题上，即使在任意频繁的拓扑变化下，仍实现O(1)摊销轮复杂度。
• 该框架支持边和节点变化，包括删除节点未提前通知邻居的突发删除情形。
• 通过势函数和单射责备机制的结合，证明了活跃周期总数至多为拓扑变化次数的两倍，从而确保了摊销O(1)复杂度。
• 该算法维持强中间解保证：若所有节点均为干净状态，则解正确；否则，每对干净邻居均满足所需的LCL约束。
• 该框架仅使用O(log n)-位消息，即使在大规模网络中也具备通信效率。
• 该方法具有通用性，适用于广泛的一类LCL问题，包括半径r > 1的问题，尽管此部分留待未来工作。