Abstract
A graph is called a k-core if every vertex has at least k neighbors. If the parameter k is sufficiently large relative to the number of vertices, a k-core is guaranteed to possess 2-hop reachability between all pairs of vertices. Furthermore, it is guaranteed to preserve those pairwise distances under arbitrary single-vertex deletion. Hence, the concept of a k-core can be used to produce 2-hop survivable network designs, specifically to design inter-hub networks. Formally, given an edge-weighted graph, the minimum spanningk-core problem seeks a spanning subgraph of the given graph that is a k-core with minimum total edge weight. For any fixed k, this problem is equivalent to a generalized graph matching problem and can be solved in polynomial time. This article focuses on a chance-constrained version of the minimum spanning k-core problem under probabilistic edge failures. We first show that this probabilistic version is NP-hard, and we conduct a polyhedral study to strengthen the formulation. The quality of bounds produced by the strengthened formulation is demonstrated through a computational study.
Similar content being viewed by others
References
Andreas, A.K., Smith, J.C.: Mathematical programming algorithms for two-path routing problems with reliability considerations. INFORMS J. Comput. 20(4), 553–564 (2008)
Andreas, A.K., Smith, J.C., Küçükyavuz, S.: Branch-and-price-and-cut algorithms for solving the reliable h-paths problem. J. Glob. Optim. 42(4), 443–466 (2008)
Balakrishnan, A., Altinkemer, K.: Using a hop-constrained model to generate alternative communication network design. ORSA J. Comput. 4(2), 192–205 (1992)
Balasundaram, B.: Graph theoretic generalizations of clique: Optimization and extensions. Ph.D. thesis, Texas A&M University, College Station, Texas, USA (2007)
Bendali, F., Diarrassouba, I., Mahjoub, A., Mailfert, J.: The \(k\) edge-disjoint 3-hop-constrained paths polytope. Discrete Optim. 7(4), 222–233 (2010)
Beraldi, P., Bruni, M.E., Guerriero, F.: Network reliability design via joint probabilistic constraints. IMA J. Manag. Math. 21, 213–226 (2010)
Botton, Q., Fortz, B., Gouveia, L., Poss, M.: Benders decomposition for the hop-constrained survivable network design problem. INFORMS J. Comput. 25(1), 13–26 (2013)
Brueckner, J.K., Spiller, P.T.: Competition and mergers in airline hub-and-spoke networks. Int. J. Ind. Organ. 9, 323–342 (1991)
Carvalho, M., Sorokin, A., Boginski, V., Balasundaram, B.: Topology design for on-demand dual-path routing in wireless networks. Optim. Lett. 7(4), 695–707 (2013)
Dave, D.B.: Patterns of freight flow and design of a less-than-truckload distribution network. Ph.D. thesis, Georgia Institute of Technology (2004)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York (1979)
Jaillet, P., Song, G., Yu, G.: Airline network design and hub location problems. Locat. Sci. 4(3), 195–212 (1996)
Kerivin, H., Mahjoub, A.R.: Design of survivable networks: a survey. Networks 46(1), 1–21 (2005)
Kim, Y., Chen, Y.S., Linderman, K.: Supply network disruption and resilience: a network structural perspective. J. Oper. Manag. 33–34, 43–59 (2015)
Koster, A.M., Kutschka, M., Raack, C.: Robust network design: formulations, valid inequalities, and computations. Networks 61(2), 128–149 (2013)
Küçükyavuz, S.: On mixing sets arising in chance-constrained programming. Math. Program. 132(1), 31–56 (2012)
Liu, X., Kılınç-Karzan, F., Küçükyavuz, S.: On intersection of two mixing sets with applications to joint chance-constrained programs. Math. Program. (2018). https://doi.org/10.1007/s10107-018-1231-2
Luedtke, J.: An integer programming and decomposition approach to general chance-constrained mathematical programs. In: Eisenbrand, F., Shepherd, F. (eds.) Integer Programming and Combinatorial Optimization. Lecture Notes in Computer Science, vol. 6080, pp. 271–284. Springer, Berlin (2010)
Luedtke, J.: A branch-and-cut decomposition algorithm for solving chance-constrained mathematical programs with finite support. Math. Program. 146(1–2), 219–244 (2014)
Luedtke, J., Ahmed, S., Nemhauser, G.: An integer programming approach for linear programs with probabilistic constraints. Math. Program. 12(2), 247–272 (2010)
Ma, J., Balasundaram, B.: Solving chance-constrained spanning \(k\)-core problem via decomposition and integer programming. In: Proceedings of the 2013 Industrial and Systems Engineering Research Conference (ISERC 2013), pp. 2774–2783. Institute of Industrial Engineers, Norcross, GA (2013)
Ma, J., Pajouh, F.M., Balasundaram, B., Boginski, V.: The minimum spanning \(k\)-core problem with bounded CVaR under probabilistic edge failures. INFORMS J. Comput. 28(2), 295–307 (2016)
Magnanti, T.L., Raghavan, S.: Strong formulations for network design problems with connectivity requirements. Networks 45(2), 61–79 (2005)
Mahjoub, A.R., Simonetti, L., Uchoa, E.: Hop-level flow formulation for the survivable network design with hop constraints problem. Networks 61(2), 171–179 (2013)
Minoux, M.: Network synthesis and optimum network design problems: models, solution methods, and applications. Networks 19, 313–360 (1989)
Monma, C.L., Shallcross, D.F.: Methods for designing communications networks with certain two-connected survivability constraints. Oper. Res. 37(4), 531–541 (1989)
Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley, New York (1999)
O’Kelly, M.E., Miller, H.J.: The hub network design problem: a review and synthesis. J. Transp. Geogr. 2(1), 31–40 (1994)
Pastukhov, G., Veremyev, A., Boginski, V., Pasiliao, E.L.: Optimal design and augmentation of strongly attack-tolerant two-hop clusters in directed networks. J. Comb. Optim. 27(3), 462–486 (2014)
Rodríguez-Martín, I., Salazar-González, J.J., Yaman, H.: A branch-and-cut algorithm for two-level survivable network design problems. Comput. Oper. Res. 67, 102–112 (2016)
Seidman, S.B.: Network structure and minimum degree. Soc. Netw. 5(3), 269–287 (1983)
Smith, J.C., Lim, C., Sudargho, F.: Survivable network design under optimal and heuristic interdiction scenarios. J. Glob. Optim. 38(2), 181–199 (2007)
Song, Y., Luedtke, J.R.: Branch-and-cut approaches for chance-constrained formulations of reliable network design problems. Math. Program. Comput. 5(4), 397–432 (2013)
Sorokin, A., Boginski, V., Nahapetyan, A., Pardalos, P.M.: Computational risk management techniques for fixed charge network flow problems with uncertain arc failures. J. Comb. Optim. 25(1), 99–122 (2013)
Veremyev, A., Boginski, V.: Robustness and strong attack tolerance of low-diameter networks. In: Sorokin, A., Murphey, R., Thai, M.T., Pardalos, P.M. (eds.) Dynamics of Information Systems: Mathematical Foundations, Springer Proceedings in Mathematics & Statistics, vol. 20, pp. 137–156. Springer, New York (2012)
Zheng, Q.P., Shen, S., Shi, Y.: Loss-constrained minimum cost flow under arc failure uncertainty with applications in risk-aware kidney exchange. IIE Trans. 47(9), 961–977 (2015)
Acknowledgements
The computational experiments reported in this article were conducted at the Oklahoma State University High Performance Computing Center. The authors would also like to thank Foad Mahdavi Pajouh for helpful discussions regarding the complexity and lifting results.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors gratefully acknowledge the support of the Air Force Office of Scientific Research Grant FA9550-12-1-0103, the National Science Foundation Grant CMMI-1404971, and the Air Force Research Laboratory-Mathematical Modeling and Optimization Institute.
Rights and permissions
About this article
Cite this article
Ma, J., Balasundaram, B. On the chance-constrained minimum spanning k-core problem. J Glob Optim 74, 783–801 (2019). https://doi.org/10.1007/s10898-018-0714-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10898-018-0714-2