Abstract
Several input read-modes for alternating Turing machines have been proposed in the literature. For each input read-mode and for each fixed integer k ≥ 1, a precise circuit characterization is established for log-time alternating Turing machines of k alternations, which is a nontrivial refinement of Ruzzo's circuit characterization of alternating Turing machines. Complete languages in strong sense for each level of the log-time hierarchy are presented, refining a result by Buss. The class GC(s(n), Π Bk ) is investigated, which is the class of languages accepted by log-time alternating Turing machines of k alternations enhanced by an extra ability of guessing a string of length s(n). A systematic technique is developed to show that for many functions s(n) and for every integer k>1, the class GC(s(n), Π Bk ) has natural complete languages. Connections of these results to computational optimization problems are exhibited.
Supported in part by Engineering Excellence Award from Texas A&M University.
Supported in part by the United States National Science Foundation grant CCR-9110824 and by a P.R.China HTP-863 grant.
Preview
Unable to display preview. Download preview PDF.
References
Aggarwal, A., Chandra, A. K., and Snir, M.: Hierarchical memory with block transfer. Proc. 28th Annual IEEE Symposium on Foundations of Computer Science (1987) 204–216
Boppana, R. B. and Sipser, M.: The complexity of finite functions, in Handbook of Theoretical Computer Science Vol. A, J. van Leeuwen, ed. (1990) 757–804
Buss, J. F. and Goldsmith, J.: Nondeterminism within P. SIAM J. Comput. 22 (1993) 560–572
Buss, S. R.: The Boolean formula value problem is in ALOGTIME. Proc. 19th Annual ACM Symposium on Theory of Computing (1987) 123–131
Buss, S., Cook, S., Gupta, A., and Ramachandran, V.: An optimal parallel algorithm for formula evaluation. SIAM J. Comput. 21 (1992) 755–780
Cai, L. and Chen, J.: On input read-modes of alternating Turing machines. Theoretical Computer Science (1995) to appear
Cai, L. and Chen, J.: On the amount of nondeterminism and the power of verifying. Lecture Notes in Computer Science 711 (MFCS'93) (1993) 311–320
Cai, L. and Chen, J.: Fixed parameter tractability and approximability of NP-hard optimization problems. Proc. 2rd Israel Symposium on Theory of Computing and Systems (1993) 118–126
Cai, L., Chen, J., Downey, R., and Fellows, M: On the structure of parameterized problems in NP. Lecture Notes in Computer Science 775 (STACS'94) (1994) 509–520. Journal version to appear in Information and Computation
Chandra, A. K., Kozen, D. C., and Stockmeyer, L. J.: Alternation. J. Assoc. Comput. Mach. 28 (1981) 114–133
Chen, J.: Characterizing parallel hierarchies by reducibilities. Information Processing Letters 39 (1991) 303–307
Cook, S.: A taxonomy of problems with fast parallel algorithms. Information and Control 64 (1985) 2–22
Díaz, J. and Torán, J.: Classes of bounded nondeterminism. Math. System Theory 23 (1990) 21–32
Downey, R. G. and Fellows, M. R.: Fixed-parameter intractability. Proc. 7th Structure in Complexity Theory Conference (1992) 36–49
Meggido, N. and Vishkin, U.: On finding a minimum dominating set in a tournament. Theoretical Computer Science 61 (1988) 307–316
Papadimitriou, C. H. and Yannakakis, M.: Optimization, approximation, and complexity classes. J. Comput. System Sci. 43 (1991) 425–440
Papadimitriou, C. H. and Yannakakis, M.: On limited nondeterminism and the complexity of the V-C dimension. Proc. 8th Structure in Complexity Theory Conference (1993) 12–18
Ruzzo, W. L.: On uniform circuit complexity. J. Comput. System Sci. 22 (1981) 365–383
Sipser, M.: Borel sets and circuit complexity. Proc. 15th Annual ACM Symposium on Theory of Computing (1983) 61–69
Wolf, M. J.: Nondeterministic circuits, space complexity, and quasigroups. Theoretical Computer Science 125 (1994) 295–313
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cai, L., Chen, J. (1995). On log-time alternating Turing machines of alternation depth k . In: Du, DZ., Li, M. (eds) Computing and Combinatorics. COCOON 1995. Lecture Notes in Computer Science, vol 959. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030843
Download citation
DOI: https://doi.org/10.1007/BFb0030843
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60216-3
Online ISBN: 978-3-540-44733-7
eBook Packages: Springer Book Archive