메뉴 건너뛰기




Volumn 9, Issue 1-2, 2009, Pages 81-89

On perfect completeness for QMA

Author keywords

[No Author keywords available]

Indexed keywords

QUANTUM COMPLEXITY CLASS;

EID: 66449126829     PISSN: 15337146     EISSN: None     Source Type: Journal    
DOI: 10.26421/qic9.1-2-5     Document Type: Article
Times cited : (22)

References (15)
  • 1
    • 0021980820 scopus 로고
    • Trading group theory for randomness
    • L. Babai. Trading group theory for randomness. In Proc. ACM STOC, pages 421-429, 1985.
    • (1985) Proc. ACM STOC , pp. 421-429
    • Babai, L.1
  • 3
    • 0021098038 scopus 로고
    • BPP and the polynomial hierarchy
    • C. Lautemann. BPP and the polynomial hierarchy. Inform. Proc. Lett., 17:215-217, 1983.
    • (1983) Inform. Proc. Lett , vol.17 , pp. 215-217
    • Lautemann, C.1
  • 4
    • 85167033089 scopus 로고    scopus 로고
    • O. Goldreich and D. Zuckerman. Another proof that BPP ⊆ PH (and more). ECCC TR97-045, 1997.
    • O. Goldreich and D. Zuckerman. Another proof that BPP ⊆ PH (and more). ECCC TR97-045, 1997.
  • 6
    • 0034513686 scopus 로고    scopus 로고
    • Succinct quantum proofs for properties of finite groups
    • cs.CC/0009002
    • J. Watrous. Succinct quantum proofs for properties of finite groups. In Proc. IEEE FOCS, pages 537-546, 2000. cs.CC/0009002.
    • (2000) Proc. IEEE FOCS , pp. 537-546
    • Watrous, J.1
  • 7
    • 0141547670 scopus 로고    scopus 로고
    • Quantum NP - a survey
    • quant-ph/0210077
    • D. Aharonov and T. Naveh. Quantum NP - a survey. quant-ph/0210077, 2002.
    • (2002)
    • Aharonov, D.1    Naveh, T.2
  • 9
    • 49049115187 scopus 로고    scopus 로고
    • Efficient algorithm for a quantum analogue of 2-SAT
    • quant-ph/0602108
    • S. Bravyi. Efficient algorithm for a quantum analogue of 2-SAT. quant-ph/0602108, 2006.
    • (2006)
    • Bravyi, S.1
  • 10
    • 0033720106 scopus 로고    scopus 로고
    • Parallelization, amplification, and exponential-time simulation of quantum interactive proof systems
    • A. Kitaev and J. Watrous. Parallelization, amplification, and exponential-time simulation of quantum interactive proof systems. In Proc. ACM STOC, pages 608-617, 2000.
    • (2000) Proc. ACM STOC , pp. 608-617
    • Kitaev, A.1    Watrous, J.2
  • 11
    • 85167056663 scopus 로고    scopus 로고
    • S. Aaronson and G. Kuperberg. Quantum versus classical proofs and advice. Theory of Computing, 3(7):129-157, 2007. Previous version in Proceedings of CCC 2007. quant-ph/0604056.
    • S. Aaronson and G. Kuperberg. Quantum versus classical proofs and advice. Theory of Computing, 3(7):129-157, 2007. Previous version in Proceedings of CCC 2007. quant-ph/0604056.
  • 13
    • 85167073163 scopus 로고    scopus 로고
    • R. Beals, H. Buhrman, R. Cleve, M. Mosca, and R. de Wolf. Quantum lower bounds by polynomials. J. ACM, 48(4):778-797, 2001. Earlier version in IEEE FOCS 1998, pp. 352-361. quant-ph/9802049.
    • R. Beals, H. Buhrman, R. Cleve, M. Mosca, and R. de Wolf. Quantum lower bounds by polynomials. J. ACM, 48(4):778-797, 2001. Earlier version in IEEE FOCS 1998, pp. 352-361. quant-ph/9802049.
  • 14
    • 85167039742 scopus 로고    scopus 로고
    • E. Bernstein and U. Vazirani. Quantum complexity theory. SIAM J. Comput., 26(5):1411-1473, 1997. First appeared in ACM STOC 1993.
    • E. Bernstein and U. Vazirani. Quantum complexity theory. SIAM J. Comput., 26(5):1411-1473, 1997. First appeared in ACM STOC 1993.


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