DeepAI AI Chat
Log In Sign Up

Tight Lower Bounds for Approximate Exact k-Center in ℝ^d

03/16/2022
by   Rajesh Chitnis, et al.
0

In the discrete k-center problem, we are given a metric space (P,) where |P|=n and the goal is to select a set C⊆ P of k centers which minimizes the maximum distance of a point in P from its nearest center. For any ϵ>0, Agarwal and Procopiuc [SODA '98, Algorithmica '02] designed an (1+ϵ)-approximation algorithm for this problem in d-dimensional Euclidean space which runs in O(dnlog k) + (kϵ)^O(k^1-1/d)· n^O(1) time. In this paper we show that their algorithm is essentially optimal: if for some d≥ 2 and some computable function f, there is an f(k)·(1ϵ)^o(k^1-1/d)· n^o(k^1-1/d) time algorithm for (1+ϵ)-approximating the discrete k-center on n points in d-dimensional Euclidean space then the Exponential Time Hypothesis (ETH) fails. We obtain our lower bound by designing a gap reduction from a d-dimensional constraint satisfaction problem (CSP) defined by Marx and Sidiropoulos [SoCG '14] to discrete d-dimensional k-center. As a byproduct of our reduction, we also obtain that the exact algorithm of Agarwal and Procopiuc [SODA '98, Algorithmica '02] which runs in n^O(d· k^1-1/d) time for discrete k-center on n points in d-dimensional Euclidean space is asymptotically optimal. Formally, we show that if for some d≥ 2 and some computable function f, there is an f(k)· n^o(k^1-1/d) time exact algorithm for the discrete k-center problem on n points in d-dimensional Euclidean space then the Exponential Time Hypothesis (ETH) fails. Previously, such a lower bound was only known for d=2 and was implicit in the work of Marx [IWPEC '06]. [see paper for full abstract]

READ FULL TEXT

page 1

page 2

page 3

page 4

10/27/2019

Computing the Center Region and Its Variants

We present an O(n^2log^4 n)-time algorithm for computing the center regi...
02/05/2019

A Composable Coreset for k-Center in Doubling Metrics

A set of points P in a metric space and a constant integer k are given. ...
07/18/2018

An ETH-Tight Exact Algorithm for Euclidean TSP

We study exact algorithms for Euclidean TSP in R^d. In the early 1990s ...
05/03/2018

Approximating (k,ℓ)-center clustering for curves

The Euclidean k-center problem is a classical problem that has been exte...
12/06/2021

On Complexity of 1-Center in Various Metrics

We consider the classic 1-center problem: Given a set P of n points in a...
01/04/2020

Computing Euclidean k-Center over Sliding Windows

In the Euclidean k-center problem in sliding window model, input points ...
06/25/2021

Approximate Maximum Halfspace Discrepancy

Consider the geometric range space (X, ℋ_d) where X ⊂ℝ^d and ℋ_d is the ...