移动机器人在动态环中的现场探索，再访
Live Exploration with Mobile Robots in a Dynamic Ring, Revisited
摘要：
图探索问题需要一组移动机器人，最初被任意放置在图的节点上，协同工作来探索图，使得每个节点最终被至少一个机器人访问。探索的一个重要要求是{\em终止}条件，即，机器人必须知道探索已经完成。最近在[Di Luna et al.，ICDCS 2016]。在这篇论文中，他们提出了多种算法，以解决在涉及$2$机器人时，在具有各种保证的完全同步和半同步设置下的探索问题。他们还保证，在某些假设下，使用两个机器人探索环是不可能的。一个重要的问题是$3$机器人的存在将如何影响结果。在本文中，我们试图解决这个问题，在一个完全同步的设置，也展示了如何将我们的结果扩展到一个半同步设置。特别地，我们提出了使用$3$机器人结合以下任一项进行显式终止的探索的算法：（i）机器人的唯一ID和边缘交叉检测能力（即，两个机器人在同一轮中沿相反方向移动通过边缘可以检测到彼此），或者（ii）获得随机性。我们的确定性算法的时间复杂度是渐近最优的。我们还提供了互补的不可能性结果表明，不存在任何明确的终止算法$2$机器人。理论分析和综合仿真结果表明了该算法在动态环中的有效性。我们还提出了一种算法，以实现探索与部分终止使用$3$机器人在半同步设置。
英文摘要：
The graph exploration problem requires a group of mobile robots, initially placed arbitrarily on the nodes of a graph, to work collaboratively to explore the graph such that each node is eventually visited by at least one robot. One important requirement of exploration is the {\em termination} condition, i.e., the robots must know that exploration is completed. The problem of live exploration of a dynamic ring using mobile robots was recently introduced in [Di Luna et al., ICDCS 2016]. In it, they proposed multiple algorithms to solve exploration in fully synchronous and semi-synchronous settings with various guarantees when $2$ robots were involved. They also provided guarantees that with certain assumptions, exploration of the ring using two robots was impossible. An important question left open was how the presence of $3$ robots would affect the results. In this paper, we try to settle this question in a fully synchronous setting and also show how to extend our results to a semi-synchronous setting. In particular, we present algorithms for exploration with explicit termination using $3$ robots in conjunction with either (i) unique IDs of the robots and edge crossing detection capability (i.e., two robots moving in opposite directions through an edge in the same round can detect each other), or (ii) access to randomness. The time complexity of our deterministic algorithm is asymptotically optimal. We also provide complementary impossibility results showing that there does not exist any explicit termination algorithm for $2$ robots. The theoretical analysis and comprehensive simulations of our algorithm show the effectiveness and efficiency of the algorithm in dynamic rings. We also present an algorithm to achieve exploration with partial termination using $3$ robots in the semi-synchronous setting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
