메뉴 건너뛰기




Volumn 1099, Issue , 1996, Pages 348-356

On the power of randomized branching programs

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

EID: 84947728444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61440-0_141     Document Type: Conference Paper
Times cited : (29)

References (20)
  • 2
    • 85068530809 scopus 로고
    • Adelman, Two theorems on random polynomial time
    • L
    • L. Adelman, Two theorems on random polynomial time, in Proceedings of the 19-th FOCS, (1978), 75-83.
    • (1978) In Proceedings of the 19-Th FOCS , pp. 75-83
  • 3
    • 84880226003 scopus 로고
    • A theorem on randomized constant depth circuits
    • M. Ajtai and M. Ben-Or, A theorem on randomized constant depth circuits, in Proceedings of the 16-th STOC, (1984), 471-474.
    • (1984) Proceedings of the 16-Th STOC , pp. 471-474
    • Ajtai, M.1    Ben-Or, M.2
  • 4
    • 0002872731 scopus 로고
    • Relative to a random oracle A, PA ≠ NPA ≠co - NPA with probability 1
    • Awith probability 1, SIAM J. Comput, 10, (1981), 96-113.
    • (1981) SIAM J. Comput , vol.10 , pp. 96-113
    • Bennet, C.1    Gill, J.2
  • 6
    • 84947718606 scopus 로고    scopus 로고
    • R. Boppana and M. Sipser, The complexity of finite functions, in Handbook of Theoretical Computer Science, Vol A: Algorithms and Complexity, MIT Press and Elsevier, The Netherlands, 1990, ed. J Van Leeuwen, 757-804.
    • Boppana, R.1    Sipser, M.2
  • 9
    • 0026913667 scopus 로고
    • Symbolic boolean manipulation with ordered binary decision diagrams
    • R. Bryant, Symbolic boolean manipulation with ordered binary decision diagrams, ACM Computing Surveys, 24, No. 3, (1992), 293-318.
    • (1992) ACM Computing Surveys , vol.24 , Issue.3 , pp. 293-318
    • Bryant, R.1
  • 12
    • 0026119666 scopus 로고
    • Lower bounds for depth-restricted branching programs
    • M. Krause, Lower bounds for depth-restricted branching programs, Information and Computation, 91, (1991), 1-14.
    • (1991) Information and Computation , vol.91 , pp. 1-14
    • Krause, M.1
  • 13
    • 84903828974 scopus 로고
    • Representation of switching circuits by binary-decision programs
    • C. Y. Lee, Representation of switching circuits by binary-decision programs, Bell System Technical Journal, 38, (1959), 985-999.
    • (1959) Bell System Technical Journal , vol.38 , pp. 985-999
    • Lee, C.Y.1
  • 16
    • 0002961746 scopus 로고
    • A lower bound for integer multiplication with read-once branching programs
    • S. Ponzio, A lower bound for integer multiplication with read-once branching programs, Proceedings of the 27-th STOC, (1995), 130-139.
    • (1995) Proceedings of the 27-Th STOC , pp. 130-139
    • Ponzio, S.1
  • 18
    • 84947703754 scopus 로고    scopus 로고
    • J. Simon and M. Szegedy, A new lower bound theorem for read-only-once branching programs and its applications, Advances in Computational Complexity Theory, ed. Jin-Yi Cai, DIMACS Series, 13, AMS (1993), 183-193.
    • Simon, J.1    Szegedy, M.2
  • 20
    • 0000906394 scopus 로고
    • Efficient data structures for boolean functions
    • I. Wegener, Efficient data structures for boolean functions, Discrete Mathematics, 136, (1994), 347-372.
    • (1994) Discrete Mathematics , vol.136 , pp. 347-372
    • Wegener, I.1


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