메뉴 건너뛰기




Volumn 25, Issue 6, 1996, Pages 1293-1304

On unapproximable versions of NP-complete problems

Author keywords

2SAT; Clique; Counting problems; N P complete; Permanent; Randomized reduction; Unapproximable

Indexed keywords


EID: 0001327627     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0097539794266407     Document Type: Article
Times cited : (84)

References (22)
  • 5
    • 0002771903 scopus 로고
    • Non-deterministic exponential time has two-prover interactive protocols
    • L. BASAI, L. FORTNOW, AND C. LUND, Non-deterministic exponential time has two-prover interactive protocols, Comput. Complexity, 1 (1991), pp. 16-25.
    • (1991) Comput. Complexity , vol.1 , pp. 16-25
    • Basai, L.1    Fortnow, L.2    Lund, C.3
  • 6
    • 84945961823 scopus 로고
    • Efficient probabilistically checkable proofs and applications to approximation
    • Association for Computing Machinery, New York
    • M. BELLARE, S. GOLDWASSER, C. LUND, AND A. RUSSELL, Efficient probabilistically checkable proofs and applications to approximation, in Proc. 25th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1993, pp. 294-304.
    • (1993) Proc. 25th Annual ACM Symposium on Theory of Computing , pp. 294-304
    • Bellare, M.1    Goldwasser, S.2    Lund, C.3    Russell, A.4
  • 7
    • 0028092495 scopus 로고
    • Improved non-approximability results
    • Association for Computing Machinery, New York
    • M. BELLARE AND M. SUDAN, Improved non-approximability results, in Proc. 26th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1994, pp. 184-193.
    • (1994) Proc. 26th Annual ACM Symposium on Theory of Computing , pp. 184-193
    • Bellare, M.1    Sudan, M.2
  • 8
    • 0026624588 scopus 로고
    • On the complexity of approximating the independent set problem
    • P. BERMAN AND G. SCHNITGER, On the complexity of approximating the independent set problem, Inform. and Comput., 96 (1992), pp. 77-94.
    • (1992) Inform. and Comput. , vol.96 , pp. 77-94
    • Berman, P.1    Schnitger, G.2
  • 9
    • 0024766880 scopus 로고
    • Dispersers, deterministic amplification, and weak random sources
    • IEEE Computer Society Press, Los Alamitos, CA
    • A. COHEN AND A. WIGDERSON, Dispersers, deterministic amplification, and weak random sources, in Proc. 30th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1989, pp. 14-19.
    • (1989) Proc. 30th Annual IEEE Symposium on Foundations of Computer Science , pp. 14-19
    • Cohen, A.1    Wigderson, A.2
  • 10
    • 85059770931 scopus 로고
    • The complexity of theorem-proving procedures
    • Association for Computing Machinery, New York
    • S. A. COOK, The complexity of theorem-proving procedures, in Proc. 3rd Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1971, pp. 151-158.
    • (1971) Proc. 3rd Annual ACM Symposium on Theory of Computing , pp. 151-158
    • Cook, S.A.1
  • 13
    • 85033049964 scopus 로고
    • A mildly exponential approximation algorithm for the permanent
    • IEEE Computer Society Press, Los Alamitos, CA
    • M. JERRUM AND U. VAZIRANI, A mildly exponential approximation algorithm for the permanent, in Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 320-326.
    • (1992) Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science , pp. 320-326
    • Jerrum, M.1    Vazirani, U.2
  • 14
    • 0003037529 scopus 로고
    • Reducibility among combinatorial problems
    • R. E. Miller and J. W. Thatcher, eds., Plenum Press, New York
    • R. M. KARP, Reducibility among combinatorial problems, in Complexity of Computer Computations, R. E. Miller and J. W. Thatcher, eds., Plenum Press, New York, 1972, pp. 85-103.
    • (1972) Complexity of Computer Computations , pp. 85-103
    • Karp, R.M.1
  • 15
    • 0001202403 scopus 로고
    • Monte-Carlo approximation algorithms for enumeration problems
    • R. M. KARP, M. LUBY, AND N. MADRAS, Monte-Carlo approximation algorithms for enumeration problems, J. Algorithms, 10 (1989), pp. 429-448.
    • (1989) J. Algorithms , vol.10 , pp. 429-448
    • Karp, R.M.1    Luby, M.2    Madras, N.3
  • 16
    • 0027205882 scopus 로고
    • On the hardness of approximating minimization problems
    • Association for Computing Machinery, New York
    • C. LUND AND M. YANNAKAKIS, On the hardness of approximating minimization problems, in Proc. 25th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1993, pp. 286-293.
    • (1993) Proc. 25th Annual ACM Symposium on Theory of Computing , pp. 286-293
    • Lund, C.1    Yannakakis, M.2
  • 18
    • 0026366408 scopus 로고
    • Optimization, approximation, and complexity classes
    • C. H. PAPADIMITRIOU AND M. YANNAKAKIS, Optimization, approximation, and complexity classes, J. Comput. System Sci., 43 (1991), pp. 425-440.
    • (1991) J. Comput. System Sci. , vol.43 , pp. 425-440
    • Papadimitriou, C.H.1    Yannakakis, M.2
  • 19
    • 0023415869 scopus 로고
    • On using deterministic functions to reduce randomness in probabilistic algorithms
    • M. SANTHA, On using deterministic functions to reduce randomness in probabilistic algorithms, Inform. and Comput., 74 (1987), pp. 241-249.
    • (1987) Inform. and Comput. , vol.74 , pp. 241-249
    • Santha, M.1
  • 20
    • 0024019629 scopus 로고
    • Expanders, randomness, or time versus space
    • M. SIPSER, Expanders, randomness, or time versus space, J. Comput. System Sci., 36 (1988), pp. 379-383.
    • (1988) J. Comput. System Sci. , vol.36 , pp. 379-383
    • Sipser, M.1
  • 21
    • 49249151236 scopus 로고
    • The complexity of computing the permanent
    • L. G. VALIANT, The complexity of computing the permanent, Theoret. Comput. Sci., 8 (1979), pp. 189-201.
    • (1979) Theoret. Comput. Sci. , vol.8 , pp. 189-201
    • Valiant, L.G.1
  • 22
    • 0026372370 scopus 로고
    • Simulating BPP using a general weak random source
    • Algorithmica, to appear; preliminary version IEEE Computer Society Press, Los Alamitos, CA
    • D. ZUCKERMAN, Simulating BPP using a general weak random source, Algorithmica, to appear; preliminary version in Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1991, pp. 79-89.
    • (1991) Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science , pp. 79-89
    • Zuckerman, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.