Maintenance of Configurations in the Plane

For a number of common configurations of points (lines) in the plane, we develop data structures in which insertions and deletions of points (or lines, respectively) can be processed rapidly, without sacrificing much of the efficiency of query answering which known static structures for these configurations attain. As a main result we establish a fully dynamic maintenance algorithm for convex hulls that can process insertions and deletions of single points in only O(log* n) steps per transaction, where n is the number of points currently in the set. The algorithm has several intriguing applications, including the fact that the “trimmed” mean of a set of n points in the plane can be determined in only O(n log2 n) steps. Likewise, efficient algorithms are obtained for dynamically maintaining the common intersection of a set of halfspaces and for dynamically maintaining the maximal elements of a set of points. The results are all derived by means of one master technique, which is applied repeatedly and which captures an appropriate notion of “decomposability” for configurations closely related to the existence of divide-and-conquer solutions.

[1]  D. T. Lee,et al.  An Optimal Algorithm for Finding the Kernel of a Polygon , 1979, JACM.

[2]  Michael Ian Shamos,et al.  A Problem in Multivariate Statistics: Algorithm, Data Structure and Applications. , 1978 .

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

[4]  M. Shamos Geometry and statistics: problems at the interface , 1976 .

[5]  Ronald L. Graham,et al.  An Efficient Algorithm for Determining the Convex Hull of a Finite Planar Set , 1972, Inf. Process. Lett..

[6]  Andrew Chi-Chih Yao,et al.  A Lower Bound to Finding Convex Hulls , 1981, JACM.

[7]  Bernard Chazelle,et al.  Detection is easier than computation (Extended Abstract) , 1980, STOC '80.

[8]  Bernard W. Silverman,et al.  Constructing the Convex Hull of a Set of Points in the Plane , 1979, Comput. J..

[9]  V. Klee,et al.  Combinatorial Geometry in the Plane , 1964 .

[10]  Manuel Blum,et al.  Time Bounds for Selection , 1973, J. Comput. Syst. Sci..

[11]  E. Reingold,et al.  Combinatorial Algorithms: Theory and Practice , 1977 .

[12]  William F. Eddy,et al.  A New Convex Hull Algorithm for Planar Sets , 1977, TOMS.

[13]  Michael Ian Shamos,et al.  Geometric complexity , 1975, STOC.

[14]  George S. Lueker,et al.  A transformation for adding range restriction capability to dynamic data structures for decomposable , 1979 .

[15]  Ray A. Jarvis,et al.  On the Identification of the Convex Hull of a Finite Set of Points in the Plane , 1973, Inf. Process. Lett..

[16]  Niklaus Wirth,et al.  Algorithms + Data Structures = Programs , 1976 .

[17]  Jan van Leeuwen,et al.  Dynamically maintaining configurations in the plane (Detailed Abstract) , 1980, STOC '80.

[18]  V. Barnett The Ordering of Multivariate Data , 1976 .

[19]  Michael Ian Shamos,et al.  Divide and Conquer for Linear Expected Time , 1978, Inf. Process. Lett..

[20]  Franco P. Preparata,et al.  An optimal real-time algorithm for planar convex hulls , 1979, CACM.

[21]  Michael Ian Shamos,et al.  Geometric intersection problems , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

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

[23]  P. J. Huber The 1972 Wald Lecture Robust Statistics: A Review , 1972 .

[24]  William F. Eddy,et al.  Algorithm 523: CONVEX, A New Convex Hull Algorithm for Planar Sets [Z] , 1977, TOMS.

[25]  F. P. Preparata,et al.  Convex hulls of finite sets of points in two and three dimensions , 1977, CACM.

[26]  Jon Louis Bentley,et al.  Transforming static data structures to dynamic structures , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[27]  Peter van Emde Boas,et al.  On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination , 1980, Inf. Process. Lett..