Constructing Arrangements of Lines and Hyperplanes with Applications

A finite set of lines partitions the Euclidean plane into a cell complex. Similarly, a finite set of (d - 1) -dimensional hyperplanes partitions d-dimensional Euclidean space. An algorithm is presented that constructs a representation for the cell complex defined by n hyperplanes in optimal O (nᵈ) time in d dimensions. It relies on a combinatorial result that is of interest in its own right. The algorithm is shown to lead to new methods for computing -matrices, constructing all higher-order Voronoi diagrams, halfspatial range estimation, degeneracy testing, and finding minimum measure simplices. In all five applications, the new algorithms are asymptotically faster than previous results, and in several cases are the only known methods that generalize to arbitrary dimensions. The algorithm also implies an upper bound of 2^cnᵈ, c a positive constant, for the number of combinatorially distinct arrangements of n hyperplanes in Eᵈ.