Partially-Dynamic All-Pairs Maxflow and Effective Resistance via Stable Sparsifiers

2026-08-26

AI Summary

本文提出一种针对部分动态图的数据结构，通过稳定稀疏化技术近似计算任意两点间最大流值和有效电阻，适用于边的插入或删除。

Abstract

We give a randomized data structure for undirected weighted graphs that are partially dynamic, i.e., that undergo either only edge insertions or only edge deletions. The data structure maintains $(1\pmε)$-approximations to the maxflow value and effective resistance between any queried pair of vertices, with total update time $\widetilde{O}_ε(n^2)$ and worst-case query time $\widetilde{O}_ε(1)$. Thus, for dense graphs where $m = Ω(n^2)$, our guarantees are near-optimal. Our algorithms succeed with high probability against an adaptive adversary. Our result follows from a simple stability principle for partially dynamic graphs. We show how to partition an online sequence of $m$ updates into $\widetilde{O}(n/ε)$ epochs such that every graph within an epoch is a $(1\pm O(ε))$-spectral approximation of the graph at the beginning of the epoch. The epochs are determined by the cumulative leverage score of the updated edges: small leverage-score mass implies small spectral change, while the total leverage-score mass over a monotone update sequence is $\widetilde{O}(n)$. Consequently, a spectral sparsifier needs to be recomputed only once per epoch. Applying known static all-pairs maxflow and effective-resistance oracles to these sparsifiers then yields the result.

Problem

• partially dynamic graphs
• maxflow value
• effective resistance
• approximation

Innovation

• partially dynamic graphs
• spectral sparsifiers
• maxflow value approximation
• effective resistance approximation