arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2005.07637cs.DC
收藏

通信网络的输入动态分布算法

Input-Dynamic Distributed Algorithms for Communication Networks

Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid

摘要:

考虑一个分布式任务,其中通信网络是固定的,但提供给分布式系统节点的本地输入可能会随时间变化。在这项工作中,我们探索以下问题:如果一些本地输入发生变化,现有解决方案能否以动态和分布式的方式有效更新?为了解决这个问题,我们定义了批量动态CONGEST模型,其中我们给出了一个带宽有限的通信网络和一个动态边标签定义的问题输入。任务是维护一个图的问题的解决方案的标记图下批量更改。我们调查,当一批$α$边缘标签的变化到达,-多少时间作为$α$的函数,我们需要更新现有的解决方案,以及-多少信息的节点必须保持在本地内存之间的批次,以快速更新的解决方案。我们的工作奠定了输入动态分布式网络算法的理论基础。我们给出了这个模型的复杂性景观的一般情况下,设计通用算法和具体问题的算法,并提出了一个一般的框架下限。特别是,我们推导出两个选定的,对比问题的非平凡的上界:保持最小生成树和检测集团。

英文摘要:

Consider a distributed task where the communication network is fixed but the local inputs given to the nodes of the distributed system may change over time. In this work, we explore the following question: if some of the local inputs change, can an existing solution be updated efficiently, in a dynamic and distributed manner? To address this question, we define the batch dynamic CONGEST model in which we are given a bandwidth-limited communication network and a dynamic edge labelling defines the problem input. The task is to maintain a solution to a graph problem on the labeled graph under batch changes. We investigate, when a batch of $α$ edge label changes arrive, -- how much time as a function of $α$ we need to update an existing solution, and -- how much information the nodes have to keep in local memory between batches in order to update the solution quickly. Our work lays the foundations for the theory of input-dynamic distributed network algorithms. We give a general picture of the complexity landscape in this model, design both universal algorithms and algorithms for concrete problems, and present a general framework for lower bounds. In particular, we derive non-trivial upper bounds for two selected, contrasting problems: maintaining a minimum spanning tree and detecting cliques.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