×

移动机器人无碰撞的匿名图形探索。 (英语) Zbl 1191.68709号

摘要:考虑自主移动机器人在有限匿名图上移动,本文重点研究了约束永久图搜索问题。这个问题要求每个机器人永久访问图形的所有顶点,这样就不会有任何顶点一次承载多个机器人,并且每个边一次最多只能由一个机器人遍历。本文给出了在保持CPGE可解性的情况下,图中可放置机器人数量的上界。为了使不可能结果尽可能强(图中最初最多可以放置个机器人),这个上限是在一个强假设下建立的,即存在一个无所不知的守护进程,它能够协调同步系统每一轮的机器人运动。有趣的是,这个上限与图的拓扑有关。更准确地说,本文将每个图与一个标记树相关联,该树捕获单个机器人每次必须穿越的路径(就像它们是一条简单的边一样)。这些标记路径中最长路径的长度是决定机器人数量上限的关键参数。

MSC公司:

68T40型 机器人人工智能
64岁以下 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 阿尔伯斯,S。;Henzinger,M.R.,探索未知环境,SIAM计算杂志,29,4,1164-1188(2000)·兹伯利0947.68165
[2] Awerbuch,B。;Betke,M。;Rivest,R.L。;Singh,M.,移动机器人的逐段图探索,信息与计算,152,2,155-172(1999)·Zbl 1045.68611号
[3] 巴尔多尼,R。;阀盖,F。;Milani,A。;Raynal,M.,关于移动机器人匿名部分网格探索的可解性。技术报告#1892,21 p.,IRISA,法国雷恩大学1号,2008
[4] 医学硕士本德。;Slonim,D.,《团队探索的力量:两个机器人可以学习未标记的有向图》,(第35届IEEE计算机科学基础研讨会论文集(FOCS’94)(1974),IEEE计算机出版社),75-85
[5] Budach,L.,《自动化与迷宫》,Mathematische Nachrichten 1948-1999,86,1,195-282(1978)·Zbl 0405.68049号
[6] Dobrev,S。;Jansson,J。;Sadakane,K。;Sung,W.K.,《在无向图中发现短的右向墙行走》,(第十二届结构信息和通信复杂性学术讨论会论文集(SIROCCO’05)。程序。第十二届结构信息与通信复杂性学术讨论会(SIROCCO’05),LNCS,第3499卷(2005),Springer-Verlag,127-139·Zbl 1085.68106号
[7] 小西葫芦,P。;伊尔辛卡斯,D。;佩尔克,A。;Santoro,N.,《无通信计算:异步无意识机器人的环形探测》,(第11届国际会议,分布式系统原理会议(OPODIS’07)。程序。第11届国际。分布式系统原理会议(OPODIS’07),LNCS,第4878卷(2007),Springer-Verlag,105-118
[8] Fraignaud,P。;伊尔辛卡斯,D。;佩尔,G。;佩尔克,A。;Peleg,D.,有限自动机的图形探索,理论计算机科学,345,2-3,331-344(2005)·Zbl 1081.68045号
[9] Fraignaud,P。;伊尔辛卡斯,D。;Rajsbaum,S。;Tixeuil,S.,《通过简化自动机进行图形探索的空间下限》,(第12届结构信息和通信复杂性学术讨论会论文集(SIROCCO’05)。程序。第十二届结构信息和通信复杂性学术讨论会(SIROCCO’05),LNCS,第3499卷(2005),Springer-Verlag,140-154·Zbl 1085.68110号
[10] Gasieniec,L。;Klasing,R。;马丁·R·A。;纳瓦拉,A。;Zhang,X.,具有恒定记忆的快速周期图探索,(第14届结构信息和通信复杂性学术讨论会论文集(SIROCCO 2007)。程序。第十四届结构信息和通信复杂性学术讨论会(SIROCCO 2007),LNCS,第4474卷(2007),Springer-Verlag,26-40·Zbl 1201.68147号
[11] 格罗西,R。;Pietracaprina,A。;Pucci,G.,网格上移动机器人的最佳确定性协议,信息与计算,173,2,132-142(2002)·Zbl 1009.68162号
[12] Ilcinkas,D.,为快速图形探索设置端口号,(第13届结构信息和通信复杂性学术讨论会(SIROCCO’06)。程序。第十三届结构信息和通信复杂性学术讨论会(SIROCCO’06),LNCS,第4056卷(2006),Springer-Verlag),59-69·Zbl 1222.68124号
[13] Panaite,P。;Pelc,A.,地形信息对图形勘探效率的影响,Networks,36,2,96-103(2000)·Zbl 1145.68599号
[14] Rollik,H.A.,《Planaren Graphen的自动化》,《信息学报》,第13期,第287-298页(1980年)·Zbl 0442.68046号
[15] 铃木,I。;Yamashita,M.,分布式匿名移动机器人:几何模式的形成,SIAM计算杂志,28,41347-363(1999)·Zbl 0940.68145号
[16] 雅里德,R。;迪法戈,X。;Wiesmann,M.,《异步协作移动机器人使用组通信的碰撞预防》,(第21届国际会议,IEEE高级信息网络和应用会议(AINA 2007)(2007),IEEE计算机出版社),244-249
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。