• DocumentCode
    2118665
  • Title

    Zero knowledge and the chromatic number

  • Author

    Feige, Uriel ; Kilian, Joe

  • Author_Institution
    Dept. of Appl. Math., Weizmann Inst. of Sci., Rehovot, Israel
  • fYear
    1996
  • fDate
    24-27 May 1996
  • Firstpage
    278
  • Lastpage
    287
  • Abstract
    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 from max-3-coloring and max-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 Bellare, Goldreich and Sudan (1995), and of Hastad (1996), and show that it is hard to approximate the chromatic number to within Ω(N1-ε) for any E>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. Previous 0(Nδ) gaps for approximating the chromatic number (such as those by Lund and Yannakakis (1994), and by Furer (1995)) did not match the gap for independent set, and do not extend beyond Ω(N 1/2-ε)
  • Keywords
    computational complexity; graph colouring; theorem proving; chromatic number; lower bounds; max-3-coloring; max-3-sat; probabilistically checkable proofs; proof systems; zero-knowledge; Approximation algorithms; Computer science; Engineering profession; Mathematics; National electric code; Polynomials;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity, 1996. Proceedings., Eleventh Annual IEEE Conference on
  • Conference_Location
    Philadelphia, PA
  • Print_ISBN
    0-8186-7386-9
  • Type

    conf

  • DOI
    10.1109/CCC.1996.507690
  • Filename
    507690