|
ABSTRACT
A classical problem in computational geometry is the planar point location problem. This problem calls for preprocessing a polygonal subdivision of the plane defined by n line segments so that, given a sequence of points, the polygon containing each point can be determined quickly on-line. Several ways of solving this problem in O(log n) query time and O(n) space are known, but they are all rather complicated. We propose a simple O(log n)-query-time, O(n)-space solution, using persistent search trees. A persistent search tree differs from an ordinary search tree in that after an insertion or deletion, the old version of the tree can still be accessed. We develop a persistent form of binary search tree that supports insertions and deletions in the present and queries in the past. The time per query or update is O(log m), where m is the total number of updates, and the space needed is O(1) per update. Our planar point location algorithm is an immediate application of this data structure. The structure also provides an alternative to Chazelle's "hive graph" structure, which has a variety of applications in geometric retrieval.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Ad&on-Velikii. GM. and Landis. E.M. An algorithm for the organization of information. Souief Math. Dokl. 3, 5 (Sept. 1962). 1259-1262.
|
| |
2
|
|
| |
3
|
Bayer, R. Symmetric binary B-trees: Data structure and maintenance algorithms. Acfa Inform. 1.4 (Nov. 1972), 290-306.
|
| |
4
|
Bentley, J.L.. and Saxe, J.B. Decomposable searching problems I: Static-to-dynamic transformation. J AIgorifhms I. 4 (Dec. 1980). 301-358.
|
| |
5
|
Blum, N.. and Mehlhorn. K. On the average number of rebalancing operations in weight-balanced trees. A-78/06. Fachbereich Angewandte Mathematik und Informatik. UniversitBt des Saarlandes. Saarbrdcken. West Germany, 1978.
|
| |
6
|
Brown, M.R., and Tarjan, R.E. Design and analysis of data structures for representing sorted lists. SIAM /. Comput. 9, 3 (Aug. 1980), 594-614.
|
| |
7
|
Chazelle. B. Filtering search: A new approach to query-answering. In Proceedings of 24fh Annual IEEE Symposium on Foundations of Computer Sc~e&. (Tucson. Ariz.. Nov. 7-9. 1983). 122-132.
|
| |
8
|
Chazelle. B. How to search in history. Inform. Control. to appear.
|
| |
9
|
|
| |
10
|
|
| |
11
|
Dobkin. D., and Lipton. R.J. Multidimensional search problems. SIAM J. Compuf. 5, 2 (June 1976). 181-186.
|
| |
12
|
Dobkin. D.P., and Munro, J.I. Efficient uses of the past. In Proceedings of 2lsf A~rwal IEEE Symposium ou Foundafions of Computer Science, (Syracuse. N.Y., Oct. 13-16. 1980), 200-206.
|
| |
13
|
Edelsbrunner. H., Guibas. L.J.. and Stolfi, J. Optimal point location in a monotone subdivision. Rep. 2, Digital Systems Research Center, Palo Alto, Calif.. 1984.
|
| |
14
|
Guibas. L.J.. and Sedgewick. R. A dichromatic framework for balanced trees. In Proceedings of 19th Annual IEEE Symposium on Foundarions of Compufer Science, (Ann Arbor, Mich.. Oct. 16-18. 1978), 8-21.
|
| |
15
|
|
| |
16
|
Huddleston. S.. and Mehlhorn. K. A new data structure for representing sorted lists. Acta Inform. 17, 2 (June 1982), 157-184.
|
| |
17
|
Huddleston, S. An efficient scheme for fast local updates in linear lists. Department of Information and Computer Science, Univ. of California, Irvine. 1981.
|
| |
18
|
Kirkpatrick, D. Optimal search in planar subdivisions. SIAM \. Compuf. 12. 1 (Feb. 1983). 28-35.
|
| |
19
|
|
 |
