Given an n-vertex graph G and a parameter k, we are to find a k-vertex subgraph with the maximum number of edges. This problem is NP-hard. We show that the problem remains NP-hard even when the maximum degree in G is three. When G contains a k-clique, we give an algorithm that for any e < 0 finds a k-vertex subgraph with at least (1 - e)(k || 2) edges, in time nO((1 + logn/>sub<k>/sub<)/e). We study the applicability of semidefinite programming for approximating the dense k-subgraph problem. Our main result in this respect is negative, showing that for k @ n1/3, semidefinite programs fail to distinguish between graphs that contain k-cliques and graphs in which the densest k-vertex subgraph has average degree below logn.
Cited By
- Pal R, Liu P, Lu T and Hua E (2022). How Hard Is Cyber-risk Management in IT/OT Systems? A Theory to Classify and Conquer Hardness of Insuring ICSs, ACM Transactions on Cyber-Physical Systems, 6:4, (1-31), Online publication date: 31-Oct-2022.
- Chlamtáč E, Dinitz M and Makarychev Y Minimizing the union Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (881-899)
- Manurangsi P Almost-polynomial ratio ETH-hardness of approximating densest k-subgraph Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, (954-961)
- Komusiewicz C and Sorge M (2015). An algorithmic framework for fixed-cardinality optimization in sparse graphs applied to dense subgraph problems, Discrete Applied Mathematics, 193:C, (145-161), Online publication date: 1-Oct-2015.
- Komusiewicz C, Sorge M and Stahl K Finding Connected Subgraphs of Fixed Minimum Density Proceedings of the 14th International Symposium on Experimental Algorithms - Volume 9125, (82-93)
- Chen W, Peng L, Wang J, Li F and Tang M Algorithms for the Densest Subgraph with at Least k Vertices and with a Specified Subset Proceedings of the 9th International Conference on Combinatorial Optimization and Applications - Volume 9486, (566-573)
- Zhang X, Liang W, Zhu S and Han B (2013). Automatic seed set expansion for trust propagation based anti-spam algorithms, Information Sciences: an International Journal, 232, (167-187), Online publication date: 1-May-2013.
- Bhaskara A, Charikar M, Vijayaraghavan A, Guruswami V and Zhou Y Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete algorithms, (388-405)
- Komusiewicz C and Sorge M Finding dense subgraphs of sparse graphs Proceedings of the 7th international conference on Parameterized and Exact Computation, (242-251)
- Backer J and Keil J (2019). Constant factor approximation algorithms for the densest k-subgraph problem on proper interval graphs and bipartite permutation graphs, Information Processing Letters, 110:16, (635-638), Online publication date: 1-Jul-2010.
- Bhaskara A, Charikar M, Chlamtac E, Feige U and Vijayaraghavan A Detecting high log-densities Proceedings of the forty-second ACM symposium on Theory of computing, (201-210)
- Andersen R (2010). A local algorithm for finding dense subgraphs, ACM Transactions on Algorithms, 6:4, (1-12), Online publication date: 1-Aug-2010.
- Liazi M, Milis I and Zissimopoulos V (2008). A constant approximation algorithm for the densest k-subgraph problem on chordal graphs, Information Processing Letters, 108:1, (29-32), Online publication date: 1-Sep-2008.
- Andersen R A local algorithm for finding dense subgraphs Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, (1003-1009)
- Lang K and Andersen R Finding dense and isolated submarkets in a sponsored search spending graph Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, (613-622)
- Li W, Liu Y, Huang H, Peng Y, Lin Y, Ng W and Ong K (2007). Dynamical Systems for Discovering Protein Complexes and Functional Modules from Biological Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 4:2, (233-250), Online publication date: 1-Apr-2007.
- Jäger G, Srivastav A and Wolf K Solving Generalized Maximum Dispersion with Linear Programming Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management, (1-10)
- Gonen M, Ron D, Weinsberg U and Wool A Finding a dense-core in Jellyfish graphs Proceedings of the 5th international conference on Algorithms and models for the web-graph, (29-40)
- Holzapfel K, Kosub S, Maaß M and Täubig H (2019). The complexity of detecting fixed-density clusters, Discrete Applied Mathematics, 154:11, (1547-1562), Online publication date: 1-Jul-2006.
- Bian F, Kempe D and Govindan R Utility based sensor selection Proceedings of the 5th international conference on Information processing in sensor networks, (11-18)
- Bruglieri M, Ehrgott M, Hamacher H and Maffioli F (2006). An annotated bibliography of combinatorial optimization problems with fixed cardinality constraints, Discrete Applied Mathematics, 154:9, (1344-1357), Online publication date: 1-Jun-2006.
- Hayrapetyan A, Kempe D, Pál M and Svitkina Z Unbalanced graph cuts Proceedings of the 13th annual European conference on Algorithms, (191-202)
- Jäger G and Srivastav A Improved approximation algorithms for maximum graph partitioning problems extended abstract Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science, (348-359)
- Ye Y and Zhang J (2019). Approximation of Dense-n/2-Subgraph and the Complement of Min-Bisection, Journal of Global Optimization, 25:1, (55-73), Online publication date: 1-Jan-2003.
- Xu D, Han J, Huang Z and Zhang L (2019). Improved Approximation Algorithms for MAX \frac{n}2 -DIRECTED-BISECTION and MAX \frac{n}2 -DENSE-SUBGRAPH, Journal of Global Optimization, 27:4, (399-410), Online publication date: 1-Dec-2003.
- Holzapfel K, Kosub S, Maaß M and Täubig H The complexity of detecting fixed-density clusters Proceedings of the 5th Italian conference on Algorithms and complexity, (201-212)
Recommendations
Sandwiching a densest subgraph by consecutive cores
In this paper, we show that in the random graph Gn,c/n, with high probability, there exists an integer kï such that a subgraph of Gn,c/n, whose vertex set differs from a densest subgraph of Gn,c/n by Olog2n vertices, is sandwiched by the kï and the kï +...
The K-clique Densest Subgraph Problem
WWW '15: Proceedings of the 24th International Conference on World Wide WebNumerous graph mining applications rely on detecting subgraphs which are large near-cliques. Since formulations that are geared towards finding large near-cliques are hard and frequently inapproximable due to connections with the Maximum Clique problem, ...
Near-optimal fully dynamic densest subgraph
STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of ComputingWe 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,...