Title :
Fully dynamic techniques for point location and transitive closure in planar structures
Author :
Preparata, Franco P. ; Tamassia, Roberto
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
Abstract :
It is shown that a planar st-graph G admits two total orders on the set V∪E∪F, where V, E, and F are, respectively, the sets of vertices, edges and faces of G, with |V|=n. An O(n) space data structure for the maintenance of the two orders is exhibited that supports an update of G (insertion of an edge and expansion of a vertex, and their inverses) in time O(log n). This data structure also supports transitive-closure queries in O(log n). Moreover, planar st-graphs provide the topological underpinning of a fully dynamic planar point location technique in monotone subdivisions, which is an interesting (unique) specialization of the chain method of Lee-Preparata (1977). While maintaining storage O(n) and query time O(log2 n), insertion/deletion of a chain with k edges can be done in time O(log2 n+k), and insertion/deletion of a vertex on an edge can be done in time O(log n)
Keywords :
computational complexity; data structures; graph theory; Lee-Preparata; chain method; data structure; edges; faces; fully dynamic techniques; insertion/deletion; monotone subdivisions; planar st-graph; planar structures; point location; set; total orders; transitive closure; transitive-closure queries; update; vertices; Computational geometry; Computer science; Data structures; Testing;
Conference_Titel :
Foundations of Computer Science, 1988., 29th Annual Symposium on
Conference_Location :
White Plains, NY
Print_ISBN :
0-8186-0877-3
DOI :
10.1109/SFCS.1988.21972