Given n robots and n target points on the plane, the minimum set cover formation (SCF) problem requires the robots to form a set cover by the minimum number of robots. In previous formation problems by mobile robots, such as gathering and pattern formation, the problems consist only of the mobile robots, and there are no points fixed in the environment. In addition, the problems do not require a control of the number of robots constructing the formation. In this paper, we first introduce the formation problem in which robots move so that they achieve a desired deployment with the minimum number of robots for a given set of positions of fixed points.
Since the minimum set cover problem with disks in the centralized settings is NP-hard, our goal is to propose approximation algorithms for the minimum SCF problem. First, we show a minimal SCF algorithm from any initial configuration in the asynchronous system. Moreover, we propose an 8-approximation SCF algorithm in the semi-synchronous system for an initial configuration with a low symmetricity. This approximation algorithm achieves 2(1 + 1/l)2 approximation ratio for an initial configuration with the lowest symmetricity (l ≥ 1).
|Title of host publication||Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Proceedings|
|Editors||Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro|
|Number of pages||15|
|Publication status||Published - 2014|
|Event||18th International Conference on Principles of Distributed Systems, OPODIS 2014 - Cortina d’Ampezzo, Italy|
Duration: Dec 16 2014 → Dec 19 2014
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Other||18th International Conference on Principles of Distributed Systems, OPODIS 2014|
|Period||12/16/14 → 12/19/14|
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)