English

Lower bounds for testing digraph connectivity with one-pass streaming algorithms

Data Structures and Algorithms 2014-04-09 v2 Computational Complexity

Abstract

In this note, we show that three graph properties - strong connectivity, acyclicity, and reachability from a vertex ss to all vertices - each require a working memory of Ω(ϵm)\Omega (\epsilon m) on a graph with mm edges to be determined correctly with probability greater than (1+ϵ)/2(1+\epsilon)/2.

Keywords

Cite

@article{arxiv.1404.1323,
  title  = {Lower bounds for testing digraph connectivity with one-pass streaming algorithms},
  author = {Glencora Borradaile and Claire Mathieu and Theresa Migler},
  journal= {arXiv preprint arXiv:1404.1323},
  year   = {2014}
}

Comments

Added some references to previous work, removed the part of the result that was already known before, and changed the label of the result from "Theorem" to "Lemma"

R2 v1 2026-06-22T03:43:23.749Z