×

在look-compute-move模型下,在基本图形拓扑上收集异步和不经意的机器人。 (英语) Zbl 1356.68016号

Alpern,Steve(编辑)等人,《搜索理论》。博弈论视角。纽约州纽约市:施普林格出版社(ISBN 978-1-4614-6824-0/hbk;978-1-46104-6825-7/电子书)。197-222 (2013).
摘要:基于机器人的计算系统的最新模型具有挑战性,考虑将相同的、不经意的和可移动的机器人放置在匿名图的节点上。机器人异步操作以到达公共节点并与之保持一致收集会合问题。目标节点既没有预先选择,也没有与其他节点进行不同的标记。事实上,该图是匿名的,机器人的功能非常有限。在基于机器人的计算系统中,资源总是有限且宝贵的。然后,主要感兴趣的是对完成收集任务以及其他成就所需的最小假设和能力集的研究。此外,假设的极简性刺激了对新的具有挑战性的技术的研究,这些技术甚至可能揭示其他任务的关键特性。本章中考虑的模型在文献中称为看-算-动模型。相同的机器人最初放置在匿名输入图的不同节点上,以异步的Look-Compute-Move循环操作。在每个周期中,机器人都会获取当前全局配置的快照(Look),然后根据感知到的配置,决定保持空闲或移动到其相邻节点之一(Compute),在后一种情况下,它会立即移动到该邻居(move)。为每个机器人异步执行循环。这意味着“查看”、“计算”和“移动”操作之间的时间是有限的,但是无限的,并且由每个机器人的对手决定。因此,机器人的移动可能基于明显过时的感知。唯一的限制是移动是瞬时的,因此任何执行Look操作的机器人都会在环的节点上而不是边缘上感知所有其他机器人。机器人都是相同的、匿名的,并且执行相同的确定性算法。它们不能在访问的节点上留下任何标记,也不能向其他机器人发送消息。在本章中,我们将调查在基本图拓扑(即环、网格和树)上收集任务的最新结果。这方面的最新成就吸引了许多研究人员,并提供了一些有趣的方法,可能是基于机器人的计算系统研究社区的主要兴趣所在。
关于整个系列,请参见[Zbl 1263.91001号].

MSC公司:

