Abstract
The L \(L \mathop = \limits^? NL\) NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of ordered structures expressible in first-order logic augmented with the appropriate Transitive Closure operator [I87]: Over ordered structures, (FO + DTC) captures L and (FO + TC) captures NL. On the other hand, in the absence of ordering, (FO + TC) is strictly more powerful than (FO + DTC) [GM92]. An apparently quite different “structured” model of logspace machines is the Jumping Automaton on Graphs (JAG), [CR80]. We show that the JAG model is intimately related to these logics on “locally ordered” structures. We argue that the usual JAG model is unreasonably weak and should be replaced, wherever possible, by the two-way JAG model, which we define. Furthermore, we have shown that the language (FO + DTC) over two-way locally ordered graphs is more robust than even the two-way JAG model, and yet lower bounds remain accessible. We prove an upper bound on the power of TC over locally ordered graphs, and three lower bounds on DTC.
Both authors were supported by NSF grant CCR-9207797.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajtai and R. Fagin, “Reachability is Harder for Directed than for Undirected Graphs,” J. Symb. Logic, 55 (1990), 113–150.
R. Aleliunas, R.M. Karp, R.J. Lipton, L. Lovasz, and C. Rackoff, “Random Walks, Universal Traversal Sequences, and the Complexity of the Maze Problem,” Proceedings of the 20th annual IEEE Found. of Comp. Sci. Symp., pages 218–223, October 1979.
P. Beame, A. Borodin, P. Raghavan, W. Ruzzo, and M. Tompa, “Time-Space Tradeoffs for Undirected Graph Traversal,” Proceedings of the 31st Annual IEEE Found. of Comp. Sci. Symp., pages 429–438, St. Louis, MO, October 1990.
M. Blum and D. Kozen, “On the Power of the Compass,” Proceedings of the 19th Annual IEEE Found. of Comp. Sci. Symp., pages 132–142, Ann Arbor, MI, October 1978.
M. Blum and W.J. Sakoda, “On the Capability of Finite Automata in 2 and 3 Dimensional Space,” Proceedings of the 18th Annual IEEE Found. of Comp. Sci. Symp., pages 147–161, October 1977.
J. Cai, M. Fürer, N. Immerman, “An Optimal Lower Bound on the Number of Variables for Graph Identification,” Combinatorica 12 (4) (1992) 389–410.
S. A. Cook and C. W. Rackoff, “Space Lower Bounds for Maze Threadability of Restricted Machines,” SIAM J. Comput., 9(3):636–652, Aug 1980.
J. Edmonds, “Time-Space Tradeoffs for Undirected ST-Connectivity on a JAG,” Proceeding of the 25th Annual ACM Symp. Theory Of Comput., pages 718–727, May 1993.
H. Gaifman, “On Local and Non-Local Properties,” Proc. Herbrand Logic Colloq., Marseille, 1981, pages 105–135.
E. Grädel and G. McColm, “Deterministic vs. Nondeterministic Transitive Closure Logic,” In Proceedings of the 7th IEEE Conference on Logic in Computer Science, 1992.
N. Immerman, “Upper and Lower Bounds for First Order Expressibility,” JCSS 25, No. 1 (1982), 76–98.
N. Immerman, “Languages that Capture Complexity Classes,” SIAM J. Comput.16:4 (1987), 760–778.
N. Immerman, “Nondeterministic Space is Closed Under Complementation,” SIAM J. Comput. 17:5 (1988), 935–938.
N. Immerman, “Descriptive and Computational Complexity,” in Computational Complexity Theory, ed. J. Hartmanis, Proc. Symp. in Applied Math., 38, American Mathematical Society (1989), 75–91.
N. Immerman, “Expressibility and Parallel Complexity,” SIAM J. of Comput 18 (1989), 625–638.
Neil Immerman and Eric S. Lander, “Describing Graphs: A First-Order Approach to Graph Canonization,” in Complexity Theory Retrospective, Alan Selman, ed., Springer-Verlag (1990), 59–81.
Steven Lindell, “A Logspace Algorithm for Tree Canonization,” ACM Symp. Theory Of Comput.(1992), 400–404.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Etessami, K., Immerman, N. (1994). Reachability and the power of local ordering. In: Enjalbert, P., Mayr, E.W., Wagner, K.W. (eds) STACS 94. STACS 1994. Lecture Notes in Computer Science, vol 775. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57785-8_136
Download citation
DOI: https://doi.org/10.1007/3-540-57785-8_136
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57785-0
Online ISBN: 978-3-540-48332-8
eBook Packages: Springer Book Archive