Abstract
Modifying the topology of a network to mitigate the spread of an epidemic with epidemiological constant \(\lambda \) amounts to the NP-hard problem of finding a partial subgraph with maximum number of edges and spectral radius bounded above by \(\lambda \). A software-defined network capable of real-time topology reconfiguration can then use an algorithm for finding such subgraph to quickly remove spreading malware threats without deploying specific security countermeasures. In this paper, we propose a novel randomized approximation algorithm based on the relaxation and rounding framework that achieves a \(O(\log n)\) approximation in the case of finding a subgraph with spectral radius bounded by \(\lambda \in [\log n, \lambda _1(G))\) where \(\lambda _1(G)\) is the spectral radius of the input graph and n is the number of nodes. We combine this algorithm with a maximum matching algorithm to obtain a \(O(\log ^2 n)\)-approximation algorithm for all values of \(\lambda \). We also describe how the mathematical programming formulation we give has several advantages over previous approaches which attempted at finding a subgraph with minimum spectral radius given an edge removal budget. Finally, we show that the analysis of our randomized rounding scheme is essentially tight by relating it to classical results from random graph theory.
Similar content being viewed by others
References
Bandeira AS (2018) Random Laplacian matrices and convex relaxations. Found Comput Math 18(2):345–379
Bazgan C, Santha M, Tuza Z (1999) On the approximation of finding a(nother) Hamiltonian cycle in cubic Hamiltonian graphs. J Algorithms 31(1):249–268
Bhatia R (2013) Matrix analysis, vol 169. Springer, Berlin
Bollobás B (1980) The distribution of the maximum degree of a random graph. Discrete Math 32(2):201–203
Chakrabarti D, Wang Y, Wang C, Leskovec J, Faloutsos C (2008) Epidemic thresholds in real networks. ACM Trans Inf Syst Secur (TISSEC) 10(4):1
Chung F, Radcliffe M (2011) On the spectra of general random graphs. Electron J Comb 18(1):215
de Klerk E, Vallentin F (2016) On the Turing model complexity of interior point methods for semidefinite programming. SIAM J Optim 26(3):1944–1961
Ganesh A, Massoulié L, Towsley D (2005) The effect of network topology on the spread of epidemics. In: Proceedings of the annual joint conference of the IEEE computer and communications societies (INFOCOM 2005), vol 2, pp 1455–1466
Ghosh A, Boyd S (2006) Growing well-connected graphs. In: Proceedings of the IEEE conference on decision and control (CDC 2006), IEEE, pp 6605–6611
Gilbert EN (1959) Random graphs. Ann Math. Stat 30(4):1141–1144
Goemans MX, Williamson DP (1995) Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J ACM (JACM) 42(6):1115–1145
Kolla A, Makarychev Y, Saberi A, Teng S-H (2010) Subgraph sparsification and nearly optimal ultrasparsifiers. In: Proceedings of the ACM symposium on theory of computing (STOC 2010), ACM, pp 57–66
Krivelevich M, Sudakov B (2003) The largest eigenvalue of sparse random graphs. Comb Probab Comput 12(01):61–72
Lasserre JB (2001) Global optimization with polynomials and the problem of moments. SIAM J Optim 11(3):796–817
Laurent M, Rendl F (2005) Semidefinite programming and integer programming. Handb Oper Res Manag Sci 12:393–514
Le CM, Elizaveta L, Roman V (2017) Concentration and regularization of random graphs. Random Struct Algorithms 51(3):538–561
Mehdi SA, Khalid J, Khayam SA (2011) Revisiting traffic anomaly detection using software defined networking. In: Proceedings of the international workshop on recent advances in intrusion detection (RAID 2011), Springer, pp 161–180
Mosk-Aoyama D (2008) Maximum algebraic connectivity augmentation is NP-hard. Oper Res Lett 36(6):677–679
Motwani R, Raghavan P (2010) Randomized algorithms. Chapman & Hall/CRC, Boca Raton
Nie J (2011) Polynomial matrix inequality and semidefinite representation. Math Oper Res 36(3):398–415
Pan VY, Chen ZQ (1999) The complexity of the matrix eigenproblem. In: Proceedings of the ACM symposium on theory of computing (STOC 1999), pp 507–516
Parrilo PA (2003) Semidefinite programming relaxations for semialgebraic problems. Math Program 96(2):293–320
Prakash BA, Chakrabarti D, Faloutsos M, Valler N, Faloutsos C (2011) Threshold conditions for arbitrary cascade models on arbitrary networks. In: Proceedings of the IEEE international conference on data mining (ICDM 2011), pp 537–546
Raghavan P, Tompson CD (1987) Randomized rounding: a technique for provably good algorithms and algorithmic proofs. Combinatorica 7(4):365–374
Raghavendra P (2008) Optimal algorithms and inapproximability results for every CSP? In: Proceedings of the ACM symposium on theory of computing (STOC 2008), ACM, pp 245–254
Saha S, Adiga A, Prakash BA, Vullikanti AKS (2015) Approximation algorithms for reducing the spectral radius to control epidemic spread. In: Proceedings of the SIAM international conference on data mining (SDM 2015), pp 568–576
Shin S, Gu G (2012) Cloudwatcher: network security monitoring using openflow in dynamic cloud networks (or: how to provide security monitoring as a service in clouds?). In: Proceedings of the IEEE international conference on network protocols (ICNP 2012), IEEE, pp 1–6
Stevanović D (2010) Resolution of AutoGraphiX conjectures relating the index and matching number of graphs. Linear Algebra Appl 8(433):1674–1677
Tropp JA et al (2015) An introduction to matrix concentration inequalities. Found Trends Mach Learn 8(1–2):1–230
van Handel R (2017) Structured random matrices. In: Carlen E, Madiman M, Werner E (eds) Convexity and concentration. Springer, New York, pp 107–156
Van Mieghem P (2010) Graph spectra for complex networks. Cambridge University Press, Cambridge
Van Mieghem P, Omic J, Kooij R (2009) Virus spread in networks. IEEE/ACM Trans Netw (TON) 17(1):1–14
Van Mieghem P, Stevanović D, Kuipers F, Li C, Van De Bovenkamp R, Liu D, Wang H (2011) Decreasing the spectral radius of a graph by link removals. Phys Rev E 84(1):016101
Vandenberghe L, Boyd S (1996) Semidefinite programming. SIAM Rev 38(1):49–95
Wang Y, Chakrabarti D, Wang C, Faloutsos C (2003) Epidemic spreading in real networks: an eigenvalue viewpoint. In: Proceedings of the international symposium on reliable distributed systems (SRDS 2003), IEEE, pp 25–34
Wang G, Ng TS, Shaikh A (2012) Programming your network at run-time for big data applications. In: Proceedings of the workshop on hot topics in software defined networks (HotSDN 2012), ACM, pp 103–108
Williamson DP, Shmoys DB (2011) The design of approximation algorithms. Cambridge University Press, Cambridge
Zhang Y, Adiga A, Vullikanti A, Prakash BA (2015) Controlling propagation at group scale on networks. In: Proceedings of the international conference on data mining (ICDM 2015), pp 619–628
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bazgan, C., Beaujean, P. & Gourdin, É. An approximation algorithm for the maximum spectral subgraph problem. J Comb Optim 44, 1880–1899 (2022). https://doi.org/10.1007/s10878-020-00552-w
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-020-00552-w