메뉴 건너뛰기




Volumn 347, Issue 1-2, 2005, Pages 415-418

A note on the circuit complexity of PP

Author keywords

Circuit lower bounds; Complexity classes; Computational complexity

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY;

EID: 27844554383     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.07.032     Document Type: Article
Times cited : (22)

References (16)
  • 1
    • 27844445634 scopus 로고    scopus 로고
    • Oracles are subtle but not malicious
    • Electronic Colloq. on Computational Complexity
    • S. Aaronson, Oracles are subtle but not malicious, Technical Report TR05-040, Electronic Colloq. on Computational Complexity, 2005, available at 〈http://www.eccc.uni-trier.de/eccc/〉.
    • (2005) Technical Report , vol.TR05-040
    • Aaronson, S.1
  • 4
    • 0002234652 scopus 로고
    • Arithmetization: A new method in structural complexity theory
    • L. Babai, and L. Fortnow Arithmetization: a new method in structural complexity theory Comput. Complexity 1 1991 41 66
    • (1991) Comput. Complexity , vol.1 , pp. 41-66
    • Babai, L.1    Fortnow, L.2
  • 6
    • 0038384210 scopus 로고
    • Perceptrons, PP, and the polynomial hierarchy
    • R. Beigel Perceptrons, PP, and the polynomial hierarchy Comput. Complexity 4 4 1994 339 349
    • (1994) Comput. Complexity , vol.4 , Issue.4 , pp. 339-349
    • Beigel, R.1
  • 8
    • 0000595574 scopus 로고
    • Computational complexity of probabilistic complexity classes
    • J. Gill Computational complexity of probabilistic complexity classes SIAM J. Comput. 6 1977 675 695
    • (1977) SIAM J. Comput. , vol.6 , pp. 675-695
    • Gill, J.1
  • 9
    • 0343474117 scopus 로고
    • Circuit-size lower bounds and non-reducibility to sparse sets
    • R. Kannan Circuit-size lower bounds and non-reducibility to sparse sets Inform. Control 55 1982 40 56
    • (1982) Inform. Control , vol.55 , pp. 40-56
    • Kannan, R.1
  • 11
    • 0026930922 scopus 로고
    • Algebraic methods for interactive proof systems
    • C. Lund, L. Fortnow, H. Karloff, and N. Nisan Algebraic methods for interactive proof systems J. ACM 39 4 1992 859 868
    • (1992) J. ACM , vol.39 , Issue.4 , pp. 859-868
    • Lund, C.1    Fortnow, L.2    Karloff, H.3    Nisan, N.4
  • 13
    • 38249025896 scopus 로고
    • Probabilistic complexity classes and lowness
    • U. Schöning Probabilistic complexity classes and lowness J. Comput. System Sci. 39 1988 84 100
    • (1988) J. Comput. System Sci. , vol.39 , pp. 84-100
    • Schöning, U.1
  • 14
    • 0001594533 scopus 로고
    • Counting classes are at least as hard as the polynomial-time hierarchy
    • S. Toda, and M. Ogiwara Counting classes are at least as hard as the polynomial-time hierarchy SIAM J. Comput. 21 2 1992 316 328
    • (1992) SIAM J. Comput. , vol.21 , Issue.2 , pp. 316-328
    • Toda, S.1    Ogiwara, M.2
  • 16
    • 0020828350 scopus 로고
    • Reltivized circuit complexity
    • C.B. Wilson Reltivized circuit complexity J. Comput. System Sci. 31 2 1985 169 181
    • (1985) J. Comput. System Sci. , vol.31 , Issue.2 , pp. 169-181
    • Wilson, C.B.1


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