On Percolation and NP-Hardness

We consider the robustness of computational hardness of problems whose input is obtained by applying independent random deletions to worst-case instances. For some classical $NP$-hard problems on graphs, such as Coloring, Vertex-Cover, and Hamiltonicity, we examine the complexity of these problems when edges (or vertices) of an arbitrary graph are deleted independently with probability $1-p > 0$. We prove that for $n$-vertex graphs, these problems remain as hard as in the worst-case, as long as $p > \frac{1}{n^{1-\epsilon}}$ for arbitrary $\epsilon \in (0,1)$, unless $NP \subseteq BPP$. We also prove hardness results for Constraint Satisfaction Problems, where random deletions are applied to clauses or variables, as well as the Subset-Sum problem, where items of a given instance are deleted at random.

[1]  Irit Dinur,et al.  On the Conditional Hardness of Coloring a 4-Colorable Graph with Super-Constant Number of Colors , 2010, APPROX-RANDOM.

[2]  Elchanan Mossel,et al.  Non-interactive correlation distillation, inhomogeneous Markov chains, and the reverse Bonami-Beckner inequality , 2004, math/0410560.

[3]  Allan Sly,et al.  Computational Transition at the Uniqueness Threshold , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[4]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[5]  Jan Vondrák,et al.  Adaptivity and approximation for stochastic packing problems , 2005, SODA '05.

[6]  David R. Karger,et al.  Random Sampling in Cut, Flow, and Network Design Problems , 1999, Math. Oper. Res..

[7]  Richard M. Karp,et al.  Maximum Matchings in Sparse Random Graphs , 1981, FOCS 1981.

[8]  Béla Bollobás,et al.  Random Graphs , 1985 .

[9]  Cohen,et al.  Resilience of the internet to random breakdowns , 2000, Physical review letters.

[10]  Subhash Khot,et al.  Improved inapproximability results for MaxClique, chromatic number and approximate graph coloring , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[11]  Hector J. Levesque,et al.  Hard and Easy Distributions of SAT Problems , 1992, AAAI.

[12]  Heiko Röglin,et al.  Smoothed Analysis of Local Search for the Maximum-Cut Problem , 2017, ACM Trans. Algorithms.

[13]  Uriel Feige,et al.  Zero knowledge and the chromatic number , 1996, Proceedings of Computational Complexity (Formerly Structure in Complexity Theory).

[14]  R. L. Brooks On colouring the nodes of a network , 1941, Mathematical Proceedings of the Cambridge Philosophical Society.

[15]  David Gamarnik,et al.  PTAS for maximum weight independent set problem with random weights in bounded degree graphs , 2010, SODA '10.

[16]  Uriel Feige,et al.  Relations between average case complexity and approximation complexity , 2002, STOC '02.

[17]  Marek Karpinski,et al.  Polynomial Time Approximation Schemes for Dense Instances of NP-Hard Problems , 1999, J. Comput. Syst. Sci..

[18]  Yuval Rabani,et al.  Allocating bandwidth for bursty connections , 1997, STOC '97.

[19]  Sidhant Misra Decay of correlations and inference in graphical models , 2014 .

[20]  Alan M. Frieze,et al.  Maximum matchings in sparse random graphs: Karp-Sipser revisited , 1998, Random Struct. Algorithms.

[21]  Shang-Hua Teng,et al.  Smoothed analysis: an attempt to explain the behavior of algorithms in practice , 2009, CACM.

[22]  David S. Johnson,et al.  The Complexity of Near-Optimal Graph Coloring , 1976, J. ACM.

[23]  Amin Coja-Oghlan,et al.  Algorithmic Barriers from Phase Transitions , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[24]  Uriel Feige,et al.  Recoverable values for independent sets , 2015, Random Struct. Algorithms.

[25]  Carsten Lund,et al.  Proof verification and the hardness of approximation problems , 1998, JACM.

[26]  Ludek Kucera,et al.  The Greedy Coloring Is a Bad Probabilistic Algorithm , 1991, J. Algorithms.

[27]  Sangxia Huang,et al.  Improved Hardness of Approximating Chromatic Number , 2013, APPROX-RANDOM.

[28]  Amin Coja-Oghlan,et al.  On independent sets in random graphs , 2010, SODA '11.

[29]  T. Sanders On the Bogolyubov–Ruzsa lemma , 2010, 1011.0107.

[30]  Albert-László Barabási,et al.  Error and attack tolerance of complex networks , 2000, Nature.

[31]  Shang-Hua Teng,et al.  Smoothed analysis of algorithms: why the simplex algorithm usually takes polynomial time , 2001, STOC '01.

[32]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[33]  S. Safra,et al.  On the hardness of approximating minimum vertex cover , 2005 .

[34]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[35]  Subhash Khot,et al.  Vertex cover might be hard to approximate to within 2-/spl epsiv/ , 2003, 18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings..

[36]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[37]  Sanjeev Arora,et al.  Probabilistic checking of proofs; a new characterization of NP , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[38]  Asaf Ferber,et al.  Packing, counting and covering Hamilton cycles in random directed graphs , 2015, Electron. Notes Discret. Math..

[39]  S. Stenholm Information, Physics and Computation, by Marc Mézard and Andrea Montanari , 2010 .

[40]  Alan M. Frieze,et al.  On the satisfiability and maximum satisfiability of random 3-CNF formulas , 1993, SODA '93.

[41]  Tomasz Łuczak,et al.  Size and connectivity of the k-core of a random graph , 1991 .

[42]  H. Poincaré,et al.  Percolation ? , 1982 .

[43]  Benjamin Rossman,et al.  The Monotone Complexity of k-clique on Random Graphs , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[44]  Luca Trevisan,et al.  On Weighted vs Unweighted Versions of Combinatorial Optimization Problems , 2001, Inf. Comput..

[45]  Elchanan Mossel,et al.  Conditional hardness for approximate coloring , 2005, STOC '06.

[46]  Alan M. Frieze,et al.  Algorithmic theory of random graphs , 1997, Random Struct. Algorithms.

[47]  David Steurer,et al.  Subsampling mathematical relaxations and average-case complexity , 2009, SODA '11.