Abstract
It has been recently found out that different variations of counting play an important role in structural complexity theory (for example, it has been argued that the ability of counting is closely related with the ability of nondeterministic complementation). In this paper it is proved that ATIME(T(n)) classes, for T(n)≥n, are closed under counting. Thus exponentially many words, each of size O(n), can be counted by an alternating Turing machine in the optimal time O(n).
This research was supported by the grant RP.I.09 from the Institute of Informatics, University of Warsaw.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajtai, σ 11 formulas on finite structures, Annals of Pure and Applied'Logic 24(1983), 1–48.
R. O. Gandy, Some relations between classes of low computational complexity, Bull. London Math. Soc. 16(1984), 127–134.
A. Grzegorczyk, Some classes of recursive functions, Rozprawy Mat. 4(1953).
L. A. Hemachandra, The strong exponential hierarchy collapses, Proc. 19th STOC (1987), 110–122.
N. Immerman, Nondeterministic space is closed under complement, TR 552 (1987), Yale University, Comp. Sci. Depart.
M. Kutyłowski, Small Grzegorczyk classes, J. Londom Math. Soc. (2) 36(1987), 193–210.
Yu. Ofman, On the algorithmic complexity of discrete functions, Doklady Akademii Nauk SSSR 145:1(1962), 48–51. English translation in Soviet Phisics Doklady 7:7(1963), 589–591.
J. Paris and A. Wilkie, Counting problems in bounded arithmetic, Springer Lecture Notes in Mathematics 1130, Methods in Mathematical Logic, Proc. Caracas(1983), 317–340.
W.J. Paul, E.J. Prauss and R. Reischuk, On alternation, Acta Informatica 14(1980), 243–255.
U. Shöning and K. Wagner, Collapsing oracle hierarchies, census functions and logarithmically many queries, Proc STACS 88, LNCS 294(1988), 91–97.
K. Wagner, Some observations on the connections between counting and recursion, Theoret. Comp. Sci. 47(1986), 131–147.
K. Wagner and G. Wechsung, Computational complexity, VEB Deutscher Verlag der Wissenschaften, Berlin 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Piotrów, M. (1990). ATIME(n) is closed under Counting. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029642
Download citation
DOI: https://doi.org/10.1007/BFb0029642
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52953-8
Online ISBN: 978-3-540-47185-1
eBook Packages: Springer Book Archive