×

平面异步方法:确定性多项式算法。 (英文) Zbl 1451.68038号

小结:在本文中,我们研究了方法两个移动代理具有相同的有限视野并且在平面上异步移动。这项任务是在有限的时间内让他们在彼此的视野范围内完成。代理执行相同的确定性算法,并假设有一个罗盘显示基本方向和单位度量。另一方面,它们不共享任何全球坐标系统(如GPS),无法通信,并且具有不同的标签。每个代理都知道自己的标签,但不知道其他代理的标签或其他代理相对于自己的初始位置。代理的路由是为了实现接近而随后遍历的一系列段。对于每个代理,其路由的计算仅取决于其算法和标签。敌方选择两个代理在飞机上的初始位置,并控制每个代理沿着路线的每一段移动的方式,特别是通过任意改变代理的速度。粗略地说,对手的目标是阻止特工解决任务,或者至少确保特工在看到对方之前已经走了尽可能远的距离。确定性接近算法是一种确定性算法,它总是允许两个具有不同标签的代理解决接近任务,而不管对手的选择和行为如何。完全执行进场算法的成本是代理在进场完成之前行进的路线的两部分的长度。设\(Delta)和\(l)分别是分隔代理的初始距离和最短标签的长度(二进制表示)。假设\(\增量\)\(l)两个代理都不知道,是否存在一种确定性方法算法总是以多项式为代价\(\增量\)\(l)?实际上,平面内的接近问题归结为无限方向网格中的交会网络问题,其中包括确保两个代理在网格的一个节点或边缘同时相遇。通过设计具有适当属性的交会算法,如本文所做,我们对上述问题作出了肯定的回答。从计算的角度来看,我们的结果是向前迈出的重要一步,因为其他允许解决相同问题的算法要么在初始分离距离和代理标签中具有指数代价,要么要求每个代理知道其在全局坐标系中的起始位置,或者只在实力弱得多的对手手下工作。

MSC公司:

