|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/16115
|
| タイトル: | TuringMobile: A Turing Machine of Oblivious Mobile Robots with Limited Visibility and its Applications |
| 著者: | Luna, Giuseppe A. Di
Flocchini, Paola
Santoro, Nicola
Viglietta, Giovanni |
| キーワード: | Mobile Robots
Turing Machine
Real RAM |
| 発行日: | 2018 |
| 出版者: | Schloss Dagstuhl |
| 誌名: | Proceedings of the 32nd International Symposium on Distributed Computing (DISC) |
| 開始ページ: | 19:1 |
| 終了ページ: | 19:18 |
| DOI: | 10.4230/LIPIcs.DISC.2018.19 |
| 抄録: | In this paper we investigate the computational power of a set of mobile robots with limited visibility. At each iteration, a robot takes a snapshot of its surroundings, uses the snapshot to compute a destination point, and it moves toward its destination. Each robot is punctiform and memoryless, it operates in R^m, it has a local reference system independent of the other robots' ones, and is activated asynchronously by an adversarial scheduler. Moreover, the robots are non-rigid, in that they may be stopped by the scheduler at each move before reaching their destination (but are guaranteed to travel at least a fixed unknown distance before being stopped). We show that despite these strong limitations, it is possible to arrange 3m+3k of these weak entities in R^m to simulate the behavior of a stronger robot that is rigid (i.e., it always reaches its destination) and is endowed with k registers of persistent memory, each of which can store a real number. We call this arrangement a TuringMobile. In its simplest form, a TuringMobile consisting of only three robots can travel in the plane and store and update a single real number. We also prove that this task is impossible with fewer than three robots. Among the applications of the TuringMobile, we focused on Near-Gathering (all robots have to gather in a small-enough disk) and Pattern Formation (of which Gathering is a special case) with limited visibility. Interestingly, our investigation implies that both problems are solvable in Euclidean spaces of any dimension, even if the visibility graph of the robots is initially disconnected, provided that a small amount of these robots are arranged to form a TuringMobile. In the special case of the plane, a basic TuringMobile of only three robots is sufficient. |
| Rights: | © Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, and Giovanni Viglietta; licensed under Creative Commons License CC-BY. 32nd International Symposium on Distributed Computing (DISC 2018). Editors: Ulrich Schmid and Josef Widder; Article No. 19; pp.19:1–19:18. Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany |
| URI: | http://hdl.handle.net/10119/16115 |
| 資料タイプ: | publisher |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 25254.pdf | | 525Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
