Directed s-t connectivity is the problem of detecting whether there is
a path from vertex s to vertex t in a directed graph. We present the
first known deterministic sublinear space, polynomial time algorithm f
or directed s-t connectivity. For n-vertex graphs, our algorithm can u
se as little as n/2 Theta(root log n) space while still running in pol
ynomial time.