Computing Klee’s Measure of Grounded Boxes

A well-known problem in computational geometry is Klee’s measure problem, which asks for the volume of a union of axis-aligned boxes in d-space. In this paper, we consider Klee’s measure problem for the special case where a 2-dimensional orthogonal projection of all the boxes has a common corner. We call such a set of boxes 2-grounded and, more generally, a set of boxes is k-grounded if in a k-dimensional orthogonal projection they share a common corner.Our main result is an O(n(d−1)/2log2n) time algorithm for computing Klee’s measure for a set of n 2-grounded boxes. This is an improvement of roughly $O(\sqrt{n})$ compared to the fastest solution of the general problem. The algorithm works for k-grounded boxes, for any k≥2, and in the special case of k=d, also called the hypervolume indicator problem, the time bound can be improved further by a logn factor. The key idea of our technique is to reduce the d-dimensional problem to a semi-dynamic weighted volume problem in dimension d−2. The weighted volume problem requires solving a combinatorial problem of maintaining the sum of ordered products, which may be of independent interest.

[1]  Eckart Zitzler,et al.  Indicator-Based Selection in Multiobjective Search , 2004, PPSN.

[2]  Luigi Barone,et al.  An evolution strategy with probabilistic mutation for multi-objective optimisation , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

[3]  Alon Efrat,et al.  Geometric Pattern Matching in d -Dimensional Space , 1995, ESA.

[4]  Carlos M. Fonseca,et al.  An Improved Dimension-Sweep Algorithm for the Hypervolume Indicator , 2006, 2006 IEEE International Conference on Evolutionary Computation.

[5]  Mark Fleischer,et al.  The measure of pareto optima: Applications to multi-objective metaheuristics , 2003 .

[6]  Jan van Leeuwen,et al.  The Measure Problem for Rectangular Ranges in d-Space , 1981, J. Algorithms.

[7]  Mark H. Overmars,et al.  New upper bounds in Klee's measure problem , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[8]  Mark de Berg,et al.  Computational geometry: algorithms and applications , 1997 .

[9]  Haim Kaplan,et al.  Computing the volume of the union of cubes , 2007, SCG '07.

[10]  Timothy M. Chan Semi-online maintenance of geometric optima and measures , 2002, SODA '02.

[11]  Tobias Friedrich,et al.  Approximating the volume of unions and intersections of high-dimensional geometric objects , 2008, Comput. Geom..

[12]  Karl Bringmann,et al.  Klee's measure problem on fat boxes in time ∂(n(d+2)/3) , 2010, SCG.

[13]  Karl Bringmann,et al.  Saarland University , Saarbrücken , Germany Klee ’ s Measure Problem on Fat Boxes in Time O ( n ( d + 2 ) / 3 ) , 2009 .

[14]  Timothy M. Chan A (slightly) faster algorithm for klee's measure problem , 2008, SCG '08.

[15]  V. Klee Can the Measure of ∪ n 1 [ a i , b i ] be Computed in Less Than O(n logn) Steps? , 1977 .

[16]  Haim Kaplan,et al.  Counting colors in boxes , 2007, SODA '07.

[17]  M. Fleischer,et al.  The Measure of Pareto Optima , 2003, EMO.