跳到主要内容
10.1145/3293611.3331627acm会议文章/章节视图摘要出版物页面播客会议记录会议集合
研究论文
开放式访问

均匀密集种群协议中的有效规模估计和终止不可能性

作者信息和声明
出版:2019年7月16日出版历史

摘要

我们研究了统一的人口协议:随机选择成对交互的匿名代理网络,其中每个代理使用不依赖于人口规模n的相同转换算法。许多现有的用于领导人选举和多数计算的polylog(n)时间协议是非均匀的:为了正确操作,它们要求用n的近似估计值(特别是值łfloorಖog n\rfloor)初始化所有代理。我们的第一个主要结果是一个统一的协议,用于计算O(łog^2n)时间和O(Þlog^4n)状态(O(ĸog n)内存位)中的高概率的\322»og(n)\pm O(1)。协议没有终止:当估计值接近łog n的真实值时,它不会发出信号。如果可以使其以高概率终止,这将允许与最初需要大小估计的协议进行组合。我们确实展示了我们的主协议如何基于无铅相位时钟以简单优雅的方式与其他协议间接组合,证明了这些协议实际上可以统一。然而,我们的第二个主要结果表明,协议不能终止,这是一个强得多的结果的结果:对于任何需要超过恒定时间的任务,即使概率有界于0,统一协议也不能终止,如果无限多的初始配置是稠密的:任何一个初始状态都会占据Ømega(n)agent。(特别是不允许领导。)至关重要的是,无论记忆或时间允许,结果都会保持不变。

