Skip to main content
Log in

An approximation algorithm for the maximum spectral subgraph problem

  • Published:
Journal of Combinatorial Optimization Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Bandeira AS (2018) Random Laplacian matrices and convex relaxations. Found Comput Math 18(2):345–379

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Bhatia R (2013) Matrix analysis, vol 169. Springer, Berlin

    MATH  Google Scholar 

  • Bollobás B (1980) The distribution of the maximum degree of a random graph. Discrete Math 32(2):201–203

    Article  MathSciNet  Google Scholar 

  • 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

    Article  Google Scholar 

  • Chung F, Radcliffe M (2011) On the spectra of general random graphs. Electron J Comb 18(1):215

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    MATH  Google Scholar 

  • Goemans MX, Williamson DP (1995) Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J ACM (JACM) 42(6):1115–1145

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Lasserre JB (2001) Global optimization with polynomials and the problem of moments. SIAM J Optim 11(3):796–817

    Article  MathSciNet  Google Scholar 

  • Laurent M, Rendl F (2005) Semidefinite programming and integer programming. Handb Oper Res Manag Sci 12:393–514

    MATH  Google Scholar 

  • Le CM, Elizaveta L, Roman V (2017) Concentration and regularization of random graphs. Random Struct Algorithms 51(3):538–561

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Motwani R, Raghavan P (2010) Randomized algorithms. Chapman & Hall/CRC, Boca Raton

    MATH  Google Scholar 

  • Nie J (2011) Polynomial matrix inequality and semidefinite representation. Math Oper Res 36(3):398–415

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Tropp JA et al (2015) An introduction to matrix concentration inequalities. Found Trends Mach Learn 8(1–2):1–230

    Article  Google Scholar 

  • van Handel R (2017) Structured random matrices. In: Carlen E, Madiman M, Werner E (eds) Convexity and concentration. Springer, New York, pp 107–156

    Chapter  Google Scholar 

  • Van Mieghem P (2010) Graph spectra for complex networks. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Van Mieghem P, Omic J, Kooij R (2009) Virus spread in networks. IEEE/ACM Trans Netw (TON) 17(1):1–14

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • Vandenberghe L, Boyd S (1996) Semidefinite programming. SIAM Rev 38(1):49–95

    Article  MathSciNet  Google Scholar 

  • 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

    Book  Google Scholar 

  • 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

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paul Beaujean.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10878-020-00552-w

Keywords

Navigation