DeepAI AI Chat
Log In Sign Up

Multi-Pass Graph Streaming Lower Bounds for Cycle Counting, MAX-CUT, Matching Size, and Other Problems

09/07/2020
by   Sepehr Assadi, et al.
0

Consider the following gap cycle counting problem in the streaming model: The edges of a 2-regular n-vertex graph G are arriving one-by-one in a stream and we are promised that G is a disjoint union of either k-cycles or 2k-cycles for some small k; the goal is to distinguish between these two cases. Verbin and Yu [SODA 2011] introduced this problem and showed that any single-pass streaming algorithm solving it requires n^1-Ω(1/k) space. This result and the technique behind it—the Boolean Hidden Hypermatching communication problem—has since been used extensively for proving streaming lower bounds for various problems. Despite its significance and broad range of applications, the lower bound technique of Verbin and Yu comes with a key weakness that is inherited by all subsequent results: the Boolean Hidden Hypermatching problem is hard only if there is exactly one round of communication and can be solved with logarithmic communication in two rounds. Therefore, all streaming lower bounds derived from this problem only hold for single-pass algorithms. We prove the first multi-pass lower bound for the gap cycle counting problem: Any p-pass streaming algorithm that can distinguish between disjoint union of k-cycles vs 2k-cycles—or even k-cycles vs one Hamiltonian cycle—requires n^1-1/k^Ω(1/p) space. As a corollary of this result, we can extend many of previous lower bounds to multi-pass algorithms. For instance, we can now prove that any streaming algorithm that (1+ϵ)-approximates the value of MAX-CUT, maximum matching size, or rank of an n-by-n matrix, requires either n^Ω(1) space or Ω(log(1/ϵ)) passes. For all these problems, prior work left open the possibility of even an O(logn) space algorithm in only two passes.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/28/2020

Two Player Hidden Pointer Chasing and Multi-Pass Lower Bounds in Turnstile Streams

The authors have withdrawn this paper due to an error in the proof of Le...
10/19/2021

Factorial Lower Bounds for (Almost) Random Order Streams

In this paper we introduce and study the StreamingCycles problem, a rand...
07/06/2021

Noisy Boolean Hidden Matching with Applications

The Boolean Hidden Matching (BHM) problem, introduced in a seminal paper...
04/09/2019

Polynomial Pass Lower Bounds for Graph Streaming Algorithms

We present new lower bounds that show that a polynomial number of passes...
07/27/2020

Improved 3-pass Algorithm for Counting 4-cycles in Arbitrary Order Streaming

The problem of counting small subgraphs, and specifically cycles, in the...
09/06/2021

Matrix hypercontractivity, streaming algorithms and LDCs: the large alphabet case

In this work, we prove a hypercontractive inequality for matrix-valued f...
11/27/2018

An Optimal Space Lower Bound for Approximating MAX-CUT

We consider the problem of estimating the value of MAX-CUT in a graph in...