Finding Connected Subgraphs of Fixed Minimum Density: Implementation and Experiments

We consider the following problem. Given a graph and a rational numberi¾?$$\mu $$, $$0 < \mu \le 1$$, find a connected subgraph of density at leasti¾?$$\mu $$ with the largest number of vertices. Here, the density of an $$n$$-vertex graph with $$m$$i¾?edges is $$m/\left {\begin{array}{c}n\\ 2\end{array}}\right $$. This problem arises in many application contexts such as community detection in social networks. We implement a branch and bound algorithm and tune it for efficiency on sparse real-world graphs for the case $$\mu \ge 1/2$$. Central issues for the implementation are the choice of branching candidates, two new upper bounding procedures, and several data reduction and early termination rules.

[1]  Balabhaskar Balasundaram,et al.  A branch-and-bound approach for maximum quasi-cliques , 2014, Ann. Oper. Res..

[2]  Christian Komusiewicz,et al.  Finding Dense Subgraphs of Sparse Graphs , 2012, IPEC.

[3]  Sergiy Butenko,et al.  On the maximum quasi-clique problem , 2013, Discret. Appl. Math..

[4]  U. Feige,et al.  On the densest k-subgraph problems , 1997 .

[5]  M. V. Valkenburg Network Analysis , 1964 .

[6]  Christian Komusiewicz,et al.  An algorithmic framework for fixed-cardinality optimization in sparse graphs applied to dense subgraph problems , 2015, Discret. Appl. Math..

[7]  U. Feige,et al.  On the Densest K-subgraph Problem , 1997 .

[8]  Gary D. Bader,et al.  An automated method for finding molecular complexes in large protein interaction networks , 2003, BMC Bioinformatics.

[9]  P. Erdös On an extremal problem in graph theory , 1970 .

[10]  Jingfei Zhang,et al.  Monte Carlo Algorithms for Identifying Densely Connected Subgraphs , 2015 .

[11]  Prasad Raghavendra,et al.  Graph expansion and the unique games conjecture , 2010, STOC '10.

[12]  A. Nagurney Innovations in Financial and Economic Networks , 2003 .

[13]  Sven Kosub,et al.  Local Density , 2004, Network Analysis.

[14]  Michael R. Fellows,et al.  Fixed-Parameter Tractability and Completeness II: On Completeness for W[1] , 1995, Theor. Comput. Sci..

[15]  F. Harary THE MAXIMUM CONNECTIVITY OF A GRAPH. , 1962, Proceedings of the National Academy of Sciences of the United States of America.

[16]  Balabhaskar Balasundaram,et al.  Graph Theoretic Clique Relaxations and Applications , 2013 .

[17]  D. Fell,et al.  The small world inside large metabolic networks , 2000, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[18]  Panos M. Pardalos,et al.  On maximum clique problems in very large graphs , 1999, External Memory Algorithms.

[19]  Sandra Sudarsky,et al.  Massive Quasi-Clique Detection , 2002, LATIN.