20
|
|
| |
21
|
Krijnen. T.. and Me&ens, L.G.L.T. Making B-trees work for B. IW 219/83. The Mathematical Centre. Amsterdam, The Netherlands, 1983.
|
| |
22
|
Lee, D.T., and Preparata. F.P. Location of a point in a planar subdivision and its appiications. SlAM /. CompuL 6. 3 (Sept. 1977), 594-606.
|
| |
23
|
Lipton, R.J.. and Tarjan. R.E. Applications of a planar separator theorem. In Proceedings of 18th Annual 1EEE Symposium on Foundations of Compukr Science, (Providence, R.I., Oct. Il-Nov. 2, 1977). 162-170.
|
| |
24
|
Lipton, R.J., and Tarjan, R.E. A separator theorem for planar graphs. SlAM /. Appl. Math. 36, 2 (Apr. 19791, 177-189.
|
| |
25
|
Maier, D.. and Salveter, S.C. Hysterical B-trees. Inform. Process. Letf. 12.4 (Aug. 13. 1981). 199-202.
|
| |
26
|
Mehlhorn. K. Data Sfrucfures and Algorifhms I: Sorting and Searching. Springer-Verlag. Berlin. 1984.
|
| |
27
|
Myers, E. W. AVL dags. Tech. Rep. 82-9, Department of Computer Science. Univ. of Arizona. Tucson. Ariz.. 1982.
|
 |
28
|
|
| |
29
|
Nievergelt. J.. and Reingold. E.M. Binary search trees of bounded balance. SIAM 1. Compuf. 2. 1 (Mar. 1973), 33-43.
|
| |
30
|
Olivib. H. A new class of balanced search trees: Half-balanced binary search trees. RAIRO lnformalique ThPorefique. 16 (1982). 51-71.
|
| |
31
|
Overman. M.H. Searching in the past 1. Inform. Confrol. to appear.
|
| |
32
|
Preparata. F.P. A new approach to planar point location. SIAM /. Comput IO. 3 (Aug. 1981). 473-482.
|
 |
33
|
|
| |
34
|
|
 |
35
|
|
| |
36
|
Swart, G. Efficient algorithms for computing geometric intersections. Tech. Rep. #85-01-02. Department of Computer Science. Univ. of Washington, Seattle, 1985.
|
| |
37
|
|
| |
38
|
Tarjan, R.E. Updating a balanced search tree in O(1) rotations. lnform. Process. Left. 16, 5 (June 1983), 2.53-257.
|
| |
39
|
Tarjan. R.E. Amortized computational complexity. SIAM}. Alg. Disc. Mefh. 6. 2 (Apr. 1985). 306-318.
|
 |
