Robust algorithms for Max Independent Set on Minor-free graphs based on the Sherali-Adams Hierarchy
نویسندگان
چکیده
This work provides a Linear Programming-based Polynomial Time Approximation Scheme (PTAS) for two classical NP-hard problems on graphs when the input graph is guaranteed to be planar, or more generally Minor Free. The algorithm applies a sufficiently large number (some function of 1/ when 1+ approximation is required) of rounds of the so-called Sherali-Adams Lift-and-Project system. needed to obtain a (1 + )-approximation, where f is some function that depends only on the graph that should be avoided as a minor. The problem we discuss are the well-studied problems, theMax Independent Set andMin Vertex Cover problems. An curious fact we expose is that in the world of minorfree graph, the Min Vertex Cover is harder in some sense than the Max Independent Set. Our main result shows how to get a PTAS for Max Independent Set in the more general “noisy setting” in which input graphs are not assumed to be planar/minor-free, but only close to being so. In this setting we bound integrality gaps by 1+ , which in turn provides a 1+ approximation of the optimum value; however we don’t know how to actually find a solution with this approximation guarantee. While there are known combinatorial algorithms for the non-noisy setting of the above graph problems, we know of no previous approximation algorithms in the noisy setting. Further, we give evidence that current combinatorial techniques will fail to generalize to this noisy setting.
منابع مشابه
Max-Cut Under Graph Constraints
An instance of the graph-constrained max-cut (GCMC) problem consists of (i) an undirected graph G = (V,E) and (ii) edge-weights c : ( V 2 ) → R+ on a complete undirected graph. The objective is to find a subset S ⊆ V of vertices satisfying some graph-based constraint in G that maximizes the weight ∑ u∈S,v 6∈S cuv of edges in the cut (S, V \ S). The types of graph constraints we can handle inclu...
متن کاملTight Gaps for Vertex Cover in the Sherali-Adams SDP Hierarchy
We give the first tight integrality gap for Vertex Cover in the Sherali-Adams SDP system. More precisely, we show that for every > 0, the standard SDP for Vertex Cover that is strengthened with the level-6 Sherali-Adams system has integrality gap 2− . To the best of our knowledge this is the first nontrivial tight integrality gap for the Sherali-Adams SDP hierarchy for a combinatorial problem w...
متن کاملLP-Based Robust Algorithms for Noisy Minor-Free and Bounded Treewidth Graphs
We give a general approach to solve various optimization problems on noisy minor-free and bounded treewidth graphs, where some fraction of the edges have been corrupted adversarially. Our results are motivated by a previous work of Magen and Moharrami, who gave a (1 + )approximate estimation algorithm for the independent set problem on noisy planar graphs, but left open the question of how to a...
متن کاملHierarchy Lower Bounds for Decoding Random LDPC Codes
Random (dr, d,)-regular LDPC codes (where each variable is involved in d, parity checks and each parity check involves d, variables) are well-known to achieve the Shannon capacity of the binary symmetric channel (for sufficiently large d, and d,) under exponential time decoding. However, polynomial time algorithms are only known to correct a much smaller fraction of errors. One of the most powe...
متن کاملOptimal Sherali-Adams Gaps from Pairwise Independence
This work considers the problem of approximating fixed predicate constraint satisfaction problems (MAX k-CSP(P )). We show that if the set of assignments accepted by P contains the support of a balanced pairwise independent distribution over the domain of the inputs, then such a problem on n variables cannot be approximated better than the trivial (random) approximation, even using Ω(n) levels ...
متن کامل