×

On uniform circuit complexity. (English) Zbl 0462.68013


MSC:

68Q25 Analysis of algorithms and problem complexity
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
68Q45 Formal languages and automata
Full Text: DOI

References:

[1] Aho, A. V.; Hopcroft, J. E.; Ullman, J. D., The Design and Analysis of Computer Algorithms (1974), Addison-Wesley: Addison-Wesley Reading, Mass · Zbl 0286.68029
[2] Borodin, A., On relating time and space to size and depth, SIAM J. Comput., 6, No. 4, 733-743 (1977) · Zbl 0366.68039
[3] Colbourn, C. J.; Booth, K. S., Linear Time Automorphism Algorithms for Trees, Interval Graphs, and Planar Graphs, (Tech. Report CS-79-06 (March 1980), University of Waterloo, Computer Science Deparment) · Zbl 0456.05024
[4] Cook, S. A., Characterizations of pushdown machines in terms of time-bounded computers, J. Assoc. Comput. Mach., 18, No. 1, 4-18 (1971) · Zbl 0222.02035
[5] Cook, S. A., Deterministic CFL’s are accepted simultaneously in polynomial time and log squared space, (Proceedings, 11th ACM Symposium on Theory of Computing (1979)), 338-345
[6] Chandra, A. K.; Kozen, D. C.; Stockemeyer, L. J., Alternation, J. Assoc. Comput. Mach., 28, No. 1, 114-133 (1981) · Zbl 0473.68043
[7] Csanky, L., Fast parallel matrix inversion algorithms, (Conference Record, IEEE 16th Annual Symposium on Foundations of Computer Science (1975)), 11-12 · Zbl 0353.68063
[8] Dymond, P. W.; Cook, S. A., Hardware Complexity and Parallel Computation, (21st IEEE Symposium on Foundations of Computer Science (1980)), 360-372
[9] W. Erni, Some Further Languages Log-Tape Reducible to Context-Free Languages, Institüt für Angewandte Informatik ünd Formale, Beschreibüngverfahren, Universität Karlsrühe, Karlsrühe, West Germany.; W. Erni, Some Further Languages Log-Tape Reducible to Context-Free Languages, Institüt für Angewandte Informatik ünd Formale, Beschreibüngverfahren, Universität Karlsrühe, Karlsrühe, West Germany.
[10] Fortune, S.; Wyllie, J., Parallelism in random access machines, (Proceedings, 10th ACM Symposium on Theory of Computation (1978)), 114-118 · Zbl 1282.68104
[11] Goldschlager, L. M., Synchronous Parallel Computation, (Ph. D. dissertation (December 1977), University of Toronto, Department of Computer Science TR-114)
[12] Goldschlager, L. M., A unified approach to models of synchronous parallel machines, (Proceedings, 10th ACM Symposium on Theory of Computation (1978)), 89-94 · Zbl 1282.68105
[13] Hartmanis, J.; Simon, J., On the power of multiplication in random access machines, (Proceedings, 15th IEEE Symposium on Switching and Automata Theory (1974)), 13-23
[14] Ladner, R. E., The circuit value problem is log space complete for P, SIGACT News, 7, No. 1, 18-20 (1975)
[15] Pippenger, N.; Fischer, M. J., Relations among complexity measures, J. Assoc. Comput. Mach., 26, No. 2, 361-381 (1979) · Zbl 0405.68041
[16] Pippenger, N., Fast Simulation of Combinational Logic Networks by Machines without Random-Access Storage, IBM Research Report RC 6582 (1977)
[17] Pippenger, N., On simultaneous resource bounds, (Proceedings, 20th IEEE Symposium on Foundations of Computer Science (1979))
[18] Pippenger, N., Pebbling with an Auxiliary Pushdown, IBM Research Report RJ3012 (1980) · Zbl 0468.68067
[19] Pratt, V. R.; Rabin, M. O.; Stockmeyer, L. J., A characterization of the power of vector machines, (Proceedings, 6th Annual ACM Symposium on Theory of Computing (1974)), 122-134 · Zbl 0381.68039
[20] Pratt, V. R.; Stockmeyer, L. J., A characterization of the power of vector machines, J. Comput. System Sci., 12, 198-221 (1976) · Zbl 0342.68033
[21] Paul, W. J.; Tarjan, R. E., Time-space trade-offs in a pebble game, Acta Inform., 10, 111-115 (1978) · Zbl 0399.05030
[22] Ruzzo, W. L., Tree-sized bounded alternation, J. Comput. System Sci., 21, 218-235 (1980) · Zbl 0445.68034
[23] W. L. Ruzzo, “An improved characterization of the power of vector machines,” University of Washington, Computer Science Department Technical Report 78-10-01, in preparation.; W. L. Ruzzo, “An improved characterization of the power of vector machines,” University of Washington, Computer Science Department Technical Report 78-10-01, in preparation.
[24] Savitch, W. J., Parallel and nondeterministic time complexity classes, (Automata, Languages and Programming, 5th Colloquium. Automata, Languages and Programming, 5th Colloquium, Udine, 1978. Automata, Languages and Programming, 5th Colloquium. Automata, Languages and Programming, 5th Colloquium, Udine, 1978, Lecture Notes in Computer Science No. 62 (1978), Springer-Verlag: Springer-Verlag Heidelberg), 411-424 · Zbl 0382.68046
[25] Schnorr, C. P., The network complexity and the Turing machine complexity of finite functions, Acta Inform., 7, 95-107 (1976) · Zbl 0338.02019
[26] Savitch, W. J.; Stimson, M. J., Time bounded random access machines with parallel processing, J. Assoc. Comput. Mach., 26, No. 1, 103-118 (1979) · Zbl 0398.68014
[27] Stockmeyer, L. J., The polynomial-time hierarchy, Theoret. Comput. Sci., 3, 1-22 (1976) · Zbl 0353.02024
[28] Sudborough, I. H., Time and tape bounded auxiliary pushdown automata, (Mathematical Foundations of Computer Science. Mathematical Foundations of Computer Science, Lecture Notes in Computer Science No. 53 (1977), Springer-Verlag: Springer-Verlag Heidelberg), 493-503 · Zbl 0366.68037
[29] Sudborough, I. H., The complexity of the membership problem for some extensions of context-free languages, Internat. J. Comput. Math. A, 6, 191-215 (1977) · Zbl 0398.68037
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.