Near-optimal fully dynamic densest subgraph

We give the first fully dynamic algorithm which maintains a (1−є)-approximate densest subgraph in worst-case time poly(logn, є−1) per update. Dense subgraph discovery is an important primitive for many real-world applications such as community detection, link spam detection, distance query indexing, and computational biology. We approach the densest subgraph problem by framing its dual as a graph orientation problem, which we solve using an augmenting path-like adjustment technique. Our result improves upon the previous best approximation factor of (1/4 − є) for fully dynamic densest subgraph [Bhattacharya et. al., STOC ‘15]. We also extend our techniques to solving the problem on vertex-weighted graphs with similar runtimes. Additionally, we reduce the (1−є)-approximate densest subgraph problem on directed graphs to O(logn/є) instances of (1−є)-approximate densest subgraph on vertex-weighted graphs. This reduction, together with our algorithm for vertex-weighted graphs, gives the first fully-dynamic algorithm for directed densest subgraph in worst-case time poly(logn, є−1) per update. Moreover, combined with a near-linear time algorithm for densest subgraph [Bahmani et. al., WAW ‘14], this gives the first near-linear time algorithm for directed densest subgraph.

[1]  Mikkel Thorup,et al.  Incremental Exact Min-Cut in Polylogarithmic Amortized Update Time , 2018, ACM Trans. Algorithms.

[2]  Eric V. Denardo,et al.  Flows in Networks , 2011 .

[3]  Reid Andersen Finding large and small dense subgraphs , 2007, ArXiv.

[4]  Giuseppe F. Italiano,et al.  Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching , 2015, SODA.

[5]  Sanjeev Arora,et al.  The Multiplicative Weights Update Method: a Meta-Algorithm and Applications , 2012, Theory Comput..

[6]  Lukasz Kowalik,et al.  Adjacency queries in dynamic sparse graphs , 2007, Inf. Process. Lett..

[7]  Charalampos E. Tsourakakis The K-clique Densest Subgraph Problem , 2015, WWW.

[8]  Kumar Chellapilla,et al.  Finding Dense Subgraphs with Size Bounds , 2009, WAW.

[9]  Gerth Stølting Brodal,et al.  Dynamic Representation of Sparse Graphs , 1999, WADS.

[10]  Manoj Gupta,et al.  Maintaining Approximate Maximum Matching in an Incremental Bipartite Graph in Polylogarithmic Update Time , 2014, FSTTCS.

[11]  Yuichi Asahiro,et al.  Degree-Constrained Graph Orientation: Maximum Satisfaction and Minimum Violation , 2014, Theory of Computing Systems.

[12]  Glencora Borradaile,et al.  Egalitarian Graph Orientations , 2012, J. Graph Algorithms Appl..

[13]  Sergei Vassilvitskii,et al.  Densest Subgraph in Streaming and MapReduce , 2012, Proc. VLDB Endow..

[14]  Giuseppe F. Italiano,et al.  Dynamic algorithms via the primal-dual method , 2018, Inf. Comput..

[15]  Di Wang,et al.  Faster width-dependent algorithm for mixed packing and covering LPs , 2019, NeurIPS.

[16]  Gerth Stølting Brodal,et al.  A Simple Greedy Algorithm for Dynamic Graph Orientation , 2018, Algorithmica.

[17]  Robert E. Tarjan,et al.  A data structure for dynamic trees , 1981, STOC '81.

[18]  Robert E. Tarjan,et al.  Finding Strongly Knit Clusters in Social Networks , 2008, Internet Math..

[19]  Sofya Vorotnikova,et al.  Densest Subgraph in Dynamic Graph Streams , 2015, MFCS.

[20]  Yousef Saad,et al.  Dense Subgraph Extraction with Application to Community Detection , 2012, IEEE Transactions on Knowledge and Data Engineering.

[21]  Hisao Tamaki,et al.  Greedily Finding a Dense Subgraph , 2000, J. Algorithms.

