×
Dan Alistarh;詹姆斯·阿斯彭斯;埃伦·费思;拉蒂·格拉什维利;朱乐奇

为什么基于扩展的证明会失败。 （英语） Zbl 07725040号

SIAM J.计算。 52，第4期，913-944（2023年）.
摘要：我们介绍了基于扩展的证明，这是一类包含配价参数的不可能性证明。它们被建模为证明程序和协议之间的交互。利用基于组合拓扑的证明，证明了不可能确定地求解（n>k\geq2）过程之间的（k）集一致性或（n>2）过程中长度为4的圈的近似一致性异步模型中的进程以无等待方式进行通信，其中进程使用可以从共享寄存器构造的对象进行通信。然而，基于简单技术的证明是否可行尚不清楚。我们表明，在迭代快照模型中，这些不可能性结果不能通过基于扩展的证明获得，因此，基于扩展的证据的能力有限。

MSC公司：

2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

设定协议;不可能性证明;价变元
PDF格式BibTeX公司 XML格式引用
\textit{D.Alistarh}等人，SIAM J.Compute。52，编号4，913--944（2023；Zbl 07725040）
全文： 内政部

参考文献：

[1] Abrahamson，K.，《关于使用共享内存达成共识》，载于1988年第七届ACM分布式计算原理年度研讨会论文集，第291-302页。
[2] Afek，Y.、Attiya，H.、Dolev，D.、Gafni，E.、Merritt，M.和Shavit，N.，《共享内存的原子快照》，J.ACM，40（1993），第873-890页·Zbl 0783.68029号
[3] Alistarh，D.、Aspnes，J.、Ellen，F.、Gelashvili，R.和Zhu，L.，《为什么基于扩展的证明会失败》，载于2019年第51届ACM计算理论研讨会（STOC）论文集，第986-996页·Zbl 1433.68052号
[4] Alistarh，D.、Aspnes，J.、Ellen，F.、Gelashvili，R.和Zhu，L.，《简要声明：为什么基于扩展的证明会失败》，载于《2020年第39届ACM分布式计算原理研讨会论文集》，第54-56页·Zbl 07323169号
[5] Alistarh，D.、Ellen，F.和Rybicki，J.，《关于图的无等待近似协议》，载于《第28届结构信息和通信复杂性国际学术讨论会（SIROCCO）会议记录》，2021年，第87-105页·Zbl 07495135号
[6] Attiya，H.和Castañeda，A.，《（k）set协议不可能的非拓扑证明》，载于《第十三届分布式系统稳定、安全与保障国际研讨会论文集》，2011年，第108-119页。
[7] Attiya，H.、Castañeda，A.和Rajsbaum，S.，《局部可解任务和化合价论证的局限性》，载于《第24届分布式系统原理国际会议论文集》，2020年，第18:1-18:16页。
[8] Attiya，H.和Ellen，F.，《分布式计算的不可能结果》，分布式计算理论综合讲座，Morgan&Claypool出版社，2014年·Zbl 1396.68004号
[9] Attiya，H.和Paz，A.，《基于计数的重命名和集合一致性不可能性证明》，第26届分布式计算国际研讨会（DISC）会议记录，2012年，第356-370页·Zbl 1377.68031号
[10] Attiya，H.和Rajsbaum，S.，无等待可解任务的组合结构，SIAM J.Compute。，31（2002），第1286-1313页，doi:10.1137/S0097539797330689·Zbl 1015.68080号
[11] Bachrach，N.、Censor Hillel，K.、Dory，M.、Efron，Y.、Leitersdorf，D.和Paz，A.，分布式优化的硬度，发表在2019年第38届ACM分布式计算原理年度研讨会论文集，第238-247页·Zbl 07298681号
[12] Borowsky，E.和Gafni，E.，t-弹性异步计算的广义FLP不可能性结果，第25届ACM计算理论研讨会论文集，1993年，第91-100页·Zbl 1310.68078号
[13] Borowsky，E.和Gafni，E.，即时原子快照和快速重命名（扩展摘要），第12届ACM分布式计算原理研讨会论文集，1993年，第41-51页·Zbl 1373.68078号
[14] Borowsky，E.和Gafni，E.，《无等待计算的简单算法推理表征》，载于1997年第16届ACM分布式计算原理研讨会论文集，第189-198页·Zbl 1374.68063号
[15] Brusse，K.和Ellen，F.，《基于约简和扩展的证明》，第40届ACM分布式计算原理研讨会论文集，2021年，第497-507页。
[16] Castañeda，A.和Rajsbaum，S.，重命名的新组合拓扑边界：下限，Distrib.Comput。，22（2010年），第287-301页·兹比尔1231.68068
[17] Castañeda，A.、Rajsbaum，S.和Roy，M.，无等待机器人图的收敛和覆盖，J.Braz。计算。Soc.，24（2018），1。
[18] Chaudhuri，S.，《更多选择允许更多错误：在完全异步系统中设置共识问题》，Inform。和计算。，105（1993），第132-158页·Zbl 0776.68016号
[19] Chaudhuri，S.、Herlihy，M.、Lynch，N.A.和Tuttle，M.R.，《（k）集协议的严格界限》，J.ACM，47（2000），第912-943页·Zbl 1320.68034号
[20] Chor，B.、Israel，A.和Li，M.，《使用异步硬件进行处理器协调》，载于《第六届ACM分布式计算原理研讨会论文集》，1987年，第86-97页。
[21] Ellen，F.、Gelashvili，R.和Zhu，L.，《修正主义模拟：证明空间下限的新方法》，载于2018年第37届ACM分布式计算原理研讨会论文集，第61-70页·Zbl 1428.68065号
[22] Fischer，M.J.、Lynch，N.A.和Paterson，M.S.，《一个错误过程不可能达成分布式共识》，J.ACM，32（1985），第374-382页·Zbl 0629.68027号
[23] Herlihy，M.，无等待同步，ACM Trans。程序。语言系统。，13（1991），第124-149页。
[24] Herlihy，M.、Luchangco，V.和Moir，M.，《无障碍同步：以双排队为例》，载《第23届分布式计算系统国际会议论文集》，2003年，第522-529页。
[25] Herlihy，M.、Rajsbaum，S.和Tuttle，M.R.，同步消息传递和拓扑概述，电子。注释Theor。计算。科学。，39（2001），第1-17页·兹比尔0970.68061
[26] Herlihy，M.、Rajsbaum，S.和Tuttle，M.R.，计算同步和异步系统连接性的公理方法，Electron。注释Theor。计算。科学。，230（2009年），第79-102页·Zbl 1339.68307号
[27] Herlihy，M.和Shavit，N.，《异步可计算性的拓扑结构》，J.ACM，46（1999），第858-923页·Zbl 1161.68469号
[28] Hoest，G.和Shavit，N.，《关于异步复杂性的拓扑表征》，SIAM J.Compute。，36（2006），第457-497页，doi:10.1137/S0097539701397412·Zbl 1112.68062号
[29] Liu，S.，《在更大类的图上不可能达成近似一致》，载于《第26届分布式系统原理国际会议论文集》（OPODIS），2022年，第22:1-22:20页。
[30] Loui，M.C.和Abu-Amara，H.H.，《不可靠异步进程之间协议的内存要求》，载于《计算研究进展》，第4卷，日本工业出版社，1987年，第163-183页。
[31] Moses，Y.和Rajsbaum，S.，《共识的分层分析》，SIAM J.Comput。，31（2002），第989-1021页，doi:10.1137/S0097539799364006·Zbl 1015.68079号
[32] Pitassi，T.、Beame，P.和Impagliazzo，R.，鸽子洞原理的指数下限，计算。《复杂性》，3（1993），第97-140页·兹比尔0784.03034
[33] Galeana，H.Rincon，Winkler，K.，Schmid，U.和Rajsbaum，S.，《分区参数的拓扑视图：将K集协议化为共识》，载于《第21届分布式系统稳定、安全与安全国际研讨会（SSS）论文集》，2019年，第307-322页。
[34] Saks，M.和Zaharoglou，F.，《无等待k-集协议是不可能的：公共知识的拓扑》，SIAM J.Compute。，29（2000），第1449-1483页，doi:10.1137/S0097539796307698·Zbl 0952.68159号
[35] Sheng，Y.和Ellen，F.，同步消息传递的基于扩展的证明，第35届分布式计算国际研讨会（DISC）论文集，2021年，第36:1-36:17页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。