64岁以下 分布式系统
91A24型 位置游戏(追击和躲避等)
91A80型 博弈论的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] Aho,A.,Hopcroft,J.,Ullman,J.:数据结构和算法。艾迪森·韦斯利(1983)·Zbl 0487.68005号
[2] Alpern,S.:集合搜索:个人视角。运筹学50(5),772-795(2002)·Zbl 1163.91324号 ·doi:10.1287/opre.50.5.772.363
[3] Alpern,S.,Gal,S.:《搜索游戏与交会理论》,《运筹学与管理国际丛书》,第55卷。斯普林格(2003)·Zbl 1034.91017号
[4] Baldoni,R.,Bonnet,F.,Milani,A.,Raynal,M.:关于移动机器人匿名部分网格探索的可解性。摘自:《第十二届分布式系统原理国际会议论文集》,《计算机科学讲义》,第5401卷,第428-445页。Springer-Verlag(2008)
[5] Blin,L.,Milani,A.,Potop-Butucaru,M.,Tixeuil,S.:没有手性的唯一永久环探索。摘自:《第24届分布式计算国际研讨会论文集》,《计算机科学讲义》,第6343卷,第312-327页。施普林格(2010)·Zbl 1290.68114号
[6] Bonnet,F.、Milani,A.、Potop-Butucaru,M.、Tixeuil,S.:无方向感的异步独家永久网格探索。载:《第十五届分布式系统原理国际会议论文集》,《计算机科学讲义》,第7109卷,第251-265页。施普林格(2011)
[7] Buss,S.:用于树同构、比较和标准化的Alogtime算法。摘自:库尔特·哥德尔学术讨论会,《计算机科学讲稿》,第1289卷,第18-33页。施普林格(1997)·Zbl 0884.68098号
[8] Czyzowicz,J.,Gasieniec,L.,Pelc,A.:在飞机上收集一些肥胖的移动机器人。理论计算机科学410(6-7),481-499(2009)·Zbl 1157.68065号 ·doi:10.1016/j.tcs.2008.10.005
[9] D'Angelo,G.、Di Stefano,G.和Navarra,A.:在匿名对称环上聚集六个机器人。摘自:第18届结构信息与通信复杂性国际学术讨论会(SIROCCO)会议记录,《计算机科学讲稿》,第6796卷,第174-185页(2011)·兹比尔1298.68270
[10] D'Angelo,G.、Di Stefano,G.,Klasing R.,Navarra A.:在匿名网格上收集机器人,无需多重性检测。摘自:《第19届结构信息与通信复杂性国际学术讨论会论文集》,《计算机科学讲稿》,第7355卷,第327-338页(2012)·Zbl 1332.68167号
[11] D'Angelo,G.、Di Stefano,G.和Navarra,A.:如何在匿名环上收集异步遗忘机器人。摘自:《第26届分布式计算国际研讨会论文集》,《计算机科学讲义》,第7611卷,第330-344页(2012)·Zbl 1377.68035号
[12] Devismes,S.、Petit,F.、Tixeuil,S.:半同步无意识机器人的最佳概率环形探测。摘自:第16届结构信息与通信复杂性国际学术讨论会(SIROCCO)会议记录,《计算机科学讲稿》,第5869卷,第195-208页(2009)·Zbl 1274.68566号
[13] Flocchini,P.,Ilcinkas,D.,Pelc,A.,Santoro,N.:无通信计算:异步无意识机器人的环形探测。算法。出现·Zbl 1272.68399号
[14] Flocchini,P.,Ilcinkas,D.,Pelc,A.,Santoro,N.:没有记忆的记忆:异步遗忘机器人的树探索。理论计算机科学411(14-15),1583-1598(2010)·Zbl 1191.68712号 ·doi:10.1016/j.tcs.2010.01.007
[15] Flocchini,P.、Prencipe,G.、Santoro,N.、Widmayer,P.:能见度有限的异步机器人的聚集。理论计算机科学337,147-168(2005)·Zbl 1108.68120号 ·doi:10.1016/j.tcs.2005.01.001
[16] Haba,K.,Izumi,T.,Katayama,Y.,Inuzuka,N.,Wada,K.:关于2n个自主移动机器人的聚集问题。摘自:第十届分布式系统稳定、安全与保障国际研讨会论文集,海报(2008)
[17] Izumi,T.、IzumiT.、Kamei,S.、Ooshita,F.:环中具有局部弱多重性的移动机器人采集算法。摘自:第17届结构信息与通信复杂性国际学术讨论会(SIROCCO)会议记录,《计算机科学讲稿》,第6058卷,第101-113页(2010)·Zbl 1284.68562号
[18] Kamei,S.、Lamani,A.、Ooshita,F.、Tixeuil,S.:从对称配置收集异步移动机器人。载:《第18届结构信息与通信复杂性国际学术讨论会论文集》,《计算机科学讲义》,第6796卷,第150-161页(2011年)
[19] Kamei,S.、Lamani,A.、Ooshita,F.、Tixeuil,S.:从对称配置收集异步移动机器人,无需全局多重性检测。摘自:第37届计算机科学数学基础国际研讨会论文集,第7464卷,第542-553页。Springer-Verlag(2012)·Zbl 1365.68421号
[20] Kempkes,B.,Meyer auf der Heide,F.:机器人编队问题的连续局部策略。摘自:《第十一届实验算法国际研讨会论文集》,《计算机科学讲义》,第7276卷,第9-17页。Springer-Verlag(2012)
[21] Klasing,R.,Kosowski,A.,Navarra,A.:利用对称性:在环上聚集许多异步遗忘机器人。理论计算机科学4113235-3246(2010)·Zbl 1195.68099号 ·doi:10.1016/j.tcs.2010.05.020
[22] Klasing,R.,Markou,E.,Pelc,A.:将异步无意识移动机器人聚集在一起。《理论计算机科学》390,27-39(2008)·Zbl 1134.68013号 ·doi:10.1016/j.tcs.2007.09.032
[23] Koren,M.:在环上收集少量移动异步机器人。Zeszyty Naukowe Wydzialu ETI Politechniki Gdanskiej。Technologie Informacyjne 18,325-331(2010)
[24] Kranakis,E.,Krizanc,D.,Markou,E.:《环中的移动代理会合问题》,摩根与克莱普尔出版社(2010)·Zbl 1145.68330号
[25] Kranakis,E.,Krizanc,D.,Rajsbaum,S.:移动代理集合:一项调查。摘自:《第十三届结构信息与通信复杂性国际学术讨论会论文集》,《计算机科学讲稿》,第4056卷,第1-9页。Springer-Verlag(2006)
[26] Pelc,A.:网络中的决定性集合:一项综合调查。网络59(3),331-347(2012)·数字对象标识代码:10.1002/net.21453
[27] Prencipe,G.:一组自主移动机器人不可能聚集。理论计算机科学384,222-231(2007)·Zbl 1125.68124号 ·doi:10.1016/j.tcs.2007.04.023
[28] Santoro,N.:分布式算法的设计与分析。John Wiley&Sons(2007)·Zbl 1115.68166号
[29] 铃木,I.,山下,M.:分布式匿名移动机器人:几何图案的形成。SIAM J.计算。28(4), 1347-1363 (1999) ·Zbl 0940.68145号 ·doi:10.1137/S009753979628292X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。