2,848 research outputs found
From Gap-ETH to FPT-Inapproximability: Clique, Dominating Set, and More
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 be the optimum and be
the size of the input, is there an algorithm that runs in
time and outputs a solution of size
, for any functions and that are independent of (for
Clique, we want )?
In this paper, we show that both Clique and DomSet admit no non-trivial
FPT-approximation algorithm, i.e., there is no
-FPT-approximation algorithm for Clique and no
-FPT-approximation algorithm for DomSet, for any function
(e.g., this holds even if 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 -time algorithm can distinguish between a satisfiable
3SAT formula and one which is not even -satisfiable for some
constant .
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
-FPT-approximation algorithm for Densest -Subgraph although this
ratio does not yet match the trivial -approximation algorithm.Comment: 43 pages. To appear in FOCS'1
Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems
The reoptimization issue studied in this paper can be described as follows: given an instance I of some problem Π, an optimal solution OPT for Π in I and an instance I′ resulting from a local perturbation of I that consists of insertions or removals of a small number of data, we wish to use OPT in order to solve Π in I', either optimally or by guaranteeing an approximation ratio better than that guaranteed by an ex nihilo computation and with running time better than that needed for such a computation. We use this setting in order to study weighted versions of several representatives of a broad class of problems known in the literature as maximum induced hereditary subgraph problems. The main problems studied are max independent set, max k-colorable subgraph and max split subgraph under vertex insertions and deletion
A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set
An independent dominating set D of a graph G = (V,E) is a subset of vertices
such that every vertex in V \ D has at least one neighbor in D and D is an
independent set, i.e. no two vertices of D are adjacent in G. Finding a minimum
independent dominating set in a graph is an NP-hard problem. Whereas it is hard
to cope with this problem using parameterized and approximation algorithms,
there is a simple exact O(1.4423^n)-time algorithm solving the problem by
enumerating all maximal independent sets. In this paper we improve the latter
result, providing the first non trivial algorithm computing a minimum
independent dominating set of a graph in time O(1.3569^n). Furthermore, we give
a lower bound of \Omega(1.3247^n) on the worst-case running time of this
algorithm, showing that the running time analysis is almost tight.Comment: Full version. A preliminary version appeared in the proceedings of WG
200
- …