[22]  Robert Krauthgamer,et al.  New Algorithms and Lower Bounds for All-Pairs Max-Flow in Undirected Graphs , 2019, SODA.

[23]  Yuichi Asahiro,et al.  Graph Orientation Algorithms to minimize the Maximum Outdegree , 2006, Int. J. Found. Comput. Sci..

[24]  Ravi Kumar,et al.  Structure and evolution of online social networks , 2006, KDD '06.

[25]  Yang Xiang,et al.  3-HOP: a high-compression indexing scheme for reachability query , 2009, SIGMOD Conference.

[26]  Lusheng Wang,et al.  Identifying protein complexes based on density and modularity in protein-protein interaction network , 2013, BMC Systems Biology.

[27]  Monika Henzinger,et al.  Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture , 2015, STOC.

[28]  Amir Abboud,et al.  Popular Conjectures Imply Strong Lower Bounds for Dynamic Problems , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[29]  Mikkel Thorup,et al.  Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity , 1998, STOC '98.

[30]  Divesh Srivastava,et al.  Dense subgraph maintenance under streaming edge weight updates for real-time story identification , 2012, The VLDB Journal.

[31]  Bruce M. Kapron,et al.  Dynamic graph connectivity in polylogarithmic worst case time , 2013, SODA.

[32]  Mikkel Thorup,et al.  Fully-dynamic min-cut , 2001, STOC '01.

[33]  Charalampos E. Tsourakakis,et al.  Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams , 2015, STOC.

[34]  Norbert Zeh,et al.  Orienting Dynamic Graphs, with Applications to Maximal Matchings and Adjacency Queries , 2014, ISAAC.

[35]  Amir Abboud,et al.  Popular Conjectures as a Barrier for Dynamic Planar Graph Algorithms , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[36]  Mauro Brunato,et al.  On Effectively Finding Maximal Quasi-cliques in Graphs , 2008, LION.

[37]  Richard Peng,et al.  Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers , 2020, 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS).

[38]  Piotr Sankowski,et al.  Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs , 2010, ArXiv.

[39]  Robert Krauthgamer,et al.  Faster Algorithms for All-Pairs Bounded Min-Cuts , 2018, ICALP.

[40]  Charalampos E. Tsourakakis A Novel Approach to Finding Near-Cliques: The Triangle-Densest Subgraph Problem , 2014, ArXiv.

[41]  Yuichi Asahiro,et al.  Graph Orientations Optimizing the Number of Light or Heavy Vertices , 2012, ISCO.

[42]  Ravi Kumar,et al.  Trawling the Web for Emerging Cyber-Communities , 1999, Comput. Networks.

[43]  Hsin-Hao Su,et al.  Distributed Dense Subgraph Detection and Low Outdegree Orientation , 2019, DISC.

[44]  Robert E. Tarjan,et al.  Faster scaling algorithms for general graph matching problems , 1991, JACM.

[45]  Ashwin Lall,et al.  Dense Subgraphs on Dynamic Networks , 2012, DISC.

[46]  Yuichi Asahiro,et al.  Graph classes and the complexity of the graph orientation minimizing the maximum weighted outdegree , 2008, Discret. Appl. Math..

[47]  Clifford Stein,et al.  Faster Fully Dynamic Matchings with Small Approximation Ratios , 2016, SODA.

[48]  Andrew V. Goldberg,et al.  Finding a Maximum Density Subgraph , 1984 .

[49]  Venkat Venkateswaran,et al.  Minimizing maximum indegree , 2004, Discret. Appl. Math..

[50]  Jakub W. Pachocki,et al.  Scalable Large Near-Clique Detection in Large-Scale Networks via Sampling , 2015, KDD.

[51]  Robert E. Tarjan,et al.  A Fast Parametric Maximum Flow Algorithm and Applications , 1989, SIAM J. Comput..

