Clique is hard to approximate within n1-

  • Authors:
  • J. Hastad

  • Affiliations:
  • -

  • Venue:
  • FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

The author proves that unless NP=coR, Max Clique is hard to approximate in polynomial time within a factor n1- for any 0. This is done by, for any d0, constructing a proof system for NP which uses d amortized free bits. A central lemma, which might be of independent interest, gives sufficient conditions (in the form of a certain type of agreement) for creating a global function from local functions certain local consistency conditions.