Dense Subgraphs on Dynamic Networks

In distributed networks, it is often useful for the nodes to be aware of dense subgraphs, e.g., such a dense subgraph could reveal dense substructures in otherwise sparse graphs (e.g. the World Wide Web or social networks); these might reveal community clusters or dense regions for possibly maintaining good communication infrastructure. In this work, we address the problem of self-awareness of nodes in a dynamic network with regards to graph density, i.e., we give distributed algorithms for maintaining dense subgraphs that the member nodes are aware of. The only knowledge that the nodes need is that of the dynamic diameterD, i.e., the maximum number of rounds it takes for a message to traverse the dynamic network. For our work, we consider a model where the number of nodes are fixed, but a powerful adversary can add or remove a limited number of edges from the network at each time step. The communication is by broadcast only and follows the CONGEST model. Our algorithms are continuously executed on the network, and at any time (after some initialization) each node will be aware if it is part (or not) of a particular dense subgraph. We give algorithms that (2+e)-approximate the densest subgraph and (3+e)-approximate the at-least-k-densest subgraph (for a given parameter k). Our algorithms work for a wide range of parameter values and run in O(Dlog1+en) time. Further, a special case of our results also gives the first fully decentralized approximation algorithms for densest and at-least-k-densest subgraph problems for static distributed graphs.

[1]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[2]  Uriel Feige,et al.  The Dense k -Subgraph Problem , 2001, Algorithmica.

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

[4]  Aditya Bhaskara,et al.  Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph , 2011, SODA.

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

[6]  Stefan Schmid,et al.  A Self-repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn , 2005, IPTPS.

[7]  Toshimitsu Masuzawa,et al.  Fast and compact self-stabilizing verification, computation, and fault detection of an MST , 2011, PODC '11.

[8]  Hagit Attiya,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .

[9]  Michael Elkin,et al.  Distributed approximation: a survey , 2004, SIGA.

[10]  Subhash Khot,et al.  Ruling out PTAS for graph min-bisection, densest subgraph and bipartite clique , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[11]  Marcin Paprzycki,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 2001, Scalable Comput. Pract. Exp..

[12]  Gopal Pandurangan,et al.  Xheal: localized self-healing using expanders , 2011, PODC '11.

[13]  Shay Kutten,et al.  Controller and estimator for dynamic networks , 2007, PODC '07.

[14]  Nancy A. Lynch,et al.  Distributed computation in dynamic networks , 2010, STOC '10.

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

[16]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[17]  Refael Hassin,et al.  Complexity of finding dense subgraphs , 2002, Discret. Appl. Math..

[18]  Danupon Nanongkai,et al.  A tight unconditional lower bound on distributed randomwalk computation , 2011, PODC '11.

[19]  Yossi Matias,et al.  Elections in Anonymous Networks , 1994, Inf. Comput..

[20]  Amitabh Trehan,et al.  Algorithms for Self-Healing Networks , 2013, ArXiv.

[21]  Roger Wattenhofer,et al.  Networks cannot compute their diameter in sublinear time , 2012, SODA.

[22]  Michael E. Saks,et al.  Local management of a global resource in a communication network , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[23]  Andrew Berns,et al.  Dissecting Self-* Properties , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[24]  Robert Poor,et al.  Self-Healing Networks , 2003, ACM Queue.

[25]  Israel Cidon,et al.  Message Terminating Algorithms for Anonymous Rings of Unknown Size , 1995, Inf. Process. Lett..

[26]  Thomas P. Hayes,et al.  The Forgiving Graph: a distributed data structure for low stretch under adversarial attack , 2009, PODC '09.

[27]  Dahlia Malkhi,et al.  Efficient distributed approximation algorithms via probabilistic tree embeddings , 2008, PODC '08.

[28]  Maleq Khan,et al.  Theory of communication networks , 2010 .

[29]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[30]  W DijkstraEdsger Self-stabilizing systems in spite of distributed control , 1974 .

[31]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

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

[33]  Shay Kutten,et al.  Time Optimal Self-Stabilizing Spanning Tree Algorithms , 1993, FSTTCS.

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

[35]  Debanjan Ghosh,et al.  Self-healing systems - survey and synthesis , 2007, Decis. Support Syst..

[36]  Maleq Khan,et al.  A fast distributed approximation algorithm for minimum spanning trees , 2007, Distributed Computing.

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

[38]  Amos Korman,et al.  New bounds for the controller problem , 2009, Distributed Computing.

[39]  David Peleg,et al.  Distributed Computing: A Locality-Sensitive Approach , 1987 .

[40]  Yoram Moses,et al.  Coordinated consensus in dynamic networks , 2011, PODC '11.

[41]  Yossi Matias,et al.  Simple and Efficient Election Algorithms for Anonymous Networks , 1989, WDAG.