Abstract
We consider one-way logspace counting classes which are defined via Turing machines that scan their input only in one direction. The one-way logspace counting classes #1L and span-1L are strict subclasses of the corresponding (two-way) logspace classes #L and span-L, resp. We separate the one-way classes 1UL and 1NL which correspond to the classes UL and NL. It follows that F1L ⊂1L ⊂span-lL ⊂#P.
We generalize first-order counting classes to use <, SUCC, and + as linear orderings. It turns out that with respect to certain natural encodings for op ε { <, SUCC, +} the classes #gSo[op] and #gS1[op] are subclasses of #1L and span-1L. It holds that #Π2[<] = #Π1[SUCC] = #Π1[+], and that this class characterizes #P. From that, we obtain a characterization of #P via universally branching alternating logtime Turing machines.
Preview
Unable to display preview. Download preview PDF.
References
C. Àlvarez and B. Jenner. A Very Hard Log Space Counting Class. Theoretical Computer Science, 107:3–30, 1993.
J. L. Balcázar, J. Diaz, and J. Gabarró. Structural complexity I. EATCS Monographs on Theoretical Computer Science. Springer, 1989.
David A. Mix Barrington, Neil Immerman, and H. Straubing. On Uniformity within NC1. Journal of Computer and System Sciences, 41:274–306, 1990.
H.-J. Burtschick. Vergleich von logarithmischer Platzbschränkung und polynomieller Zeitbeschränkung für Konstruktionsprobleme und Belegmengen. Diplomarbeit, 1989.
H.-J. Burtschick. Comparing counting classes for logspace, one-way logspace, logtime, and first-order. Forschungsberichte des Fachbereichs Informatik 94-39, TU Berlin, 1995.
S. R. Buss. The Boolean formula value problem is in ALOGTIME. In Proc. 19th. Ann. ACM Symp. on Theory of Computing, pages 123–131, 1987.
Kevin J. Compton and Erich Grädel. Logical Definability of Counting Functions. In 9th Ann. Conf. Structure in Complexity Theory, pages 255–266, 1994.
R. Fagin. Generalized first-order spectra and polynomial time recognizable sets. In R. Karp, editor, Complexity of Computations, pages 43–73, 1974.
J. Hartmanis, N. Immerman, and S. Mahaney. One-way log-tape reductions. In Proc. 19th IEEE Symp. Foundations of Computer Science, pages 65–71. IEEE Computer Society Press, 1978.
J. E. Hopcroft and J. D. Ullman. Some Results on Tape-Bounded Turing Machines. Journal of the ACM, 16(1):168–177, 1969.
Klaus Jörn Lange. Two characterizations of the logarithmic alternation hierarchy. In Proc. of the 12th Symp. on Mathematical Foundations of Computer Science, volume 233 of LNCS, pages 518–526. Springer Verlag, August 1986.
J. F. Lynch. The Quantifier Structure of Sentences that Characterize Nondeterministic Time Complexity. In 5th Ann. Conf. Structure in Complexity Theory, pages 210–222, 1990.
Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
S. Saluja, K. V. Subrahmanyam, and M. N. Thakur. Descriptive complexity of #P functions. In 7th Ann. Conf. Structure in Complexity Theory, 1992.
Leslie G. Valiant. The complexity of enumeration and reliabilty problems. SIAM Journal of Computing, 8(3):411–421, August 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burtschick, HJ. (1995). Comparing counting classes for logspace, one-way logspace, and first-order. In: Wiedermann, J., Hájek, P. (eds) Mathematical Foundations of Computer Science 1995. MFCS 1995. Lecture Notes in Computer Science, vol 969. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60246-1_120
Download citation
DOI: https://doi.org/10.1007/3-540-60246-1_120
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60246-0
Online ISBN: 978-3-540-44768-9
eBook Packages: Springer Book Archive