×

Exploring an unknown graph. (English) Zbl 0941.68099

Summary: We wish to explore all edges of an unknown directed, strongly connected graph. At each point, we have a map of all nodes and edges we have visited, we can recognize these nodes and edges if we see them again, and we know how many unexplored edges emanate from each node we have visited, but we cannot tell where each leads until we traverse it. We wish to minimize the ratio of the total number of edges traversed divided by the optimum number of traversals, had we known the graph. For Eulerian graphs, this ratio cannot be better than two, and two is achievable by a simple algorithm. In contrast, the ratio is unbounded when the deficiency of the graph (the number of edges that have to be added to make it Eulerian) is unbounded. Our main result is an algorithm that achieves a bounded ratio when the deficiency is bounded.

MSC:

68R10 Graph theory (including graph drawing) in computer science
05C85 Graph algorithms (graph-theoretic aspects)
Full Text: DOI

References:

[1] and Exploring unknown environments, Proc 29th Ann ACM Symp Theory of Computing (STOC97), pp. 416-425. · Zbl 0968.68156
[2] Ben-David, Algorith 11 pp 2– (1994)
[3] Baeza-Yates, Info Comp 106 pp 234– (1993)
[4] Dudek, IEEE Trans Robotics Automat 7 pp 859– (1991)
[5] Deng, JACM 45 pp 215– (1998)
[6] and Exploring an unknown graph, IEEE 31st Ann Symp Found Comp Sci, 1990, pp. 355-361.
[7] Edmonds, Math Prog 5 pp 88– (1973)
[8] Guan, Chinese Math 1 pp 273– (1962)
[9] Kuipers, Robot Auton Sys 8 pp 47– (1991)
[10] Kuipers, AI Mag 9 pp 25– (1988)
[11] Karlin, Algorith 3 pp 79– (1988)
[12] private communication.
[13] On a simple depth-first search strategy for exploring unknown graphs, Proc 6th Inter Workshop Algorith Data Struct (WADS97), Halifax, 1997, pp. 345-353.
[14] Levitt, Art Intel 44 pp 305– (1990)
[15] Manasse, J Algorith 11 pp 208– (1990)
[16] and Exploring unknown undirected graphs, Proc Ninth Ann ACM-SIAM Symp Discr Alg (SODA98), pp. 316-322. · Zbl 0942.68089
[17] Papadimitriou, Theo Comp Sci 84 pp 127– (1991)
[18] Rivest, Info Comp 103 pp 299– (1993)
[19] Sleator, Comm ACM 28 pp 202– (1985)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.