Abstract
Clustering a graph when the clusters can overlap can be seen from three different angles: We may look for cliques that cover the edges of the graph with bounded overlap, we may look to add or delete few edges to uncover the cluster structure, or we may split vertices to separate the clusters from each other. Splitting a vertex v means to remove it and to add two new copies of v and to make each previous neighbor of v adjacent with at least one of the copies. In this work, we study underlying computational problems regarding the three angles to overlapping clusterings, in particular when the overlap is small. We show that the above-mentioned covering problem is \(\textsf{NP}\)-complete. We then make structural observations that show that the covering viewpoint and the vertex-splitting viewpoint are equivalent, yielding NP-hardness for the vertex-splitting problem. On the positive side, we show that splitting at most k vertices to obtain a cluster graph has a problem kernel with O(k) vertices. Finally, we observe that combining our hardness results with the so-called critical-clique lemma yields NP-hardness for Cluster Editing with Vertex Splitting, which was previously open (Abu-Khzam et al. [ISCO 2018]) and independently shown to be NP-hard by Arrighi et al. [IPEC 2023]. We observe that a previous version of the critical-clique lemma was flawed; a corrected version has appeared in the meantime on which our hardness result is based.
A. Dobler—Supported by the Vienna Science and Technology Fund (WWTF) under grant 10.47379/ICT19035.
M. Sorge—Partly supported by the Alexander von Humboldt Foundation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Alternatively, a critical clique is a maximal set of pairwise true twins.
References
Abu-Khzam, F.N., et al.: Cluster editing with vertex splitting. CoRR, abs/1901.00156v2 (2023). arxiv.org/abs/1901.00156v2
Abu-Khzam, F.N., Barr, J.R., Fakhereldine, A., Shaw, P.: A greedy heuristic for cluster editing with vertex splitting. In: Proceedings of the 4th International Conference on Artificial Intelligence for Industries (AI4I 2021), pp. 38–41. IEEE (2021). https://doi.org/10.1109/AI4I51902.2021.00017
Abu-Khzam, F.N., Egan, J., Gaspers, S., Shaw, A., Shaw, P.: Cluster editing with vertex splitting. In: Lee, J., Rinaldi, G., Mahjoub, A.R. (eds.) ISCO 2018. LNCS, vol. 10856, pp. 1–13. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96151-4_1
Abu-Khzam, F.N., Egan, J., Gaspers, S., Shaw, A., Shaw, P.: On the parameterized cluster editing with vertex splitting problem. CoRR, abs/1901.00156v1 (2019). arxiv.org/abs/1901.00156v1
Arrighi, E., Bentert, M., Drange, P.G., Sullivan, B., Wolf, P.: Cluster editing with overlapping communities. In: Proceedings of the 18th International Symposium on Parameterized and Exact Computation (IPEC 2023) (2023). Accepted for publication
Askeland, G.: Overlapping community detection using cluster editing with vertex splitting. Master’s thesis, University of Bergen (2022)
Crespelle, C., Drange, P.G., Fomin, F.V., Golovach, P.A.: A survey of parameterized algorithms and the complexity of edge modification. Comput. Sci. Rev. 48, 100556 (2023). https://doi.org/10.1016/j.cosrev.2023.100556
Davoodi, A., Javadi, R., Omoomi, B.: Edge clique covering sum of graphs. Acta Math. Hungar. 149(1), 82–91 (2016). https://doi.org/10.1007/s10474-016-0586-1
Fellows, M.R., Guo, J., Komusiewicz, C., Niedermeier, R., Uhlmann, J.: Graph-based data clustering with overlaps. Discrete Optim. 8(1), 2–17 (2011). https://doi.org/10.1016/j.disopt.2010.09.006
Firbas, A., et al.: The complexity of cluster vertex splitting and company. CoRR, abs/2309.00504 (2023). https://doi.org/10.48550/ARXIV.2309.00504
Gramm, J., Guo, J., Hüffner, F., Niedermeier, R., Piepho, H.-P., Schmid, R.: Algorithms for compact letter displays: comparison and evaluation. Comput. Stat. Data Anal. 52(2), 725–736 (2007). https://doi.org/10.1016/j.csda.2006.09.035
Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Proceedings of a Symposium on the Complexity of Computer Computations. The IBM Research Symposia Series, pp. 85–103. Plenum Press, New York (1972). https://doi.org/10.1007/978-1-4684-2001-2_9
Lin, G.-H., Kearney, P.E., Jiang, T.: Phylogenetic k-root and steiner k-root. In: Goos, G., Hartmanis, J., van Leeuwen, J., Lee, D.T., Teng, S.-H. (eds.) ISAAC 2000. LNCS, vol. 1969, pp. 539–551. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-40996-3_46
Yang, J., Leskovec, J.: Structure and overlaps of ground-truth communities in networks. ACM Trans. Intell. Syst. Technol. 5(2), 26:1–26:35 (2014). https://doi.org/10.1145/2594454
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Firbas, A. et al. (2024). The Complexity of Cluster Vertex Splitting and Company. In: Fernau, H., Gaspers, S., Klasing, R. (eds) SOFSEM 2024: Theory and Practice of Computer Science. SOFSEM 2024. Lecture Notes in Computer Science, vol 14519. Springer, Cham. https://doi.org/10.1007/978-3-031-52113-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-031-52113-3_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-52112-6
Online ISBN: 978-3-031-52113-3
eBook Packages: Computer ScienceComputer Science (R0)