# Undirected connectivity in log-space

@article{Reingold2008UndirectedCI, title={Undirected connectivity in log-space}, author={Omer Reingold}, journal={J. ACM}, year={2008}, volume={55}, pages={17:1-17:24} }

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 (JACM 2000). As undirected st-connectivity is complete for the class of problems solvable by symmetric, nondeterministic, log-space computations (the class SL), this algorithm implies that SL = L (where L is the class of problems solvable by deterministic log-space…

## Figures and Topics from this paper

## 496 Citations

Derandomization Beyond Connectivity: Undirected Laplacian Systems in Nearly Logarithmic Space

- Computer Science, Mathematics2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)
- 2017

We give a deterministic \tilde{O}(\log n)-space algorithm for approximately solving linear systems given by Laplacians of undirected graphs, and consequently also approximating hitting times, commute…

S-T Connectivity on Digraphs with a Known Stationary Distribution

- Computer Science, MathematicsTwenty-Second Annual IEEE Conference on Computational Complexity (CCC'07)
- 2007

This work identifies knowledge of the stationary distribution as the gap between the S-T CONNECTIVITY problems the authors know how to solve in logspace and those that capture all of randomized logspace (RL).

S-T Connectivity on Digraphs with a Known Stationary Distribution

- Computer Science, MathematicsComputational Complexity Conference
- 2007

This work identifies knowledge of the stationary distribution as the gap between the S-T CONNECTIVITY problems the authors know how to solve in logspace and those that capture all of randomized logspace (RL).

Faster walks in graphs: a Õ ( n 2 ) time-space trade-off for undirected s-t connectivity

- MathematicsSODA 2013
- 2013

In this paper, we make use of the Metropolis-type walks due to Nonaka et al. (2010) to provide a faster solution to the I-J-connectivity problem in undirected graphs (USTCON).
As our main result,…

A Õ (n2) Time-Space Trade-off for Undirected s-t Connectivity

- Computer Science, MathematicsSODA
- 2013

An algorithm running in time $\tilde O(n+m)$ which is, in general, more space-efficient than both BFS and DFS is obtained, and fine-tune the Metropolis-type walk so as to match the performance parameters of the unbiased random walk for any graph.

A Log-Space Algorithm for Reachability in Planar Acyclic Digraphs with Few Sources

- Mathematics, Computer Science2010 IEEE 25th Annual Conference on Computational Complexity
- 2010

A new ‘source-based’ structural decomposition method is presented that shows that reachability for planar DAGs with m sources can be decided deterministically in O(m+log n) space, which leads to a log-space algorithm for reachability in planars with O( log n) sources.

Realizable Paths and the NL vs L Problem

- Computer Science, MathematicsElectron. Colloquium Comput. Complex.
- 2010

This thesis studies the space complexity of SGSLogCFL, a graph realizability problem lying between L and LogCFL and defines generalizations of graph squaring and transitive closure, and uses the techniques of Trifonov to show that SGSLowCFL is contained in DSPACE(lognloglog n).

Formulas vs. circuits for small distance connectivity

- Computer Science, MathematicsSTOC
- 2013

Half of the proof shows that bounded-depth formulas solving Distance k(n) Connectivity imply upper bounds on pathset complexity, which roughly speaking measures the minimum cost of constructing a set of (partial) paths in a universe of size n via the operations of union and relational join, subject to certain density constraints.

High-precision Estimation of Random Walks in Small Space

- Computer Science, Mathematics2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)
- 2020

In this paper, we provide a deterministic $\tilde{O}(\log N)$-space algorithm for estimating random walk probabilities on undirected graphs, and more generally Eulerian directed graphs, to within…

Space Efficient Linear Time Algorithms for BFS, DFS and Applications

- Mathematics, Computer ScienceTheory of Computing Systems
- 2017

A simple data structure that can maintain any subset S of a universe of u elements using just u + o(u) bits and supports in constant time, apart from the standard insert, delete and membership queries, the operation findany that finds and returns any element of the set (or outputs that the set is empty).

## References

SHOWING 1-10 OF 97 REFERENCES

Undirected ST-connectivity in log-space

- Computer Science, MathematicsSTOC '05
- 2005

A deterministic, log-space algorithm that solves st-connectivity in undirected graphs and implies a way to construct in log- space a fixed sequence of directions that guides a deterministic walk through all of the vertices of any connected graph.

RL⊆SC

- Computer ScienceSTOC '92
- 1992

There exists a deterministic algorithm for the undirected connectivity problem that runs in polynomial time and 0(log2 n) space, obtained by derandomizing the randomized algorithm of [AKL*79], and the de-randomization result is obtained.

An O(log n log log n) space algorithm for undirected st-connectivity

- Computer Science, MathematicsSTOC '05
- 2005

We present a deterministic O(log n log log n) space algorithm for undirected st-connectivity. It is based on the deterministic EREW algorithm of Chong and Lam [6] and uses the universal exploration…

S-T Connectivity on Digraphs with a Known Stationary Distribution

- Computer Science, MathematicsTwenty-Second Annual IEEE Conference on Computational Complexity (CCC'07)
- 2007

This work identifies knowledge of the stationary distribution as the gap between the S-T CONNECTIVITY problems the authors know how to solve in logspace and those that capture all of randomized logspace (RL).

S-T Connectivity on Digraphs with a Known Stationary Distribution

- Computer Science, MathematicsComputational Complexity Conference
- 2007

Random walks, universal traversal sequences, and the complexity of maze problems

- Computer Science20th Annual Symposium on Foundations of Computer Science (sfcs 1979)
- 1979

Results are derived suggesting that the undirected reachability problem is structurally different from, and easier than, the directed version of NSPACE(logn), an affirmative answer to a question of S. Cook.

Pseudorandom walks on regular digraphs and the RL vs. L problem

- Mathematics, Computer ScienceSTOC '06
- 2006

It is proved that if (2) could be generalized to all regular directed graphs (including ones that are not consistently labelled) then L=RL, and it is shown that such a problem can be solved in deterministic logarithmic space given a log-space pseudorandom walk generator forregular directed graphs.

On traversal sequences, exploration sequences and completeness of kolmogorov random strings

- Mathematics
- 2003

Traversal sequences were defined by Aleliunas et al. (1979) as a tool for the study of undirected s-t-connectivity. In the first part of this thesis we study traversal sequences. We improve on…

BP H SPACE(S)⊆DSPACE(S 3/2 )

- MathematicsFOCS 1999
- 1999

We prove that any language that can be recognized by a randomized algorithm (with possibly a two-sided error) that runs in spaceO(S) and always terminates can be recognized by deterministic algorithm…

Universal Traversal Sequences for Expander Graphs

- Mathematics, Computer ScienceInf. Process. Lett.
- 1993

Graph reachability is a key problem in the study of various logarithmic space complexity classes. Its version for directed graphs is logspace complete for NSPACE(logn), and hence if proved to be in…