提出同步异步下均接近最优的分散算法,显著提升效率。
Dispersion is (Almost) Optimal under (A)synchrony
- 设计新方法快速定位空节点安置代理
- 同步时耗降至O(k),异步时耗为O(k log k)
- 适合资源受限的移动代理协同场景
分散问题在分布式计算中备受关注。给定一个最多有Δ度的n节点、m边的匿名图,初始时至多k个代理随机分布于各节点,需自主移动至互不重叠的节点。该问题与探索、负载均衡、电动车自动充电等应用密切相关。目标是同时优化时间和内存复杂度。已知时间下界为Ω(k),每代理内存下界为Ω(log k)。现有最优算法在同步环境下耗时O(k log²k),内存O(log(k+Δ));异步环境下耗时O(min{m, kΔ}),内存同上。本文首次实现同步下时间最优的O(k)算法,内存仍为O(log(k+Δ));异步下首次达到时间复杂度O(k log k),仅比最优差O(log k)因子。两项成果均基于快速发现空节点的新技术。
原文摘要 · Abstract (English)
The dispersion problem has received much attention recently in the distributed computing literature. In this problem, $k\leq n$ agents placed initially arbitrarily on the nodes of an $n$-node, $m$-edge anonymous graph of maximum degree $Δ$ have to reposition autonomously to reach a configuration in which each agent is on a distinct node of the graph. Dispersion is interesting as well as important due to its connections to many fundamental coordination problems by mobile agents on graphs, such as exploration, scattering, load balancing, relocation of self-driven electric cars (robots) to recharge stations (nodes), etc. The objective has been to provide a solution that optimizes simultaneously time and memory complexities. There exist graphs for which the lower bound on time complexity is $Ω(k)$. Memory complexity is $Ω(\log k)$ per agent independent of graph topology. The state-of-the-art algorithms have (i) time complexity $O(k\log^2k)$ and memory complexity $O(\log(k+Δ))$ under the synchronous setting [DISC'24] and (ii) time complexity $O(\min\{m,kΔ\})$ and memory complexity $O(\log(k+Δ))$ under the asynchronous setting [OPODIS'21]. In this paper, we improve substantially on this state-of-the-art. Under the synchronous setting as in [DISC'24], we present the first optimal $O(k)$ time algorithm keeping memory complexity $O(\log (k+Δ))$. Under the asynchronous setting as in [OPODIS'21], we present the first algorithm with time complexity $O(k\log k)$ keeping memory complexity $O(\log (k+Δ))$, which is time-optimal within an $O(\log k)$ factor despite asynchrony. Both results were obtained through novel techniques to quickly find empty nodes to settle agents, which may be of independent interest.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。