Zero Knowledge and the Chromatic Number

We present a new technique, inspired by zero-knowledge proof systems, for proving lower bounds on approximating the chromatic number of a graph. To illustrate this technique we present simple reductions frommax-3-coloringandmax-3-sat, showing that it is hard to approximate the chromatic number within?(N?) for some?>0. We then apply our technique in conjunction with the probabilistically checkable proofs of Hastad and show that it is hard to approximate the chromatic number to within?(N1??) for any?>0, assuming NP?ZPP. Here, ZPP denotes the class of languages decidable by a random expected polynomial-time algorithm that makes no errors. Our result matches (up to low order terms) the known gap for approximating the size of the largest independent set. PreviousO(N?) gaps for approximating the chromatic number (such as those by Lund and Yannakakis, and by Furer) did not match the gap for independent set nor extend beyond?(N1/2??).

[1]  László Lovász,et al.  On the ratio of optimal integral and fractional covers , 1975, Discret. Math..

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

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

[4]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1994, JACM.

[5]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[6]  Moni Naor,et al.  Low Communication 2-Prover Zero-Knowledge Proofs for NP , 1992, CRYPTO.

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

[8]  J. Kilian,et al.  On the complexity of statistical reasoning , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

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

[10]  Ravi B. Boppana,et al.  Approximating maximum independent sets by excluding subgraphs , 1990, BIT.

[11]  Martin Fiirer Improved Hardness Results for Approximating the Chromatic Number , 1995 .

[12]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[13]  Nathan Linial,et al.  On the Hardness of Approximating the Chromatic Number , 2000, Comb..

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

[15]  Martin Fürer,et al.  Improved Hardness Results for Approximating the Chromatic Number , 1995, FOCS.

[16]  Sanjeev Arora,et al.  Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.

[17]  Nathan Linial,et al.  Graph products and chromatic numbers , 1989, 30th Annual Symposium on Foundations of Computer Science.

[18]  Magnús M. Halldórsson,et al.  A Still Better Performance Guarantee for Approximate Graph Coloring , 1993, Information Processing Letters.

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

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

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

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

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

[24]  Piotr Berman,et al.  On the Complexity of Approximating the Independent Set Problem , 1989, Inf. Comput..

[25]  Magnús M. Hallórsson A still better performance guarantee for approximate graph coloring , 1993 .

[26]  Carsten Lund,et al.  Proof verification and the intractability of approximation problems , 1992, FOCS 1992.

[27]  Silvio Micali,et al.  Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems , 1991, JACM.

[28]  Ravi B. Boppana,et al.  Approximating maximum independent sets by excluding subgraphs , 1992, BIT Comput. Sci. Sect..

[29]  Mihir Bellare,et al.  Free Bits, PCPs, and Nonapproximability-Towards Tight Results , 1998, SIAM J. Comput..

[30]  Uriel Feige,et al.  Two-Prover Protocols - Low Error at Affordable Rates , 2000, SIAM J. Comput..

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

[32]  Raymond E. Miller,et al.  Complexity of Computer Computations , 1972 .

[33]  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.

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