迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 大群小鸟：按人口协议的最小规模。 （英语） Zbl 1487.68030号 Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第16条，第14页（2018年）。 摘要：人口协议是一个由存储非常有限的移动有限状态代理进行分布式计算的成熟模型。一个经典的结果表明，种群协议计算的谓词精确到可以在Presburger算法中定义。我们开始研究计算给定谓词作为其大小函数所需的最小内存量。我们给出了关于（n在n中）的谓词（x\geqn）的结果，以及更一般地关于线性不等式系统对应的谓词的结果。我们证明了它们可以由具有\（O（\log n）\）状态的协议计算（或者更一般地说，谓词系数的对数），令人惊讶的是，一些谓词族可以由具有_（O（\ log \log n）\）态的协议计算。我们给出了这类1-感知协议的基本匹配下界。关于整个系列，请参见[Zbl 1381.68010号]. 引用于1审查引用于12文件 理学硕士： 64岁以下 分布式系统 68个M12 网络协议 65年第68季度 算法和问题复杂性分析 关键词：人口协议;普雷斯伯格算法 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。96，第16条，第14页（2018；Zbl 1487.68030） 全文： 内政部 arXiv公司 参考文献： [1] Dan Alistarh、James Aspnes、David Eisenstat、Rati Gelashvili和Ronald L.Rivest。人口协议中的时空权衡。Philip N.Klein，编辑，《第二十八届ACM-SIAM离散算法年度研讨会论文集》，SODA，2017，西班牙巴塞罗那，波塔菲拉酒店，1月16日至19日，第2560-2579页。SIAM，2017年。doi:10.1137/1.9781611974782.169·Zbl 1410.68118号 [2] Dan Alistarh、Rati Gelashvili和Milan Vojnovic。快速且准确的群体多数协议。Chryssis Georgiou和Paul G.Spirakis，编辑，2015年ACM会议记录，分布式计算原理研讨会，PODC 2015，Donostia-San Sebastián，西班牙，2015年7月21日至23日，第47-56页。ACM，2015年。doi:10.1145/2767386.2767429·Zbl 1333.68039号 [3] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯彭斯（James Aspnes）、梅洛迪·陈（Melody Chan）、迈克尔·菲舍尔（Michael J.Fischer）、洪江（Hong Jiang）和雷内·佩拉尔塔（Rene Peralta）。网络图的稳定可计算性质。Viktor K.Prasanna、S.Sitharama Iyengar、Paul G.Spirakis和Matt Welsh，编辑，传感器系统中的分布式计算，第一届IEEE国际会议，DCOSS 2005，加利福尼亚州Marina del Rey，美国，6月，2005年7月1日，会议录，计算机科学讲义3560卷，第63-74页。斯普林格，2005年。doi:10.1007/115025938。 [4] 达娜·安格鲁因（Dana Anguin）、詹姆斯·阿斯普内斯（James Aspnes）、佐·迪亚马迪（ZoöDiamadi）、迈克尔·菲舍尔（Michael J.Fischer）和雷内·佩拉塔（Rene Peralta）。被动移动有限状态传感器网络中的计算。在Soma Chaudhuri和Shay Kutten编辑的《第二十届ACM分布式计算原理研讨会论文集》中，PODC 2004，加拿大纽芬兰圣约翰，7月25日至28日，第290-299页。ACM，2004年。doi:10.1145/1011767.111810·Zbl 1321.68058号 [5] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯普内斯（James Aspnes）和大卫·艾森斯塔特（David Eisenstat）。通过具有领导者的人口协议进行快速计算。｛\it分布式计算｝，21（3）：183-1992008。doi:10.1007/s00446-008-0067-z·Zbl 1267.68306号 [6] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯彭斯（James Aspnes）、大卫·艾森斯塔特（David Eisenstat）和埃里克·鲁珀特（Eric Ruppert）。人口协议的计算能力。{\it分布式计算}，20（4）：279-3042007。doi:10.1007/s00446-007-0040-2·Zbl 1266.68043号 [7] 詹姆斯·阿斯彭斯（James Aspnes）。定时人口协议。Elad Michael Schiller和Alexander A.Schwarzmann，编辑，《ACM分布式计算原理研讨会论文集》，PODC 2017，华盛顿特区，2017年7月25日至27日，第431-440页。ACM，2017年。doi:10.1145/3087801.3087836·Zbl 1379.68020号 [8] 詹姆斯·阿斯彭斯和埃里克·鲁珀特。人口协议简介。在网络偏心和移动应用程序的中间件中，第97-120页。施普林格-柏林-海德堡，2009年。doi:10.1007/978-3-540-89707-15。 [9] Andreas Bilke、Colin Cooper、Robert Elsässer和Tomasz Radzik。简要声明：领导人选举的人口协议和具有{\it-O}（log2{\it-n}）状态和{\it-O}（log2{\it n}）收敛时间的确切多数。编辑Elad Michael Schiller和Alexander A.Schwarzmann，《ACM分布式计算原理研讨会论文集》，PODC 2017，美国华盛顿特区，2017年7月25日至27日，第451-453页。ACM，2017年。doi:10.1145/3087801.3087858·Zbl 1380.68036号 [10] 大卫·多蒂和大卫·索洛维奇克。人口协议中的稳定领导人选举需要线性时间。Yoram Moses，编辑，《分布式计算-第29届国际研讨会》，DISC 2015，日本东京，2015年10月7日至9日，会议录，计算机科学讲义第9363卷，第602-616页。斯普林格，2015。doi:10.1007/978-3-662-48653-5_40·Zbl 1394.68034号 [11] 哈维尔·埃斯帕尔扎、皮埃尔·甘蒂、杰罗姆·勒鲁和鲁帕克·马朱姆达尔。人口协议的验证。{\it Acta Inf.}，54（2）：191-2152017。doi:10.1007/s00236-016-0272-3·Zbl 1364.68081号 [12] 阿兰·芬克尔和杰尔·勒鲁。petri网的最新简单算法。{it软件}{it与系统建模}，14（2）：719-7252015。doi:10.1007/s10270-014-0426-0。 [13] Rachid Guerraoui和Eric Ruppert。名字胜过恶意：微小的移动代理可以容忍拜占庭式的失败。在Susanne Albers、Alberto Marchetti-Paccamela、Yossi Matias、Sotiris E.Nikoletseas和Wolfgang Thomas，编辑，《自动化，语言与编程》，第36届国际学术讨论会，ICALP 2009，希腊罗兹，2009年7月5日至12日，《论文集》，第二部分，计算机科学讲义第5556卷，第484-495页。施普林格，2009年。doi:10.1007/978-3642-02930-140·Zbl 1248.68091号 [14] 朱塞佩·安东尼奥·迪卢纳（Giuseppe Antonio Di Luna）、保拉·弗洛基尼（Paola Flocchini）、伊祖米（Taisuke Izumi）、伊祖米（Tomoko Izumi）、尼古拉·桑托罗（Nicola Santoro）和乔瓦尼·维格里塔（Giovanni Vigl。具有错误交互的人口协议：领导者的影响。Dimitris Fotakis、Aris Pagortzis和Vangelis Th.Paschos，编辑，{it Algorithms}{it and Complexity-第十届国际会议，2017年5月24日至26日，希腊雅典，{it 2017，Proceedings}，第10236卷{it计算机科学讲稿，第454-466页，2017。doi:10.1007/978-3-319-57586-5_38·Zbl 1407.68059号 [15] Ernst W.Mayr和Albert R.Meyer。交换半群和多项式理想的词问题的复杂性。{数学进展}，46（3）：305-3291982。doi:10.1016/0001-8708（82）90048-2·Zbl 0506.03007号 [16] Othon Michail、Ioannis Chatzigiannakis和Paul G.Spirakis。中介群体协议。{\it Theor.Comput.Sci.}，412（22）：2434-24502011。doi:10.1016/j.tcs.2011.02.003·Zbl 1218.68082号 [17] :14 [18] 查尔斯·拉科夫。向量加法系统的覆盖和有界问题。{\it Theor.Comput.Sci.}，6:223-231978年。doi:10.1016/0304-3975（78）90036-1·Zbl 0368.68054号 [19] David Soloveichik、Matthew Cook、Erik Winfree和Jehoshua Bruck。有限随机化学反应网络计算。{自然计算}，7（4）：615-6332008。doi:10.1007/s11047-008-9067-y·Zbl 1187.68220号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。