[52]  Amine Mhedhbi,et al.  The Ubiquity of Large Graphs and Surprising Challenges of Graph Processing , 2017 .

[53]  Yuichi Asahiro,et al.  Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty , 2011, CATS.

[54]  Marco Pellegrini,et al.  Extraction and classification of dense communities in the web , 2007, WWW '07.

[55]  Robert Krauthgamer,et al.  Orienting Fully Dynamic Graphs with Worst-Case Time Bounds , 2013, ICALP.

[56]  Joseph Y.-T. Leung,et al.  A note on graph balancing problems with restrictions , 2009, Inf. Process. Lett..

[57]  Yuichi Asahiro,et al.  Graph Orientation with Splits , 2018, ISCO.

[58]  Éva Tardos,et al.  Fast approximation algorithms for fractional packing and covering problems , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[59]  M E J Newman,et al.  Modularity and community structure in networks. , 2006, Proceedings of the National Academy of Sciences of the United States of America.

[60]  Yuichi Asahiro,et al.  Graph Orientation with Edge Modifications , 2019, FAW.

[61]  Samir Khuller,et al.  Dense Subgraphs with Restrictions and Applications to Gene Annotation Graphs , 2010, RECOMB.

[62]  Ravi Kumar,et al.  Discovering Large Dense Subgraphs in Massive Graphs , 2005, VLDB.

[63]  Kamesh Munagala,et al.  Efficient Primal-Dual Graph Algorithms for MapReduce , 2014, WAW.

[64]  Edith Cohen,et al.  Reachability and distance queries via 2-hop labels , 2002, SODA '02.

[65]  Jonathan A. Kelner,et al.  From graphs to matrices, and back: new techniques for graph algorithms , 2011 .

[66]  Seth Pettie,et al.  Linear-Time Approximation for Maximum Weight Matching , 2014, JACM.

[67]  Pasin Manurangsi,et al.  Inapproximability of Maximum Biclique Problems, Minimum k-Cut and Densest At-Least-k-Subgraph from the Small Set Expansion Hypothesis , 2017, Algorithms.

[68]  Silvio Micali,et al.  An O(v|v| c |E|) algoithm for finding maximum matching in general graphs , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[69]  Silvio Lattanzi,et al.  Efficient Densest Subgraph Computation in Evolving Graphs , 2015, WWW.

[70]  Stephen B. Seidman,et al.  Network structure and minimum degree , 1983 .

[71]  Yuichi Asahiro,et al.  Approximation algorithms for the graph orientation minimizing the maximum weighted outdegree , 2011, J. Comb. Optim..

[72]  Richard Peng,et al.  Fully Dynamic $(1+\epsilon)$-Approximate Matchings , 2013, 1304.0378.

[73]  Samir Khuller,et al.  On Finding Dense Subgraphs , 2009, ICALP.

[74]  Charu C. Aggarwal,et al.  A Survey of Algorithms for Dense Subgraph Discovery , 2010, Managing and Mining Graph Data.

[75]  Jiawei Han,et al.  Mining coherent dense subgraphs across massive biological networks for functional discovery , 2005, ISMB.

[76]  Monika Henzinger,et al.  The State of the Art in Dynamic Graph Algorithms , 2018, SOFSEM.

[77]  Moses Charikar,et al.  Greedy approximation algorithms for finding dense components in a graph , 2000, APPROX.

[78]  Monika Henzinger,et al.  Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in O(log3 n) Worst Case Update Time , 2017, SODA.

[79]  Greg N. Frederickson,et al.  Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications , 1985, SIAM J. Comput..

[80]  Huan Liu,et al.  Graph Mining Applications to Social Network Analysis , 2010, Managing and Mining Graph Data.

[81]  Monika Henzinger,et al.  New deterministic approximation algorithms for fully dynamic matching , 2016, STOC.

[82]  Takuya Akiba,et al.  Fast exact shortest-path distance queries on large networks by pruned landmark labeling , 2013, SIGMOD '13.