Tree exploration with advice

We study the amount of knowledge about the network that is required in order to efficiently solve a task concerning this network. The impact of available information on the efficiency of solving network problems, such as communication or exploration, has been investigated before but assumptions concerned availability of particular items of information about the network, such as the size, the diameter, or a map of the network. In contrast, our approach is quantitative: we investigate the minimum number of bits of information (bits of advice) that has to be given to an algorithm in order to perform a task with given efficiency. We illustrate this quantitative approach to available knowledge by the task of tree exploration. A mobile entity (robot) has to traverse all edges of an unknown tree, using as few edge traversals as possible. The quality of an exploration algorithm A is measured by its competitive ratio, i.e., by comparing its cost (number of edge traversals) to the length of the shortest path containing all edges of the tree. Depth-First-Search has competitive ratio 2 and, in the absence of any information about the tree, no algorithm can beat this value. We determine the minimum number of bits of advice that has to be given to an exploration algorithm in order to achieve competitive ratio strictly smaller than 2. Our main result establishes an exact threshold number of bits of advice that turns out to be roughly loglogD, where D is the diameter of the tree. More precisely, for any constant c, we construct an exploration algorithm with competitive ratio smaller than 2, using at most loglogD-c bits of advice, and we show that every algorithm using loglogD-g(D) bits of advice, for any function g unbounded from above, has competitive ratio at least 2.

[1]  Mihalis Yannakakis,et al.  Shortest Paths Without a Map , 1989, Theor. Comput. Sci..

[2]  Wojciech Rytter,et al.  Broadcasting algorithms in radio networks with unknown topology , 2006, J. Algorithms.

[3]  Nicolas Nisse,et al.  Graph searching with advice , 2009, Theor. Comput. Sci..

[4]  Andrzej Pelc,et al.  Distributed computing with advice: information sensitivity of graph coloring , 2007, Distributed Computing.

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

[6]  Xiaotie Deng,et al.  How to learn an unknown environment. I: the rectilinear case , 1998, JACM.

[7]  Andrzej Pelc,et al.  Impact of topographic information on graph exploration efficiency , 2000, Networks.

[8]  Andrzej Pelc,et al.  Exploring unknown undirected graphs , 1999, SODA '98.

[9]  Faith Ellen,et al.  Hundreds of impossibility results for distributed computing , 2003, Distributed Computing.

[10]  Xiaotie Deng,et al.  Competitive robot mapping with homogeneous markers , 1996, IEEE Trans. Robotics Autom..

[11]  Andrzej Pelc,et al.  Optimal Deterministic Broadcasting in Known Topology Radio Networks , 2006, Distributed Computing.

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

[13]  Amos Fiat,et al.  Randomized robot navigation algorithms , 1996, SODA '96.

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

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

[16]  Nancy A. Lynch,et al.  A hundred impossibility proofs for distributed computing , 1989, PODC '89.

[17]  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.

[18]  Vida Dujmovic,et al.  On validating planar worlds , 2001, SODA '01.

[19]  Amos Fiat,et al.  On-Line Navigation in a Room , 1992, SODA.

[20]  Andrzej Pelc,et al.  Impact of topographic information on graph exploration efficiency , 2000 .

[21]  Pierre Fraigniaud,et al.  Local MST Computation with Short Advice , 2007, SPAA '07.

[22]  Rudolf Fleischer,et al.  Exploring an Unknown Graph Efficiently , 2005, ESA.

[23]  Nicolas Nisse,et al.  Graph searching with advice , 2007, Theor. Comput. Sci..

[24]  Michael Jenkin,et al.  Robotic exploration as graph construction , 1991, IEEE Trans. Robotics Autom..

[25]  David Peleg,et al.  Faster communication in known topology radio networks , 2005, PODC '05.

[26]  Masafumi Yamashita,et al.  Computing on Anonymous Networks: Part I-Characterizing the Solvable Cases , 1996, IEEE Trans. Parallel Distributed Syst..

[27]  Bernard Mans,et al.  Sense of direction in distributed computing , 2003, Theor. Comput. Sci..

[28]  Andrzej Pelc,et al.  Oracle size: a new measure of difficulty for communication tasks , 2006, PODC '06.

[29]  Andrea E. F. Clementi,et al.  Selective families, superimposed codes, and broadcasting on unknown radio networks , 2001, SODA '01.

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

[31]  Andrzej Pelc,et al.  Optimal graph exploration without good maps , 2002, Theor. Comput. Sci..

[32]  Masafumi Yamashita,et al.  Computing on an anonymous network , 1988, PODC '88.

[33]  V. S. Anil Kumar,et al.  Optimal constrained graph exploration , 2001, SODA '01.

[34]  Krzysztof Diks,et al.  Tree exploration with little memory , 2002, SODA.

[35]  Mona Singh,et al.  Piecemeal graph exploration by a mobile robot (extended abstract) , 1995, COLT '95.