Abstract
We consider the problem of scattering \(n\) robots in a two dimensional continuous space. As this problem is impossible to solve in a deterministic manner [6], all solutions must be probabilistic. We investigate the amount of randomness (that is, the number of random bits used by the robots) that is required to achieve scattering.
We first prove that \(n \log n\) random bits are necessary to scatter \(n\) robots in any setting. Also, we give a sufficient condition for a scattering algorithm to be random bit optimal. As it turns out that previous solutions for scattering satisfy our condition, they are hence proved random bit optimal for the scattering problem.
Then, we investigate the time complexity of scattering when strong multiplicity detection is not available. We prove that such algorithms cannot converge in constant time in the general case and in \(o(\log \log n)\) rounds for random bits optimal scattering algorithms. However, we present a family of scattering algorithms that converge as fast as needed without using multiplicity detection. Also, we put forward a specific protocol of this family that is random bit optimal (\(n \log n\) random bits are used) and time optimal (\(\log \log n\) rounds are used). This improves the time complexity of previous results in the same setting by a \(\log n\) factor.
Aside from characterizing the random bit complexity of mobile robot scattering, our study also closes its time complexity gap with and without strong multiplicity detection (that is, \(O(1)\) time complexity is only achievable when strong multiplicity detection is available, and it is possible to approach it as needed otherwise).
This work was performed within the Labex SMART supported by French state funds managed by the ANR within the Investissements d’Avenir programme under reference ANR-11-IDEX-0004-02. It has also been partially supported by the LINCS.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
To our knowledge, no algorithm exists for scattering mobile robots in the ASYNC model.
- 2.
we use the tetration notation : \({^{n}a} = \underbrace{a^{a^{\cdot ^{\cdot ^{a}}}}}_n\) i.e. \(a\) exponentiated by itself, \(n\) times.
References
Anagnostou, E., El-Yaniv, R.: More on the power of random walks: uniform self-stabilizing randomized algorithms. In: Toueg, S., Spirakis, P., Kirousis, L. (eds.) Distributed Algorithms. LNCS, vol. 579, pp. 31–51. Springer, Heidelberg (1992). http://dx.doi.org/10.1007/BFb0022436
Aurenhammer, F.: Voronoi diagrams—a survey of a fundamental geometric data structure. ACM Comput. Surv. (CSUR) 23(3), 345–405 (1991)
Bramas, Q., Tixeuil, S.: The random bit complexity of mobile robots scattering. CoRR abs/1309.6603 (2015). http://arxiv.org/abs/1309.6603
Clément, J., Défago, X., Potop-Butucaru, M.G., Izumi, T., Messika, S.: The cost of probabilistic agreement in oblivious robot networks. Inf. Process. Lett. 110(11), 431–438 (2010)
Dieudonné, Y., Petit, F.: Robots and demons (the code of the origins). In: Crescenzi, P., Prencipe, G., Pucci, G. (eds.) FUN 2007. LNCS, vol. 4475, pp. 108–119. Springer, Heidelberg (2007)
Dieudonné, Y., Petit, F.: Scatter of robots. Parallel Process. Lett. 19(1), 175–184 (2009)
Flocchini, P., Prencipe, G., Santoro, N.: Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool Publishers (2012)
Izumi, T., Potop-Butucaru, M.G., Tixeuil, S.: Connectivity-preserving scattering of mobile robots with limited visibility. In: Dolev, S., Cobb, J., Fischer, M., Yung, M. (eds.) SSS 2010. LNCS, vol. 6366, pp. 319–331. Springer, Heidelberg (2010)
Raab, M., Steger, A.: “Balls into bins" a simple and tight analysis. In: Luby, M., Rolim, J., Serna, M. (eds.) Randomization and Approximation Techniques in Computer Science. LNCS, vol. 1518, pp. 159–170. Springer, Heidelberg (1998). http://dx.doi.org/10.1007/3-540-49543-6_13
Suzuki, I., Yamashita, M.: Distributed anonymous mobile robots: formation of geometric patterns. SIAM J. Comput. 28(4), 1347–1363 (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bramas, Q., Tixeuil, S. (2015). The Random Bit Complexity of Mobile Robots Scattering. In: Papavassiliou, S., Ruehrup, S. (eds) Ad-hoc, Mobile, and Wireless Networks. ADHOC-NOW 2015. Lecture Notes in Computer Science(), vol 9143. Springer, Cham. https://doi.org/10.1007/978-3-319-19662-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-19662-6_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19661-9
Online ISBN: 978-3-319-19662-6
eBook Packages: Computer ScienceComputer Science (R0)