Document Open Access Logo

Hypergraph Connectivity Augmentation in Strongly Polynomial Time

Authors Kristóf Bérczi, Karthekeyan Chandrasekaran, Tamás Király , Shubhang Kulkarni

PDF
Thumbnail PDF

File

LIPIcs.ESA.2024.22.pdf
  • Filesize: 0.84 MB
  • 19 pages

Document Identifiers

Author Details

Kristóf Bérczi
  • MTA-ELTE Matroid Optimization Research Group and HUN-REN-ELTE Egerváry Research Group, Department of Operations Research, Eötvös Loránd University, Budapest, Hungary
Karthekeyan Chandrasekaran
  • University of Illinois, Urbana-Champaign, IL, USA
Tamás Király
  • MTA-ELTE Matroid Optimization Research Group and HUN-REN-ELTE Egerváry Research Group, Department of Operations Research, Eötvös Loránd University, Budapest, Hungary
Shubhang Kulkarni
  • University of Illinois, Urbana-Champaign, IL, USA

Funding

Karthekeyan Chandrasekaran and Shubhang Kulkarni were supported in part by NSF grants CCF-1814613, CCF-1907937, and CCF-2402667. Karthekeyan was supported in part by the Distinguished Guest Scientist Fellowship of the Hungarian Academy of Sciences - grant number VK-6/1/2022. Kristóf and Tamás were supported in part by the Lendület Programme of the Hungarian Academy of Sciences - grant number LP2021-1/2021, by the Ministry of Innovation and Technology of Hungary from the National Research, Development and Innovation Fund - grant number ELTE TKP 2021-NKTA-62 funding scheme, and by the Dynasnet European Research Council Synergy project - grant number ERC-2018-SYG 810115.

Acknowledgements

Part of this work was done while Karthekeyan and Shubhang were visiting Eötvös Loránd University.

Cite AsGet BibTex

