Topological Peeling and Implementation

We present a new approach, called topological peeling, and its implementation for traversing a portion AR of the arrangement formed by n lines within a convex region R on the plane. Topological peeling visits the cells of AR in a fashion of propagating a "wave" of a special shape (called a double-wriggle curve) starting at a single source point. This special traversal fashion enables us to solve several problems (e.g., computing shortest paths) on planar arrangements to which previously best known arrangement traversal techniques such as topological sweep and topological walkm ay not be directly applicable. Our topological peeling algorithm takes O(K + n log(n + r)) time and O(n + r) space, where K is the number of cells in AR and r is the number of boundary vertices of R. Comparing with topological walk, topological peeling uses a simpler and more efficient way to sweep different types of lines, and relies heavily on exploring small local structures, rather than a much larger global structure. Experiments show that, on average, topological peeling outperforms topological walkb y 10 - 15% in execution time.

[1]  Michiel H. M. Smid,et al.  On Some Geometric Optimization Problems in Layered Manufacturing , 1997, WADS.

[2]  Xiaodong Wu,et al.  Determining an Optimal Penetration Among Weighted Regions in Two and Three Dimensions , 1999, SCG '99.

[3]  Raimund Seidel,et al.  Constructing Arrangements of Lines and Hyperplanes with Applications , 1986, SIAM J. Comput..

[4]  David G. Kirkpatrick,et al.  Approximating Shortest Paths in Arrangements of Lines , 1996, CCCG.

[5]  Leonidas J. Guibas,et al.  Topologically sweeping an arrangement , 1986, STOC '86.

[6]  Bernard Chazelle,et al.  The power of geometric duality , 1985, BIT Comput. Sci. Sect..

[7]  Xiaobo Sharon Hu,et al.  Finding an Optimal Path without Growing the Tree , 1998, ESA.

[8]  Herbert Edelsbrunner,et al.  Constructing Belts in Two-Dimensional Arrangements with Applications , 1986, SIAM J. Comput..

[9]  H. Edelsbrunner,et al.  Computing Least Median of Squares Regression Lines and Guided Topological Sweep , 1990 .

[10]  Steven Skiena,et al.  On Minimum-Area Hulls , 1998, Algorithmica.

[11]  Tetsuo Asano,et al.  Topological Walk Revisited , 1994, CCCG.

[12]  David Eppstein,et al.  Shortest paths in an arrangement with k line orientations , 1999, SODA '99.

[13]  Leonidas J. Guibas,et al.  Topological Sweeping in Three Dimensions , 1990, SIGAL International Symposium on Algorithms.

[14]  Philip N. Klein,et al.  Faster Shortest-Path Algorithms for Planar Graphs , 1997, J. Comput. Syst. Sci..

[15]  Joan Antoni Sellarès,et al.  Fast implementation of depth contours using topological sweep , 2001, SODA '01.

[16]  Kurt Mehlhorn,et al.  Sorting Jordan Sequences in Linear Time Using Level-Linked Search Trees , 1986, Inf. Control..

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

[18]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[19]  Franco P. Preparata,et al.  Plane-sweep algorithms for intersecting geometric figures , 1982, CACM.

[20]  Philip N. Klein,et al.  Faster Shortest-Path Algorithms for Planar Graphs , 1997, J. Comput. Syst. Sci..

[21]  Leonidas J. Guibas,et al.  Walking on an arrangement topologically , 1994, Int. J. Comput. Geom. Appl..

[22]  David Eppstein,et al.  An Efficient Algorithm for Shortest Paths in Vertical and Horizontal Segments , 1997, WADS.