Better Decremental and Fully Dynamic Sensitivity Oracles for Subgraph Connectivity (original) (raw)
Abstract:We study the \emph{sensitivity oracles problem for subgraph connectivity} in the \emph{decremental} and \emph{fully dynamic} settings. In the fully dynamic setting, we preprocess an nnn-vertices mmm-edges undirected graph GGG with nrmoffn_{\rm off}nrmoff deactivated vertices initially and the others are activated. Then we receive a single update DsubseteqV(G)D\subseteq V(G)DsubseteqV(G) of size ∣D∣=dleqdstar|D| = d \leq d_{\star}∣D∣=dleqdstar, representing vertices whose states will be switched. Finally, we get a sequence of queries, each of which asks the connectivity of two given vertices uuu and vvv in the activated subgraph. The decremental setting is a special case when there is no deactivated vertex initially, and it is also known as the \emph{vertex-failure connectivity oracles} problem.
We present a better deterministic vertex-failure connectivity oracle with widehatO(dstarm)\widehat{O}(d_{\star}m)widehatO(dstarm) preprocessing time, widetildeO(m)\widetilde{O}(m)widetildeO(m) space, widetildeO(d2)\widetilde{O}(d^{2})widetildeO(d2) update time and O(d)O(d)O(d) query time, which improves the update time of the previous almost-optimal oracle [Long-Saranurak, FOCS 2022] from widehatO(d2)\widehat{O}(d^{2})widehatO(d2) to widetildeO(d2)\widetilde{O}(d^{2})widetildeO(d2).
We also present a better deterministic fully dynamic sensitivity oracle for subgraph connectivity with widehatO(minm(nrmoff+dstar),nomega)\widehat{O}(\min\{m(n_{\rm off} + d_{\star}),n^{\omega}\})widehatO(minm(nrmoff+dstar),nomega) preprocessing time, widetildeO(minm(nrmoff+dstar),n2)\widetilde{O}(\min\{m(n_{\rm off} + d_{\star}),n^{2}\})widetildeO(minm(nrmoff+dstar),n2) space, widetildeO(d2)\widetilde{O}(d^{2})widetildeO(d2) update time and O(d)O(d)O(d) query time, which significantly improves the update time of the state of the art [Hu-Kosinas-Polak, 2023] from widetildeO(d4)\widetilde{O}(d^{4})widetildeO(d4) to widetildeO(d2)\widetilde{O}(d^{2})widetildeO(d2). Furthermore, our solution is even almost-optimal assuming popular fine-grained complexity conjectures.
Submission history
From: Yaowei Long [view email]
[v1] Wed, 14 Feb 2024 12:59:43 UTC (32 KB)