Advertisement

Lower bounds for deterministic and nondeterministic branching programs

  • Alexander A. Razborov
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 529)

Abstract

We survey lower bounds established for the complexity of computing explicitly given Boolean functions by switching-and-rectifier networks, branching programs and switching networks. We first consider the unrestricted case and then proceed to various restricted models. Among these are monotone networks, bounded-width devices, oblivious devices and read-k times only devices.

Keywords

Lower Bound Boolean Function Switching Network Circuit Size Symmetric Boolean Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. Ajtai, L. Babai, P. Hajnal, J. Komlos, P. Pudlák, V. Rödl, E. Szemeredi, and Gy. Turán. Two lower bounds for branching programs. In Proceedings of the 18st ACM STOC, pages 30–38, 1986.Google Scholar
  2. [2]
    M. Ajtai, J. Komlós, and E. Szemeredi. An O(n log n) sorting network. In Proceedings of the 15st ACM STOC, pages 1–9, 1983.Google Scholar
  3. [3]
    R. Aleluinas, R. M. Karp, R. J. Lipton, R. J. Lovász, and C. Rackoff. Random walks, universal sequences and the complexity of maze problems. In Proceedings of the 20th IEEE Symposium on Foundations of Computer Science, pages 218–223, 1979.Google Scholar
  4. [4]
    N. Alon and W. Maass. Meanders and their applications in lower bounds arguments. Journal of Computer and System Sciences, 37:118–129, 1988.Google Scholar
  5. [5]
    L. Babai, N. Nisan, and M. Szegedy. Multiparty protocols and logspace-hard pseudorandom sequences. In Proceedings of the 21st ACM STOC, pages 1–11, 1989.Google Scholar
  6. [6]
    L. Babai, P. Pudlák, V. Rödl, and E. Szemeredi. Lower bounds in complexity of symmetric Boolean functions. 1988. To appear in Theoretical Computer Science.Google Scholar
  7. [7]
    D. A. Barrington. Bounded-width polynomial-size branching programs recognize exactly those languages in NC 1. In Proceedings of the 18st ACM STOC, pages 1–5, 1986.Google Scholar
  8. [8]
    D. A. Barrington and H. Straubing. Superlinear lower bounds for bounded-width branching programs. 1990. Preprint.Google Scholar
  9. [9]
    R. B. Boppana and M. Sipser. The complexity of finite functions. In Jan Van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. A (Algorithms and Complexity), chapter 14, pages 757–804, Elsevier Science Publishers B.V. and The MIT Press, 1990.Google Scholar
  10. [10]
    A. Borodin and S. Cook. A time-space tradeoff for sorting on a general sequential model of computation. SIAM Journal on Computing, 11(2):287–297, 1982.Google Scholar
  11. [11]
    A. Borodin, D. Dolev, F. Fich, and W. Paul. Bounds for width 2 branching programs. In Proceedings of the 15st ACM STOC, pages 87–93, 1983.Google Scholar
  12. [12]
    A. Borodin, A. Razborov, and R. Smolensky. On lower bounds for read-k times branching programs. May 1991. Submitted to Computational Complexity.Google Scholar
  13. [13]
    Jin-yi Cai and R. J. Lipton. Subquadratic simulations of circuits by branching programs. In Proceedings of the 30st IEEE FOCS, pages 568–573, 1989.Google Scholar
  14. [14]
    A. Chandra, M. Furst, and R. Lipton. Multiparty protocols. In Proceedings of the 15th ACM STOC, pages 94–99, 1983.Google Scholar
  15. [15]
    R. Cleve. Towards optimal simulations of formulas by bounded-width programs. In Proceedings of the 22th ACM STOC, pages 271–277, 1990.Google Scholar
  16. [16]
    P. E. Dunne. Lower bounds on the complexity of one-time-only branching programs. In Proceedings of the FCT, Lecture Notes in Computer Science, 199, pages 90–99, Springer-Verlag, New York/Berlin, 1985.Google Scholar
  17. [17]
    M. A. Gavrilov. The theory of relay and switching circuits. Nauka, 1950. In Russian.Google Scholar
  18. [18]
    M. I. Grinchuk. On the switching network size of symmetric Boolean functions (in Russian). Master's thesis, Moscow State University, Moscow, 1989.Google Scholar
  19. [19]
    J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Massachussetts, 1979.Google Scholar
  20. [20]
    N. Immerman. Nondeterministic space is closed under complementation. In Proceedings of the 3rd Structures in Complexity Theory Annual Conference, pages 112–115, 1988.Google Scholar
  21. [21]
    S. Jukna. Lower bounds on the complexity of local circuits. In Proceedings of the MFCT'86, Lecture Notes in Computer Science, 233, pages 440–448, Springer-Verlag, New York/Berlin, 1986.Google Scholar
  22. [22]
    R. Kannan. A circuit size lower bound. In Proceedings of the 22th IEEE Symposium on Foundations of Computer Science, pages 304–309, 1981.Google Scholar
  23. [23]
    M. Krause. Exponential lower bounds on the complexity of local and real-time branching programs. 1986. To appear in J. Inform. Process. Cybern. (EIK).Google Scholar
  24. [24]
    M. Krause. Lower bounds for depth-restricted branching programs. Information and Computation, 91(1):1–14, 1991.Google Scholar
  25. [25]
    K. Kriegel and S. Waack. Lower bounds on the complexity of real-time branching programs. In Proceedings of the FCT, Lecture Notes in Computer Science, 278, pages 90–99, Springer-Verlag, New York/Berlin, 1987.Google Scholar
  26. [26]
    O. B. Lupanov. On computing symmetric functions of the propositional calculus by switching networks (in Russian). In Problems of Cybernetics, vol. 15, pages 85–100, Nauka, 1965.Google Scholar
  27. [27]
    A. A. Markov. On minimal switching-and-rectifier networks for monotone symmetric functions (in Russian). In Problems of Cybernetics, vol. 8, pages 117–121, Nauka, 1962.Google Scholar
  28. [28]
    W. Masek. A fast algorithm for the string edidting problem and decision graph complexity. Master's thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1976.Google Scholar
  29. [29]
    E. I. Nečiporuk. On a Boolean function. Doklady of the Academy of Sciences of the USSR, 169(4):765–766 (in Russian), 1966. English translation in Soviet Mathematics Doklady 7:4, pages 999–1000.Google Scholar
  30. [30]
    C. H. Papadimitriou and M. Sipser. Communication complexity. In Proceedings of the 14th ACM STOC, pages 196–200, 1982.Google Scholar
  31. [31]
    M. S. Paterson and L. G. Valiant. Circuit size is nonlinear in depth. Theoretical Computer Science, 2:397–400, 1976.Google Scholar
  32. [32]
    P. Pudlák. The hierarchy of Boolean circuits. Computers and Artificial Intelligence, 6(5):449–468, 1987.Google Scholar
  33. [33]
    P. Pudlák. A lower bound on complexity of branching programs. In Proceedings of the 11th MFCT, Lecture Notes in Computer Science, 176, pages 480–489, Springer-Verlag, New York/Berlin, 1984.Google Scholar
  34. [34]
    A. A. Razborov. Lower bounds on the size of switching-and-rectifier networks for symmetric Boolean functions. Mathematical Notes of the Academy of Sciences of the USSR, 48(6):79–91, 1990.Google Scholar
  35. [35]
    A. A. Razborov. On the method of approximation. In Proceedings of the 21st ACM Symposium on Theory of Computing, pages 167–176, 1989.Google Scholar
  36. [36]
    C. Shannon. A symbolic analysis of relay and switching networks. Transactions of American Institute of Electrical Engeneers, 57:713–723, 1938.Google Scholar
  37. [37]
    C. Shannon. The synthesis of two-terminal switching circuits. Bell Systems Technical Journal, 28(1):59–98, 1949.Google Scholar
  38. [38]
    J. Simon and M. Szegedy. Lower bound techniques for read only once branching programs. November 1990. Preprint.Google Scholar
  39. [39]
    P. M. Spira. On time-hardware complexity tradeoffs for Boolean functions. In Proceedings of the 4th Hawaii Symposium on System Sciences, pages 525–527, Western Periodicals Company, North Hollywood, 1971.Google Scholar
  40. [40]
    R. Szelepcsényi. The method of forcing for nondeterministic automata. Bulletin of the EATCS, 33:96–99, 1987.Google Scholar
  41. [41]
    L. G. Valiant. Short monotone formulae for the majority function. Journal of Algorithms, 5:363–366, 1984.Google Scholar
  42. [42]
    I. Wegener. The complexity of Boolean functions. Wiley-Teubner, 1987.Google Scholar
  43. [43]
    I. Wegener. On the complexity of branching programs and decision trees for clique functions. Assoc. Comput. Math., 35:461–471, 1988.Google Scholar
  44. [44]
    A. Yao. Lower bounds by probabilistic arguments. In Proceedings of the 24th IEEE FOCS, pages 420–428, 1983.Google Scholar
  45. [45]
    S. Žák. An exponential lower bound for one-time-only branching programs. In Proceedings of the 11th MFCT, Lecture Notes in Computer Science, 176, pages 562–566, Springer-Verlag, New York/Berlin, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Alexander A. Razborov
    • 1
  1. 1.Steklov Mathematical InstituteMoscowUSSR

Personalised recommendations