We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

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

Abstract: The authors have withdrawn this paper due to an error in the proof of Lemma 3.4.
--------------------------------------------------------------------------------------------
The authors have withdrawn this paper due to an error in the proof of Lemma 3.4z(Assadi, Chen, and Khanna, 2019) define a 4-player hidden-pointer-chasing ($\mathsf{HPC}^4$), and using it, give strong multi-pass lower bounds for graph problems in the streaming model of computation and a lower bound on the query complexity of sub-modular minimization. We present a two-player version ($\mathsf{HPC}^2$) of $\mathsf{HPC}^4$ that has matching communication complexity to $\mathsf{HPC}^4$. Our formulation allows us to lower bound its communication complexity with a simple direct-sum argument. Using this lower bound on the communication complexity of $\mathsf{HPC}^2$, we retain the streaming and query complexity lower bounds by (Assadi, Chen, and Khanna, 2019).
Further, by giving reductions from $\mathsf{HPC}^2$, we prove new multi-pass space lower bounds for graph problems in turnstile streams. In particular, we show that any algorithm which computes the exact weight of the maximum weighted matching in an $n$-vertex graph requires $\tilde{O}(n^{2})$ space unless it makes $\omega(\log n)$ passes over the turnstile stream, and that any algorithm which computes the minimum $s\text{-}t$ distance in an $n$-vertex graph requires $n^{2-o(1)}$ space unless it makes $n^{\Omega(1)}$ passes over the turnstile stream. Our reductions can be modified to use $\mathsf{HPC}^4$ as well.
Comments: The authors have withdrawn this paper due to an error in the proof of Lemma 3.4
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
Cite as: arXiv:2002.12856 [cs.CC]
  (or arXiv:2002.12856v2 [cs.CC] for this version)

Submission history

From: Anay Mehrotra [view email]
[v1] Fri, 28 Feb 2020 16:33:45 GMT (191kb,D)
[v2] Tue, 21 Apr 2020 11:05:56 GMT (0kb,I)

Link back to: arXiv, form interface, contact.