The limited blessing of low dimensionality: When 1-1/d is the best possible exponent for d-dimensional geometric problems

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

[img] 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).

Item Type: Book Section
Uncontrolled Keywords: Algorithms; Low dimensionality; Geometric problems; Exponential time hypothesis; D-dimensional grids; Computable functions; Complexity results; Complexity assumptions; Constraint Satisfaction Problems; Computational geometry; theory
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Informatics Laboratory
SWORD Depositor: MTMT Injector
Depositing User: MTMT Injector
Date Deposited: 26 Sep 2014 19:18
Last Modified: 26 Sep 2014 19:18
URI: http://eprints.sztaki.hu/id/eprint/8003

Update Item Update Item