Label-Guided Graph Exploration with Adjustable Ratio of Labels

The graph exploration problem is to visit all the nodes of a connected graph by a mobile entity, e.g., a robot. The robot has no a priori knowledge of the topology of the graph or of its size. Cohen et al. \cite{Ilcinkas08} introduced label guided graph exploration which allows the system designer to add short labels to the graph nodes in a preprocessing stage; these labels can guide the robot in the exploration of the graph. In this paper, we address the problem of adjustable 1-bit label guided graph exploration. We focus on the labeling schemes that not only enable a robot to explore the graph but also allow the system designer to adjust the ratio of the number of different labels. This flexibility is necessary when maintaining different labels may have different costs or when the ratio is pre-specified. We present 1-bit labeling (two colors, namely black and white) schemes for this problem along with a labeling algorithm for generating the required labels. Given an $n$-node graph and a rational number $\rho$, we can design a 1-bit labeling scheme such that $n/b\geq \rho$ where $b$ is the number of nodes labeled black. The robot uses $O(\rho\log\Delta)$ bits of memory for exploring all graphs of maximum degree $\Delta$. The exploration is completed in time $O(n\Delta^{\frac{16\rho+7}{3}}/\rho+\Delta^{\frac{40\rho+10}{3}})$. Moreover, our labeling scheme can work on graphs containing loops and multiple edges, while that of Cohen et al. focuses on simple graphs.

[1]  Kunihiko Sadakane,et al.  More efficient periodic traversal in anonymous undirected graphs , 2012, Theor. Comput. Sci..

[2]  Bernard Mans,et al.  Exploration of Periodically Varying Graphs , 2009, ISAAC.

[3]  David Ilcinkas,et al.  Setting port numbers for fast graph exploration , 2006, Theor. Comput. Sci..

[4]  Sébastien Tixeuil,et al.  Space Lower Bounds for Graph Exploration via Reduced Automata , 2005, SIROCCO.

[5]  Pierre Fraigniaud,et al.  Digraphs Exploration with Little Memory , 2004, STACS.

[6]  Kunihiko Sadakane,et al.  Finding Short Right-Hand-on-the-Wall Walks in Graphs , 2005, SIROCCO.

[7]  Andrzej Pelc,et al.  Tree exploration with advice , 2008, Inf. Comput..

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

[9]  Reuven Cohen,et al.  Label-guided graph exploration by a finite automaton , 2005, TALG.

[10]  Andrzej Pelc,et al.  Graph exploration by a finite automaton , 2005, Theor. Comput. Sci..

[11]  Shay Kutten,et al.  Proof labeling schemes , 2005, PODC '05.

[12]  Xiaohui Zhang,et al.  Fast periodic graph exploration with constant memory , 2007, J. Comput. Syst. Sci..

[13]  Xiaohui Zhang,et al.  Fast periodic graph exploration with constant memory , 2008, J. Comput. Syst. Sci..

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

[15]  Hans-Anton Rollik,et al.  Automaten in planaren Graphen , 1979, Acta Informatica.

[16]  Omer Reingold,et al.  Undirected connectivity in log-space , 2008, JACM.

[17]  Alfredo Navarra,et al.  Graph Decomposition for Improving Memoryless Periodic Exploration , 2009, MFCS.

[18]  Andrzej Pelc,et al.  Tree exploration with logarithmic memory , 2007, SODA '07.

[19]  Reuven Cohen,et al.  Label-guided graph exploration by a finite automaton , 2008, TALG.

[20]  Paola Flocchini,et al.  Remembering without memory: Tree exploration by asynchronous oblivious robots , 2010, Theor. Comput. Sci..