See this document in CiteSeerX!

Reductions, Codes, PCPs, and Inapproximability (1995)  (Make Corrections)  (1 citation)
Sanjeev Arora
IEEE Symposium on Foundations of Computer Science



  Home/Search   Context   Related

 
View or download:
princeton.edu/pub/people/aro...codes.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  princeton.edu (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Many recent results show the hardness of approximating NP-hard functions. We formalize, in a very simple way, what these results involve: a code-like Levin reduction. Assuming a well-known complexity assumption, we show that such reductions cannot prove the NP-hardness of the following problems, where e is any positive fraction: (i) achieving an approximation ratio n^(1/2+e) for Clique, (ii) achieving an approximation ratio 1.5 + e for Vertex Cover, and (iii) coloring a 3-colorable graph with... (Update)

Similar documents based on text:   More   All
0.3:   Improved Low-Degree Testing and Its Applications - Arora (2001)   (Correct)
0.2:   Inapproximability Results for Equations over Finite Groups - Engebretsen, Holmerin.. (2004)   (Correct)
0.2:   On the Hardness of 4-coloring a 3-colorable Graph - Guruswami, Khanna (2000)   (Correct)

BibTeX entry:   (Update)

S. Arora. "Reductions, codes, PCPs, and inapproximability". Proc. of 36th Annual Symposium of Foundations of Computer Science, 404--413, 1995. http://citeseer.ist.psu.edu/arora95reductions.html   More

@inproceedings{ arora95reductions,
    author = "Sanjeev Arora",
    title = "Reductions, Codes, {PCPs}, and Inapproximability",
    booktitle = "{IEEE} Symposium on Foundations of Computer Science",
    pages = "404-413",
    year = "1995",
    url = "citeseer.ist.psu.edu/arora95reductions.html" }
Citations (may not include all citations):
4212   Computers and Intractability: a guide to the theory of NPcom.. (context) - Garey, Johnson - 1979
773   Reducibility among combinatorial problems (context) - Karp - 1972
534   The complexity of theorem-proving procedures (context) - Cook - 1971
300   the hardness of approximating minimization problems (context) - Lund, Yannakakis - 1993
293   Approximation algorithms for combinatorial problems (context) - Johnson - 1974
212   Probabilistic checking of proofs: A new characterization of .. - Arora, Safra - 1992
203   Approximating clique is almost NP-complete (context) - Feige, Goldwasser et al. - 1991
173   Proof verification and intractability of approximation probl.. (context) - Arora, Lund et al. - 1992
163   NP is as easy as detecting unique solutions (context) - Valiant, Vazirani - 1986
155   Checking Computations in Polylogarithmic Time - Babai, Fortnow et al. - 1991
118   A parallel repetition theorem - Raz
108   Improved nonapproximability results - Bellare, Sudan - 1994
106   Matching is as easy as matrix inversion (context) - Mulmuley, Vazirani et al. - 1987
104   Approximating maximum independent sets by excluding subgraph.. - Boppana, Halld'orsson - 1992
103   Bounded Arithmetic (context) - Buss - 1986

[Article contains additional citations not shown here]

Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.princeton.edu.html):   More
Communication Fault Tolerance in Parallel Computers - Sitaraman (1993)   (Correct)
Extensible Security Architectures for Java - Wallach (1997)   (Correct)
Finite Growth Models - Ristad, Yianilos (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC