Preview
Unable to display preview. Download preview PDF.
References
M. Ajtai, ∑ 11 -formulae on finite structures, Annals of Pure and Applied Logic 24 (1983), pp. 1–48.
A. Borodin, D. Dolev, F.E. Fich and W. Paul, Bounds for width two branching programs, 15th Annual ACM Symposium on Theory of Computing, 1983, pp. 87–93.
A.K. Chandra, M.L. Furst and R.J. Lipton, Multiparty protocols, ibidem pp. 94–99.
M.J. Fischer, A.R. Meyer and M.S. Paterson, Ω (n log n) lower bounds on length of Boolean formulas, SIAM J. Comput. Vol. 11, No. 3, 1982, pp. 416–427.
M. Furst, J.B. Saxe, M. Sipser, Parity, cirquits and the polynomial-time hierarchy, 27nd Symposium on the Foundations of Computer Science, 1981, pp. 260–270.
L. Hodes and E. Specker, Lengths of formulas and elimination of quantifiers I, in Contributions to Mathematical Logic, H.A. Schmidt, K. Schütz, H.-J. Thiele, eds., North-Holland, 1968, pp. 175–188.
V.M. Khrapčenko, Complexity of realization of symmetric Boolean functions on finite basis, Problemy Kibernetiki 31, 1976, pp. 231–234, (Russian).
E.J. Nečiporuk, A Boolean function, Dokl. Acad. Nauk SSSR, Vol. 169, No. 4, 1966, pp. 765–766, (Russian), English translation in Sov. Math.-Dokl. Vol. 7, No. 4, pp. 999–1000.
P. Pudlák, Bounds for Hodes-Specker theorem, in Rekrusive Kombinatorik, Münster, 1983, Springer-Verlag, to appear.
P. Pudlák and S. Žák, Space complexity of computations, manuscript.
J.E. Savage, The Complexity of Computing, John Wiley and Sons, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pudlák, P. (1984). A lower bound on complexity of branching programs. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030331
Download citation
DOI: https://doi.org/10.1007/BFb0030331
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13372-8
Online ISBN: 978-3-540-38929-3
eBook Packages: Springer Book Archive