Convergecast and Broadcast by Power-Aware Mobile Agents

A set of identical, mobile agents is deployed in a weighted network. Each agent has a battery—a power source allowing it to move along network edges. An agent uses its battery proportionally to the distance traveled. We consider two tasks: convergecast, in which at the beginning, each agent has some initial piece of information, and information of all agents has to be collected by some agent; and broadcast in which information of one specified agent has to be made available to all other agents. In both tasks, the agents exchange the currently possessed information when they meet. The objective of this paper is to investigate what is the minimal value of power, initially available to all agents, so that convergecast or broadcast can be achieved. We study this question in the centralized and the distributed settings. In the centralized setting, there is a central monitor that schedules the moves of all agents. In the distributed setting every agent has to perform an algorithm being unaware of the network. In the centralized setting, we give a linear-time algorithm to compute the optimal battery power and the strategy using it, both for convergecast and for broadcast, when agents are on the line. We also show that finding the optimal battery power for convergecast or for broadcast is NP-hard for the class of trees. On the other hand, we give a polynomial algorithm that finds a 2-approximation for convergecast and a 4-approximation for broadcast, for arbitrary graphs.In the distributed setting, we give a 2-competitive algorithm for convergecast in trees and a 4-competitive algorithm for broadcast in trees. The competitive ratio of 2 is proved to be the best for the problem of convergecast, even if we only consider line networks. Indeed, we show that there is no ($$2-\epsilon $$2-ϵ)-competitive algorithm for convergecast or for broadcast in the class of lines, for any $$\epsilon >0$$ϵ>0.

[1]  David P. Bunde Power-aware scheduling for makespan and flow , 2006, SPAA '06.

[2]  Dariusz R. Kowalski,et al.  Fast Distributed Algorithm for Convergecast in Ad Hoc Geometric Radio Networks , 2005, Second Annual Conference on Wireless On-demand Network Systems and Services.

[3]  Klaudia Frankfurter Computers And Intractability A Guide To The Theory Of Np Completeness , 2016 .

[4]  Nicola Santoro,et al.  Solving the Robots Gathering Problem , 2003, ICALP.

[5]  C. N. Brorn,et al.  WHO? , 1896 .

[6]  Kurt Mehlhorn,et al.  Online graph exploration: New results on old and new algorithms , 2012, Theor. Comput. Sci..

[7]  Ricardo A. Baeza-Yates,et al.  Searching in the Plane , 1993, Inf. Comput..

[8]  Oded Berman,et al.  A Heuristic with Worst-case Analysis for Minimax Routing of Two Travelling Salesmen on a Tree , 1996, Discret. Appl. Math..

[9]  Christoph Ambühl,et al.  An Optimal Bound for the MST Algorithm to Compute Energy Efficient Broadcast Trees in Wireless Networks , 2005, ICALP.

[10]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[11]  Reuven Cohen,et al.  Convergence Properties of the Gravitational Algorithm in Asynchronous Robot Systems , 2004, SIAM J. Comput..

[12]  Michael J. Fischer,et al.  Computation in networks of passively mobile finite-state sensors , 2004, PODC '04.

[13]  Yossi Azar On-line Load Balancing , 1996, Online Algorithms.

[14]  Thomas F. La Porta,et al.  Who, When, Where: Timeslot Assignment to Mobile Clients , 2009, IEEE Transactions on Mobile Computing.

[15]  F. Frances Yao,et al.  A scheduling model for reduced CPU energy , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[16]  Mona Singh,et al.  Piecemeal Graph Exploration by a Mobile Robot , 1999, Inf. Comput..

[17]  Sandeep K. S. Gupta,et al.  On tree-based convergecasting in wireless sensor networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[18]  Reuven Bar-Yehuda,et al.  On the Time-Complexity of Broadcast in Multi-hop Radio Networks: An Exponential Gap Between Determinism and Randomization , 1992, J. Comput. Syst. Sci..

[19]  Baruch Awerbuch,et al.  A trade-off between information and communication in broadcast protocols , 1990, JACM.

[20]  Christian Schindelhauer,et al.  Power-Aware Collective Tree Exploration , 2006, ARCS.

[21]  Masafumi Yamashita,et al.  Characterizing geometric patterns formable by oblivious anonymous mobile robots , 2010, Theor. Comput. Sci..

[22]  Friedhelm Meyer auf der Heide,et al.  A New Approach for Analyzing Convergence Algorithms for Mobile Robots , 2011, ICALP.

[23]  Masafumi Yamashita,et al.  Distributed memoryless point convergence algorithm for mobile robots with limited visibility , 1999, IEEE Trans. Robotics Autom..

[24]  Shmuel Gal,et al.  The theory of search games and rendezvous , 2002, International series in operations research and management science.

[25]  Leon Atkins,et al.  Algorithms for power savings , 2014 .

[26]  Masafumi Yamashita,et al.  Distributed Anonymous Mobile Robots: Formation of Geometric Patterns , 1999, SIAM J. Comput..

[27]  Nicola Santoro,et al.  On the computational power of oblivious robots: forming a series of geometric patterns , 2010, PODC '10.

[28]  Deborah Estrin,et al.  The impact of data aggregation in wireless sensor networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[29]  Michael A. Bender,et al.  The power of team exploration: two robots can learn unlabeled directed graphs , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[30]  Chul E. Kim,et al.  Approximation algorithms for some routing problems , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[31]  Andrzej Pelc,et al.  Collective tree exploration , 2004, Networks.

[32]  Nicola Santoro,et al.  Design and analysis of distributed algorithms , 2006, Wiley series on parallel and distributed computing.

[33]  Baruch Schieber,et al.  Navigating in Unfamiliar Geometric Terrain , 1997, SIAM J. Comput..

[34]  R. Rivest,et al.  Piecemeal Learning of an Unknown Environment , 1993, COLT '93.

[35]  Nicola Santoro,et al.  Gathering of asynchronous robots with limited visibility , 2005, Theor. Comput. Sci..

[36]  Susanne Albers,et al.  Exploring Unknown Environments , 2000, SIAM J. Comput..

[37]  John Augustine,et al.  Optimal power-down strategies , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[38]  Ivan Stojmenovic,et al.  Power-aware localized routing in wireless networks , 2000, Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000.

[39]  Pramod K. Varshney,et al.  Data-aggregation techniques in sensor networks: a survey , 2006, IEEE Communications Surveys & Tutorials.

[40]  Erik D. Demaine,et al.  Energy-Efficient Algorithms , 2016, ITCS.

[41]  Michael A. Bender,et al.  The power of a pebble: exploring and mapping directed graphs , 1998, STOC '98.

[42]  Xiaotie Deng,et al.  Exploring an unknown graph , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.