On the Parameterized Complexity of Approximating Dominating Set

We study the parameterized complexity of approximating the k-Dominating Set (DomSet) problem where an integer k and a graph G on n vertices are given as input, and the goal is to find a dominating set of size at most F (k)center dot k whenever the graph G has a dominating set of size k. When such an algorithm runs in time T (k) center dot poly(n) (i.e., FPT-time) for some computable function T, it is said to be an F (k)-FPT-approximation algorithm for k-DomSet. Whether such an algorithm exists is listed in the seminal book of Downey and Fellows (2013) as one of the "most infamous" open problems in parameterized complexity. This work gives an almost complete answer to this question by showing the non-existence of such an algorithm under W[1] FPT and further providing tighter running time lower bounds under stronger hypotheses. Specifically, we prove the following for every computable functions T, F and every constant epsilon > 0: Assuming W[1] not equal FPT, there is no F (k)-FPT-approximation algorithm for k-DomSet. Assuming the Exponential Time Hypothesis (ETH), there is no F (k)-approximation algorithm for kDomSet that runs in T (k) center dot n(o(k)) time. Assuming the Strong Exponential Time Hypothesis (SETH), for every integer k >= 2, there is no F(k)-approximation algorithm for k-DomSet that runs in T(k)center dot n(k-epsilon) time. Assuming the k-SUM Hypothesis, for every integer k >= 3, there is no F (k)-approximation algorithm for k-DomSet that runs in T (k)center dot n left perpediculark/2right perpendicular-epsilon time. Previously, only constant ratio FPT-approximation algorithms were ruled out under W[1] not equal FPT and (log1/4-epsilon k)-FPT-approximation algorithms were ruled out under ETH [Chen and Lin, FOCS 2016]. Recently, the non-existence of an F (k)-FPT-approximation algorithm for any function F was shown under Gap-ETH [Chalermsook et al., FOCS 2017]. Note that, to the best of our knowledge, no running time lower bound of the form n(delta k) for any absolute constant delta > 0 was known before even for any constant factor inapproximation ratio. Our results are obtained by establishing a connection between communication complexity and hardness of approximation, generalizing the ideas from a recent breakthrough work of Abboud et al. [FOCS 2017]. Specifically, we show that to prove hardness of approximation of a certain parameterized variant of the label cover problem, it suffices to devise a specific protocol for a communication problem that depends on which hypothesis we rely on. Each of these communication problems turns out to be either a well-studied problem or a variant of one; this allows us to easily apply known techniques to solve them.