Better Inapproximability Results for MaxClique, Chromatic Number and Min-3Lin-Deletion

We prove an improved hardness of approximation result for two problems, namely, the problem of finding the size of the largest clique in a graph and the problem of finding the chromatic number of a graph. We show that for any constant γ> 0, there is no polynomial time algorithm that approximates these problems within factor $n/2^{(\log n)^{3/4+\gamma}}$ in an n vertex graph, assuming ${\rm NP} \nsubseteq {\rm BPTIME}(2^{(\log n)^{O(1)}})$. This improves the hardness factor of $n/2^{(\log n)^{1-\gamma'}}$ for some small (unspecified) constant γ′ > 0 shown by Khot [20]. Our main idea is to show an improved hardness result for the Min-3Lin-Deletion problem. An instance of Min-3Lin-Deletion is a system of linear equations modulo 2, where each equation is over three variables. The objective is to find the minimum number of equations that need to be deleted so that the remaining system of equations has a satisfying assignment. We show a hardness factor of $2^{\Omega(\sqrt{\log n})}$ for this problem, improving upon the hardness factor of (logn)β shown by Hastad [18], for some small (unspecified) constant β> 0. The hardness results for clique and chromatic number are then obtained using the reduction from Min-3Lin-Deletion as given in [20].

[1]  Mihir Bellare,et al.  Improved non-approximability results , 1994, STOC '94.

[2]  Jonas Holmerin,et al.  Towards optimal lower bounds for clique and chromatic number , 2003, Theor. Comput. Sci..

[3]  Donald E. Knuth The Sandwich Theorem , 1994, Electron. J. Comb..

[4]  Luca Trevisan,et al.  Gowers uniformity, influence of variables, and PCPs , 2005, STOC '06.

[5]  Avi Wigderson,et al.  Simple analysis of graph tests for linearity and PCP , 2003, Random Struct. Algorithms.

[6]  Carsten Lund,et al.  Efficient probabilistic checkable proofs and applications to approximation , 1994, STOC '94.

[7]  Mihir Bellare,et al.  Free bits, PCPs and non-approximability-towards tight results , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[8]  Shimon Kogan,et al.  Hardness of approximation of the Balanced Complete Bipartite Subgraph problem , 2004 .

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

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

[11]  David Zuckerman,et al.  On Unapproximable Versions of NP-Complete Problems , 1996, SIAM J. Comput..

[12]  Johan Håstad,et al.  Clique is hard to approximate within n/sup 1-/spl epsiv// , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[13]  Johan Håstad,et al.  Clique is hard to approximate within n1-epsilon , 1996, Electron. Colloquium Comput. Complex..

[14]  Uriel Feige,et al.  Randomized graph products, chromatic numbers, and the Lovász ϑ-function , 1997, Comb..

[15]  Subhash Khot,et al.  On the power of unique 2-prover 1-round games , 2002, Proceedings 17th IEEE Annual Conference on Computational Complexity.

[16]  Aravind Srinivasan The value of strong inapproximability results for clique , 2000, STOC '00.

[17]  A. Blum ALGORITHMS FOR APPROXIMATE GRAPH COLORING , 1991 .

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

[19]  Luca Trevisan,et al.  Non-approximability results for optimization problems on bounded degree instances , 2001, STOC '01.

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

[21]  Uriel Feige,et al.  Two prover protocols: low error at affordable rates , 1994, STOC '94.

[22]  László Lovász,et al.  Interactive proofs and the hardness of approximating cliques , 1996, JACM.

[23]  Uriel Feige,et al.  Randomized graph products, chromatic numbers, and Lovasz j-function , 1995, STOC '95.

[24]  Lars Engebretsen,et al.  Clique Is Hard To Approximate Within , 2000 .

[25]  Luca Trevisan,et al.  A PCP characterization of NP with optimal amortized query complexity , 2000, STOC '00.

[26]  Carsten Lund,et al.  Efficient probabilistically checkable proofs and applications to approximations , 1993, STOC.

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

[28]  Subhash Khot On the power of unique 2-prover 1-round games , 2002, STOC '02.

[29]  M. Sudan,et al.  Hardness of approximating the minimum distance of a linear code , 2000, 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

[30]  Ran Raz,et al.  A parallel repetition theorem , 1995, STOC '95.

[31]  Uriel Feige,et al.  Approximating Maximum Clique by Removing Subgraphs , 2005, SIAM J. Discret. Math..

[32]  Sanjeev Arora Probabilistic checking of proofs and hardness of approximation problems , 1995 .

[33]  Johan Håstad Testing of the long code and hardness for clique , 1996, STOC '96.