Setting port numbers for fast graph exploration

We consider the problem of periodic graph exploration by a finite automaton in which an automaton with a constant number of states has to explore all unknown anonymous graphs of arbitrary size and arbitrary maximum degree. In anonymous graphs, nodes are not labeled but edges are labeled in a local manner (called local orientation) so that the automaton is able to distinguish them. Precisely, the edges incident to a node v are given port numbers from 1 to dv, where dv is the degree of v. Periodic graph exploration means visiting every node infinitely often. We are interested in the length of the period, i.e., the maximum number of edge traversals between two consecutive visits of any node by the automaton in the same state and entering the node by the same port. This problem is unsolvable if local orientations are set arbitrarily. Given this impossibility result, we address the following problem: what is the mimimum function (n) such that there exist an algorithm for setting the local ...

• Type: Journal
• Year: 2008
• Where: TCS
• Authors: David Ilcinkas
• Keywords: Automaton, Local Orientation, Periodic Graph Exploration, TCS 2008, Theoretical Computer Science