Kristóf Bérczi, Karthekeyan Chandrasekaran, Tamás Király, and Shubhang Kulkarni. Hypergraph Connectivity Augmentation in Strongly Polynomial Time. In 32nd Annual European Symposium on Algorithms (ESA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 308, pp. 22:1-22:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ESA.2024.22

Abstract

We consider hypergraph network design problems where the goal is to construct a hypergraph that satisfies certain connectivity requirements. For graph network design problems where the goal is to construct a graph that satisfies certain connectivity requirements, the number of edges in every feasible solution is at most quadratic in the number of vertices. In contrast, for hypergraph network design problems, we might have feasible solutions in which the number of hyperedges is exponential in the number of vertices. This presents an additional technical challenge in hypergraph network design problems compared to graph network design problems: in order to solve the problem in polynomial time, we first need to show that there exists a feasible solution in which the number of hyperedges is polynomial in the input size. The central theme of this work is to overcome this additional technical challenge for certain hypergraph network design problems. We show that these hypergraph network design problems admit solutions in which the number of hyperedges is polynomial in the number of vertices and moreover, can be solved in strongly polynomial time. Our work improves on the previous fastest pseudo-polynomial run-time for these problems. As applications of our results, we derive the first strongly polynomial time algorithms for (i) degree-specified hypergraph connectivity augmentation using hyperedges and (ii) degree-specified hypergraph node-to-area connectivity augmentation using hyperedges.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Hypergraphs
  • Mathematics of computing → Combinatorial algorithms
  • Theory of computation → Network optimization
Keywords
  • Hypergraphs
  • Hypergraph Connectivity
  • Submodular Functions
  • Combinatorial Optimization

Metrics

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

Related Versions

References

  1. O. Alrabiah, V. Guruswami, and R. Li. Randomly punctured Reed-Solomon codes achieve list-decoding capacity over linear-sized fields. Preprint on arXiv: 2304.09445, 2023. Google Scholar
  2. N. Bansal, O. Svensson, and L. Trevisan. New notions and constructions of sparsification for graphs and hypergraphs. In IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS, pages 910-928, 2019. Google Scholar
  3. C. Beideman, K. Chandrasekaran, and W. Wang. Deterministic enumeration of all minimum k-cut-sets in hypergraphs for fixed k. In Proceedings of the 33rd annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2208-2228, 2022. Google Scholar
  4. C. Beideman, Ka. Chandrasekaran, and W. Wang. Counting and enumerating optimum cut sets for hypergraph k-partitioning problems for fixed k. In International Colloquium on Automata, Languages and Programming, ICALP, pages 16:1-16:18, 2022. Google Scholar
  5. A. Benczúr. Parallel and fast sequential algorithms for undirected edge connectivity augmentation. Math. Program., 84:595-640, 1999. Google Scholar
  6. A. Benczúr and D. Karger. Augmenting Undirected Edge Connectivity in Õ(n²) Time. Journal of Algorithms, 37(1):2-36, 2000. Google Scholar
  7. A. Bernáth and T. Király. Covering skew-supermodular functions by hypergraphs of minimum total size. Operations Research Letters, 37(5):345-350, 2009. Google Scholar
  8. A. Bhalgat, R. Hariharan, T. Kavitha, and D. Panigrahi. Fast Edge Splitting and Edmonds' Arborescence Construction for Unweighted Graphs. In Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 455-464, 2008. Google Scholar
  9. J. Byrka, F. Grandoni, and A. J. Ameli. Breaching the 2-approximation barrier for connectivity augmentation: a reduction to steiner tree. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, pages 815-825, 2020. Google Scholar
  10. K. Bérczi, K. Chandrasekaran, T. Király, and S. Kulkarni. Hypergraph connectivity augmentation in strongly polynomial time, 2024. URL: https://arxiv.org/abs/2402.10861.
  11. G.-R. Cai and Y.-G. Sun. The minimum augmentation of any graph to k-edge-connected graph. Networks, 19:151-172, 1989. Google Scholar
  12. R. Cen, W. He, J. Li, and Debmalya Panigrahi. Steiner connectivity augmentation and splitting-off in poly-logarithmic maximum flows. In Proceedings of the 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2449-2488, 2023. Google Scholar
  13. R. Cen, J. Li, and D. Panigrahi. Augmenting edge connectivity via isolating cuts. In Proceedings of the 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 3237-3252, 2022. Google Scholar
  14. R. Cen, J. Li, and D. Panigrahi. Edge connectivity augmentation in near-linear time. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC, pages 137-150, 2022. Google Scholar
  15. K. Chandrasekaran and C. Chekuri. Hypergraph k-cut for fixed k in deterministic polynomial time. Mathematics of Operations Research, 47(4), 2022. Prelim. version in FOCS 2020. Google Scholar
  16. K. Chandrasekaran and C. Chekuri. Min-max partitioning of hypergraphs and symmetric submodular functions. Combinatorica, 43:455-477, 2023. Prelim. version in SODA 2021. Google Scholar
  17. K. Chandrasekaran, C. Xu, and X. Yu. Hypergraph k-Cut in randomized polynomial time. Mathematical Programming, 186:85-113, 2021. Prelim. version in SODA 2018. Google Scholar
  18. C. Chekuri and C. Xu. Minimum cuts and sparsification in hypergraphs. SIAM Journal on Computing, 47(6):2118-2156, 2018. Google Scholar
  19. Y. Chen, S. Khanna, and A. Nagda. Near-linear size hypergraph cut sparsifiers. In IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS, pages 61-72, 2020. Google Scholar
  20. B. Cosh, B. Jackson, and Z. Király. Local edge-connectivity augmentation in hypergraphs is NP-complete. Discrete Applied Mathematics, 158(6):723-727, 2010. Google Scholar
  21. Q. Dai and Y. Gao. Hypergraph Modeling, pages 49-71. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer Nature, Singapore, 2023. URL: https://doi.org/10.1007/978-981-99-0185-2_4.
  22. S. Feng, E. Heath, B. Jefferson, C. Joslyn, H. Kvinge, H. D. Mitchell, B. Praggastis, A. J. Eisfeld, A. C. Sims, L. B. Thackray, S. Fan, K. B. Walters, P. J. Halfmann, D. Westhoff-Smith, Q. Tan, V. D. Menachery, T. P. Sheahan, A. S. Cockrell, J. F. Kocher, K. G. Stratton, N. C. Heller, L. M. Bramer, M. S. Diamond, R. S. Baric, K. M. Waters, Y. Kawaoka, J. E. McDermott, and E. Purvine. Hypergraph models of biological networks to identify genes critical to pathogenic viral response. BMC Bioinformatics, 22(1):287, May 2021. URL: https://doi.org/10.1186/s12859-021-04197-2.
  23. Y. Feng, H. You, Z. Zhang, R. Ji, and Y. Gao. Hypergraph neural networks. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01):3558-3565, July 2019. URL: https://doi.org/10.1609/aaai.v33i01.33013558.
  24. K. Fox, D. Panigrahi, and F. Zhang. Minimum cut and minimum k-cut in hypergraphs via branching contractions. ACM Trans. Algorithms, 19(2), 2023. Prelim. version in SODA 2019. Google Scholar
  25. A. Frank. Augmenting graphs to meet edge-connectivity requirements. SIAM Journal on Discrete Mathematics, 5(1):25-53, 1992. Google Scholar
  26. A Frank. Connectivity augmentation problems in network design. Mathematical Programming: State of the Art 1994, pages 34-63, 1994. Google Scholar
  27. H. N. Gabow. Efficient splitting off algorithms for graphs. In Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC, pages 696-705, 1994. Google Scholar
  28. M. Ghaffari, D. Karger, and D. Panigrahi. Random Contractions and Sampling for Hypergraph and Hedge Connectivity. In Proceedings of the 28th annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 1101-1114, 2017. Google Scholar
  29. F. Grandoni, A. J. Ameli, and V. Traub. Breaching the 2-approximation barrier for the forest augmentation problem. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pages 1598-1611, 2022. Google Scholar
  30. Z. Guo, R. Li, C. Shangguan, I. Tamo, and M. Wootters. Improved List-Decodability and List-Recoverability of Reed-Solomon Codes via Tree Packings. In IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS, pages 708-719, 2022. Google Scholar
  31. M. M. Halldórsson, T. Ishii, K. Makino, and K. Takazawa. Posimodular function optimization. Algorithmica, 84(4):1107-1131, 2022. Google Scholar
  32. A. Jambulapati, Y. P. Liu, and A. Sidford. Chaining, group leverage score overestimates, and fast spectral hypergraph sparsification. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC, pages 196-206, 2023. Google Scholar
  33. M. Kapralov, R. Krauthgamer, J. Tardos, and Y. Yoshida. Towards tight bounds for spectral sparsification of hypergraphs. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC, pages 598-611, 2021. Google Scholar
  34. M. Kapralov, R. Krauthgamer, J. Tardos, and Y. Yoshida. Spectral Hypergraph Sparsifiers of Nearly Linear Size. In IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS, pages 1159-1170, 2022. Google Scholar
  35. S. Klamt, U.-U. Haus, and F. Theis. Hypergraphs and cellular networks. PLoS Computational Biology, 5(5):e1000385, May 2009. URL: https://doi.org/10.1371/journal.pcbi.1000385.
  36. D. Kogan and R. Krauthgamer. Sketching cuts in graphs and hypergraphs. In Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS, pages 367-376, 2015. Google Scholar
  37. L. C. Lau and C. K. Yung. Efficient Edge Splitting-Off Algorithms Maintaining All-Pairs Edge-Connectivities. SIAM Journal on Computing, 42(3):1185-1200, 2013. Google Scholar
  38. J. R. Lee. Spectral hypergraph sparsification via chaining. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC, pages 207-218, 2023. Google Scholar
  39. P. Li and O. Milenkovic. Inhomogeneous hypergraph clustering with applications. Advances in neural information processing systems, 30, 2017. Google Scholar
  40. H. Miwa and H. Ito. NA-edge-connectivity augmentation problems by adding edges. J. Oper. Res. Soc Japan, 47:224-243, 2004. Google Scholar
  41. D. Naor, D. Gusfield, and C. Martel. A fast algorithm for optimally increasing the edge connectivity. SIAM Journal on Computing, 26(4):1139-1165, 1997. Google Scholar
  42. S. Ornes. How big data carried graph theory into new dimensions. Quanta Magazine, 2021. URL: https://www.quantamagazine.org/how-big-data-carried-graph-theory-into-new-dimensions-20210819/.
  43. K. Quanrud. Quotient sparsification for submodular functions. Manuscript available at kentquanrud.com, November 2022.
  44. S. Schlag, T. Heuer, L. Gottesbüren, Y. Akhremtsev, C. Schulz, and P. Sanders. High-quality hypergraph partitioning. ACM Journal of Experimental Algorithmics, 27:1-39, 2023. Google Scholar
  45. T. Soma and Y. Yoshida. Spectral sparsification of hypergraphs. In Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2570-2581, 2019. Google Scholar
  46. Z. Szigeti. Hypergraph connectivity augmentation. Math. Program., 84(3):519-527, 1999. Google Scholar
  47. V. Traub and R. Zenklusen. A better-than-2 approximation for weighted tree augmentation. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 1-12, 2022. Google Scholar
  48. V. Traub and R. Zenklusen. Local search for weighted tree augmentation and steiner tree. In Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3253-3272, 2022. Google Scholar
  49. V. Traub and R. Zenklusen. A (1.5+ε)-Approximation Algorithm for Weighted Connectivity Augmentation. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 1820-1833, 2023. Google Scholar
  50. N. Veldt, A. R. Benson, and J. Kleinberg. Hypergraph cuts with general splitting functions. SIAM Review, 64(3):650-685, 2022. URL: https://doi.org/10.1137/20M1321048.
  51. Y. Wang and J. Kleinberg. From graphs to hypergraphs: Hypergraph projection and its remediation. In (To appear) The Twelfth International Conference on Learning Representations, 2024. URL: https://openreview.net/forum?id=qwYKE3VB2h.
  52. T. Watanabe and A. Nakamura. Edge-connectivity augmentation problems. Journal of Computer and System Sciences, 35(1):96-144, 1987. Google Scholar
  53. J.-G. Young, G. Petri, and T. P. Peixoto. Hypergraph reconstruction from network data. Communications Physics, 4(11):1-11, June 2021. URL: https://doi.org/10.1038/s42005-021-00637-w.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact