A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Traversal-invariant characterizations of logarithmic space
[article]
2020
arXiv
pre-print
We give a novel descriptive-complexity theoretic characterization of L and NL computable queries over finite structures using traversal invariance. We summarize this as (N)L = FO + (breadth-first) traversal-invariance.
arXiv:2006.07067v1
fatcat:eroaqig6qrf2tdoyut5xdfqeke