Improved Inapproximability Results for Maximum k-Colorable Subgraph

We study the maximization version of the fundamental graph coloring problem. Here the goal is to color the vertices of a k -colorable graph with k colors so that a maximum fraction of edges are properly colored (i.e. their endpoints receive different colors). A random k -coloring properly colors an expected fraction $1-\frac{1}{k}$ of edges. We prove that given a graph promised to be k -colorable, it is NP-hard to find a k -coloring that properly colors more than a fraction of edges. Previously, only a hardness factor of $1- O\bigl(\frac{1}{k^2}\bigr)$ was known. Our result pins down the correct asymptotic dependence of the approximation factor on k . Along the way, we prove that approximating the Maximum 3-colorable subgraph problem within a factor greater than $\frac{32}{33}$ is NP-hard. Using semidefinite programming, it is known that one can do better than a random coloring and properly color a fraction $1-\frac{1}{k} +\frac{2 \ln k}{k^2}$ of edges in polynomial time. We show that, assuming the 2-to-1 conjecture, it is hard to properly color (using k colors) more than a fraction $1-\frac{1}{k} + O\left(\frac{\ln k}{k^2}\right)$ of edges of a k -colorable graph.

[1]  Guy Kindler,et al.  Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[2]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[3]  Erez Petrank The hardness of approximation: Gap location , 2005, computational complexity.

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

[5]  David P. Williamson,et al.  Improved approximation algorithms for MAX SAT , 2000, SODA '00.

[6]  Venkatesan Guruswami,et al.  Inapproximability Results for Set Splitting and Satisfiability Problems with No Mixed Clauses , 2004, Algorithmica.

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

[8]  Ryan O'Donnell,et al.  Noise stability of functions with low influences: Invariance and optimality , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

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

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

[11]  Venkatesan Guruswami,et al.  A tight characterization of NP with 3 query PCPs , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[12]  Sanjeev Khanna,et al.  On the Hardness of Approximating Max k-Cut and its Dual , 1997, Chic. J. Theor. Comput. Sci..

[13]  Elchanan Mossel,et al.  Noise stability of functions with low influences: Invariance and optimality , 2005, IEEE Annual Symposium on Foundations of Computer Science.

[14]  Alistair Sinclair,et al.  Improved Bounds for Mixing Rates of Markov Chains and Multicommodity Flow , 1992, Combinatorics, Probability and Computing.

[15]  P. M. Weichsel THE KRONECKER PRODUCT OF GRAPHS , 1962 .

[16]  Prasad Raghavendra,et al.  Optimal algorithms and inapproximability results for every CSP? , 2008, STOC.

[17]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[18]  Ryan O'Donnell,et al.  Conditional hardness for satisfiable 3-CSPs , 2009, STOC '09.

[19]  Ryan O'Donnell,et al.  Optimal Inapproximability Results for MAX-CUT and Other 2-Variable CSPs? , 2007, SIAM J. Comput..

[20]  Alan M. Frieze,et al.  Improved Approximation Algorithms for MAX k-CUT and MAX BISECTION , 1995, IPCO.

[21]  Alan M. Frieze,et al.  Improved approximation algorithms for MAXk-CUT and MAX BISECTION , 1995, Algorithmica.