工具书类

  1. 斯科特·阿隆森(Scott Aaronson)。2006.计算复杂性和人类原理。https://www.cottaronson.com/talks/anthopic.html。谷歌学者谷歌学者
  2. Dan Alistarh、James Aspnes、David Eisenstat、Rati Gelashvili和Ronald L Rivest。2017.人口协议中的时空权衡。2017年SODA:第二十八届ACM-SIAM离散算法研讨会论文集。暹罗,2560--2579。谷歌学者谷歌学者数字图书馆数字图书馆
  3. Dan Alistarh、James Aspnes和Rati Gelashvili。2018年,人口方案中的空间最优多数。2018年SODA:第二十届ACM-SIAM离散算法年会论文集。暹罗,2221-2239。谷歌学者谷歌学者数字图书馆数字图书馆
  4. Dan Alistarh和Rati Gelashvili。2015年,人口协议中的多对数时间领导人选举。第42届国际自动化、语言和编程学术讨论会(ICALP)(计算机科学讲稿),第9135卷。施普林格,柏林,海德堡,479-491。谷歌学者谷歌学者数字图书馆数字图书馆
  5. Dan Alistarh和Rati Gelashvili。2018年,人口协议的最新算法进展。SIGACT新闻,第49卷,第3卷(2018年10月),63-73。谷歌学者谷歌学者数字图书馆数字图书馆
  6. Dan Alistarh、Rati Gelashvili和Milan Vojnović。2015年,人口协议快速准确多数。2015年PODC:2015年ACM分布式计算原理研讨会论文集。美国医学会,47-56。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 达娜·安格鲁因(Dana Anguin)、詹姆斯·阿斯普内斯(James Aspnes)、佐·迪亚马迪(ZoöDiamadi)、迈克尔·菲舍尔(Michael J.Fischer)和雷内·佩拉塔(Rene Peralta)。2006年b.被动移动有限状态传感器网络计算。分布式计算,第18卷,第4卷(2006年3月),235-253。谷歌学者谷歌学者数字图书馆数字图书馆
  8. 达娜·安格鲁因(Dana Angluin)、詹姆斯·阿斯普内斯(James Aspnes)和大卫·艾森斯塔特(David Eisenstat)。2006a.稳定的可计算谓词是半线性的。在第25届ACM分布式计算原理研讨会上。美国纽约州纽约市ACM出版社,292-299。谷歌学者谷歌学者数字图书馆数字图书馆
  9. 达娜·安格鲁因(Dana Angluin)、詹姆斯·阿斯普内斯(James Aspnes)和大卫·艾森斯塔特(David Eisenstat)。2008年,通过人口协议与领导者进行快速计算。分布式计算,第21卷,第3期(2008年9月),183-199。谷歌学者谷歌学者数字图书馆数字图书馆
  10. James Aspnes、Joffroy Beauquier、Janna Burman和Devan Sohier。2017年,人口协议中的时间和空间优化计数。第20届分布式系统原理国际会议(OPODIS 2016),第70卷。13:1--13:17.谷歌学者谷歌学者
  11. 詹姆斯·阿斯彭斯和埃里克·鲁珀特。2007年,人口协议简介。欧洲理论计算机科学协会公报,第93卷(2007年10月),98-117。谷歌学者谷歌学者
  12. Joffroy Beauquier、Janna Burman、Simon Claviere和Devan Sohier。2015年,人口协议中的空间优化计数。在DISC 2015:分布式计算国际研讨会上。施普林格,631-646。谷歌学者谷歌学者数字图书馆数字图书馆
  13. Joffroy Beauquier、Maria Gradinariu和Colette Johnen。1999.自我稳定领导人选举协议的内存空间要求。第18届ACM分布式计算原理年会论文集(PODC 1999)。ACM,199-207。谷歌学者谷歌学者数字图书馆数字图书馆
  14. 阿曼达·贝利维尔(Amanda Belleville)、大卫·多蒂(David Doty)和大卫·索洛维奇克(David Soloveichik)。2017.使用无领导总体协议计算和近似谓词和函数的难度。在ICALP 2017:第44届国际自动化、语言和编程学术讨论会(LIPIcs),第80卷。141:1--141:14.谷歌学者谷歌学者
  15. 佩特拉·贝伦布里克(Petra Berenbrink)、多米尼克·卡瑟(Dominik Kaaser)、彼得·克林(Peter Kling)和莉娜·奥特巴赫(Lena Ottebach)。2018年,简单高效的领导人选举。在第一届算法简单性研讨会(SOSA 2018),第61卷。9:1--9:11.谷歌学者谷歌学者
  16. 佩特拉·贝伦布里克(Petra Berenbrink)、多米尼克·卡瑟(Dominik Kaaser)和托马斯·拉齐克(Tomasz Radzik)。2019.关于人口规模的计算。第38届ACM分布式计算原理年会(PODC 2019)会议记录。出现。谷歌学者谷歌学者数字图书馆数字图书馆
  17. 安德烈亚斯·比尔克(Andreas Bilke)、科林·库珀(Colin Cooper)、罗伯特·埃尔斯(Robert Els)和托马斯·拉齐克(Tomasz Radzik),2017年。简要公告:领导人选举的人口协议和O(łog^2n)状态和O(\322;·og^2N)收敛时间的确切多数。2017年PODC:ACM分布式计算原理研讨会论文集。顶点,451-453。谷歌学者谷歌学者数字图书馆数字图书馆
  18. James M Bower和Hamid Bolouri,2004年。遗传和生物化学网络的计算建模。麻省理工学院出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  19. 蔡树凯(Shukai Cai)、岩井大辅(Taisuke Izumi)和和田光一(Koichi Wada)。2010年,被动移动匿名代理中自我稳定领导人选举的空间复杂性。在《结构信息和通信复杂性》中,Shay Kutten和Janez vZ erovnik(编辑)。施普林格-柏林-海德堡,柏林,海德堡。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 陈和林、大卫·多蒂和大卫·索洛维奇克。2013年b。用化学反应网络进行确定性函数计算。《自然计算》,第13卷,第4卷(2013年),第517-534页。2012年DNA邀请论文特刊。谷歌学者谷歌学者数字图书馆数字图书馆
  21. 陈远杰、尼尔·达尔肖、尼兰詹·斯里尼瓦斯、安德鲁·菲利普斯、卢卡·卡德利、大卫·索洛维奇克和乔治·西利格。2013年a。由DNA制成的可编程化学控制器。《自然纳米技术》,第8卷,第10卷(2013年),第755-762页。谷歌学者谷歌学者交叉引用交叉引用
  22. 伦纳德·E·迪克森。具有n个不同素因子的奇完全本原富足数的有限性。美国数学杂志,第35卷(1913年),413-422。第4版。谷歌学者谷歌学者交叉引用交叉引用
  23. 大卫·多蒂。2014.化学反应网络的时间安排。SODA 2014:程序。第25届ACM-SIAM年度交响乐团。离散算法。772--784.谷歌学者谷歌学者数字图书馆数字图书馆
  24. David Doty和Mahsa Eftekhari,2018年。一致稠密种群协议中的有效规模估计和终止不可能性。CoRR,第abs/1808.08913卷(2018年)。arxiv:1808.08913号http://arxiv.org/abs/1808.08913谷歌学者谷歌学者
  25. David Doty、Mahsa Eftekhari、Othon Michail、Paul G.Spirakis和Michail Theofilatos。2018.简短公告:在几乎对数的时间内,统一种群协议中的精确规模计数。第32届分布式计算国际研讨会(DISC 2018)。46:1--46:3.谷歌学者谷歌学者
  26. 大卫·多蒂和莫尼尔·哈加伊。2015年,无铅确定性化学反应网络。《自然计算》,第14卷,第2卷(2015年),第213--223页。DNA 2013中出现了初步版本。谷歌学者谷歌学者数字图书馆数字图书馆
  27. 大卫·多蒂和大卫·索洛维奇克。2018年。人口协议中稳定的领导人选举需要线性时间。分布式计算,第31卷,第4卷(2018),257--271。DISC 2015特邀论文特刊。谷歌学者谷歌学者数字图书馆数字图书馆
  28. 贝内特·艾森伯格(Bennett Eisenberg),2008年。关于IID几何随机变量最大值的期望。《统计与概率快报》,第78卷,第2卷(2008年),第135-143页。谷歌学者谷歌学者交叉引用交叉引用
  29. Leszek Gasieniec和Grzegorz Stachowiak。2018年,人口协议中的快速空间最优领导者选举。2018年SODA:ACM-SIAM离散算法研讨会。出现。谷歌学者谷歌学者数字图书馆数字图书馆
  30. Leszek Gasieniec、Grzegorz Stachowiak和Przemyslaw Uznanski。2018年。人口协议中的几乎对数时间空间最优领导人选举。技术报告。阿西夫:1802.06867http://arxiv.org/abs/1802.06867谷歌学者谷歌学者
  31. 阿德里安·科索夫斯基(Adrian Kosowski)和普尔泽米斯拉夫·乌兹南斯基(Przemyslaw Uznanski)。2018年人口协议进展迅速。CoRR,第abs/1802.06872卷(2018年)。arxiv公司:1802.06872http://arxiv.org/abs/1802.06872谷歌学者谷歌学者
  32. 奥托·米歇尔(Othon Michail)。2015年,在自动化的公平解决方案中终止形状和模式的分布式构建。2015年ACM分布式计算原理研讨会论文集。37--46. 《分布式计算》,2017年。谷歌学者谷歌学者数字图书馆数字图书馆
  33. Othon Michail、Ioannis Chatzigiannakis和Paul G Spirakis。2012.通过一些最低限度的全球知识假设终止人口协议。分布式系统(SSS)的稳定、安全和安保。施普林格,77-89岁。谷歌学者谷歌学者数字图书馆数字图书馆
  34. 伊夫·莫卡尔(Yves Mocquard)、布鲁诺·塞里科拉(Bruno Sericola)和艾曼纽尔·安齐尤姆(Emmanuelle Anceaume)。2018.带有收敛检测的人口协议。2018年IEEE第17届网络计算与应用国际研讨会(NCA)。IEEE,1--8。谷歌学者谷歌学者交叉引用交叉引用
  35. 菲利普·里戈莱特(Philippe Rigollet)。2015年,麻省理工学院课程18.S997:高维统计课堂讲稿。网址:https://ocw.mit.edu/courses/mathemies/18-s997-高维统计-spring-2015/课堂笔记/。谷歌学者谷歌学者
  36. David Soloveichik、Matthew Cook、Erik Winfree和Jehoshua Bruck。2008年,有限随机化学反应网络计算。自然计算,第7卷,第4卷(2008年),615--633。谷歌学者谷歌学者数字图书馆数字图书馆
  37. 尼兰詹·斯里尼瓦斯(Niranjan Srinivas)、詹姆斯·帕金(James Parkin)、乔治·西利格(Georg Seelig)、埃里克·温弗里(Erik Winfree)和大卫·索洛维奇克(David Soloveichik)。2017.无酶核酸动力学系统。《科学》,第358卷,第6369页(2017年),第2052页。谷歌学者谷歌学者
  38. 铃田裕一、大田福彦、岩敏大辅、川川博通和Masuzawa。2019.简短公告:人口协议模型中对数预期时间领导人选举。第38届ACM分布式计算原理年会(PODC 2019)会议记录。出现。谷歌学者谷歌学者数字图书馆数字图书馆
  39. 维托·沃尔泰拉。1926年,Variazioni e flutuazioni del numero d'individui in specie animali conventi。内存。阿卡德。Lincei Roma,第2卷(1926年),31-113。谷歌学者谷歌学者

索引术语

  1. 均匀密集种群协议中的有效规模估计和终止不可能性

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      PODC’19:2019年ACM分布式计算原理研讨会论文集
      2019年7月
      563页
      国际标准图书编号:9781450362177
      内政部:10.1145/3293611

      版权©2019 ACM

      允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2019年7月16日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文

      接受率

      PODC’19纸张接受率48属于173提交文件,28%总体验收率740属于2,477提交文件,30%

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器