68米14 分布式系统
68T40型 机器人的人工智能
68瓦40 算法分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Agmon,N.,Peleg,D.:自治移动机器人的容错采集算法。SIAM J.计算。36(1), 56-82 (2006) ·Zbl 1111.68136号 ·doi:10.1137/050645221
[2] Alpern,S.:搜索游戏和交会理论。收录:运筹学和管理科学国际丛书。Kluwer学术出版社(2003)·Zbl 1034.91017号
[3] Alpern,S.:集合搜索:个人视角。操作。第50(5)号决议,772-795(2002)·Zbl 1163.91324号 ·doi:10.1287/opre.50.5.772.363
[4] Bampas,E.,Czyzowicz,J.,Gasieniec,L.,Ilcinkas,D.,Labourel,A.:无限多维网格中的几乎最优异步交会。摘自:分布式计算,第24届国际研讨会,DISC 2010,美国马萨诸塞州剑桥,2010年9月13日至15日。会议记录,第297-311页(2010年)·Zbl 1290.68118号
[5] 布沙尔,S.,迪乌多内,Y.,杜库蒂亚尔,B.:拜占庭网络中的聚会。分布计算。29(6), 435-457 (2016) ·兹比尔1412.68021 ·doi:10.1007/s00446-016-0276-9
[6] Chalopin,J.、Dieudonné,Y.、Labourel,A.、Pelc,A.:尽管存在延迟故障,但网络中的集合。分布计算。29(3), 187-205 (2016) ·Zbl 1362.68021号 ·doi:10.1007/s00446-015-0259-2
[7] Cieliebak,M.,Flocchini,P.,Prencipe,G.,Santoro,N.:移动机器人分布式计算:采集。SIAM J.计算。41(4), 829-879 (2012) ·Zbl 1286.68484号 ·数字对象标识代码:10.1137/100796534
[8] Cohen,R.,Peleg,D.:异步机器人系统中引力算法的收敛特性。SIAM J.计算。34(6), 1516-1528 (2005) ·Zbl 1081.68110号 ·doi:10.1137/S0097539704446475
[9] Cohen,R.,Peleg,D.:具有不精确传感器和运动的自主移动机器人的融合。SIAM J.计算。38(1), 276-302 (2008) ·Zbl 1178.68594号 ·数字对象标识码:10.1137/060665257
[10] 柯林斯,A.,Czyzowicz,J.,Gasieniec,L.,Labourel,A.:告诉我我在哪里,这样我可以更快地见到你。摘自:自动化,语言与编程,第37届国际学术讨论会,ICALP 2010,法国波尔多,2010年7月6日至10日,第二部分,第502-514页(2010)·Zbl 1288.68214号
[11] Czyzowicz,J.,Kosowski,A.,Pelc,A.:如何在忘记时见面:任意图中的对数空间交会。分布计算。25(2), 165-178 (2012) ·Zbl 1284.68066号 ·doi:10.1007/s00446-011-0141-9
[12] Czyzowicz,J.,Pelc,A.,Labourel,A.:如何在任何地方异步(几乎)会面。ACM事务处理。算法8(4),37(2012)·Zbl 1295.68171号 ·doi:10.1145/2344422.2344427
[13] D'Angelo,G.、Di Stefano,G.和Navarra,A.:在look-compute-move模型下收集戒指。分布计算。27(4), 255-285 (2014) ·Zbl 1320.68046号 ·doi:10.1007/s00446-014-0212-9
[14] Das,S.、Dereniowski,D.、Kosowski,A.、Uznanski,P.:未知图形中远程软件移动代理的集合。2014年7月23日至25日,日本高山市,SIROCCO 2014,结构信息与通信复杂性第21届国际学术讨论会。会议记录,第295-310页(2014年)·Zbl 1416.68190号
[15] Das,S.,Luccio,F.L.,Markou,E.:尽管有恶意特工,移动特工还是会集合。摘自:《传感器系统的算法:第十一届无线传感器网络算法和实验国际研讨会》,ALGOSENSORS 2015,希腊帕特拉斯,2015年9月17日至18日,修订论文集,第211-224页(2015)
[16] De Marco,G.,Gargano,L.,Kranakis,E.,Krizanc,D.,Pelc,A.,Vaccaro,U.:图中的异步确定性交会。西奥。计算。科学。355(3), 315-326 (2006) ·Zbl 1088.68140号 ·doi:10.1016/j.tcs.2005.12.016
[17] Défago,X.,Gradinariu,M.,Messika,S.,Parvédy,P.R.:容错和自稳定移动机器人采集。摘自:分布式计算,第20届国际研讨会,DISC 2006,瑞典斯德哥尔摩,2006年9月18日至20日,论文集,第46-60页(2006)·Zbl 1155.68535号
[18] Dessmark,A.,Fraignaud,P.,Kowalski,D.R.,Pelc,A.:图中的确定性集合。《算法》46(1),69-96(2006)·Zbl 1100.68077号 ·doi:10.1007/s00453-006-0074-2
[19] Dieudonné,Y.,Pelc,A.:平面上的确定性多项式方法。分布计算。28(2), 111-129 (2015) ·Zbl 1331.68225号 ·doi:10.1007/s00446-014-0216-5
[20] Dieudonné,Y.,Pelc,A.:网络中的匿名会议。《算法》74(2),908-946(2016)·Zbl 1336.68196号 ·doi:10.1007/s00453-015-9982-0
[21] Dieudonné,Y.,Petit,F.:具有强多重性检测的自我稳定聚集。西奥。计算。科学。428, 47-57 (2012) ·兹比尔1238.68039 ·doi:10.1016/j.tcs.2011.12.010
[22] 迪乌丹内,Y.,Pelc,A.,Peleg,D.:尽管有恶作剧,但仍在聚会。ACM事务处理。算法11(1),1(2014)·Zbl 1398.68054号 ·doi:10.1145/2629656
[23] Dieudonné,Y.,Pelc,A.,Villain,V.:如何以多项式代价异步满足。SIAM J.计算。44(3), 844-867 (2015) ·Zbl 1325.68252号 ·数字对象标识代码:10.1137/130931990
[24] Flocchini,P.,Prencipe,G.,Santoro,N.,Widmayer,P.:能见度有限的异步机器人的聚集。西奥。计算。科学。337(1-3), 147-168 (2005) ·Zbl 1108.68120号 ·doi:10.1016/j.tcs.2005.01.001
[25] Fraignaud,P.,Pelc,A.:在几乎没有记忆的树上进行决定性的会合。摘自:分布式计算,第22届国际研讨会,DISC 2008,法国阿卡松,2008年9月22日至24日。会议记录,第242-256页(2008年)·Zbl 1161.68336号
[26] Fraignaud,P.,Pelc,A.:延迟会导致树上集合的指数记忆缺口。ACM事务处理。算法9(2),17(2013)·Zbl 1301.68203号 ·doi:10.1145/2438645.2438649
[27] Izumi,T.,Souissi,S.,Katayama,Y.,Inuzuka,N.,Défago,X.,Wada,K.,Yamashita,M.:两个指南针不可靠的健忘机器人的聚集问题。SIAM J.计算。41(1), 26-46 (2012) ·兹比尔1242.68178 ·doi:10.1137/100797916
[28] Kowalski,D.R.,Malinowski,A.:如何在匿名网络中见面。Theor。计算。科学。399(1-2), 141-156 (2008) ·Zbl 1144.68050号 ·doi:10.1016/j.tcs.2008.02.010
[29] Kranakis,E.,Krizanc,D.,Rajsbaum,S.:移动代理集合:一项调查。摘自:《结构信息与通信复杂性》,第13届国际学术讨论会,SIROCCO 2006,英国切斯特,2006年7月2-5日,会议记录,第1-9页(2006)
[30] Miller,A.,Pelc,A.:与建议快速会合。In:传感器系统算法:第十届传感器系统、无线网络和分布式机器人算法和实验国际研讨会,ALGOSENSORS 2014,弗罗茨瓦夫,波兰,2014年9月12日,修订论文集,第75-87页(2014)·Zbl 1333.68068号
[31] Miller,A.,Pelc,A.:网络中确定性交会的时间与成本权衡。分布计算。29(1), 51-64 (2016) ·Zbl 1352.68117号 ·doi:10.1007/s00446-015-0253-8
[32] Pagli,L.,Prencipe,G.,Viglietta,G.:无接触接近:自主移动机器人的近距离聚集。分布计算。28(5), 333-349 (2015) ·Zbl 1341.68280号 ·doi:10.1007/s00446-015-0248-5
[33] 谢林,T.:《冲突战略》。牛津大学出版社,牛津(1960)·Zbl 1110.91001号
[34] 铃木,I.,山下,M.:分布式匿名移动机器人:几何图案的形成。SIAM J.计算。28(4), 1347-1363 (1999) ·Zbl 0940.68145号 ·doi:10.1137/S009753979628292X
[35] Ta Shma,A.,Zwick,U.:决定性的会合、寻宝和强普遍性的探索序列。ACM事务处理。算法10(3),12(2014)·Zbl 1333.68216号 ·数字对象标识代码:10.1145/2601068
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。