eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2022-12-14
24:1
24:16
10.4230/LIPIcs.IPEC.2022.24
article
Parameterized Complexity of Streaming Diameter and Connectivity Problems
Oostveen, Jelle J.
1
van Leeuwen, Erik Jan
1
Department of Information and Computing Sciences, Utrecht University, The Netherlands
We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size k allows for algorithms in the Adjacency List (AL) streaming model whose number of passes is constant and memory is 𝒪(log n) for any fixed k. Underlying these algorithms is a method to execute a breadth-first search in 𝒪(k) passes and 𝒪(k log n) bits of memory. On the negative end, we show that many other parameters lead to lower bounds in the AL model, where Ω(n/p) bits of memory is needed for any p-pass algorithm even for constant parameter values. In particular, this holds for graphs with a known modulator (deletion set) of constant size to a graph that has no induced subgraph isomorphic to a fixed graph H, for most H. For some cases, we can also show one-pass, Ω(n log n) bits of memory lower bounds. We also prove a much stronger Ω(n²/p) lower bound for Diameter on bipartite graphs.
Finally, using the insights we developed into streaming parameterized graph exploration algorithms, we show a new streaming kernelization algorithm for computing a vertex cover of size k. This yields a kernel of 2k vertices (with 𝒪(k²) edges) produced as a stream in poly(k) passes and only 𝒪(k log n) bits of memory.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol249-ipec2022/LIPIcs.IPEC.2022.24/LIPIcs.IPEC.2022.24.pdf
Stream
Streaming
Graphs
Parameter
Complexity
Diameter
Connectivity
Vertex Cover
Disjointness
Permutation