迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 广播共识协议的表达能力。 （英语） Zbl 07649939号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第31条，第16页（2019年）。 摘要：人口协议是由成对交互的相同匿名移动代理进行的正式计算模型。它们的计算能力相当有限：D.安格鲁因等人[摘自：2004年7月25日至28日，加拿大纽芬兰圣约翰，PODC’04，第23届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）。290–299 (2004;Zbl 1321.68058号)]已经表明，他们只能计算在Presburger算法中可表达的\（mathbb{N}^k\）上的谓词。为此，提出了该模型的几个扩展，包括添加称为覆盖时间服务、缺勤检测器和时钟的设备。当输入以一元形式给出时，所有这些扩展都增加了复杂度类NL中谓词类的表达能力。然而，这些设备很难实现，因为它们要求代理以原子方式接收来自未知规模的所有其他代理的消息；此外，代理人必须知道他们都已收到。受验证社区工作的启发E.A.艾默生和K.S.Namjoshi公司1998年6月21日至24日在美国印第安纳波利斯举行的IEEE第十三届计算机科学逻辑年会。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。70–80 (1998;Zbl 0945.68523号)]广播协议，我们表明NL-power也是通过使用可靠的广播扩展人口协议来实现的，这是一种更简单、标准的通信原语。关于整个系列，请参见[Zbl 1423.68023号]。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：人口协议;复杂性理论;计数器;分布式计算 引文：兹比尔1321.68058;Zbl 0945.68523号 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。140，第31条，第16页（2019年；Zbl 07649939） 全文： 内政部 arXiv公司 参考文献： [1] Mehran Abolhasan、Tadeusz A.Wysocki和Eryk Dutkiewicz。移动自组网路由协议综述。特设网络，2（1）：1-222004。doi:10.1016/S1570-8705（03）00043-X·doi:10.1016/S1570-8705（03）00043-X [2] Dan Alistarh、James Aspnes、David Eisenstat、Rati Gelashvili和Ronald L.Rivest。人口协议中的时空权衡。程序中。第二十八届ACM-SIAM离散算法研讨会（SODA），第2560-2579页，2017年。doi:10.1137/1。9781611974782.169. ·Zbl 1410.68118号 ·doi:10.1137/1.9781611974782.169 [3] Dan Alistarh、James Aspnes和Rati Gelashvili。人口协议中的空间最优多数。程序中。第二十届ACM-SIAM离散算法年会（SODA），第2221-2239页，2018年。doi:10.1137/1.9781611975031.144·兹比尔1403.68062 ·doi:10.1137/1.9781611975031.144 [4] Dan Alistarh和Rati Gelashvili。人口协议的最新算法进展。SIGACT新闻，49（3）：63-732018。doi:10.1145/3289137.3289150·Zbl 1403.68062号 ·doi:10.1145/32891137.3289150 [5] 达娜·安格鲁因（Dana Anguin）、詹姆斯·阿斯普内斯（James Aspnes）、佐·迪亚马迪（ZoöDiamadi）、迈克尔·菲舍尔（Michael J.Fischer）和雷内·佩拉塔（Rene Peralta）。被动移动有限状态传感器网络中的计算。程序中。2004年第23届ACM分布式计算原理年会（PODC），第290-299页。doi:10.1145/1011767。1011810. ·Zbl 1321.68058号 ·doi:10.1145/1011767.1011810 [6] 达娜·安格鲁因（Dana Anguin）、詹姆斯·阿斯普内斯（James Aspnes）、佐·迪亚马迪（ZoöDiamadi）、迈克尔·菲舍尔（Michael J.Fischer）和雷内·佩拉塔（Rene Peralta）。被动移动有限状态传感器网络中的计算。分布式计算，18（4）：235-2532006·Zbl 1266.68042号 [7] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯彭斯（James Aspnes）、大卫·艾森斯塔特（David Eisenstat）和埃里克·鲁珀特（Eric Ruppert）。人口协议的计算能力。分布式计算，20（4）：279-3042007。doi:10.1007/s00446-007-0040-2·Zbl 1266.68043号 ·doi:10.1007/s00446-007-0040-2 [8] 詹姆斯·阿斯彭斯（James Aspnes）。定时人口协议。程序中。ACM分布式计算原理研讨会（PODC），第431-440页，2017年·Zbl 1379.68020号 [9] Nathalie Bertrand、Miheer Dewaskar、Blaise Genest和Hugo Gimbert。控制人口。程序中。第28届并行理论国际会议（CONCUR），第85卷，12:1-12:16页，2017年。doi:10.4230/LIPIcs。合同2017年12月·Zbl 1437.68175号 ·doi:10.4230/LIPIcs。合同2017年12月 [10] Michael Blondin、Christoph Haase和Filip Mazowiecki。具有状态的整数向量加法系统的仿射扩展。程序中。第29届并行理论国际会议（CONCUR），第14:1-14:17页，2018年。doi:10.4230/LIPIcs。合同2018年14月·Zbl 1520.68088号 ·doi:10.4230/LPICs。合同2018.14 [11] 德米特里·奇斯蒂科夫（Dmitry Chistikov）、克里斯托夫·哈斯（Christoph Haase）和西蒙·哈尔丰（Simon Halfon）。带整数计数器和重置的无上下文交换文法。理论计算机科学，735:147-1612018。doi:10.1016/j.tcs.2016.06.017·Zbl 1393.68087号 ·doi:10.1016/j.tcs.2016.06.017 [12] 乔治·德尔扎诺（Giorgio Delzanno）、珍妮·弗朗索瓦·拉斯金（Jean-François Raskin）和劳伦特·范·贝京（Laurent Van Begin）。面向多线程Java程序的自动验证。程序中。第八届系统构建和分析工具和算法国际会议（TACAS），第173-187页，2002年。doi:10.1007/3-540-46002-0_13·Zbl 1043.68530号 ·文件编号：10.1007/3-540-46002-0_13 [13] 凯瑟琳·杜福尔德（Catherine Dufourd）、阿兰·芬克尔（Alain Finkel）和菲利普·施诺贝伦（Philippe Schnoebelen）。在可决定性和不可决定性之间重置网络。程序中。第25届国际自动化、语言和编程学术讨论会（ICALP），第103-115页，1998年。doi:10.1007/BFb0055044。31:16广播共识协议的表达能力·Zbl 0909.68124号 ·doi:10.1007/BFb0055044 [14] 罗伯特·埃尔萨瑟（Robert Elsässer）和托马斯·拉齐克（Tomasz Radzik）。精确多数和领导人选举人口协议的最新结果。EATCS公报，2018年第126期·Zbl 1428.68047号 [15] E.艾伦·爱默生（E.Allen Emerson）和凯达尔·南约什（Kedar S.Namjoshi）。关于不确定无限状态系统的模型检验。程序中。第十三届IEEE计算机科学逻辑年会（LICS），第70-80页，1998年。doi:10.1109/LICS.1998.705644·Zbl 0945.68523号 ·doi:10.1109/LICS.1998.705644 [16] 哈维尔·埃斯帕尔扎（Javier Esparza）、阿兰·芬克尔（Alain Finkel）和理查德·迈尔（Richard Mayr）。广播协议的验证。程序中。第14届IEEE计算机科学逻辑年度研讨会（LICS），第352-3591999页。doi:10.1109/LICS.1999.782630·doi:10.1109/LICS.1999.782630 [17] 哈维尔·埃斯帕尔扎、皮埃尔·甘蒂、杰罗姆·勒鲁和鲁帕克·马朱姆达尔。人口协议的验证。信息学学报，54（2）：191-2152017。doi:10.1007/s00236-016-0272-3·Zbl 1364.68081号 ·doi:10.1007/s00236-016-0272-3 [18] 阿兰·芬克尔和杰尔·勒鲁。如何编写Presburger-Accelerations:广播协议的应用程序。程序中。第22届软件技术和理论计算机科学基础会议（FSTTCS），第145-156页，2002年。doi:10.1007/3-540-36206-114·Zbl 1027.68616号 ·doi:10.1007/3-540-36206-1_114 [19] 帕特里克·菲舍尔（Patrick C.Fischer）、阿尔伯特·R·迈耶（Albert R.Meyer）和阿诺德·罗森博格（Arnold L.Rosenberg），《反机器与反语言》（Counter Machines and Counter Languages）。数学系统理论，2（3）：265-2831968·Zbl 0165.32002号 [20] 尼尔·伊梅尔曼。非确定性空间在互补下是封闭的。SIAM计算机杂志，17（5）：935-9381988。doi:10.1137/0217058·Zbl 0668.68056号 ·数字对象标识代码：10.1137/0217058 [21] David Lee和Mihalis Yannakakis。测试有限状态机：状态识别和验证。IEEE计算机汇刊，43（3）：306-3201994。doi:10.1109/12.272431·Zbl 1395.68173号 ·数字对象标识代码：10.1109/12.272431 [22] Othon Michail和Paul G.Spirakis。通过一些最小的全局知识假设终止种群协议。《并行与分布式计算杂志》，81-82:1-102015年。 [23] 克里斯托斯·帕帕迪米特里奥。计算复杂性。学术互联网出版物。，2007 [24] Sylvain Schmitz和Philippe Schnoebelen。井结构系统的力量。程序中。第24届并发理论国际会议，2013年第5-24页。doi:10.1007/978-3642-40184-8_2·Zbl 1390.68488号 ·doi:10.1007/978-3-642-40184-82 [25] 菲利普·施诺贝伦（Philippe Schnoebelen）。有损计数机和重置Petri网的阿克曼硬度修正。程序中。第35届计算机科学数学基础国际研讨会（MFCS），第616-628页，2010年。doi:10.1007/978-3642-15155-2_54·Zbl 1287.68059号 ·doi:10.1007/978-3642-15155-2_54 [26] 罗德·斯泽莱普塞尼伊（Róbert Szelepcsényi）。非确定性自动机的强制枚举方法。信息学报，26（3）：279-2841988。doi:10.1007/BF00299636·兹伯利0638.68046 ·doi:10.1007/BF00299636 [27] Jannis Uhlendorf、Agnès Miermont、Thierry Delavau、Gilles Charvin、François Fages、Samuel Bottani、Pascal Hersen和Gregory Batt。生物分子过程的电子控制。《合成生物学中的计算方法》，第277-285页。Marchisio，Mario Andrea，2015年。doi:10.1007/978-14939-1878-213·doi:10.1007/978-14939-1878-213 [28] Jennifer Yick、Biswanath Mukherjee和Dipak Ghosal。无线传感器网络调查。计算机网络，52（12）：2292-23302008。doi:10.1016/j.comnet.2008.04.002·doi:10.1016/j.comnet.2008.04.002 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。