×

不同速度的特工在一个周期内快速会合。 (英语) Zbl 1371.68035号

总结:不同过程的行动速度之间的差异通常被视为实现合作目标的障碍。在这项工作中,我们旨在突出潜力利益将这种异步现象应用于涉及对称性破坏的任务。具体地说,在本文中,相同的(除了速度)移动代理被放置在任意位置上的一个长度(n)的(连续)循环中,并使用它们的速度差来快速会合。我们将较慢代理的速度标准化为1,并将较快代理的速度固定为一些\(c>1)。(代理不知道它是较慢的代理还是较快的代理。)分布式空间(博士)算法中,两个代理只需开始行走,直到实现交会。很容易证明,在最坏的情况下博士是\(n/(c-1)\)。注意,在有趣的情况下,如果(c)非常接近1(例如,(c=1+1/n^k)),这个界限就变得很大。我们的第一个结果是一个下限,表明即使在允许代理留下任意标记(白板模型),甚至假设方向感,甚至假设\(n\)和\(c\)是代理已知的。也就是说,我们证明了在这样的假设下,任何算法的交会时间都至少是(frac{n}{2(c-1)})if(c\leq3),而稍大一些(具体地说,是(frac{n}}{c+1})如果(c>3)。然后,我们设法构造一个算法,该算法精确匹配案例的下限(c\leq 2),并且当(c>2)时几乎匹配它。此外,我们的算法在比上述假设更弱的假设下执行,因为它不假设方向感,并且它只允许代理只留下一个标记(卵石),并且只在他们开始执行的地方。最后,我们研究了完全不能使用标记的设置,并显示了\(c\leq2)的紧边界和\(c>2)的几乎紧边界。

MSC公司:

68米14 分布式系统
68M10个 计算机系统中的网络设计和通信
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Angluin,D.,处理器网络中的局部和全局属性,(第十二届ACM计算理论研讨会论文集。第十二届年度ACM计算原理研讨会论文集,STOC(1980)),82-93
[2] Dijkstra,E.W.,《分布式控制下的自我稳定》,(计算机文选:个人视角(1982),施普林格出版社),41-46·Zbl 0497.68001号
[3] 阿提亚,H。;戈尔巴赫,A。;Moran,S.,《完全匿名异步共享内存系统中的计算》,Inform。和计算。,173, 2, 162-183 (2002) ·兹比尔1009.68012
[4] 铃木,I。;Yamashita,M.,《分布式匿名移动机器人:几何图案的形成》,SIAM J.Compute。,28, 4, 1347-1363 (1999) ·Zbl 0940.68145号
[5] 阿提亚,H。;Bar-Noy,A。;多列夫,D。;佩莱格,D。;Reischuk,R.,《异步环境中的重命名》,J.ACM,37,3,524-548(1990)·Zbl 0699.68034号
[6] 山下,M。;Kameda,T.,《匿名网络上的计算》(PODC(1988)),117-130
[7] 余,X。;Yung,M.,《Agent集合:一个动态对称破缺问题》(ICALP(1996)),610-621·Zbl 1046.68535号
[8] 艾泰,A。;Rodeh,M.,分配网络中的对称破缺,(第22届计算机科学基础年度研讨会,第22届计算科学基础年度会议,SFCS’81(1981),IEEE),150-158
[9] 科拉赫,E。;库顿,S。;Moran,S.,高效分布式先导搜索算法设计的模块化技术,ACM Trans。程序。语言系统。,12, 1, 84-101 (1990)
[10] 班帕,E。;Czyzowicz,J。;Gasieniec,L。;伊尔辛卡斯,D。;Labourel,A.,《无限多维网格中的几乎最优异步交会》(Distributed Computing(2010),Springer),297-311·Zbl 1290.68118号
[11] Czyzowicz,J。;伊尔辛卡斯,D。;Labourel,A。;Pelc,A.,《有界地形中的异步确定性交会》,Theoret。计算。科学。,412, 50, 6926-6937 (2011) ·Zbl 1227.68107号
[12] 克拉纳基斯,E。;Krizanc博士。;Markou,E.,《环中的移动代理会合问题》(2010),摩根和克莱普尔出版社
[13] 克拉纳基斯,E。;Krizanc博士。;Rajsbaum,S.,《移动代理聚集:一项调查》(Structural Information and Communication Complexity(2006),Springer),1-9
[14] 克拉纳基斯,E。;Santoro,N。;Sawchuk,C。;Krizanc,D.,《环形移动代理会合》(2003年第23届分布式计算系统国际会议论文集,IEEE),592-599·Zbl 1196.68021号
[15] Baezayates,R.A。;卡尔伯森,J.C。;罗林斯,G.J.,《在飞机上搜索》,《通知》。和计算。,106, 2, 234-252 (1993) ·Zbl 0781.68044号
[16] 巴里埃,L。;小西葫芦,P。;Fraignaud,P。;Santoro,N.,《移动代理的汇合与选举:方向感的影响》,理论计算。系统。,40143-162(2007年)·Zbl 1107.68022号
[17] 医学硕士本德。;费尔南德斯,A。;罗恩·D。;Sahai,A。;Vadhan,S.,《鹅卵石的力量:探索和映射有向图》,(第三十届ACM计算理论研讨会论文集(1998),ACM),269-278·Zbl 1027.68652号
[18] 布鲁姆,M。;Kozen,D.,《指南针的力量(或者,为什么迷宫比图形更容易搜索)》,(第19届计算机科学基础研讨会论文集。第19届计算科学基础研讨会会议论文集,密歇根州安娜堡(1978)),132-142
[19] Alpern,S.,《交会搜索:个人视角》,Oper。决议,50,5,772-795(2002)·Zbl 1163.91324号
[20] 巴斯顿,V。;Gal,S.,在起点留下标记时进行集合搜索,海军后勤研究所。,48, 8, 722-731 (2001) ·Zbl 0992.90035号
[21] 小西葫芦,P。;Nayak,A。;Schulz,A.,使用移动代理清理任意规则网络,(分布式计算和互联网技术(2005),Springer),132-142
[22] 小西葫芦,P。;伊尔辛卡斯,D。;Santoro,N.,《危险图中的乒乓球:带卵石的最优黑洞搜索》,Algorithmica,62,3-4,1006-1033(2012)·Zbl 1247.68028号
[23] 科尔曼,A。;塞雷尼,J.-S。;Viennot,L.,《走向更本地化的局部算法:移除关于全局知识的假设》,Distrib.Comput。,26,5-6,289-308(2013)·Zbl 1284.68644号
[24] Dobrev,S。;西葫芦,P。;普伦西佩,G。;Santoro,N.,《尽管存在黑洞,多个代理仍会在环中会合》(分布式系统原理(2004),Springer),34-46·Zbl 1078.68564号
[25] 小西葫芦,P。;克拉纳基斯,E。;Krizanc,D。;Santoro,N。;Sawchuk,C.,《环中的多移动代理会合》(理论信息学,理论信息学),拉丁文2004(2004),施普林格出版社),599-608·Zbl 1196.68021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。