Parameterized Inapproximability of Independent Set in H-Free Graphs

06/18/2020
by   Pavel Dvořák, et al.
0

We study the Independent Set (IS) problem in H-free graphs, i.e., graphs excluding some fixed graph H as an induced subgraph. We prove several inapproximability results both for polynomial-time and parameterized algorithms. Halldórsson [SODA 1995] showed that for every δ>0 IS has a polynomial-time (d-1/2+δ)-approximation in K_1,d-free graphs. We extend this result by showing that K_a,b-free graphs admit a polynomial-time O(α(G)^1-1/a)-approximation, where α(G) is the size of a maximum independent set in G. Furthermore, we complement the result of Halldórsson by showing that for some γ=Θ(d/log d), there is no polynomial-time γ-approximation for these graphs, unless NP = ZPP. Bonnet et al. [IPEC 2018] showed that IS parameterized by the size k of the independent set is W[1]-hard on graphs which do not contain (1) a cycle of constant length at least 4, (2) the star K_1,4, and (3) any tree with two vertices of degree at least 3 at constant distance. We strengthen this result by proving three inapproximability results under different complexity assumptions for almost the same class of graphs (we weaken condition (2) that G does not contain K_1,5). First, under the ETH, there is no f(k)· n^o(k/log k) algorithm for any computable function f. Then, under the deterministic Gap-ETH, there is a constant δ>0 such that no δ-approximation can be computed in f(k) · n^O(1) time. Also, under the stronger randomized Gap-ETH there is no such approximation algorithm with runtime f(k)· n^o(k). Finally, we consider the parameterization by the excluded graph H, and show that under the ETH, IS has no n^o(α(H)) algorithm in H-free graphs and under Gap-ETH there is no d/k^o(1)-approximation for K_1,d-free graphs with runtime f(d,k) n^O(1).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/21/2020

Independent Set on C_≥ k-Free Graphs in Quasi-Polynomial Time

We give an algorithm that takes as input a graph G with weights on the v...
research
04/25/2020

An algorithmic weakening of the Erdős-Hajnal conjecture

We study the approximability of the Maximum Independent Set (MIS) proble...
research
09/21/2018

Data-compression for Parametrized Counting Problems on Sparse graphs

We study the concept of compactor, which may be seen as a counting-analo...
research
11/05/2018

Probabilistic Parameterized Polynomial Time

We examine a parameterized complexity class for randomized computation w...
research
06/07/2021

The Limits of Local Search for the Maximum Weight Independent Set Problem in d-Claw Free Graphs

We consider the Maximum Weight Independent Set Problem (MWIS) in d-claw ...
research
02/09/2022

Constant Approximating Parameterized k-SetCover is W[2]-hard

In this paper, we prove that it is W[2]-hard to approximate k-SetCover w...
research
06/23/2020

Polynomial Time Approximation Schemes for Clustering in Low Highway Dimension Graphs

We study clustering problems such as k-Median, k-Means, and Facility Loc...

Please sign up or login with your details

Forgot password? Click here to reset