
AbstractA cut sparsifier is a reweighted subgraph that maintains the weights of the cuts of the original graph up to a multiplicative factor of$$(1\pm \epsilon )$$(1±ϵ). This paper considers computing cut sparsifiers of weighted graphs of size$$O(n\log (n)/\epsilon ^2)$$O(nlog(n)/ϵ2). Our algorithm computes such a sparsifier in time$$O(m\cdot \min (\alpha (n)\log (m/n),\log (n)))$$O(m·min(α(n)log(m/n),log(n))), both for graphs with polynomially bounded and unbounded integer weights, where$$\alpha (\cdot )$$α(·)is the functional inverse of Ackermann’s function. This improves upon the state of the art by Benczúr and Karger (SICOMP, 2015), which takes$$O(m\log ^2 (n))$$O(mlog2(n))time. For unbounded weights, this directly gives the best known result for cut sparsification. Together with preprocessing by an algorithm of Fung et al. (SICOMP, 2019), this also gives the best known result for polynomially-weighted graphs. Consequently, this implies the fastest approximate min-cut algorithm, both for graphs with polynomial and unbounded weights. In particular, we show that it is possible to adapt the state of the art algorithm of Fung et al. for unweighted graphs to weighted graphs, by letting the partial maximum spanning forest (MSF) packing take the place of the Nagamochi–Ibaraki forest packing. MSF packings have previously been used by Abraham et al. (FOCS, 2016) in the dynamic setting, and are defined as follows: anM-partial MSF packing ofGis a set$$\mathcal {F}=\{F_1, \ldots , F_M\}$$F={F1,…,FM}, where$$F_i$$Fiis a maximum spanning forest in$$G{\setminus } \bigcup _{j=1}^{i-1}F_j$$G\⋃j=1i-1Fj. Our method for computing (a sufficient estimation of) the MSF packing is the bottleneck in the running time of our sparsification algorithm.
graph algorithms, FOS: Computer and information sciences, Theory of computation → Sparsification and spanners, Cut Sparsification, Graph Algorithms, Article, 004, 510, Signed and weighted graphs, minimum cut, Graph theory (including graph drawing) in computer science, Graph algorithms (graph-theoretic aspects), Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), cut sparsification, maximum spanning forest, ddc: ddc:004
graph algorithms, FOS: Computer and information sciences, Theory of computation → Sparsification and spanners, Cut Sparsification, Graph Algorithms, Article, 004, 510, Signed and weighted graphs, minimum cut, Graph theory (including graph drawing) in computer science, Graph algorithms (graph-theoretic aspects), Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), cut sparsification, maximum spanning forest, ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
