Sublinear Metric Steiner Tree via Improved Bounds for Set Cover

Authors Sepideh Mahabadi , Mohammad Roghani , Jakub Tarnawski , Ali Vakilian



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2025.74.pdf
  • Filesize: 0.86 MB
  • 24 pages

Document Identifiers

Author Details

Sepideh Mahabadi
  • Microsoft Research, Redmond, WA, USA
Mohammad Roghani
  • Stanford University, CA, USA
Jakub Tarnawski
  • Microsoft Research, Redmond, WA, USA
Ali Vakilian
  • Toyota Technological Institute at Chicago (TTIC), Il, USA

Acknowledgements

This work was done while Mohammad Roghani was an intern at Microsoft Research. The work was conducted in part while Sepideh Mahabadi and Ali Vakilian were long-term visitors at the Simons Institute for the Theory of Computing as part of the Sublinear Algorithms program.

Cite As Get BibTex

Sepideh Mahabadi, Mohammad Roghani, Jakub Tarnawski, and Ali Vakilian. Sublinear Metric Steiner Tree via Improved Bounds for Set Cover. In 16th Innovations in Theoretical Computer Science Conference (ITCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 325, pp. 74:1-74:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ITCS.2025.74

Abstract

We study the metric Steiner tree problem in the sublinear query model. In this problem, for a set of n points V in a metric space given to us by means of query access to an n× n matrix w, and a set of terminals T ⊆ V, the goal is to find the minimum-weight subset of the edges that connects all the terminal vertices.
Recently, Chen, Khanna and Tan [SODA'23] gave an algorithm that uses Õ(n^{13/7}) queries and outputs a (2-η)-estimate of the metric Steiner tree weight, where η > 0 is a universal constant. A key component in their algorithm is a sublinear algorithm for a particular set cover problem where, given a set system (𝒰, ℱ), the goal is to provide a multiplicative-additive estimate for |𝒰|-SC(𝒰, ℱ). Here 𝒰 is the set of elements, ℱ is the collection of sets, and SC(𝒰, ℱ) denotes the optimal set cover size of (𝒰, ℱ). In particular, their algorithm returns a (1/4, ε⋅|𝒰|)-multiplicative-additive estimate for this set cover problem using Õ(|ℱ|^{7/4}) membership oracle queries (querying whether a set S ∈ 𝒮 contains an element e ∈ 𝒰), where ε is a fixed constant. 
In this work, we improve the query complexity of (2-η)-estimating the metric Steiner tree weight to Õ(n^{5/3}) by showing a (1/2, ε⋅|𝒰|)-estimate for the above set cover problem using Õ(|ℱ|^{5/3}) membership queries. To design our set cover algorithm, we estimate the size of a random greedy maximal matching for an auxiliary multigraph that the algorithm constructs implicitly, without access to its adjacency list or matrix. Previous analyses of random greedy maximal matching have focused on simple graphs, assuming access to their adjacency list or matrix. To address this, we extend the analysis of Behnezhad [FOCS'21] of random greedy maximal matching on simple graphs to multigraphs, and prove additional properties that may be of independent interest.

Subject Classification

ACM Subject Classification
  • Theory of computation → Streaming, sublinear and near linear time algorithms
Keywords
  • Sublinear Algorithms
  • Steiner Tree
  • Set Cover
  • Maximum Matching
  • Approximation Algorithm

Metrics

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

References

  1. Sepehr Assadi. Tight space-approximation tradeoff for the multi-pass streaming set cover problem. In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on principles of database systems, pages 321-335, 2017. URL: https://doi.org/10.1145/3034786.3056116.
  2. Sepehr Assadi, Sanjeev Khanna, and Yang Li. Tight bounds for single-pass streaming complexity of the set cover problem. In Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, pages 698-711, 2016. URL: https://doi.org/10.1145/2897518.2897576.
  3. Baruch Awerbuch, Yossi Azar, and Yair Bartal. On-line generalized steiner problem. Theoretical Computer Science, 324(2-3):313-324, 2004. URL: https://doi.org/10.1016/J.TCS.2004.05.021.
  4. Amir Azarmehr, Soheil Behnezhad, and Mohammad Roghani. Fully dynamic matching: -approximation in polylog update time. In David P. Woodruff, editor, Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, SODA 2024, Alexandria, VA, USA, January 7-10, 2024, pages 3040-3061. SIAM, 2024. URL: https://doi.org/10.1137/1.9781611977912.109.
  5. MohammadHossein Bateni, Hossein Esfandiari, and Vahab Mirrokni. Almost optimal streaming algorithms for coverage problems. In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, pages 13-23, 2017. URL: https://doi.org/10.1145/3087556.3087585.
  6. Soheil Behnezhad. Time-optimal sublinear algorithms for matching and vertex cover. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS, pages 873-884, 2021. URL: https://doi.org/10.1109/FOCS52979.2021.00089.
  7. Soheil Behnezhad, Mohammad Roghani, and Aviad Rubinstein. Local computation algorithms for maximum matching: New lower bounds. In 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pages 2322-2335. IEEE, 2023. URL: https://doi.org/10.1109/FOCS57990.2023.00143.
  8. Soheil Behnezhad, Mohammad Roghani, and Aviad Rubinstein. Sublinear time algorithms and complexity of approximate maximum matching. 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 267-280. ACM, 2023. URL: https://doi.org/10.1145/3564246.3585231.
  9. Soheil Behnezhad, Mohammad Roghani, and Aviad Rubinstein. Approximating maximum matching requires almost quadratic time. In Bojan Mohar, Igor Shinkar, and Ryan O'Donnell, editors, Proceedings of the 56th Annual ACM Symposium on Theory of Computing, STOC 2024, Vancouver, BC, Canada, June 24-28, 2024, pages 444-454. ACM, 2024. URL: https://doi.org/10.1145/3618260.3649785.
  10. Soheil Behnezhad, Mohammad Roghani, Aviad Rubinstein, and Amin Saberi. Beating greedy matching in sublinear time. In Nikhil Bansal and Viswanath Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, pages 3900-3945. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH151.
  11. Soheil Behnezhad, Mohammad Roghani, Aviad Rubinstein, and Amin Saberi. Sublinear algorithms for TSP via path covers. In 51st International Colloquium on Automata, Languages, and Programming, ICALP, volume 297 of LIPIcs, pages 19:1-19:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. URL: https://doi.org/10.4230/LIPICS.ICALP.2024.19.
  12. Sayan Bhattacharya, Peter Kiss, and Thatchaphol Saranurak. Dynamic (1+ε)-approximate matching size in truly sublinear update time. In 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pages 1563-1588. IEEE, 2023. URL: https://doi.org/10.1109/FOCS57990.2023.00095.
  13. Sayan Bhattacharya, Peter Kiss, Thatchaphol Saranurak, and David Wajc. Dynamic matching with better-than-2 approximation in polylogarithmic update time. In Nikhil Bansal and Viswanath Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, pages 100-128. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH5.
  14. Jaroslaw Byrka, Fabrizio Grandoni, Thomas Rothvoß, and Laura Sanita. An improved lp-based approximation for steiner tree. In Proceedings of the forty-second ACM symposium on Theory of computing, pages 583-592, 2010. URL: https://doi.org/10.1145/1806689.1806769.
  15. Bernard Chazelle, Ronitt Rubinfeld, and Luca Trevisan. Approximating the minimum spanning tree weight in sublinear time. SIAM Journal on computing, 34(6):1370-1379, 2005. URL: https://doi.org/10.1137/S0097539702403244.
  16. Yu Chen, Sanjeev Khanna, and Zihan Tan. Query complexity of the metric steiner tree problem. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 4893-4935. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH179.
  17. Miroslav Chlebík and Janka Chlebíková. The steiner tree problem on graphs: Inapproximability results. Theoretical Computer Science, 406(3):207-214, 2008. URL: https://doi.org/10.1016/J.TCS.2008.06.046.
  18. Artur Czumaj and Christian Sohler. Estimating the weight of metric minimum spanning trees in sublinear time. SIAM Journal on Computing, 39(3):904-922, 2009. URL: https://doi.org/10.1137/060672121.
  19. Erik D Demaine, Piotr Indyk, Sepideh Mahabadi, and Ali Vakilian. On streaming and communication complexity of the set cover problem. In Distributed Computing: 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings 28, pages 484-498. Springer, 2014. URL: https://doi.org/10.1007/978-3-662-45174-8_33.
  20. Yuval Emek and Adi Rosén. Semi-streaming set cover. ACM Transactions on Algorithms (TALG), 13(1):1-22, 2016. URL: https://doi.org/10.1145/2957322.
  21. Manuela Fischer and Andreas Noever. Tight analysis of parallel randomized greedy MIS. In Artur Czumaj, editor, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 2152-2160. SIAM, 2018. URL: https://doi.org/10.1137/1.9781611975031.140.
  22. Naveen Garg, Anupam Gupta, Stefano Leonardi, and Piotr Sankowski. Stochastic analyses for online combinatorial optimization problems. In Shang-Hua Teng, editor, Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 942-951, 2008. URL: http://dl.acm.org/citation.cfm?id=1347082.1347185.
  23. Edgar N Gilbert and Henry O Pollak. Steiner minimal trees. SIAM Journal on Applied Mathematics, 16(1):1-29, 1968. Google Scholar
  24. Christoph Grunau, Slobodan Mitrovic, Ronitt Rubinfeld, and Ali Vakilian. Improved local computation algorithm for set cover via sparsification. 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 2993-3011. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.181.
  25. Anupam Gupta, MohammadTaghi Hajiaghayi, and Amit Kumar. Stochastic steiner tree with non-uniform inflation. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pages 134-148. Springer, 2007. URL: https://doi.org/10.1007/978-3-540-74208-1_10.
  26. Anupam Gupta and Amit Kumar. Online steiner tree with deletions. In Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, pages 455-467. SIAM, 2014. URL: https://doi.org/10.1137/1.9781611973402.34.
  27. Anupam Gupta and Martin Pál. Stochastic steiner trees without a root. In Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings 32, pages 1051-1063. Springer, 2005. URL: https://doi.org/10.1007/11523468_85.
  28. Sariel Har-Peled, Piotr Indyk, Sepideh Mahabadi, and Ali Vakilian. Towards tight bounds for the streaming set cover problem. In Tova Milo and Wang-Chiew Tan, editors, Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016, pages 371-383. ACM, 2016. URL: https://doi.org/10.1145/2902251.2902287.
  29. Makoto Imase and Bernard M Waxman. Dynamic steiner tree problem. SIAM Journal on Discrete Mathematics, 4(3):369-384, 1991. URL: https://doi.org/10.1137/0404033.
  30. Piotr Indyk, Sepideh Mahabadi, Ronitt Rubinfeld, Jonathan Ullman, Ali Vakilian, and Anak Yodpinyanee. Fractional set cover in the streaming model. In 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problem (APPROX 2017), 2017. Google Scholar
  31. Piotr Indyk, Sepideh Mahabadi, Ronitt Rubinfeld, Ali Vakilian, and Anak Yodpinyanee. Set cover in sub-linear time. In Artur Czumaj, editor, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, New Orleans, LA, USA, January 7-10, 2018, pages 2467-2486. SIAM, 2018. URL: https://doi.org/10.1137/1.9781611975031.158.
  32. Kumar Joag-Dev and Frank Proschan. Negative association of random variables with applications. The Annals of Statistics, 11(1):286-295, 1983. Google Scholar
  33. Michael Kapralov, Slobodan Mitrovic, Ashkan Norouzi-Fard, and Jakab Tardos. Space efficient approximation to maximum matching size from uniform edge samples. 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 1753-1772. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.107.
  34. Richard M. Karp. Reducibility among combinatorial problems. In Raymond E. Miller and James W. Thatcher, editors, Proceedings of Symposium on the Complexity of Computer Computations, pages 85-103. Plenum Press, New York, 1972. URL: https://doi.org/10.1007/978-1-4684-2001-2_9.
  35. Alam Khursheed and K. M. Lai Saxena. Positive dependence in multivariate distributions. Communications in Statistics - Theory and Methods, 10(12):1183-1196, 1981. Google Scholar
  36. Reut Levi, Ronitt Rubinfeld, and Anak Yodpinyanee. Brief announcement: Local computation algorithms for graphs of non-constant degrees. In Guy E. Blelloch and Kunal Agrawal, editors, Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2015, Portland, OR, USA, June 13-15, 2015, pages 59-61. ACM, 2015. URL: https://doi.org/10.1145/2755573.2755615.
  37. Nicole Megow, Martin Skutella, José Verschae, and Andreas Wiese. The power of recourse for online mst and tsp. SIAM Journal on Computing, 45(3):859-880, 2016. URL: https://doi.org/10.1137/130917703.
  38. Krzysztof Onak, Dana Ron, Michal Rosen, and Ronitt Rubinfeld. A Near-Optimal Sublinear-Time Algorithm for Approximating the Minimum Vertex Cover Size. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 1123-1131, 2012. URL: https://doi.org/10.1137/1.9781611973099.88.
  39. Michal Parnas and Dana Ron. Approximating the minimum vertex cover in sublinear time and a connection to distributed algorithms. Theor. Comput. Sci., 381(1-3):183-196, 2007. URL: https://doi.org/10.1016/J.TCS.2007.04.040.
  40. Gabriel Robins and Alexander Zelikovsky. Tighter bounds for graph steiner tree approximation. SIAM Journal on Discrete Mathematics, 19(1):122-134, 2005. URL: https://doi.org/10.1137/S0895480101393155.
  41. Barna Saha and Lise Getoor. On maximum coverage in the streaming model & application to multi-topic blog-watch. In Proceedings of the 2009 siam international conference on data mining, pages 697-708. SIAM, 2009. URL: https://doi.org/10.1137/1.9781611972795.60.
  42. David Wajc. Negative association: definition, properties, and applications. Manuscript, available from https://goo. gl/j2ekqM, 2017. Google Scholar
  43. Yuichi Yoshida, Masaki Yamamoto, and Hiro Ito. An improved constant-time approximation algorithm for maximum matchings. In Michael Mitzenmacher, editor, Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC, pages 225-234. ACM, 2009. URL: https://doi.org/10.1145/1536414.1536447.
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