Undirected ST-connectivity in log-space

We present a deterministic, log-space algorithm that solves st-connectivity in undirected graphs. The previous bound on the space complexity of undirected st-connectivity was log4/3 (?) obtained by Armoni, Ta-Shma, Wigderson and Zhou [ATSWZ00]. As undirected st-connectivity is complete for the class of problems solvable by symmetric, non-deterministic, log-space computations (the class SL), this algorithm implies that SL = L (where L is the class of problems solvable by deterministic log-space computations). Our algorithm also implies log-space constructible universal-traversal sequences for graphs with restricted labelling and log-space constructible universal-exploration sequences for general graphs.

• Type: Conference
• Year: 2005
• Where: STOC
• Authors: Omer Reingold
• Keywords: Algorithms, Constructible Universal-exploration Sequences, Constructible Universal-traversal Sequences, STOC 2005, Undirected St-connectivity