Efficient Splitting and Merging Algorithms for Order Decomposable Problems (Extended Abstract)

We present a general and novel technique for solving decomposable problems on a set S whose items are sorted with respect to d > 1 total orders. We show how to dynamically maintain S in the following time bounds: O(log p) for the insertion or the deletion of a single item, where p is the number of items currently in S; O(p 1-1/d ) for splits and concatenates along any total order; O(p 1-1/d ) plus an output sensitive cost for rectangular range queries. The space required is O(p). We provide several applications of our technique ranging from two-dimensional priority queues and d-dimensional search trees to concatenable interval trees. This allows us to improve many previously known results on decomposable problems under split and concatenate operations, such as membership query, minimum-weight item, range query, and convex hulls. Our technique is suitable for efficient external memory implementation.

[1]  Jon Louis Bentley,et al.  Decomposable Searching Problems , 1979, Inf. Process. Lett..

[2]  George S. Lueker,et al.  Adding range restriction capability to dynamic data structures , 1985, JACM.

[3]  Jon Louis Bentley,et al.  Decomposable Searching Problems I: Static-to-Dynamic Transformation , 1980, J. Algorithms.

[4]  Jan van Leeuwen,et al.  Maintenance of Configurations in the Plane , 1981, J. Comput. Syst. Sci..

[5]  Jan van Leeuwen,et al.  Dynamization of Decomposable Searching Problems , 1980, Inf. Process. Lett..

[6]  Mark H. Overmars,et al.  Union-copy structures and dynamic segment trees , 1993, JACM.

[7]  Jan van Leeuwen,et al.  Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds , 1981, Theoretical Computer Science.

[8]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[9]  Mark H. Overmars,et al.  General Methods for Adding Range Restrictions to Decomposable Searching Problems , 1989, J. Symb. Comput..

[10]  Jan van Leeuwen,et al.  Some Principles for Dynamizing Decomposable Searching Problems , 1981, Inf. Process. Lett..

[11]  Mark H. Overmars,et al.  The Design of Dynamic Data Structures , 1987, Lecture Notes in Computer Science.

[12]  Jeffrey Scott Vitter,et al.  Optimal dynamic interval management in external memory , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[13]  Mark H. Overmars,et al.  Concatenable Structures for Decomposable Problems , 1994, Inf. Comput..

[14]  Hanan Samet,et al.  Bibliography on quadtrees and related hierarchical data structures , 1986 .

[15]  Jon Louis Bentley,et al.  Multidimensional binary search trees used for associative searching , 1975, CACM.

[16]  Roberto Tamassia,et al.  Dynamic algorithms in computational geometry , 1992, Proc. IEEE.

[17]  Kurt Mehlhorn,et al.  Optimal Dynamization of Decomposable Searching Problems , 1981, Inf. Process. Lett..

[18]  Mark H. Overmars,et al.  Dynamization of Order Decomposable Set Problems , 1981, J. Algorithms.

[19]  Leonidas J. Guibas,et al.  A linear-time algorithm for computing the voronoi diagram of a convex polygon , 1989, Discret. Comput. Geom..

[20]  Jan van Leeuwen,et al.  Worst-Case Optimal Insertion and Deletion Methods for Decomposable Searching Problems , 1981, Inf. Process. Lett..

[21]  Michael C. Loui Weighted derivation trees , 1976, CACM.

[22]  Jan van Leeuwen,et al.  The Art of Dynamizing , 1981, MFCS.