Independence-Number Parameterized Space Complexity for Directed Connectivity Certificate

TL;DR

The paper introduces independence-number parameterization ($α$) for space-efficient directed connectivity certificates in streaming and distributed models, defining $k$-node and $k$-arc certificates and showing $α$ governs complexity between tournaments and general graphs. It develops upper bounds via sampling-based reductions to 1-node certificates and, for $k$-node certificates, achieves randomized $p$-pass algorithms with space $ ilde{O}(k^{1-1/p}αn^{1+1/p})$ (insertion-only) and $ ilde{O}(k^{1-O(1/ oot 2 elax p)}αn^{1+O(1/ oot 2 elax p)})$ (turnstile), plus deterministic results when the input is $k$-arc-strong. It establishes parameterized lower bounds using gadget-embedding tournaments, proving space lower bounds linear in $αn/p$ for $p$-pass streaming, and extends these results to a broad range of problems via reductions (e.g., PairReach, HamPath/HamCycle, REACH). The work also shows that $α$ serves as a central parameter in CONGEST, enabling efficient CONGEST algorithms for $k$-node certificates, SCC decomposition, and topological sorting, and provides a comprehensive catalog of applications—ranging from arc-disjoint out-branchings to distance-d dominating sets—demonstrating the broad utility of strong connectivity certificates in streaming and distributed computation.

Abstract

We study the space complexity of computing a sparse subgraph of a directed graph that certifies connectivity in the streaming and distributed models. Formally, for a directed graph $G=(V,A)$ and $k\in \mathbb{N}$, a $k$-node strong connectivity certificate is a subgraph $H=(V,A')\subseteq G$ such that for every pair of distinct nodes $s,t\in V$, the number of pairwise internally node-disjoint paths from $s$ to $t$ in $H$ is at least $k$ or the corresponding number in $G$. In light of the inherent hardness of directed connectivity problems, several prior work focused on restricted graph classes, showing that several problems that are hard in general become efficiently solvable when the input graph is a tournament (i.e., a directed complete graph) (Chakrabarti et al. [SODA 2020]; Baweja, Jia, and Woddruff [ITCS 2022]), or close to a tournament in edit distance (Ghosh and Kuchlous [ESA 2024]). Extending this line of work, our main result shows, at a qualitative level, that the streaming complexity of strong connectivity certificates and related problems is parameterized by independence number, demonstrating a continuum of hardness for directed graph connectivity problems. Quantitatively, for an $n$-node graph with independence number $α$, we give $p$-pass randomized algorithms that compute a $k$-node strong connectivity certificate of size $O(αn)$ using $\tilde{O}(k^{1-1/p}αn^{1+1/p})$ space in the insertion-only model. For the lower bound, we show that even when $k=1$, any $p$-pass streaming algorithm for a 1-node strong connectivity certificate in the insertion-only model requires $Ω(αn/p)$ space. To derive these lower bounds, we introduce the gadget-embedding tournament framework to construct direct-sum-type hard instances with a prescribed independence number, which is applicable to lower-bounding a wide range of directed graph problems.

Figures (8)

• Figure 1: Recursive-1-ConnCert
• Figure 2: $k$-strong Connectivity Certificate Algorithm
• Figure 3: $k$-arc Strong Connectivity Certificate Algorithm for $k$-arc Strong Digraphs
• Figure 4: $\Gamma_{\triangle}$ and a gadget-embedding tournament with triangle gadgets
• Figure 5: $\Gamma^{x,y}_{\triangle,\alpha}$ for $\alpha=3$, $x=0$ and $y=1$. A Hamiltonian path is indicated with bold lines.

Theorems & Definitions (104)

• Lemma 1.1
• Theorem 1.2
• Theorem 1.3
• Theorem 1.4
• Theorem 1.5
• Theorem 1.6
• Theorem 1.7
• Theorem 1.8
• Proposition 2.1: Chernoff bound
• Theorem 2.2: Edmonds’ branching theorem Edmonds73