Download PDFOpen PDF in browserTraversal-invariant definability and Logarithmic-space computationEasyChair Preprint 3524 pages•Date: July 16, 2018AbstractIn the presence of arithmetic, order-invariant definability in first-order logic captures constant parallel time, i.e. uniform AC⁰ [I]. The ordering is necessary to replicate the presentation of a structure on the input tape of a machine. What if that ordering was in fact a traversal of the structure? We show that an analogous notion of traversal-invariant definability characterizes deterministic logarithmic space (L) and that breadth-first traversals characterize nondeterministic logarithmic space (NL). The surprising feature of these characterizations is that we can work entirely within the framework of first-order logic without any extensions, other than the traversals themselves. Keyphrases: first-order logic, invariant definability, logarithmic space
|