Abstract
Klee’s Measure Problem (KMP) asks for the volume of the union of n axis-aligned boxes in ℝd. Omitting logarithmic factors, the best algorithm has runtime \(\mathcal{O}^*(n^{d/2})\) [Overmars,Yap’91]. There are faster algorithms known for several special cases: Cube-KMP (where all boxes are cubes), Unitcube-KMP (where all boxes are cubes of equal side length), Hypervolume (where all boxes share a vertex), and k -Grounded (where the projection onto the first k dimensions is a Hypervolume instance).
In this paper we bring some order to these special cases by providing reductions among them. In addition to the trivial inclusions, we establish Hypervolume as the easiest of these special cases, and show that the runtimes of Unitcube-KMP and Cube-KMP are polynomially related. More importantly, we show that any algorithm for one of the special cases with runtime T(n,d) implies an algorithm for the general case with runtime T(n,2d), yielding the first non-trivial relation between KMP and its special cases. This allows to transfer W[1]-hardness of KMP to all special cases, proving that no n o(d) algorithm exists for any of the special cases assuming the Exponential Time Hypothesis. Furthermore, assuming that there is no improved algorithm for the general case of KMP (no algorithm with runtime \(\mathcal{O}(n^{d/2 - \epsilon})\)) this reduction shows that there is no algorithm with runtime \(\mathcal{O}(n^{\lfloor d/2 \rfloor /2 - \epsilon})\) for any of the special cases. Under the same assumption we show a tight lower bound for a recent algorithm for 2-Grounded[Yıldız,Suri’12].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agarwal, P.K.: An improved algorithm for computing the volume of the union of cubes. In: Proc. 2010 Annual Symposium on Computational Geometry (SoCG 2010), pp. 230–239. ACM, New York (2010)
Bentley, J.L.: Algorithms for Klee’s rectangle problems. Department of Computer Science, Carnegie Mellon University (1977) (unpublished notes)
Beume, N., Naujoks, B., Emmerich, M.T.M.: SMS-EMOA: Multiobjective selection based on dominated hypervolume. European Journal of Operational Research 181, 1653–1669 (2007)
Beume, N., Fonseca, C.M., López-Ibáñez, M., Paquete, L., Vahrenhold, J.: On the complexity of computing the hypervolume indicator. IEEE Trans. Evolutionary Computation 13, 1075–1082 (2009)
Boissonnat, J.-D., Sharir, M., Tagansky, B., Yvinec, M.: Voronoi diagrams in higher dimensions under certain polyhedral distance functions. Discrete & Computational Geometry 19, 485–519 (1998)
Bringmann, K.: An improved algorithm for Klee’s measure problem on fat boxes. Computational Geometry: Theory and Applications 45, 225–233 (2012)
Bringmann, K.: Bringing order to special cases of Klee’s measure problem. CoRR, abs/1301.7154 (2013)
Bringmann, K., Friedrich, T.: Approximating the least hypervolume contributor: NP-hard in general, but fast in practice. Theoretical Computer Science 425, 104–116 (2012)
Chan, T.M.: Semi-online maintenance of geometric optima and measures. SIAM J. Comput. 32, 700–716 (2003)
Chan, T.M.: A (slightly) faster algorithm for Klee’s measure problem. Computational Geometry: Theory and Applications 43, 243–250 (2010)
Fredman, M.L., Weide, B.W.: On the complexity of computing the measure of ∪ [a i , b i ]. Commun. ACM 21, 540–544 (1978)
Guerreiro, A.P., Fonseca, C.M., Emmerich, M.T.M.: A fast dimension-sweep algorithm for the hypervolume indicator in four dimensions. In: Proc. 24th Canadian Conference on Computational Geometry (CCCG 2012), pp. 77–82 (2012)
Igel, C., Hansen, N., Roth, S.: Covariance matrix adaptation for multi-objective optimization. Evolutionary Computation 15, 1–28 (2007)
Kaplan, H., Rubin, N., Sharir, M., Verbin, E.: Counting colors in boxes. In: Proc. 18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2007), pp. 785–794 (2007)
Klee, V.: Can the measure of ∪ [a i , b i ] be computed in less than O(n logn) steps? American Mathematical Monthly 84, 284–285 (1977)
Lokshtanov, D., Marx, D., Saurabh, S.: Lower bounds based on the exponential time hypothesis, The Complexity Column by V. Arvind. Bulletin of the EATCS 105, 41–72 (2011)
Overmars, M.H., Yap, C.-K.: New upper bounds in Klee’s measure problem. SIAM J. Comput. 20, 1034–1045 (1991)
van Leeuwen, J., Wood, D.: The measure problem for rectangular ranges in d-space. J. Algorithms 2, 282–300 (1981)
Yıldız, H., Suri, S.: On Klee’s measure problem for grounded boxes. In: Proc. 2012 Annual Symposuim on Computational Geometry (SoCG 2012), pp. 111–120. ACM, New York (2012)
Zitzler, E., Künzli, S.: Indicator-based selection in multiobjective search. In: Yao, X., et al. (eds.) PPSN 2004. LNCS, vol. 3242, pp. 832–842. Springer, Heidelberg (2004)
Zitzler, E., Thiele, L.: Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach. IEEE Trans. Evolutionary Computation 3, 257–271 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bringmann, K. (2013). Bringing Order to Special Cases of Klee’s Measure Problem. In: Chatterjee, K., Sgall, J. (eds) Mathematical Foundations of Computer Science 2013. MFCS 2013. Lecture Notes in Computer Science, vol 8087. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40313-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-40313-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40312-5
Online ISBN: 978-3-642-40313-2
eBook Packages: Computer ScienceComputer Science (R0)