×

人口协议中的并行时间。 (英语) Zbl 1529.68054号

摘要:并行时间人口协议的数量定义为协议中代理参与的所需交互的平均数量,即协议所需交互总数与代理总数之间的商,或只是所需轮数的大致值,其中代表连续交互的序列。这种命名引发了一种直觉,即至少需要足够多的并行步骤来实现一轮(O(1))。在单个并行步骤中,只能涉及相互独立的交互。我们证明,当人口协议的转移函数被视为一个黑盒时,实现轮次所需的最大并行步骤数是(Omega(\frac{\logn}{\log\logn{))。我们还提供了一个组合论证,证明了在附加假设下,预期并行步骤数的匹配上界。此外,我们还扩展了这些边界,表明对于\(m=\Omega(n\logn)\)交互序列,情况会发生显著变化。然后,在上述附加假设下,实现此类序列所需的预期并行步骤数为(Theta(\frac{m}{n}))。因此,它渐近地符合并行时间的概念,即,由解决任何需要(Omega(n\log n))交互的非平凡问题的协议产生的交互序列。

MSC公司:

68米14 分布式系统
65年第68季度 算法和问题复杂性分析
68兰特 计算机科学中的图论(包括图形绘制)
68瓦20 随机算法
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aho,A.V。;霍普克罗夫特,J.E。;Ullman,J.,《计算机算法的设计与分析》(1974),Addison-Wesley出版社:Addison-Whesley出版社阅读·Zbl 0326.68005号
[2] Al-Haj Baddar,西南部。;Mahafzah,B.A.,链式三叉树互连网络上的Bitonic排序,J.Parallel Distrib.Comput。,74, 1, 1744-1761 (2014)
[3] Alistarh,D。;Gelashvili,R.,人口协议的最新算法进展,SIGACT新闻,49,3,63-73(2018年10月)
[4] 安格鲁因,D。;Aspnes,J。;迪亚马迪,Z。;费舍尔,M.J。;Peralta,R.,《被动移动有限状态传感器网络中的计算》,《分布式计算》。,18, 4, 235-253 (2006) ·Zbl 1266.68042号
[5] Arya,S。;戈林,M.J。;Mehlhorn,K.,《关于随机电路的预期深度》,Comb。普罗巴伯。计算。,8, 3, 209-228 (1999) ·Zbl 0941.68001号
[6] Aspnes,J。;Ruppert,E.,人口协议简介,公牛。欧洲协会。计算。科学。,93, 98-117 (2007) ·Zbl 1169.68326号
[7] Berenbrink,P。;Giakkoupis,G。;Kling,P.,《人口协议中的最佳时间和空间领导者选举》(Proc.STOC(2020)),119-129·Zbl 07298235号
[8] Berenbrink,P。;锤子,D。;Kaaser,D。;美国迈耶。;Penschuck,M。;Tran,H.,《模拟每次交互在亚恒定时间内的种群协议》(《欧洲航天局公报》(2020年)),16:16:22·Zbl 07651155号
[9] 迪亚斯,J。;塞尔纳,M.J。;Spirakis,P。;Torán,J.,《关于布尔电路的预期深度》(1994年),卡拉鲁尼亚·鲍加加洛大学,Longuatges i Sistemes部门:卡拉鲁尼娅·鲍加洛大学Bau Gargallo 5,巴塞罗那,报告LSI-94-7-R
[10] Elsässer,R。;Radzik,T.,《精确多数和领导人选举人口方案的最新结果》,布尔。欧洲协会。计算。科学。,126, 32-64 (2018) ·Zbl 1428.68047号
[11] Gonnet,G.H.,哈希码搜索中最长探测序列的预期长度,J.Assoc.Compute。机器。,28, 2, 289-304 (1981) ·兹比尔0456.68067
[12] 格西涅茨,L。;Stachowiak,G.,《增强相位时钟、人口协议和快速空间最优领导选举》,J.Assoc.Compute。机器。,68,1(2020年),第2条
[13] Raap,M.,“将球放入箱子”-一个简单而严密的分析,(计算机科学中随机和近似技术国际研讨会论文集。计算机科学中的随机和近似方法国际研讨会论文集中,RANDOM 1998。计算机科学中随机和近似技术国际研讨会论文集。计算机科学中随机和近似技术国际研讨会论文集,RANDOM 1998,计算机科学讲稿(1998),159-170·Zbl 0928.60001号
[14] Shang,Y.,关于非均匀随机图中多数动力学的注记,结果数学。,76, 119 (2021) ·Zbl 1467.05247号
[15] 瓦尔盖塞,G。;张伯伦,R。;Weihl,W.,从保守模拟协议导出全局虚拟时间算法,Inf.Process。莱特。,54, 2, 121-126 (1995) ·Zbl 0875.68970号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。