克伦·希尔审查员;谢尔·科恩;盖尔斯，兰;加尔州塞拉 完全缺陷网络中的分布式计算。 （英语） Zbl 07768674号 分布式计算。 36，第4期，501-528（2023）; 更正同上，第36号，第4，529（2023）。 总结：我们解决完全有缺陷异步网络，其中所有链路都会受到无限数量的更改错误的影响，这意味着全部的网络中的消息可能已完全损坏。尽管人们可能会直觉地认为这样的设置对于任何可靠的通信来说都过于苛刻，但我们展示了如何在任何完全有缺陷的设置上模拟无噪音设置的任何算法，假设网络是2边连接的。我们证明了如果网络不是2边连通的，则在完全缺陷设置下不可能进行非平凡计算。我们利用的2-边连通图的关键结构属性是存在一个贯穿所有节点的定向（非简单）循环（Robbins，Am.Math.Mon.，1939）。我们技术贡献的核心是在完全有缺陷的网络中构建这样一个Robbins循环，并展示如何通过它进行通信，尽管存在完全的消息损坏。这些是通过内容愉快的方式，因为节点必须忽略接收到的消息的内容。 引用于1审查 MSC公司： 64岁以下 分布式系统 68宽15 分布式算法 PDF格式BibTeX公司 XML格式引用 \textit{K.Censor-Hillel}等人，《分布计算》。36，编号4，501--528（2023；Zbl 07768674） 全文： 内政部 arXiv公司 参考文献： [1] Aggarwal，A.，Dani，V.，Hayes，T.P.，Saia，J.：发送带有未知噪音的消息。摘自：《第19届分布式计算和网络国际会议论文集》，ICDCN’18。计算机协会（2018）。数字对象标识代码：10.1145/3154273.3154318 [2] Aggarwal，A.，Dani，V.，Hayes，T.P.，Saia，J.：一种用于与私人渠道进行多方交互通信的可扩展算法。摘自：《第21届分布式计算和网络国际会议论文集》，ICDCN 2020。计算机协会（2020年）。doi:10.1145/33697740.3369771·Zbl 07298666号 [3] Alon，N。；Braverman，M。；Efremenko，K。；盖尔斯，R。；Haeupler，B.，《高连接噪声网络上的可靠通信》，分布式计算。，32, 6, 505-515 (2019) ·Zbl 1452.68016号 ·文件编号：10.1007/s00446-017-0303-5 [4] Barborak，M。；达布拉，A。；Malek，M.，容错计算中的一致性问题，ACM Comput。Surv公司。（CSur），25，2，171-220（1993）·数字对象标识代码：10.1145/152610.152612 [5] Biely，M.：具有任意节点和链路故障的最佳拜占庭协议算法。摘自：IASTED第十五届并行和分布式计算及系统国际会议，第1卷，第146-151页（2003） [6] Braverman，M。；Efremenko，K。；盖尔斯，R。；Haeupler，B.，《多方交互通信的恒定速率编码是不可能的》，J.ACM，65，1，4:1-4:41（2017）·Zbl 1426.68016号 ·数字对象标识代码：10.1145/3050218 [7] Censor-Hillel，K.，Cohen，S.，Gelles，R.，Sela，G.：完全缺陷网络中的分布式计算。摘自：PODC’22:ACM分布式计算原理研讨会，意大利萨勒诺，2022年7月25-29日，第141-150页（2022年）。数字对象标识代码：10.1145/3519270.3538432 [8] 审查员-希尔，K。；盖尔斯，R。；Haeupler，B.，《使异步分布式计算对噪声鲁棒》，Distrib.Comput。，32, 5, 405-421 (2019) ·Zbl 1451.68040号 ·doi:10.1007/s00446-018-0343-5 [9] Dani，V.，Movahedi，M.，Saia，J.，Young，M.：未知噪声率的交互式通信。摘自：《自动化、语言与编程：第42届国际学术讨论会》，ICALP 2015，日本京都，2015年7月6日至10日，《会议记录》，第二部分，第575-587页。施普林格-柏林（2015）。doi:10.1007/978-3-662-47666-646·Zbl 1403.94051号 [10] Dasgupta，P.，错误接口下的协议，Inf.Process。莱特。，65, 3, 125-129 (1998) ·Zbl 1338.68021号 ·doi:10.1016/S0020-0190（97）00202-0 [11] 多列夫，D.，拜占庭将军再次发动进攻，J.算法，3，1，14-30（1982）·Zbl 0495.68093号 ·doi:10.1016/0196-6774（82）90004-9 [12] Dubrova，E.，容错设计（2013），柏林：施普林格，柏林·Zbl 1261.68001号 ·doi:10.1007/978-1-4614-2113-9 [13] Efremenko，K.，Haramaty，E.，Kalai，Y.T.：具有恒定循环和通信放大的交互式编码。收录于：第11届理论计算机科学创新会议（ITCS 2020），莱布尼茨国际信息学学报（LIPIcs），第151卷，第7:1-7:34页。Dagstuhl-Leibniz-Zentrum fuer Informatik修道院（2020年）。doi:10.4230/LIPIcs。国际贸易术语解释通则2020.7·Zbl 07650355号 [14] 费舍尔，MJ；林奇，NA；Paterson，MS，《一个错误过程不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121 [15] Gelles，R.，《交互式通信编码：一项调查》，Found Trends Theor。计算。科学。，13, 1-2, 1-157 (2017) ·Zbl 1411.94038号 ·doi:10.1561/0400000079 [16] Gelles，R.，Iyer，S.：交互式编码对未知数量的擦除具有弹性。参见：第23届分布式系统原理国际会议（OPODIS 2019），第153卷，第13:1-13:16页。Dagstuhl-Leibniz-Zentrum fuer Informatik修道院（2020年）。doi:10.4230/LIPIcs。鸦片.2019.13·Zbl 07650863号 [17] 盖尔斯，R。；Kalai，YT，恒定速率交互式编码是不可能的，即使在恒定度网络中，IEEE Trans。《信息论》，65，6，3812-3829（2019）·Zbl 1432.94062号 ·doi:10.1109/TIT.2019.2904576 [18] Gelles，R.，Kalai，Y.T.，Ramnarayan，G.：插入、删除和替换的高效多方交互编码。摘自：2019年ACM分布式计算原理研讨会论文集，PODC’19，第137-146页。ACM，纽约（2019年）。数字对象标识代码：10.1145/3293611.3331621·Zbl 07298665号 [19] 盖尔斯，R。；莫伊特拉，A。；Sahai，A.，交互式通信的高效编码，IEEE Trans。《信息论》，60，3，1899-1913（2014）·兹比尔1360.94197 ·doi:10.1109/TIT.2013.2294186 [20] Gong，L.，Lincoln，P.，Rushby，J.：拜占庭认证协议：容忍混合和链接错误的观察和应用。《可靠计算和容错系统》，第10卷，第139-158页。IEEE计算机学会（1995）。http://www.csl.sri.com/papers/dcca95/dcca95.pdf [21] Gray，J.：数据库操作系统注释。在：操作系统，计算机科学讲义，第60卷。柏林施普林格（1978）。doi:10.1007/3-540-08755-99·Zbl 0375.68002号 [22] Hitron，Y.，Parter，M.：广播对抗对手边缘的CONGEST算法。在：Gilbert，S.（编辑）第35届分布式计算国际研讨会，DISC 2021，2021年10月4日至8日，德国弗赖堡（虚拟会议），LIPIcs，第209卷，第23:1-23:19页。Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2021）。doi:10.4230/LPICs。DISC2021.23号文件 [23] Hitron，Y.，Parter，M.：通用CONGEST编译器对抗对手边缘。收录于：Gilbert，S.（ed.）第35届分布式计算国际研讨会，DISC 20212021年10月4日至8日，德国弗莱堡（虚拟会议），LIPIcs，第209卷，第24:1-24:18页。Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2021）。doi:10.4230/LIPIcs。DISC2021.24号文件·Zbl 1473.68015号 [24] Hoza，W.M.，Schulman，L.J.：分布式协议的对抗性噪声阈值。摘自：第二十七届ACM-SIAM离散算法年会论文集，第240-258页（2016年）。doi:10.1137/1.9781611974331.ch18·Zbl 1410.68050号 [25] Jain，A.、Kalai，Y.T.、Lewko，A.：多方协议的交互式编码。摘自：《第六届理论计算机科学创新会议论文集》，ITCS’15，第1-10页（2015）。doi:10.1145/2688073.2688109·Zbl 1366.68044号 [26] Kazmierczak，A。；Radhakrishnan，S.，最佳分布式耳分解算法及其在双连通性和外平面测试中的应用，IEEE Trans。并行分配系统。，11, 2, 110-118 (2000) ·数字对象标识代码：10.1109/71.841748 [27] 科伦，I。；克里希纳，CM，（2020）容错系统（2020），旧金山：摩根考夫曼，旧金山·Zbl 1444.68002号 ·doi:10.1016/B978-0-12-818105-8 [28] Lewko，A.，Vitercik，E.：为多方交互编码平衡通信，arxiv:1503.06381（2015） [29] Lovasz，L.：并行计算耳朵和分支。摘自：第26届计算机科学基础年会，第464-467页（1985年）。doi:10.10109/SFCS1985.16 [30] Parter，M.，Yogev，E.：低拥塞循环覆盖及其应用。Chan，T.M.（编辑）《第三十届ACM-SIAM离散算法年度研讨会论文集》，SODA 2019，美国加利福尼亚州圣地亚哥，2019年1月6日至9日，第1673-1692页。SIAM（2019）。doi:10.1137/1.9781611975482.101·Zbl 1432.68367号 [31] Parter，M.，Yogev，E.：几乎线性时间内的最优短周期分解。参见：第46届国际自动化、语言和编程学术讨论会（ICALP 2019），第132卷，第89:1-89:14页。Dagstuhl-Leibniz-Zentrum fuer Informatik宫（2019年）。doi:10.4230/LIPIcs。ICALP.2019.89年·兹伯利07561582 [32] Pelc，A.，拜占庭式链路故障网络中的可靠通信，网络，22，5441-459（1992）·Zbl 0768.90027号 ·doi:10.1002/net.3230220503 [33] Peleg，D.，《分布式计算：对位置敏感的方法》，Soc.Ind.Appl。数学。(2000) ·Zbl 0959.68042号 ·数字对象标识代码：10.1137/1.9780898719772 [34] KJ佩里；Toueg，S.，《存在处理器和通信故障的分布式协议》，IEEE Trans。柔和。工程师，SE-12，3477-482（1986）·Zbl 0587.68026号 ·doi:10.1109/TSE.1986.6312888 [35] Rajagopalan，S.，Schulman，L.：分布式计算的编码定理。收录于：STOC’94：第二十六届ACM计算理论年会论文集，第790-799页（1994）。数字对象标识代码：10.1145/195058.195462·Zbl 1344.68035号 [36] Ramachandran，V.：图形双连通性和三连通性的并行开耳分解应用程序。收件人：Reif，JH。（编辑）并行算法的综合，第7章。Morgan Kaufmann Publishers Inc.，旧金山（1993）（ISBN:978-1-55860-135-2） [37] Raynal，M.，《容错消息传递分布式系统：算法方法》（2018），Cham:Springer，Cham·Zbl 1423.68011号 ·doi:10.1007/978-3-319-94141-7 [38] 罗宾斯，HE，《关于图的定理及其在交通控制问题上的应用》，《美国数学》。周一。(1939) ·Zbl 0021.35703号 ·doi:10.2307/2303897 [39] Santoro，N.，Widmayer，P.：存在传输故障时的分布式功能评估。摘自：国际算法研讨会，第358-367页。斯普林格（1990）。doi:10.1007/3-540-52921-7885 [40] 赛义德，HM；阿布·阿马拉，M。；Abu-Amara，H.，拜占庭故障链路完整网络的最优异步协议和领导者选举算法，分布式计算。，9, 3, 147-156 (1995) ·Zbl 1448.68158号 ·doi:10.1007/s004460050016 [41] 施密德，美国。；韦斯，B。；Keidar，I.，链路故障下一致性的不可能结果和下限，SIAM J.Compute。，38, 5, 1912-1951 (2009) ·Zbl 1192.68377号 ·doi:10.137/S00975397043999X [42] Schmidt，JM，关于2-顶点和2-边缘连通性的简单测试，Inf.过程。莱特。，113, 7, 241-244 (2013) ·Zbl 1259.05173号 ·doi:10.1016/j.ipl.2013.01.016 [43] Schulman，L.J.：噪声信道上的通信：计算的编码定理。摘自：IEEE计算机科学基础年度研讨会，第724-733页（1992年）。doi:10.1109/SFCS.1992.267778·Zbl 0926.94016号 [44] 舒尔曼，L.J.：交互式通信的确定性编码。收录于：STOC’93：第二十五届ACM计算理论年会论文集，第747-756页。ACM，纽约（1993年）。doi:10.1145/167088.167279·Zbl 1310.68074号 [45] Siu，H-S；下巴，Y-H；Yang，W-P，《存在处理器和链路混合故障的拜占庭协议》，IEEE Trans。并行分配系统。，9, 4, 335-345 (1998) ·数字对象标识代码：10.1109/71.667895 [46] Tsin，Y.，关于寻找分布无向图的耳分解，Inf.过程。莱特。，91, 3, 147-153 (2004) ·Zbl 1192.68849号 ·doi:10.1016/j.ipl.2004.04.004 [47] Whitney，H.，《不可分图和平面图》，Trans。美国数学。《社会学杂志》，34，2，339-362（1932）·Zbl 0004.13103号 ·doi:10.1090/S0002-9947-1932-1501641-2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。