From Gap-ETH to FPT-Inapproximability: Clique, Dominating Set, and More

08/14/2017
by   Parinya Chalermsook, et al.
0

We consider questions that arise from the intersection between the areas of polynomial-time approximation algorithms, subexponential-time algorithms, and fixed-parameter tractable algorithms. The questions, which have been asked several times (e.g., [Marx08, FGMS12, DF13]), are whether there is a non-trivial FPT-approximation algorithm for the Maximum Clique (Clique) and Minimum Dominating Set (DomSet) problems parameterized by the size of the optimal solution. In particular, letting OPT be the optimum and N be the size of the input, is there an algorithm that runs in t(OPT)poly(N) time and outputs a solution of size f(OPT), for any functions t and f that are independent of N (for Clique, we want f(OPT)=ω(1))? In this paper, we show that both Clique and DomSet admit no non-trivial FPT-approximation algorithm, i.e., there is no o(OPT)-FPT-approximation algorithm for Clique and no f(OPT)-FPT-approximation algorithm for DomSet, for any function f (e.g., this holds even if f is the Ackermann function). In fact, our results imply something even stronger: The best way to solve Clique and DomSet, even approximately, is to essentially enumerate all possibilities. Our results hold under the Gap Exponential Time Hypothesis (Gap-ETH) [Dinur16, MR16], which states that no 2^o(n)-time algorithm can distinguish between a satisfiable 3SAT formula and one which is not even (1 - ϵ)-satisfiable for some constant ϵ > 0. Besides Clique and DomSet, we also rule out non-trivial FPT-approximation for Maximum Balanced Biclique, Maximum Subgraphs with Hereditary Properties, and Maximum Induced Matching in bipartite graphs. Additionally, we rule out k^o(1)-FPT-approximation algorithm for Densest k-Subgraph although this ratio does not yet match the trivial O(k)-approximation algorithm.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/20/2019

An Õ(log^2 n)-approximation algorithm for 2-edge-connected dominating set

In the Connected Dominating Set problem we are given a graph G=(V,E) and...
research
12/07/2021

Almost Polynomial Factor Inapproximability for Parameterized k-Clique

The k-Clique problem is a canonical hard problem in parameterized comple...
research
11/29/2017

On the Approximability and Hardness of the Minimum Connected Dominating Set with Routing Cost Constraint

In the problem of minimum connected dominating set with routing cost con...
research
11/10/2017

Completely inapproximable monotone and antimonotone parameterized problems

We prove that weighted circuit satisfiability for monotone or antimonoto...
research
04/13/2023

IBIA: An Incremental Build-Infer-Approximate Framework for Approximate Inference of Partition Function

Exact computation of the partition function is known to be intractable, ...
research
11/05/2018

Towards a Unified Theory of Sparsification for Matching Problems

In this paper, we present a construction of a `matching sparsifier', tha...
research
04/15/2023

Simple Combinatorial Construction of the k^o(1)-Lower Bound for Approximating the Parameterized k-Clique

In the parameterized k-clique problem, or k-Clique for short, we are giv...

Please sign up or login with your details

Forgot password? Click here to reset