Drawing Maps with Advice

Abstract

AbstractWe study the problem of the amount of information required to draw a complete or a partial map of a graph with unlabeled nodes and arbitrarily labeled ports. A mobile agent, starting at any node of an unknown connected graph and walking in it, has to accomplish one of the following tasks: draw a complete map of the graph, i.e., find an isomorphic copy of it including port numbering, or draw a partial map, i.e., a spanning tree, again with port numbering. The agent executes a deterministic algorithm and cannot mark visited nodes in any way. None of these map drawing tasks is feasible without any additional information, unless the graph is a tree. This is due to the impossibility of recognizing already visited nodes. Hence we investigate the minimum number of bits of information (minimum size of advice) that has to be given to the agent to complete these tasks. It turns out that this minimum size of advice depends on the numbers n of nodes or the number m of edges of the graph, and on a crucial parameter μ, called the multiplicity of the graph, which measures the number of nodes that have an identical view of the graph.We give bounds on the minimum size of advice for both above tasks. For μ= 1 our bounds are asymptotically tight for both tasks and show that the minimum size of advice is very small: for an arbitrary function ϕ = ω(1) it suffices to give ϕ(n) bits of advice to accomplish both tasks for n-node graphs, and Θ(1) bits are not enough. For μ> 1 the minimum size of advice increases abruptly. In this case our bounds are asymptotically tight for topology recognition and asymptotically almost tight for spanning tree construction. We show that Θ(mlogμ) bits of advice are enough and necessary to recognize topology in the class of graphs with m edges and multiplicity μ> 1. For the second task we show that Ω(μlog(n/μ)) bits of advice are necessary and O (μlogn) bits of advice are enough to construct a spanning tree in the class of graphs with n nodes and multiplicity μ> 1. Thus in this case the gap between our bounds is always at most logarithmic, and the bounds are asymptotically tight for multiplicity μ = O(n α), where α is any constant smaller than 1.KeywordsSpan TreeMobile AgentPort NumberIsomorphic CopyQuotient GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.