ACM Home Page
Please provide us with feedback. Feedback
Planar point location using persistent search trees
Full text PdfPdf (1.22 MB)
Source
Communications of the ACM archive
Volume 29 ,  Issue 7  (July 1986) table of contents
Pages: 669 - 679  
Year of Publication: 1986
ISSN:0001-0782
Authors
Neil Sarnak  IBM T. J. Watson Research Center, Yorktown Heights, NY
Robert E. Tarjan  Princeton Univ., Princeton, NJ
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 14,   Downloads (12 Months): 143,   Citation Count: 90
Additional Information:

abstract   references   cited by   index terms   review   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/6138.6151
What is a DOI?

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


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...

Collaborative Colleagues:
Neil Sarnak: colleagues
Robert E. Tarjan: colleagues