40
|
|
| |
41
|
|
CITED BY 90
|
|
Sunil Arya , Theocharis Malamatos , David M. Mount, Entropy-preserving cuttings and space-efficient planar point location, Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms, p.256-261, January 07-09, 2001, Washington, D.C., United States
|
|
|
Pankaj K. Agarwal , Herbert Edelsbrunner , Otfried Schwarzkopf , Emo Welzl, Euclidean minimum spanning trees and bichromatic closest pairs, Proceedings of the sixth annual symposium on Computational geometry, p.203-210, June 07-09, 1990, Berkley, California, United States
|
|
|
Nancy M. Amato , Michael T. Goodrich , Edgar A. Ramos, Linear-time triangulation of a simple polygon made easier via randomization, Proceedings of the sixteenth annual symposium on Computational geometry, p.201-212, June 12-14, 2000, Clear Water Bay, Kowloon, Hong Kong
|
|
|
|
|
|
Michael T. Goodrich , Mark Orletsky , Kumar Ramaiyer, Methods for achieving fast query times in point location data structures, Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, p.757-766, January 05-07, 1997, New Orleans, Louisiana, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Paul F. Dietz , Rajeev Raman, Persistence, amortization and randomization, Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, p.78-88, January 28-30, 1991, San Francisco, California, United States
|
|
|
Sunil Arya , Theocharis Malamatos , David M. Mount, A simple entropy-based algorithm for planar point location, Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms, p.262-268, January 07-09, 2001, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yi-Jen Chiang , Franco P. Preparata , Roberto Tamassia, A unified approach to dynamic point location, ray shooting, and shortest paths in planar maps, Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms, p.44-53, January 25-27, 1993, Austin, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
Pankaj K. Agarwal , Lars Arge , Gerth Stølting Brodal , Jeffrey S. Vitter, I/O-efficient dynamic point location in monotone planar subdivisions, Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms, p.11-20, January 17-19, 1999, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pankaj K. Agarwal , Lars Arge , T. M. Murali , Kasturi R. Varadarajan , Jeffrey Scott Vitter, I/O-efficient algorithms for contour-line extraction and planar graph blocking, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, p.117-126, January 25-27, 1998, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J R Driscoll , N Sarnak , D D Sleator , R E Tarjan, Making data structures persistent, Proceedings of the eighteenth annual ACM symposium on Theory of computing, p.109-121, May 28-30, 1986, Berkeley, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mikhail J. Atallah , Michael T. Goodrich , Kumar Ramaiyer, Biased finger trees and three-dimensional layers of maxima: (preliminary version), Proceedings of the tenth annual symposium on Computational geometry, p.150-159, June 06-08, 1994, Stony Brook, New York, United States
|
|
|
|
|
|
|
|
|
Pankaj K. Agarwal , Mark de Berg , Sariel Har-Peled , Mark H. Overmars , Micha Sharir , Jan Vahrenhold, Reporting intersecting pairs of convex polytopes in two and three dimensions, Computational Geometry: Theory and Applications, v.23 n.2, p.195-207, September 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Timothy M. Y. Chan , Jack Snoeyink , Chee-Keng Yap, Output-sensitive construction of polytopes in four dimensions and clipped Voronoi diagrams in three, Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms, p.282-291, January 22-24, 1995, San Francisco, California, United States
|
|
|
|
|
|
H. Edelsbrunner , L. J. Guibas , J. Hershberger , R. Seidel , M. Sharir, Implicitly representing arrangements of lines or segments, Proceedings of the fourth annual symposium on Computational geometry, p.56-69, June 06-08, 1988, Urbana-Champaign, Illinois, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
George Lagogiannis , Yannis Panagis , Spyros Sioutas , Athanasios Tsakalidis, A survey of persistent data structures, Proceedings of the 9th WSEAS International Conference on Computers, p.1-6, July 14-16, 2005, Athens, Greece
|
|
|
David W. Krumme , Eynat Rafalin , Diane L. Souvaine , Csaba D. Tóth, Tight bounds for connecting sites across barriers, Proceedings of the twenty-second annual symposium on Computational geometry, June 05-07, 2006, Sedona, Arizona, USA
|
|
|
Kurt Mehlhorn , Stefan Näher , Thomas Schilz , Stefan Schirra , Michael Seel , Raimund Seidel , Christian Uhrig, Checking geometric programs or verification of geometric structures, Proceedings of the twelfth annual symposium on Computational geometry, p.159-165, May 24-26, 1996, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sébastien Collette , Vida Dujmović , John Iacono , Stefan Langerman , Pat Morin, Distribution-sensitive point location in convex subdivisions, Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, p.912-921, January 20-22, 2008, San Francisco, California
|
|
|
|
|
|
Noga Alon , Dan Halperin , Oren Nechushtan , Micha Sharir, The complexity of the outer face in arrangements of random segments, Proceedings of the twenty-fourth annual symposium on Computational geometry, June 09-11, 2008, College Park, MD, USA
|
|
|
Jean Cardinal , Sébastien Collette , Ferran Hurtado , Stefan Langerman , Belén Palop, Optimal location of transportation devices, Computational Geometry: Theory and Applications, v.41 n.3, p.219-229, November, 2008
|
|
|
Prosenjit Bose , Eric Y. Chen , Meng He , Anil Maheshwari , Pat Morin, Succinct geometric indexes supporting point location queries, Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms, p.635-644, January 04-06, 2009, New York, New York
|
|
|
|
|
|
|
REVIEW
"Frans J. Peters : Reviewer"
As the authors state in their Abstract, the planar point location problem is
a classical problem in computational geometry. Several ways of solving this
problem in O>(log n>) query time and O>(n>) space ar
more...
|