Document Open Access Logo

Engineering Weighted Connectivity Augmentation Algorithms

Authors Marcelo Fonseca Faraj , Ernestine Großmann , Felix Joos , Thomas Möller , Christian Schulz

PDF
Thumbnail PDF

File

LIPIcs.SEA.2024.11.pdf
  • Filesize: 3.1 MB
  • 22 pages

Document Identifiers

Author Details

Marcelo Fonseca Faraj
  • Heidelberg University, Heidelberg, Germany
Ernestine Großmann
  • Heidelberg University, Heidelberg, Germany
Felix Joos
  • Heidelberg University, Heidelberg, Germany
Thomas Möller
  • Heidelberg University, Heidelberg, Germany
Christian Schulz
  • Heidelberg University, Heidelberg, Germany

Funding

We acknowledge support by DFG grant SCHU 2567/3-1.

Cite AsGet BibTex

Marcelo Fonseca Faraj, Ernestine Großmann, Felix Joos, Thomas Möller, and Christian Schulz. Engineering Weighted Connectivity Augmentation Algorithms. In 22nd International Symposium on Experimental Algorithms (SEA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 301, pp. 11:1-11:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.SEA.2024.11

Abstract

Increasing the connectivity of a graph is a pivotal challenge in robust network design. The weighted connectivity augmentation problem is a common version of the problem that takes link costs into consideration. The problem is then to find a minimum cost subset of a given set of weighted links that increases the connectivity of a graph by one when the links are added to the edge set of the input instance. In this work, we give a first implementation of recently discovered better-than-2 approximations. Furthermore, we propose three new heuristics and one exact approach. These include a greedy algorithm considering link costs and the number of unique cuts covered, an approach based on minimum spanning trees and a local search algorithm that may improve a given solution by swapping links of paths. Our exact approach uses an ILP formulation with efficient cut enumeration as well as a fast initialization routine. We then perform an extensive experimental evaluation which shows that our algorithms are faster and yield the best solutions compared to the current state-of-the-art as well as the recently discovered better-than-2 approximation algorithms. Our novel local search algorithm can improve solution quality even further.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Optimization with randomized search heuristics
  • Theory of computation → Approximation algorithms analysis
  • Theory of computation → Randomized local search
Keywords
  • weighted connectivity augmentation
  • approximation
  • heuristic
  • integer linear program
  • algorithm engineering

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

Supplementary Materials

References

  1. David A. Bader, Andrea Kappes, Henning Meyerhenke, Peter Sanders, Christian Schulz, and Dorothea Wagner. Benchmarking for graph clustering and partitioning. In Reda Alhajj and Jon G. Rokne, editors, Encyclopedia of Social Network Analysis and Mining, 2nd Edition. Springer, 2018. URL: https://doi.org/10.1007/978-1-4939-7131-2_23.
  2. Jaroslaw Byrka, Fabrizio Grandoni, and Afrouz Jabal Ameli. Breaching the 2-approximation barrier for connectivity augmentation: A reduction to steiner tree. SIAM J. Comput., 52(3):718-739, 2023. URL: https://doi.org/10.1137/21M1421143.
  3. Federica Cecchetto, Vera Traub, and Rico Zenklusen. Bridging the gap between tree and connectivity augmentation: unified and stronger approaches. In Samir Khuller and Virginia Vassilevska Williams, editors, STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021, pages 370-383. ACM, 2021. URL: https://doi.org/10.1145/3406325.3451086.
  4. Ruoxu Cen, Jason Li, and Debmalya Panigrahi. Edge connectivity augmentation in near-linear time. In Stefano Leonardi and Anupam Gupta, editors, STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, pages 137-150. ACM, 2022. URL: https://doi.org/10.1145/3519935.3520038.
  5. E. Dinic, Alexander Karzanov, and M. Lomonosov. The system of minimum edge cuts in a graph. In book: Issledovaniya po Diskretnoǐ Optimizatsii (Engl. title: Studies in Discrete Optimizations), A.A. Fridman, ed., Nauka, Moscow, 290-306, in Russian,, January 1976. Google Scholar
  6. Yefim Dinitz. Maintaining the 4-edge-connected components of a graph on-line. In Second Israel Symposium on Theory of Computing Systems, ISTCS 1993, Natanya, Israel, June 7-9, 1993, Proceedings, pages 88-97. IEEE Computer Society, 1993. URL: https://doi.org/10.1109/ISTCS.1993.253480.
  7. Elizabeth D. Dolan and Jorge J. Moré. Benchmarking optimization software with performance profiles. Math. Program., 91(2):201-213, 2002. URL: https://doi.org/10.1007/S101070100263.
  8. Kapali P. Eswaran and Robert Endre Tarjan. Augmentation problems. SIAM J. Comput., 5(4):653-665, 1976. URL: https://doi.org/10.1137/0205044.
  9. L. R. Ford and D. R. Fulkerson. Maximal flow through a network. Canadian Journal of Mathematics, 8:399-404, 1956. URL: https://doi.org/10.4153/CJM-1956-045-5.
  10. András Frank and Éva Tardos. An application of submodular flows. Linear Algebra and its Applications, 114-115:329-348, 1989. Special Issue Dedicated to Alan J. Hoffman. URL: https://doi.org/10.1016/0024-3795(89)90469-2.
  11. Greg N. Frederickson and Joseph F. JáJá. Approximation algorithms for several graph augmentation problems. SIAM J. Comput., 10(2):270-283, 1981. URL: https://doi.org/10.1137/0210019.
  12. Scott Freitas, Diyi Yang, Srijan Kumar, Hanghang Tong, and Duen Horng Chau. Graph vulnerability and robustness: A survey. IEEE Trans. Knowl. Data Eng., 35(6):5915-5934, 2023. URL: https://doi.org/10.1109/TKDE.2022.3163672.
  13. Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual, 2023. URL: https://www.gurobi.com.
  14. Monika Henzinger, Alexander Noe, and Christian Schulz. Shared-memory exact minimum cuts. In 2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, pages 13-22. IEEE, 2019. URL: https://doi.org/10.1109/IPDPS.2019.00013.
  15. Monika Henzinger, Alexander Noe, and Christian Schulz. Practical fully dynamic minimum cut algorithms. In Cynthia A. Phillips and Bettina Speckmann, editors, Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, Alexandria, VA, USA, January 9-10, 2022, pages 13-26. SIAM, 2022. URL: https://doi.org/10.1137/1.9781611977042.2.
  16. Monika Henzinger, Alexander Noe, Christian Schulz, and Darren Strash. Practical minimum cut algorithms. In ALENEX, pages 48-61. SIAM, 2018. Google Scholar
  17. Monika Henzinger, Alexander Noe, Christian Schulz, and Darren Strash. Practical minimum cut algorithms. ACM J. Exp. Algorithmics, 23, 2018. Google Scholar
  18. Monika Henzinger, Alexander Noe, Christian Schulz, and Darren Strash. Finding all global minimum cuts in practice. In Fabrizio Grandoni, Grzegorz Herman, and Peter Sanders, editors, 28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference), volume 173 of LIPIcs, pages 59:1-59:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/LIPICS.ESA.2020.59.
  19. Kamal Jain. A factor 2 approximation algorithm for the generalized steiner network problem. Comb., 21(1):39-60, 2001. URL: https://doi.org/10.1007/S004930170004.
  20. Samir Khuller and Ramakrishna Thurimella. Approximation algorithms for graph augmentation. J. Algorithms, 14:214-225, 1993. URL: https://doi.org/10.1006/JAGM.1993.1010.
  21. Guy Kortsarz, Robert Krauthgamer, and James R. Lee. Hardness of approximation for vertex-connectivity network design problems. SIAM J. Comput., 33(3):704-720, 2004. URL: https://doi.org/10.1137/S0097539702416736.
  22. Harry R. Lewis. Ideas That Created the Future: Classic Papers of Computer Science. The MIT Press, February 2021. URL: https://doi.org/10.7551/mitpress/12274.001.0001.
  23. Toshiya Mashima and Toshimasa Watanabe. Approximation algorithms for the k-edge-connectivity augmentation problem. In 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30 - May 3, 1995, pages 155-158. IEEE, 1995. URL: https://doi.org/10.1109/ISCAS.1995.521474.
  24. Thomas Möller. Engineering Weighted Connectivity Augmentation Problems. master thesis, Universität Heidelberg, 2023. Google Scholar
  25. Hiroshi Nagamochi, Yoshitaka Nakao, and Toshihide Ibaraki. A fast algorithm for cactus representations of minimum cuts. Japan Journal of Industrial and Applied Mathematics, 17:245-264, April 2012. URL: https://doi.org/10.1007/BF03167346.
  26. Hiroshi Nagamochi, Tadashi Ono, and Toshihide Ibaraki. Implementing an efficient minimum capacity cut algorithm. Math. Program., 67:325-341, 1994. URL: https://doi.org/10.1007/BF01582226.
  27. Zeev Nutov. Approximation algorithms for connectivity augmentation problems. In Rahul Santhanam and Daniil Musatov, editors, Computer Science - Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28 - July 2, 2021, Proceedings, volume 12730 of Lecture Notes in Computer Science, pages 321-338. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-79416-3_19.
  28. Manfred Padberg and Giovanni Rinaldi. A branch-and-cut algorithm for the resolution of large-scale symmetric traveling salesman problems. SIAM Rev., 33(1):60-100, 1991. URL: https://doi.org/10.1137/1033004.
  29. Vera Traub and Rico Zenklusen. A better-than-2 approximation for weighted tree augmentation. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022, pages 1-12. IEEE, 2021. URL: https://doi.org/10.1109/FOCS52979.2021.00010.
  30. Vera Traub and Rico Zenklusen. A (1.5+ε)-approximation algorithm for weighted connectivity augmentation. In Barna Saha and Rocco A. Servedio, editors, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, pages 1820-1833. ACM, 2023. URL: https://doi.org/10.1145/3564246.3585122.
  31. Jan van den Brand. A deterministic linear program solver in current matrix multiplication time. In Shuchi Chawla, editor, Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, USA, January 5-8, 2020, pages 259-278. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.16.
  32. Toshimasa Watanabe, Toshiya Mashima, and Satoshi Taoka. The k-edge-connectivity augmentation problem of weighted graphs. In Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, and Masafumi Yamashita, editors, Algorithms and Computation, pages 31-40, Berlin, Heidelberg, 1992. Springer Berlin Heidelberg. Google Scholar
  33. Toshimasa Watanabe, Toshiya Mashima, and Satoshi Taoka. Approximation algorithms for minimum-cost augmentation to k-edge-connect a multigraph. In 1993 IEEE International Symposium on Circuits and Systems, ISCAS 1993, Chicago, Illinois, USA, May 3-6, 1993, pages 2556-2559. IEEE, 1993. Google Scholar
  34. Toshimasa Watanabe, Satoshi Taoka, and Toshiya Mashima. Maximum weight matching-based algorithms for k-edge-connectivity augmentation of a graph. In International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pages 2231-2234. IEEE, 2005. URL: https://doi.org/10.1109/ISCAS.2005.1465066.
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact