Marx, Dániel and Sidiropoulos, A (2014) The limited blessing of low dimensionality: When 1-1/d is the best possible exponent for d-dimensional geometric problems. In: 30th Annual Symposium on Computational Geometry, SoCG 2014. Proceedings of the Annual Symposium on Computational Geometry . Association for Computing Machinery, New York, pp. 67-76. ISBN 9781450325943 10.1145/2582112.2582124

Text Marx_67_2741002_z.pdf Restricted to Registered users only Download (988kB) | Request a copy

Abstract

We are studying d-dimensional geometric problems that have algorithms with 1-1/d appearing in the exponent of the running time, for example, in the form of 2n1-1/d or nκ1-1/d. This means that these algorithms perform somewhat better in low dimensions, but the running time is almost the same for all large values d of the dimension. Our main result is showing that for some of these problems the dependence on 1-1/d is best possible under a standard complexity assumption. We show that, assuming the Exponential Time Hypothesis, • d-dimensional Euclidean TSP on n points cannot be solved in time 2O(n1-1=d-ε) for any ε > 0, and • the problem of finding a set of κ pairwise nonintersecting d-dimensional unit balls/axis parallel unit cubes cannot be solved in time f(κ)n o(k1-1/d) for any computable function f. These lower bounds essentially match the known algorithms for these problems. To obtain these results, we first prove lower bounds on the complexity of Constraint Satisfaction Problems (CSPs) whose constraint graphs are d-dimensional grids. We state the complexity results on CSPs in a way to make them convenient starting points for problem-specific reductions to particular d-dimensional geometric problems and to be reusable in the future for further results of similar flavor.Copyright is held by the owner/author(s).

Update Item