C G ] 1 7 M ay 2 00 8 A New Approach on the Canonical k-vertex Polygon Retrieval Problem on the Plane 1

The polygon retrieval problem on points is the problem of preprocessing a set of n points on the plane, so that given a polygon query, the subset of points lying inside it can be reported efficiently. It is of great interest in areas such as Computer Graphics, CAD applications, Spatial Databases and GIS developing tasks. In this paper we study the problem of canonical k-vertex polygon queries on the plane. A canonical k-vertex polygon query always meets the following specific property: a point retrieval query can be transformed into a linear number (with respect to the number of vertices) of point retrievals for orthogonal objects such as rectangles and triangles (throughout this work we call a triangle orthogonal iff two of its edges are axis-parallel). We present two new algorithms for this problem. The first one requires O(n log n) space and O(k log n loglogn +A) query time. A simple modification scheme on first algorithm lead us to a second solution, which consumes O(n) space and O(k logn loglogn + A) query time, where A denotes the size of the answer and k is the number of vertices. The best previous solution for the general polygon retrieval problem uses O(n) space and answers a query in O(k log n + A) time, where k is the number of vertices. It is also very complicated and difficult to be implemented in a standard imperative programming language such as C or C++.

[1]  Bernard Chazelle,et al.  Decomposing a polygon into its convex parts , 1979, STOC.

[2]  David G. Kirkpatrick,et al.  Polygonal Intersection Searching , 1982, Inf. Process. Lett..

[3]  Leonidas J. Guibas,et al.  The power of geometric duality , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[4]  Bernard Chazelle OPTIMAL ALGORITHMS FOR COMPUTING DEPTHS AND LAYERS. , 1983 .

[5]  Richard Cole,et al.  Geometric Retrieval Problems , 1983, FOCS.

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

[7]  Edward M. McCreight,et al.  Priority Search Trees , 1985, SIAM J. Comput..

[8]  Leonidas J. Guibas,et al.  Fractional Cascading: A Data Structuring Technique with Geometric Applications , 1985, ICALP.

[9]  F. Frances Yao,et al.  Point Retrieval for Polygons , 1986, J. Algorithms.

[10]  Robert E. Tarjan,et al.  Making data structures persistent , 1986, STOC '86.

[11]  Leonidas J. Guibas,et al.  Optimal Point Location in a Monotone Subdivision , 1986, SIAM J. Comput..

[12]  Herbert Edelsbrunner,et al.  Halfplanar Range Search in Linear Space and O(n^(0.695)) Query Time , 1986, Inf. Process. Lett..

[13]  Kurt Mehlhorn,et al.  A log log n Data Structure for Three-Sided Range Queries , 1987, Inf. Process. Lett..

[14]  Mark H. Overmars Efficient Data Structures for Range Searching on a Grid , 1988, J. Algorithms.

[15]  Hanan Samet,et al.  The Design and Analysis of Spatial Data Structures , 1989 .

[16]  Michael L. Fredman,et al.  Surpassing the Information Theoretic Bound with Fusion Trees , 1993, J. Comput. Syst. Sci..

[17]  Christos Makris,et al.  Geometric Retrieval for Grid Points in the RAM Model , 2004, J. Univers. Comput. Sci..

[18]  Timothy M. Chan Point Location in o(log n) Time, Voronoi Diagrams in o(n log n) Time, and Other Transdichotomous Results in Computational Geometry , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[19]  Mihai Patrascu,et al.  Planar Point Location in Sublogarithmic Time , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).