×
阿里·马什利吉;瓦莱丽·金

在异步CONGEST模型中使用\（o（m）\）消息广播和最小生成树。 （英语） Zbl 1522.68733号

分布计算。 34，第4期，283-299（2021）.
摘要：我们提供了第一个异步分布式算法，用于计算具有（n）个节点和（m）个边的足够稠密图中具有（o（m））个通信比特的广播树和最小生成树。几十年来，人们一直认为，构建广播树的任何算法都需要（varOmega（m））位通信。2015年，King、Kutten和Thorup表明，在KT1模型中，节点对其邻居的身份有初步了解，因此可以在同步CONGEST模型中的消息中构造MST。在CONGEST模型中，消息的大小为\（O（\log n）\）。然而，对于异步情况，没有已知的带有\（o（m）\）消息的算法。这里，我们提供了一个算法，它使用\（O（n^{3/2}\log^{3/2]n）消息在异步CONGEST模型中查找MST。我们的算法是随机蒙特卡罗算法，以高概率输出MST。我们将提供一个算法，用于计算具有\（O（n^{3/2}\log^{3/2]n）消息的生成树。给定一棵生成树，我们可以用\（tilde{O}（n）\）消息计算MST。

引用于2文件

MSC公司：

68宽15 分布式算法
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

分布式计算;最小生成树;广播树
PDF格式BibTeX公司 XML格式引用
\textit{A.Mashreghi}和\textit{V.King}，分布式计算。34，第4号，283--299（2021；Zbl 1522.68733）
全文： 内政部 arXiv公司

参考文献：

