A GENERAL FRAMEWORK FOR GRAPH SPARSIFICATION

Fung, Wai-Shing and Hariharan, Ramesh and Harvey, Nicholas J A and Panigrahi, Debmalya (2019) A GENERAL FRAMEWORK FOR GRAPH SPARSIFICATION. In: SIAM JOURNAL ON COMPUTING, 48 (4). pp. 1196-1223.

PDF sia_jou_com_48-4_1196_2019.pdf - Published Version Restricted to Registered users only Download (455kB) | Request a copy

Abstract

We present a general framework for constructing cut sparsifiers in undirected graphs- weighted subgraphs for which every cut has the same weight as the original graph, up to a multiplicative factor of (1 +/- epsilon). Using this framework, we simplify, unify, and improve upon previous sparsification results. As simple instantiations of this framework, we show that sparsifiers can be constructed by sampling edges according to their strength (a result of Benczur and Karger Approximating s-t minimum cuts in (o) over tilde (n(2)) time, in Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, ACM, New York, 1996, pp. 47-55], SIAM T. Comput., 44 (2015), pp. 290-319]), effective resistance (a result of Spielman and Srivastava SIAM J. Comput., 40 (2011), pp. 1913-1926]), or edge connectivity. Sampling according to edge connectivity is the most aggressive method, and the most challenging to analyze. Our proof that this method produces sparsifiers resolves an open question of Benczur and Karger. While the above results are interesting from a combinatorial standpoint, we also prove new algorithmic results. In particular, we give the first (optimal) O(m)-time sparsification algorithm for unweighted graphs. Our algorithm has a running time of O(m) + (O) over tilde (n/epsilon(2)) for weighted graphs, which is also linear unless the input graph is very sparse itself. In both cases, this improves upon the previous best running times (due to Benczur and Karger Approximating s-t minimum cuts in (o) over tilde (n(2)) time, in Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, ACM, New York, 1996, pp. 47-551, SIAM T. Comput., 44 (2015), pp. 290-319]) of O(m log(2) n) (for the unweighted case) and O(m log(3) n) (for the weighted case), respectively. Our algorithm constructs sparsifiers that contain O(n log n/epsilon(2)) edges in expectation. A key ingredient of our proofs is a natural generalization of Karger's bound on the number of small cuts in an undirected graph. Given the numerous applications of Karger's bound, we suspect that our generalization will also be of independent interest.

Item Type:	Journal Article
Publication:	SIAM JOURNAL ON COMPUTING
Publisher:	SIAM PUBLICATIONS
Additional Information:	copyright for this article belongs to SIAM PUBLICATIONS
Keywords:	cut sparsification; edge connectivity; edge sampling
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	16 Oct 2019 06:25
Last Modified:	16 Oct 2019 06:25
URI:	http://eprints.iisc.ac.in/id/eprint/63661

Actions (login required)

View Item