• DocumentCode
    2645582
  • Title

    Clique is hard to approximate within n1-ϵ

  • Author

    Håstad, Johan

  • Author_Institution
    R. Inst. of Technol., Stockholm, Sweden
  • fYear
    1996
  • fDate
    14-16 Oct 1996
  • Firstpage
    627
  • Lastpage
    636
  • 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 δ>0, constructing a proof system for NP which uses δ 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
  • Keywords
    approximation theory; computational complexity; theorem proving; Max Clique approximation; amortized free bits; global function; local consistency conditions; local functions; polynomial time; proof system; Approximation algorithms; History; Microwave integrated circuits; Polynomials;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on
  • Conference_Location
    Burlington, VT
  • ISSN
    0272-5428
  • Print_ISBN
    0-8186-7594-2
  • Type

    conf

  • DOI
    10.1109/SFCS.1996.548522
  • Filename
    548522