[1] Ahn，K.J.，Guha，S.，McGregor，A.：图形草图：稀疏化、扳手和子图。摘自：第31届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集，第5-14页。ACM（2012年）
[2] Awerbuch，B.，《网络同步的复杂性》，J ACM，32，4，804-823（1985）·Zbl 0628.68045号 ·doi:10.11145/4221.4227
[3] Awerbuch，B.：最小重量生成树、计数、领导选举和相关问题的最佳分布式算法。摘自：第十九届ACM计算理论研讨会论文集，第230-240页。ACM（1987）
[4] Awerbuch，B。；Goldreich，O。；Vainish，R.，《广播的信息复杂性：基本下限》（1987），剑桥：麻省理工学院计算机科学实验室，剑桥
[5] Awerbuch，B。；Goldreich，O。；维尼什，R。；Peleg，D.，广播协议中信息和通信之间的权衡，J ACM，37，2，238-256（1990）·Zbl 0696.68020号 ·doi:10.1145/77600.77618
[6] Awerbuch，B。；库顿，S。；Mansour，Y。；巴特·沙米尔，B。；Varghese，G.，使用相位时钟的时间最优自稳定同步器，IEEE Trans可靠安全计算，4，3，180-190（2007）·doi:10.1109/TDSC2007.1007
[7] Awerbuch，B.，Peleg，D.：具有多对数开销的网络同步。1990年，第31届计算机科学基础年会。诉讼程序。，第514-522页。IEEE（1990）
[8] Chin，F.，Ting，H.：最小重量生成树的几乎线性时间和o（nlogn+e）消息分布式算法。摘自：第26届计算机科学基础年会，第257-266页。IEEE（1985）
[9] Elkin，M.：用于构建最小生成树的更快的分布式协议。摘自：第十五届ACM-SIAM离散算法年会论文集，第359-368页。工业和应用数学学会（2004）·Zbl 1317.68016号
[10] Elkin，M.，分布式最小生成树问题时间近似权衡的无条件下界，SIAM J.Comput。，36, 2, 433-456 (2006) ·Zbl 1116.05077号 ·doi:10.1137/S0097539704441058
[11] Elkin，M.：同步器，扳手。收录于：高明扬（编）《算法百科全书》，第1-99页。施普林格（2008）
[12] Elkin，M.：次线性时间中的分布精确最短路径。摘自：第49届ACM SIGACT计算机理论年会论文集，STOC 2017，第757-770页。ACM，美国纽约州纽约市（2017年）。doi:10.1145/305539.3055452·Zbl 1369.68344号
[13] Elkin，M.：一种简单的确定性分布式mst算法，具有接近最佳的时间和消息复杂性。arXiv预印arXiv:1703.02411（2017）·Zbl 1380.68421号
[14] Emek，Y.，Korman，A.：分布式环境中的高效阈值检测。摘自：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，第183-191页。ACM（2010）·Zbl 1315.68149号
[15] Faloutsos，M.，Molle，M.：最小生成树的最优分布式算法。摘自：第十四届ACM分布式计算原理研讨会论文集，第231-237页。ACM（1995）·兹比尔1373.68447
[16] Gafni，E.：两种消息优化选举算法时间复杂度的改进。摘自：第四届ACM分布式计算原理年会论文集，第175-185页。ACM（1985）
[17] RG Gallager；宾夕法尼亚州Humblet；Spira，PM，最小权生成树的分布式算法，ACM Trans。程序。语言系统。，5, 1, 66-77 (1983) ·Zbl 0498.68040号 ·数字对象标识代码：10.1145/357195.357200
[18] JA加雷；库顿，S。；Peleg，D.，最小重量生成树的次线性时间分布算法，SIAM J.Compute。，27, 1, 302-316 (1998) ·Zbl 0911.05052号 ·网址：10.1137/S0097539794261118
[19] Ghaffari，M.，Kuhn，F.：分布式MST和广播，消息更少，八卦速度更快。摘自：Schmid，U.，Widder，J.（编辑），第32届分布式计算国际研讨会（DISC 2018）。莱布尼茨国际信息学论文集，第121卷，第30:1-30:12页。德国Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2018年）。doi:10.4230/LIPIcs。DISC2018.30。http://drops.dagstuhl.de/opus/volltexte/2018/9819 ·Zbl 1497.68564号
[20] Gmyr，R.，Pandurangan，G.：分布式算法中的时间消息权衡。收录于：Schmid，U.，Widder，J.（eds.）第32届分布式计算国际研讨会（DISC 2018），莱布尼茨国际信息学论文集（LIPIcs），第121卷，第32:1-32:18页。德国Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2018年）。doi:10.4230/LIPIcs。DISC2018.32。http://drops.dagstuhl.de/opus/volltexte/2018/9821 ·兹比尔1497.68565
[21] Kapron，B.M.，King，V.，Mountjoy，B.：多对数最坏情况下的动态图连通性。摘自：第二十四届ACM-SIAM离散算法年会论文集，第1131-1142页。工业和应用数学学会（2013）·Zbl 1423.68345号
[22] King，V.，Kutten，S.，Thorup，M.：使用o（M）通信在分布式网络中构建和临时修复mst。摘自：2015年ACM分布式计算原理研讨会论文集，第71-80页。ACM（2015）·Zbl 1333.68213号
[23] 库顿，S。；潘杜拉根，G。；佩莱格，D。；罗宾逊，P。；Trehan，A.，《论领导人选举的复杂性》，J.ACM，62，1，7（2015）·兹比尔1321.68285 ·doi:10.1145/2699440
[24] Kutten，S.，Peleg，D.：k-支配集的快速分布式构造和应用。摘自：第十四届ACM分布式计算原理研讨会论文集，第238-251页。ACM（1995）·Zbl 1376.68161号
[25] Mashreghi，A.，King，V.：最小生成树构造的时间通信权衡。摘自：《第18届分布式计算和网络国际会议论文集》，第8页。ACM（2017）
[26] Mashreghi，A.，King，V.：简要声明：使用次线性通信实现更快的异步mst和低直径树构建。第33届分布式计算国际研讨会（DISC 2019）。Schloss Dagstuhl Leibniz Zentrum fuer Informatik出版社（2019）
[27] Mashreghi，A.，King，V.：使用次线性通信实现更快的异步mst和低直径树构建。arXiv预印本arXiv:1907.12152（2019）
[28] Pandurangan，G.，Robinson，P.，Scquizzato，M.：最小生成树的时间和消息优化分布式算法。摘自：第49届ACM SIGACT计算机理论年会论文集，第743-756页。ACM（2017）·Zbl 1370.68319号
[29] 佩莱格，D。；Rubinovich，V.，分布式最小权生成树构造时间复杂性的近紧下限，SIAM J.Compute。，1427-1442年5月30日（2000年）·Zbl 0973.05074号 ·doi:10.1137/S00975397000369740
[30] Peleg，D.，Ullman，J.D.：超立方体的最佳同步器。摘自：第六届ACM分布式计算原理年度研讨会论文集，第77-85页。ACM（1987）·Zbl 0681.68091号
[31] 萨马，AD；霍尔泽，S。；科尔·L。；科尔曼，A。；Nanongkai，D。；潘杜拉根，G。；佩莱格，D。；Wattenhofer，R.，分布式近似的分布式验证和硬度，SIAM J.Compute。，41, 5, 1235-1265 (2012) ·Zbl 1259.68227号 ·数字对象标识码：10.1137/1085178X
[32] 辛格，G。；AJ Bernstein，《高度异步最小生成树协议》，Distrib.Comput。，151-161年8月3日（1995年）·Zbl 1448.68475号 ·doi:10.1007/BF02242717
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。