Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
140 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A Simple $(1-ε)$-Approximation Semi-Streaming Algorithm for Maximum (Weighted) Matching (2307.02968v3)

Published 6 Jul 2023 in cs.DS and cs.DC

Abstract: We present a simple semi-streaming algorithm for $(1-\epsilon)$-approximation of bipartite matching in $O(\log{!(n)}/\epsilon)$ passes. This matches the performance of state-of-the-art "$\epsilon$-efficient" algorithms -- the ones with much better dependence on $\epsilon$ albeit with some mild dependence on $n$ -- while being considerably simpler. The algorithm relies on a direct application of the multiplicative weight update method with a self-contained primal-dual analysis that can be of independent interest. To show case this, we use the same ideas, alongside standard tools from matching theory, to present an equally simple semi-streaming algorithm for $(1-\epsilon)$-approximation of weighted matchings in general (not necessarily bipartite) graphs, again in $O(\log{!(n)}/\epsilon)$ passes.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (51)
  1. S. Assadi. A two-pass (conditional) lower bound for semi-streaming maximum matching. In J. S. Naor and N. Buchbinder, editors, Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022, pages 708–742. SIAM, 2022.
  2. On regularity lemma and barriers in streaming and dynamic matching. In B. Saha and R. A. Servedio, editors, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, pages 131–144. ACM, 2023.
  3. K. J. Ahn and S. Guha. Laminar families and metric embeddings: Non-bipartite maximum matching problem in the semi-streaming model. CoRR, abs/1104.4058, 2011.
  4. K. J. Ahn and S. Guha. Linear programming in the semi-streaming model with application to the maximum matching problem. In Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pages 526–538, 2011.
  5. K. J. Ahn and S. Guha. Access to data and number of iterations: Dual primal algorithms for maximum matching under resource constraints. In G. E. Blelloch and K. 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 202–211. ACM, 2015.
  6. Analyzing graph structure via linear measurements. In Proceedings of the Twenty-third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’12, pages 459–467, 2012.
  7. The multiplicative weights update method: a meta-algorithm and applications. Theory Comput., 8(1):121–164, 2012.
  8. Semi-streaming bipartite matching in fewer passes and optimal space. In J. S. Naor and N. Buchbinder, editors, Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022, pages 627–669. SIAM, 2022.
  9. An auction algorithm for bipartite matching in streaming and massively parallel computation models. In H. V. Le and V. King, editors, 4th Symposium on Simplicity in Algorithms, SOSA 2021, Virtual Conference, January 11-12, 2021, pages 165–171. SIAM, 2021.
  10. S. Assadi and R. Raz. Near-quadratic lower bounds for two-pass graph streaming algorithms. In 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 342–353. IEEE, 2020.
  11. S. Assadi and J. Sundaresan. Hidden permutations to the rescue: Multi-pass streaming lower bounds for approximate matchings. In 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pages 909–932. IEEE, 2023.
  12. Brief announcement: Graph matching in massive datasets. In C. Scheideler and M. T. Hajiaghayi, editors, Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, pages 133–136. ACM, 2017.
  13. A framework for dynamic matching in weighted graphs. In S. Khuller and V. V. Williams, editors, STOC ’21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021, pages 668–681. ACM, 2021.
  14. Tree-representation of set families and applications to combinatorial decompositions. Eur. J. Comb., 33(5):688–711, 2012.
  15. Approximating s-t minimum cuts in Õ(n22{}^{\mbox{2}}start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPT) time. In G. L. Miller, editor, Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996, pages 47–55. ACM, 1996.
  16. Constructing large matchings via query access to a maximal matching oracle. In N. Saxena and S. Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference), volume 182 of LIPIcs, pages 26:1–26:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  17. Communication steps for parallel query processing. In Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013, pages 273–284, 2013.
  18. Twice-ramanujan sparsifiers. In M. Mitzenmacher, editor, Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pages 255–262. ACM, 2009.
  19. Almost optimal super-constant-pass streaming lower bounds for reachability. In S. Khuller and V. V. Williams, editors, STOC ’21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021, pages 570–583. ACM, 2021.
  20. W. H. Cunningham and A. Marsh. A primal algorithm for optimum matching. Polyhedral Combinatorics: Dedicated to the memory of DR Fulkerson, pages 50–72, 1978.
  21. Relative lipschitzness in extragradient methods and a direct recipe for acceleration. In J. R. Lee, editor, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021, January 6-8, 2021, Virtual Conference, volume 185 of LIPIcs, pages 62:1–62:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
  22. R. Duan and S. Pettie. Linear-time approximation for maximum weight matching. J. ACM, 61(1):1:1–1:23, 2014.
  23. J. Edmonds. Maximum matching and a polyhedron with 0, 1-vertices. Journal of research of the National Bureau of Standards B, 69(125-130):55–56, 1965.
  24. Bipartite matching in the semi-streaming model. Algorithmica, 63(1-2):490–508, 2012.
  25. Bipartite graph matchings in the semi-streaming model. In A. Fiat and P. Sanders, editors, Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, volume 5757 of Lecture Notes in Computer Science, pages 492–503. Springer, 2009.
  26. On graph problems in a semi-streaming model. Theor. Comput. Sci., 348(2-3):207–216, 2005.
  27. Deterministic (1+ϵitalic-ϵ\epsilonitalic_ϵ)-approximate maximum matching with poly(1/ϵitalic-ϵ\epsilonitalic_ϵ) passes in the semi-streaming model and beyond. In S. Leonardi and A. Gupta, editors, STOC ’22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, pages 248–260. ACM, 2022.
  28. On the communication and streaming complexity of maximum bipartite matching. In Y. Rabani, editor, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012, pages 468–485. SIAM, 2012.
  29. Weighted matchings via unweighted augmentations. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019, pages 491–500, 2019.
  30. S. Huang and H. Su. (1−ε)1𝜀(1-\varepsilon)( 1 - italic_ε )-approximate maximum weighted matching in distributed, parallel, and semi-streaming settings. In R. Oshman, A. Nolin, M. M. Halldórsson, and A. Balliu, editors, Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023, pages 44–54. ACM, 2023.
  31. Fractional set cover in the streaming model. In K. Jansen, J. D. P. Rolim, D. Williamson, and S. S. Vempala, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2017, August 16-18, 2017, Berkeley, CA, USA, volume 81 of LIPIcs, pages 12:1–12:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
  32. A direct tilde{O}(1/epsilon) iteration parallel algorithm for optimal transport. In H. M. Wallach, H. Larochelle, A. Beygelzimer, F. d’Alché-Buc, E. B. Fox, and R. Garnett, editors, Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, pages 11355–11366, 2019.
  33. M. Kapralov. Better bounds for matchings in the streaming model. In Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, New Orleans, Louisiana, USA, January 6-8, 2013, pages 1679–1697, 2013.
  34. M. Kapralov. Space lower bounds for approximating maximum matching in the edge arrival model. In D. Marx, editor, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021, pages 1874–1893. SIAM, 2021.
  35. Fast greedy algorithms in mapreduce and streaming. In 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA ’13, Montreal, QC, Canada - July 23 - 25, 2013, pages 1–10, 2013.
  36. C. Konrad and K. K. Naidu. On two-pass streaming algorithms for maximum bipartite matching. In M. Wootters and L. Sanità, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021, August 16-18, 2021, University of Washington, Seattle, Washington, USA (Virtual Conference), volume 207 of LIPIcs, pages 19:1–19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
  37. C. Konrad and K. K. Naidu. An unconditional lower bound for two-pass streaming algorithms for maximum matching approximation. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2881–2899. SIAM, 2024.
  38. Maximum matching via maximal matching queries. In P. Berenbrink, P. Bouyer, A. Dawar, and M. M. Kanté, editors, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, March 7-9, 2023, Hamburg, Germany, volume 254 of LIPIcs, pages 41:1–41:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
  39. D. Kőnig. Gráfok és mátrixok. Matematikai és Fizikai Lapok, 38:116–119, 1931.
  40. A model of computation for mapreduce. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January 17-19, 2010, pages 938–948, 2010.
  41. On the number of iterations for dantzig-wolfe optimization and packing-covering approximation algorithms. In G. Cornuéjols, R. E. Burkard, and G. J. Woeginger, editors, Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, volume 1610 of Lecture Notes in Computer Science, pages 320–327. Springer, 1999.
  42. Filtering: a method for solving graph problems in mapreduce. In SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with FCRC 2011), pages 85–94, 2011.
  43. L. Lovász and M. D. Plummer. Matching theory, volume 367. American Mathematical Soc., 2009.
  44. A. McGregor. Finding graph matchings in data streams. In Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings, pages 170–181, 2005.
  45. A. McGregor. Graph stream algorithms: a survey. SIGMOD Rec., 43(1):9–20, 2014.
  46. Approximate medians and other quantiles in one pass and with limited memory. In L. M. Haas and A. Tiwary, editors, SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA, pages 426–435. ACM Press, 1998.
  47. A. Nemirovski. Prox-method with rate of convergence o(1/t) for variational inequalities with lipschitz continuous monotone operators and smooth convex-concave saddle point problems. SIAM J. Optim., 15(1):229–251, 2004.
  48. Y. E. Nesterov. Dual extrapolation and its applications to solving variational inequalities and related problems. Math. Program., 109(2-3):319–344, 2007.
  49. Fast approximation algorithms for fractional packing and covering problems. In 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pages 495–504. IEEE Computer Society, 1991.
  50. J. Sherman. Area-convexity, l∞{}_{\mbox{{$\infty$}}}start_FLOATSUBSCRIPT ∞ end_FLOATSUBSCRIPT regularization, and undirected multicommodity flow. In H. Hatami, P. McKenzie, and V. King, editors, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, pages 452–460. ACM, 2017.
  51. S. Tirodkar. Deterministic algorithms for maximum matching on general graphs in the semi-streaming model. In 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pages 39:1–39:16, 2018.

Summary

We haven't generated a summary for this paper yet.

X Twitter Logo Streamline Icon: https://streamlinehq.com