×
劳伦特·费伊洛利;皮埃尔·弗拉吉奥德;胡胡·赫沃宁;阿米·巴斯;莫尔·佩里

分布式证明中的冗余。 （英语） Zbl 1510.68024号

分布计算。 34，编号2113-132（2021）.
摘要：分布式证明是一种机制，它使网络的节点能够在网络结构（例如，具有特定直径）或节点上分布的对象（例如，生成树）上集体高效地检查布尔谓词的正确性。我们考虑由两部分组成的众所周知的机制：校准仪分配证明书每个节点，以及一个称为验证器负责验证所有证书集合形成的分布式证明。我们表明，许多网络谓词都具有分布式证明，可以显式或隐式地提供高度冗余。我们利用分布式证明的这一显著特性，在证书的大小存储在每个节点上，并且轮数验证协议。

引用于5文件

MSC公司：

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

关键词：

分布式验证;分布式图算法;证明标记方案;时空权衡;不确定性
PDF格式BibTeX公司 XML格式引用
\textit{L.Feuilloley}等人，《分布计算》。34，编号2，113--132（2021；Zbl 1510.68024）
全文： 内政部 arXiv公司

参考文献：

[1] Abboud，A.，Censor-Hillel，K.，Khoury，S.：分布式距离计算的近线性下限，即使在稀疏网络中也是如此。摘自：第30届分布式计算国际研讨会（DISC），第29-42页（2016年）。arXiv:1901.01630·Zbl 1393.68129号
[2] Afek，Y。；Dolev，S.，局部稳定器，J.平行分布计算。，62, 5, 745-765 (2002) ·Zbl 1004.68212号 ·doi:10.1006/jpdc.2001.1823
[3] Afek，Y。；库顿，S。；Yung，M.，局部检测范式及其在自稳定中的应用，Theor。计算。科学。，186, 1, 199-229 (1997) ·Zbl 0893.68073号 ·doi:10.1016/S0304-3975（96）00286-1
[4] Arfaoui，H.、Fraignaud，P.、Ilcinkas，D.、Mathieu，F.：分布式测试无循环性。摘自：第40届计算机科学图形理论概念国际研讨会（WG），第8747卷，LNCS，Springer，第15-28页（2014）·Zbl 1417.68278号
[5] Arfaoui，H.、Fraignaud，P.、Pelc，A.：有界输出的局部决策和验证。摘自：第15届分布式系统稳定、安全与保障研讨会，第8255卷，LNCS，Springer，第133-147页（2013）
[6] Awerbuch，B.，Ostrovsky，R.：高效记忆和自稳定网络重置（扩展摘要）。摘自：《第十三届ACM分布式计算原理研讨会论文集》，PODC’94，ACM，美国纽约州纽约市，第254-263页（1994）·Zbl 1373.68059号
[7] Awerbuch，B.，Patt Shamir，B.，Varghese，G.：通过局部检查和校正实现自我稳定。摘自：第32届计算机科学基础研讨会（FOCS），IEEE，pp.268-277（1991）
[8] Balliu，A.、D'Angelo，G.、Fraignaud，P.、Olivetti，D.：什么可以在当地验证？摘自：第34届计算机科学理论方面研讨会（STACS），第66卷，LIPIcs，第8:1-8:13页（2017）·Zbl 1398.68166号
[9] Bampas，E.，Ilcinkas，D.：关于移动代理可验证问题。摘自：第十二届拉丁美洲理论信息学研讨会（拉丁语），LNCS，第9644卷，Springer，第123-137页（2016年）·Zbl 1415.68106号
[10] Beauquier，J。；德莱特，S。；多列夫，S。；Tixeuil，S.，瞬态故障检测器，分布式计算。，20, 1, 39-51 (2007) ·Zbl 1266.68062号 ·文件编号：10.1007/s00446-007-0029-x
[11] Blin，L.，Fraignaud，P.：约束生成树的空间最优时间效率沉默自稳定结构。摘自：第35届分布式计算系统国际会议（ICDCS），IEEE，第589-598页（2015）
[12] Blin，L.，Fraignaud，P.，Patt-Shamir，B.：关于证明标记方案与沉默自稳定算法的比较。摘自：第16届分布式系统稳定、安全与保障国际研讨会，LNCS，Springer，第18-32页（2014）
[13] 审查员-希尔，K。；Paz，A。；Perry，M.，近似证明标记方案，Theor。计算。科学。，811, 112-124 (2020) ·Zbl 1437.68193号 ·doi:10.1016/j.tcs.2018.08.020
[14] Chi-Chih Yao，A.：与分布式计算相关的一些复杂性问题。摘自：第11届计算机理论研讨会（STOC），ACM，第209-213页（1979）
[15] Crescenzi，P.、Fraignaud，P.和Paz，A.：分布式交互证明的权衡。摘自：第33届分布式计算国际研讨会（DISC），第13:1-13:17页（2019年）·兹比尔1515.68140
[16] Das Sarma，A。；霍尔泽，S。；科尔·L。；科尔曼，A。；Nanongkai，D。；潘杜拉根，G。；佩莱格，D。；Wattenhofer，R.，分布式近似的分布式验证和硬度，SIAM J.Compute。，41235-1265（2012年）·Zbl 1259.68227号 ·数字对象标识码：10.1137/1085178X
[17] Elkin，M.：分布式最小生成树问题时间近似折衷的无条件下界。摘自：第36届美国计算机学会计算理论研讨会（STOC）论文集，第331-340页（2004）·Zbl 1192.68319号
[18] Feuilloley，L.，Fraignaud，P.：分布式决策的调查。In:EATCS公报，第119卷（2016年）·兹比尔1409.68043
[19] Feuilloley，L.，Fraignaud，P.：错误敏感的证明标签方案。在：第31届分布式计算国际研讨会（DISC），第16:1-16:15页（2017）·Zbl 1515.68079号
[20] Feuilloley，L.、Fraignaud，P.、Hirvonen，J.：地方决策的层次结构。摘自：第43届国际自动化、语言和编程学术讨论会（ICALP），LIPIcs，第118:1-118:15页（2016）·Zbl 1388.68062号
[21] Feuilloley，L.，Fraignaud，P.，Hirvonen，J.，Paz，A.，Perry，M.：分布式证明中的冗余。收录人：Schmid，U.，Widder，J.（eds），第32届分布式计算国际研讨会，DISC 2018，美国洛杉矶新奥尔良，2018年10月15-19日，第121卷，LIPIcs，Schloss Dagstuhl-Leibniz Zentrum für Informatik，pp.24:1-24:18（2018）·Zbl 1497.68297号
[22] Foerster，K-T；Luedi，T。；塞德尔，J。；Wattenhofer，R.，局部可检查性，无附加字符串：（a）sdns中的循环性、可达性、无循环更新，Theor。计算。科学。，709, 48-63 (2018) ·Zbl 1382.68017号 ·doi:10.1016/j.tcs.2016.11.018
[23] Fraignaud，P。；科尔曼，A。；Peleg，D.，面向局部分布式计算的复杂性理论，J.ACM，60，5，35（2013）·Zbl 1281.68133号 ·doi:10.1145/2499228
[24] Fraigniaud，P。；巴特·沙米尔，B。；Perry，M.，《随机证明标记方案》，《分布式计算》。，32, 3, 217-234 (2019) ·Zbl 1452.68024号 ·doi:10.1007/s00446-018-0340-8
[25] Fraignaud，P。；Pelc，A.，移动代理计算的决策类，J.Parallel Distribute.Compute。，109, 117-128 (2017) ·doi:10.1016/j.jpdc.2017.04.003文件
[26] Fraignaud，P.，Rajsbaum，S.，Travers，C.：使用良好的拟序最小化容错分布式决策的意见数量。摘自：第十二届拉丁美洲理论信息学研讨会（拉丁语），斯普林格，第497-508页（2016年）·Zbl 1475.68205号
[27] Fraignaud，P.、Rajsbaum，S.、Travers，C.、Kuznetsov，P.和Rieutord，T.：用极少的比特实现完美的故障检测。摘自：第18届分布式系统稳定、安全与保障国际研讨会，LNCS 10083，Springer，pp.154-169（2016）·Zbl 1425.68040号
[28] Frischknecht，S.、Holzer，S.和Wattenhofer，R.：网络无法在次线性时间内计算其直径。摘自：第23届离散算法研讨会（SODA），ACM-SIAM，第1150-1162页（2012）·兹比尔1421.68127
[29] RG Gallager；宾夕法尼亚州Humblet；Spira，PM，最小权生成树的分布式算法，ACM Trans。程序。语言系统。（托普拉斯），5，1，66-77（1983）·Zbl 0498.68040号 ·数字对象标识代码：10.1145/357195.357200
[30] 哥尔斯，M。；Suomela，J.，分布式计算中的局部可检查证明，理论计算。，12, 1, 1-33 (2016) ·Zbl 1401.68085号
[31] Itkis，G.，Levin，L.：快速和精简的自稳定异步协议。摘自：第35届计算机科学基础年度研讨会论文集，SFCS’94，IEEE计算机学会，美国华盛顿特区，第226-239页（1994）
[32] Itkis，G.，Levin，L.A.：快速和精简的自稳定异步协议。摘自：第35届计算机科学基础研讨会（FOCS），IEEE，第226-239页（1994）
[33] Kol，G.，Oshman，R.，Saxena，R.R.：交互式分布式证明。摘自：2018年ACM分布式计算原理研讨会论文集，PODC，pp.255-264（2018）·Zbl 1428.68156号
[34] Korhonen，J.H.，Suomela，J.：简短声明：面向拥挤集团的复杂性理论。摘自：第31届分布式计算国际研讨会（DISC），第55:1-55:3页（2017年）
[35] 科尔曼，A。；Kutten，S.，最小生成树的分布式验证，分布式计算。，20, 253-266 (2007) ·Zbl 1266.68217号 ·doi:10.1007/s00446-007-0025-1
[36] 科尔曼，A。；库顿，S。；Masuzawa，T.，MST的快速紧凑自稳定验证、计算和故障检测，分布式计算。，28, 4, 253-295 (2015) ·兹比尔1337.68040 ·doi:10.1007/s00446-015-0242-y
[37] 科尔曼，A。；库顿，S。；Peleg，D.，证明标签方案，分布式计算。，22, 4, 215-233 (2010) ·Zbl 1267.68061号 ·doi:10.1007/s00446-010-0095-3
[38] Kushilevitz，E。；Nisan，N.，《通信复杂性》（1997），纽约：剑桥大学出版社，纽约·Zbl 0869.68048号
[39] Mitzenmacher，M。；Upfal，E.，《概率与计算：随机算法与概率分析》（2005），剑桥：剑桥大学出版社，剑桥·Zbl 1092.60001号 ·doi:10.1017/CBO9780511813603
[40] Naor，M.、Parter，M.和Yogev，E.：分布式验证器在交互式证明中的威力。摘自：《2020年ACM-SIAM离散算法研讨会论文集》，SODA，第1096-115页（2020）·Zbl 1517.68134号
[41] Ostrovsky，R.，Perry，M.，Rosenbaum，W.：分布式验证的时空权衡。摘自：第24届结构信息与通信复杂性国际学术讨论会（SIROCCO），第53-70页（2017年）·Zbl 1496.68042号
[42] Patt-Shamir，B.，Perry，M.：防标签方案：广播、单播和中间。摘自：第19届分布式系统（SSS）稳定性、安全性和安全性国际研讨会，LNCS 10616，Springer，第1-17页（2017）·Zbl 1498.68023号
[43] Peleg，D.，《分布式计算：对位置敏感的方法》（2000），费城：SIAM，费城·Zbl 0959.68042号 ·数字对象标识代码：10.1137/1.9780898719772
[44] Peleg，D.，Rubinovich，V.：分布式MST构造时间复杂性的近紧下限。摘自：第40届计算机科学基础研讨会（FOCS），IEEE，第253-261页（1999）
[45] JD乌尔曼；Yannakakis，M.，《高概率并行传递闭包算法》，SIAM J.Comput。，20, 1, 100-125 (1991) ·Zbl 0716.68041号 ·doi:10.1137/0220006
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。