Skip to main content

Maximum Matching on Trees in the Online Preemptive and the Incremental Dynamic Graph Models

  • Conference paper
  • First Online:
Book cover Computing and Combinatorics (COCOON 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10392))

Included in the following conference series:

Abstract

We study the Maximum Cardinality Matching (MCM) and the Maximum Weight Matching (MWM) problems, on trees and on some special classes of graphs, in the Online Preemptive and the Incremental Dynamic Graph models. In the Online Preemptive model, the edges of a graph are revealed one by one and the algorithm is required to always maintain a valid matching. On seeing an edge, the algorithm has to either accept or reject the edge. If accepted, then the adjacent edges are discarded, and all rejections are permanent. In this model, the complexity of the problems is settled for deterministic algorithms [11, 15]. Epstein et al. [5] gave a 5.356-competitive randomized algorithm for MWM, and also proved a lower bound of 1.693 for MCM. The same lower bound applies for MWM.

In this paper we show that some of the results can be improved in the case of trees and some special classes of graphs. In the online preemptive model, we present a 64/33-competitive (in expectation) randomized algorithm (which uses only two bits of randomness) for MCM on trees.

Inspired by the above mentioned algorithm for MCM, we present the main result of the paper, a randomized algorithm for MCM with a “worst case” update time of O(1), in the incremental dynamic graph model, which is 3/2-approximate (in expectation) on trees, and 1.8-approximate (in expectation) on general graphs with maximum degree 3.

We also present a minor result for MWM in the online preemptive model, a 3-competitive (in expectation) randomized algorithm (that uses only O(1) bits of randomness) on growing trees (where the input revealed upto any stage is always a tree, i.e. a new edge never connects two disconnected trees).

S. Tirodkar—A part of this work was done when the author was a student in the Department of Computer Science and Engineering at IIT Bombay.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bernstein, A., Stein, C.: Faster fully dynamic matchings with small approximation ratios. In: Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, 10–12 January 2016, pp. 692–711 (2016)

    Google Scholar 

  2. Bhattacharya, S., Henzinger, M., Nanongkai, D.: Fully dynamic approximate maximum matching and minimum vertex cover in \(O\)(log\({}^{\text{3}} n\)) worst case update time. In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, 16–19 January, pp. 470–489 (2017)

    Google Scholar 

  3. Chiplunkar, A., Tirodkar, S., Vishwanathan, S.: On randomized algorithms for matching in the online preemptive model. In: Bansal, N., Finocchi, I. (eds.) ESA 2015. LNCS, vol. 9294, pp. 325–336. Springer, Heidelberg (2015). doi:10.1007/978-3-662-48350-3_28

    Chapter  Google Scholar 

  4. Epstein, L., Levin, A., Mestre, J., Segev, D.: Improved approximation guarantees for weighted matching in the semi-streaming model. SIAM J. Discrete Math. 25(3), 1251–1265 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  5. Epstein, L., Levin, A., Segev, D., Weimann, O.: Improved bounds for online preemptive matching. In: Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, Kiel, Germany, pp. 389–399 (2013)

    Google Scholar 

  6. Feigenbaum, J., Kannan, S., McGregor, A., Suri, S., Zhang, J.: On graph problems in a semi-streaming model. Theor. Comput. Sci. 348(2), 207–216 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  7. Gupta, M.: Maintaining approximate maximum matching in an incremental bipartite graph in polylogarithmic update time. In: Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, New Delhi, India, 15–17 December 2014, pp. 227–239 (2014) (2014)

    Google Scholar 

  8. Gupta, M., Peng, R.: Fully dynamic \((1+ \epsilon )\)-approximate matchings. In: Proceedings of the 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, FOCS 2013, pp. 548–557. IEEE Computer Society, Washington, DC (2013)

    Google Scholar 

  9. Kalyanasundaram, B., Pruhs, K.: Online weighted matching. J. Algorithms 14(3), 478–488 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  10. Karp, R.M., Vazirani, U.V., Vazirani, V.V.: An optimal algorithm for on-line bipartite matching. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing, STOC 1990, pp. 352–358. ACM, New York (1990)

    Google Scholar 

  11. McGregor, A.: Finding graph matchings in data streams. In: Chekuri, C., Jansen, K., Rolim, J.D.P., Trevisan, L. (eds.) APPROX/RANDOM -2005. LNCS, vol. 3624, pp. 170–181. Springer, Heidelberg (2005). doi:10.1007/11538462_15

    Google Scholar 

  12. Schrijver, A.: Combinatorial Optimization - Polyhedra and Efficiency. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  13. Solomon, S.: Fully dynamic maximal matching in constant update time. In: IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, Hyatt Regency, New Brunswick, New Jersey, USA, 9–11 October 2016, pp. 325–334 (2016)

    Google Scholar 

  14. Tirodkar, S., Vishwanathan, S.: Maximum matching on trees in the online preemptive and the incremental dynamic graph models. CoRR abs/1612.05419 (2016). http://arxiv.org/abs/1612.05419

  15. Badanidiyuru Varadaraja, A.: Buyback problem - approximate matroid intersection with cancellation costs. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011. LNCS, vol. 6755, pp. 379–390. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22006-7_32

    Chapter  Google Scholar 

Download references

Acknowledgements

The first author would like to thank Ashish Chiplunkar for helpful suggestions to improve the competitive ratio of Algorithm 3, and also to improve the presentation of Sect. 4.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sumedh Tirodkar .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Tirodkar, S., Vishwanathan, S. (2017). Maximum Matching on Trees in the Online Preemptive and the Incremental Dynamic Graph Models. In: Cao, Y., Chen, J. (eds) Computing and Combinatorics. COCOON 2017. Lecture Notes in Computer Science(), vol 10392. Springer, Cham. https://doi.org/10.1007/978-3-319-62389-4_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62389-4_42

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62388-7

  • Online ISBN: 978-3-319-62389-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics