Traversal of a quasi-planar subdivision without using mark bits

Summary form only given. The problem of traversal of planar subdivisions or other graph-like structures without using mark bits is central to many real-world applications. The first such algorithms were able to traverse triangulated subdivisions. Later these algorithms were extended to traverse vertices of an arrangement or a convex polytope. The research progress culminated in an algorithm that can traverse any planar subdivision. We extend the notion of planar subdivision to quasiplanar subdivision in which we allow many edges to cross each other. We describe an algorithm to traverse any quasiplanar subdivision that satisfies a simple requirement. The worst case running time of our algorithm is O(|E| log |E|), which matches the running time of the traversal algorithm for planar subdivisions.

[1]  C. M. Gold,et al.  Automated contour mapping using triangular element data structures and an interpolant over each irregular triangular domain , 1977, SIGGRAPH '77.

[2]  David E. Muller,et al.  Finding the Intersection of two Convex Polyhedra , 1978, Theor. Comput. Sci..

[3]  Richard J. Lipton,et al.  Random walks, universal traversal sequences, and the complexity of maze problems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[4]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[5]  D F Marble,et al.  Technical description of the DIME System , 1990 .

[6]  David Avis,et al.  A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra , 1991, SCG '91.

[7]  Endre Szemerédi,et al.  Undirected Connectivity in O(log ^1.5 n) Space , 1992, FOCS.

[8]  E. Szemerédi,et al.  Undirected connectivity in O(log/sup 1.5/n) space , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[9]  Noam Nisan,et al.  RL⊆SC , 1992, STOC '92.

[10]  Noam Nisan Rl <= Sc , 1994, Comput. Complex..

[11]  Mark de Berg,et al.  Simple traversal of a subdivision without extra storage , 1996, SCG '96.

[12]  Ivan Stojmenovic,et al.  Routing with Guaranteed Delivery in Ad Hoc Wireless Networks , 1999, DIALM '99.

[13]  Allan Borodin,et al.  A Time-Space Tradeoff for Undirected Graph Traversal by Walking Automata , 1999, SIAM J. Comput..

[14]  Jorge Urrutia,et al.  Compass routing on geometric networks , 1999, CCCG.

[15]  Avi Wigderson,et al.  An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs , 2000, JACM.

[16]  Prosenjit Bose,et al.  An Improved Algorithm for Subdivision Traversal without Extra Storage , 2002, Int. J. Comput. Geom. Appl..

[17]  Yan Zhang,et al.  Geometric ad-hoc routing: of theory and practice , 2003, PODC '03.

[18]  Roger Wattenhofer,et al.  Worst-Case optimal and average-case efficient geometric ad-hoc routing , 2003, MobiHoc '03.

[19]  Walter L. Ruzzo,et al.  Undirecteds-t connectivity in polynomial time and sublinear space , 2005, computational complexity.