On boundaries of highly visible spaces and applications

The purpose of this paper is to investigate the properties of a certain class of highly visible spaces. For a given geometric space S containing obstacles specified by disjoint subsets of S, the free space ℱ is defined to be the portion of S not occupied by these obstacles. The space is said to be highly visible if at each point in ℱ a viewer can see at least an ε fraction of the entire ℱ. This assumption has been used for robotic motion planning in the analysis of random sampling of points in the robot's configuration space, as well as the upper bound of the minimum number of guards needed for art gallery problems. However, there is no prior result on the implication of this assumption to the geometry of the space under study. For the two-dimensional case, with the additional assumptions that S is bounded within a rectangle of constant aspect ratio and that the volume ratio between ℱ and S is a constant, we show by "charging" each obstacle boundary by a certain portion of S that the total length of all obstacle boundaries in S is O(√nμ(ℱ)/ε), if S contains polygonal obstacles with a total of n boundary edges; or O(√nμ(ℱ)/ε), if S contains n convex obstacles that are piecewise smooth. In both cases, μ(ℱ) is the volume of ℱ. For the polygonal case, this bound is tight as we can construct a space whose boundary size is θ(√nμ(ℱ)/ε). These results can be partially extended to three dimensions. We show that these results can be applied to the analysis of certain probabilistic roadmap planners, as well as a variation of the art gallery problem. © Springer-Verlag Berlin Heidelberg 2003.

Duke Scholars

Author John H. Reif Computer Science