Abstract:
. We prove that all of Karp's 21 original NP-complete problems have a version that's hard to approximate. These versions are obtained from the original problems by adding essentially the same, simple constraint. We further show that these problems are absurdly hard to approximate. In fact, no polynomial-time algorithm can even approximate log (k) of the magnitude of these problems to within any constant factor, where log (k) denotes the logarithm iterated k times, unless NP is recognized by slightly superpolynomial randomized machines. We use the same technique to improve the constant ffl such that MAX CLIQUE is hard to approximate to within a factor of n ffl . Finally, we show that it is even harder to approximate two counting problems: counting the number of satisfying assignments to a monotone 2-SAT formula and computing the permanent of-1,0,1 matrices. Key words. NP-complete, unapproximable, randomized reduction, clique, counting problems, permanent, 2SAT AMS subject clas...
Citations
|
868
|
Reducibility among combinatorial problems
– Karp
- 1972
|
|
464
|
Optimization, approximation, and complexity classes
– Papadimitriou, Yannakakis
- 1991
|
|
322
|
The complexity of computing the permanent
– Valiant
- 1979
|
|
305
|
Non-deterministic exponential time has two-prover interactive protocols
– Babai, Fortnow, et al.
- 1991
|
|
151
|
Efficient probabilistically checkable proofs and applications to approximation
– Bellare, Goldwasser, et al.
- 1993
|
|
105
|
Improved non-approximability results
– Bellare, Sudan
- 1994
|
|
84
|
Simulating BPP using a general weak random source
– Zuckerman
- 1996
|
|
64
|
Monte-Carlo Approximation Algorithms for Enumeration Problems
– Karp, Luby, et al.
- 1989
|
|
48
|
Derandomized graph products
– Alon, Feige, et al.
- 1995
|
|
32
|
Deterministic Simulation
– Ajtai, Komlos, et al.
- 1987
|
|
24
|
Approximating clique is NP-complete
– Arora, Safra
- 1992
|
|
24
|
The Complexity of Theorem-Proving
– Cook
- 1971
|
|
24
|
A mildly exponential approximation algorithm for the permanent
– Jerrum, Vazirani
- 1992
|
|
16
|
randomness, or time versus space
– Expanders
- 1988
|
|
12
|
Computers and intractability, a guide to the theory of NP
– Garey, Johnson
- 1990
|
|
12
|
On the Hardness of Approximating Minimization
– Lund, Yannakakis
- 1993
|
|
7
|
On using deterministic functions to reduce randomness in probabilistic algorithms
– Santha
- 1987
|
|
4
|
On the Complexity of Approximating the
– Berman, Schnittger
- 1992
|
|
1
|
Approximating Clique is Almost
– Feige, Goldwasser, et al.
- 1991
|