Sparsification and subexponential approximation

  title={Sparsification and subexponential approximation},
  author={{\'E}douard Bonnet and Vangelis Th. Paschos},
  journal={Acta Informatica},
Instance sparsification is well-known in the world of exact computation since it is very closely linked to the Exponential Time Hypothesis. In this paper, we extend the concept of sparsification in order to capture subexponential time approximation. We develop a new tool for inapproximability, called approximation preserving sparsification, and use it in order to get strong inapproximability results in subexponential time for several fundamental optimization problems such as min dominating set… 

Positive and Negative Results in Approximation and Parameterized Complexity

This thesis presents a new technique called greediness-For-Parameterization and it is used to improve the parameterized complexity of many problems and to obtain parameterized algorithms for some problems in bipartite graphs.

On subexponential running times for approximating directed Steiner tree and related problems

Almost tight (super-polynomial) running times, for achieving desired approximation ratios for various problems, are proved by proving (1-d)ln n approximation algorithms for all these problems that run in time 2^{n^{d \log n } poly(m).

Lower Bounds for the Parameterized Complexity of Minimum Fill-in and Other Completion Problems

The second result proves that a significant improvement of any of these algorithms would lead to a surprising breakthrough in the design of approximation algorithms for MIN BISECTION, as well as improved, yet still not tight, lower bounds for FEEDBACK ARC SET in TOURNAMENTS.

Maximization Problems Parameterized Using Their Minimization Versions: The Case of Vertex Cover

The main contribution is a parameterized approximation algorithm forMMVC, including its weighted variant, which gives conditional lower bounds for the running times of algorithms for MMVC and its weighted variants.

Kernelization of Maximum Minimal Vertex Cover

It is proved that MMVC does not admit polynomial kernels parameterized by the size of a minimum vertex cover, even on bipartite graphs, unless NP ⊆ coNP/poly, unless P = NP, if the kernelization algorithms to apply only a type of natural reduction rules that are large optimal preserving rules.

A New Framework for Kernelization Lower Bounds: The Case of Maximum Minimal Vertex Cover

It is proved that MMVC does not admit polynomial kernels parameterized by the size of a minimum vertex cover of the input graph, even on bipartite graphs, unless NP ⊆ coNP / poly .

New Tools and Connections for Exponential-Time Approximation

A sparsification procedure that reduces a problem to a bounded-degree variant, allowing the use of approximation algorithms for bounded- degree graphs, and a connection between PCP parameters and exponential-time approximation algorithms is shown.

Introducing lop-kernels: a framework for kernelization lower bounds

It is shown that the trivial quadratic kernel for MMVC is essentially optimal, answering a question of Boria et al.



On Subexponential and FPT-Time Inapproximability

Two complementary approaches are provided; the former makes a strong link between the linear PCP conjecture and inapproximability; the latter builds a class of equivalent problems under approximation in subexponential time.

Approximation of max independent set, min vertex cover and related problems by moderately exponential algorithms

Towards Strong Nonapproximability Results in the Lovász-Schrijver Hierarchy

It is shown that the relaxations produced by as many as Ω(n) rounds of the LS+ procedure do not allow nontrivial approximation, thus ruling out the possibility that the LS- approach gives even slightly subexponential approximation algorithms for well-known problems such as max-3sat, hypergraph vertex cover and set cover.

Efficient approximation by “low-complexity” exponential algorithms

It is shown how one can match ideas from both areas in order to design approximation algorithms achieving ratios unachievable in polynomial time (unless a very unlikely complexity conjecture is confirmed) with worst-case complexity much lower (though super-polynomial) than that of an exact computation.

Independent Set, Induced Matching, and Pricing: Connections and Tight (Subexponential Time) Approximation Hardnesses

A new PCP is constructed that is sparse and has nearly-linear size, large degree, and small free-bit complexity and follows from nearly tight subexponential time inapproximability of the first problem, illustrating a rare application of the second type of inapp approximability result to the first one.

On the max min vertex cover problem

Approximating the Minimum Maximal Independence Number

Exponential-Time Approximation of Hard Problems

This work investigates whether the constant $c$ can be made even smaller when one allows constant factor approximation, and describes a kind of approximation schemes -- trade-offs between approximation factor and the time complexity.

On Approximating the Minimum Independent Dominating Set

Fixed-Parameter Approximation: Conceptual Framework and Approximability Results

It is proved that fixed-parameter approximability is closely related to the approximation of small-cost solutions in polynomial time.