Hardness of discrepancy computation and ε-net verification in high dimension

  • Authors:
  • Panos Giannopoulos;Christian Knauer;Magnus Wahlström;Daniel Werner

  • Affiliations:
  • Institut für Informatik, Freie Universität Berlin, Takustrasse 9, D-14195 Berlin, Germany;Institut für Informatik, Universität Bayreuth, Universitätsstrasse 30, 95447 Bayreuth, Germany;Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany;Institut für Informatik, Freie Universität Berlin, Takustrasse 9, D-14195 Berlin, Germany

  • Venue:
  • Journal of Complexity
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Discrepancy measures how uniformly distributed a point set is with respect to a given set of ranges. Depending on the ranges, several variants arise, including star discrepancy, box discrepancy, and discrepancy of halfspaces. These problems are solvable in time n^O^(^d^), where d is the dimension of the underlying space. As such a dependency on d becomes intractable for high-dimensional data, we ask whether it can be moderated. We answer this question negatively by proving that the canonical decision problems are W[1]-hard with respect to the dimension, implying that no f(d)@?n^O^(^1^)-time algorithm is possible for any function f(d) unless FPT=W[1]. We also discover the W[1]-hardness of other well known problems, such as determining the largest empty box that contains the origin and is inside the unit cube. This is shown to be hard even to approximate within a factor of 2^n.