We consider the k-Center problem and some generalizations. For k-Center a set of kcenter vertices needs to be found in a graph G with edge lengths, such that the distance from any vertex ofG to its nearest center is minimized.
This problem naturally occurs in transportation networks, and therefore we model the inputs as graphs with bounded highway dimension, as proposed by Abraham etal. (SODA, pp 782-793, 2010). We show both approximation and fixed-parameter hardness results, and how to overcome them using fixed-parameter approximations, where the two paradigms are combined.
In particular, we prove that for any epsilon>0 computing a (2-epsilon)-approximation is W[2]-hard for parameterk, and NP-hard for graphs with highway dimension O(log2n). The latter does not rule out fixed-parameter (2-epsilon)-approximations for the highway dimension parameterh, but implies that such an algorithm must have at least doubly exponential running time in h if it exists, unless ETH fails.
On the positive side, we show how to get below the approximation factor of2 by combining the parameters k andh: we develop a fixed-parameter 3/2-approximation with running time 2O(khlogh)nO(1). Additionally we prove that, unless P=NP, our techniques cannot be used to compute fixed-parameter (2-epsilon)-approximations for only the parameter h.
We also provide similar fixed-parameter approximations for the weightedk-Center and (k,F)-Partition problems, which generalize k-Center.