1: \begin{abstract} The Immerman-Szelepcsenyi Theorem uses an algorithm
2: for co-st-connectivity based on inductive
3: counting to prove that
4: \nlogspace is closed under complementation. We want to investigate
5: whether counting is necessary for this theorem to hold.
6: %CHANGE - R
7: % Concretely, we show that Nondeterministic Jumping Graph Autmata (\ndjags) (pebble automata on graphs) can several families of Cayley graphs and, consequently, are equal in power to nondeterministic logspace Turing machines that are given such graphs as a linear encoding.
8: %CHANGED To:
9: Concretely, we show that Nondeterministic Jumping Graph Autmata (\ndjags) (pebble automata on graphs), on several families of Cayley graphs, are equal in power to nondeterministic logspace Turing machines that are given such graphs as a linear encoding.
10: In particular, it follows that \ndjags can solve
11: co-st-connectivity on those graphs. This came as a surprise since
12: Cook and Rackoff showed that deterministic \jags cannot solve
13: st-connectivity on many Cayley graphs due to their high
14: self-similarity (every neighbourhood looks the same). Thus, our
15: results show that on these graphs, nondeterminism provably adds
16: computational power.
17:
18: The families of Cayley graphs %which according to our results can be ordered
19: we consider
20: include Cayley graphs of abelian groups and of all finite
21: simple groups irrespective of how they are presented and graphs
22: corresponding to groups generated by various product constructions,
23: including iterated ones.
24:
25: We remark that assessing the precise power of nondeterministic
26: \jags
27: and in particular whether they can solve co-st-connectivity
28: on arbitrary graphs is left as an open
29: problem by Edmonds, Poon
30: and Achlioptas. Our results suggest a positive answer to this
31: question and in particular considerably limit the search space for a
32: potential counterexample.
33: \end{abstract}
34: