Document Open Access Logo

Perfect Matchings and Popularity in the Many-To-Many Setting

Authors Telikepalli Kavitha , Kazuhisa Makino

PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2023.43.pdf
  • Filesize: 0.73 MB
  • 16 pages

Document Identifiers

Author Details

Telikepalli Kavitha
  • Tata Institute of Fundamental Research, Mumbai, India
Kazuhisa Makino
  • Research Institute for Mathematical Sciences, Kyoto University, Japan

Funding

  • Kavitha, Telikepalli: Supported by the Department of Atomic Energy, Government of India, under project no. RTI4001. This work was done while visiting RIMS, Kyoto.
  • Makino, Kazuhisa: Partially supported by JST ERATO Grant Number JPMJER2301, JSPS KAKENHI Grant Numbers JP20H05967, JP19K22841, and JP20H00609, and the joint project of Kyoto University and Toyota Motor Corporation, titled "Advanced Mathematical Science for Mobility Society".

Acknowledgements

Thanks to Naoyuki Kamiyama for asking us about the computational complexity of the min-cost popular maximum matching problem when vertices have capacities.

Cite AsGet BibTex

Telikepalli Kavitha and Kazuhisa Makino. Perfect Matchings and Popularity in the Many-To-Many Setting. In 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 284, pp. 43:1-43:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.FSTTCS.2023.43

Abstract

We consider a matching problem in a bipartite graph G where every vertex has a capacity and a strict preference list ranking its neighbors. We assume that G admits a perfect matching, i.e., one that fully matches all vertices. It is only perfect matchings that are feasible here and we seek one that is popular within the set of perfect matchings - it is known that such a matching exists in G and can be efficiently computed. Now we are in the weighted setting, i.e., there is a cost function on the edge set, and we seek a min-cost popular perfect matching in G. We show that such a matching can be computed in polynomial time. Our main technical result shows that every popular perfect matching in a hospitals/residents instance G can be realized as a popular perfect matching in the marriage instance obtained by cloning vertices. Interestingly, it is known that such a mapping does not hold for popular matchings in a hospitals/residents instance.

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • Bipartite graphs
  • Matchings under preferences
  • Capacities
  • Dual certificates

Metrics

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

References

  1. A. Abdulkadiroğlu and T. Sönmez. School choice: a mechanism design approach. American Economic Review, 93(3):729-747, 2003. Google Scholar
  2. D. J. Abraham, R. W. Irving, T. Kavitha, and K. Mehlhorn. Popular matchings. SIAM Journal on Computing, 37(4):1030-1045, 2007. Google Scholar
  3. G. Askalidis, N. Immorlica, A. Kwanashie, D. Manlove, and E. Pountourakis. Socially stable matchings in the hospitals/residents problem. In Proceedings of the 13th International Symposium on Algorithms and Data Structures, WADS, pages 85-96, 2013. Google Scholar
  4. S. Baswana, P. P. Chakrabarti, S. Chandran, Y. Kanoria, and U. Patange. Centralized admissions for engineering colleges in India. INFORMS Journal on Applied Analytics, 49(5):338-354, 2019. Google Scholar
  5. P. Biro, R. W. Irving, and D. F. Manlove. Popular matchings in the marriage and roommates problems. In Proceedings of the 7th International Conference on Algorithms and Complexity, CIAC, pages 97-108, 2010. Google Scholar
  6. P. Biro, D. F. Manlove, and S. Mittal. Size versus stability in the marriage problem. Theoretical Computer Science, 411:1828-1841, 2010. Google Scholar
  7. C. Blair. The lattice structure of the set of stable matchings with multiple partners. Mathematics of Operations Research, 13:619-628, 1988. Google Scholar
  8. F. Brandl and T. Kavitha. Two problems in max-size popular matchings. Algorithmica, 81(7):2738-2764, 2019. Google Scholar
  9. Canadian Resident Matching Service. How the matching algorithm works. URL: http://carms.ca/algorithm.htm.
  10. Á. Cseh. Popular matchings. Trends in Computational Social Choice, Ulle Endriss (ed.), 2017. Google Scholar
  11. Á. Cseh, C.-C. Huang, and T. Kavitha. Popular matchings with two-sided preferences and one-sided ties. SIAM Journal on Discrete Mathematics, 31(4):2348-2377, 2017. Google Scholar
  12. Nicolas de Condorcet. Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix. L'Imprimerie Royale, 1785. Google Scholar
  13. Y. Faenza, T. Kavitha, V. Powers, and X. Zhang. Popular matchings and limits to tractability. In Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2790-2809, 2019. Google Scholar
  14. D. Gale and L.S. Shapley. College admissions and the stability of marriage. American Mathematical Monthly, 69(1):9-15, 1962. Google Scholar
  15. D. Gale and M. Sotomayor. Some remarks on the stable matching problem. Discrete Applied Mathematics, 11:223-232, 1985. Google Scholar
  16. P. Gärdenfors. Match making: assignments based on bilateral preferences. Behavioural Science, 20:166-173, 1975. Google Scholar
  17. K. Hamada, K. Iwama, and Shuichi Miyazaki. The hospitals/residents problem with lower quotas. Algorithmica, 74(1):440-465, 2016. Google Scholar
  18. C.-C. Huang. Classified stable matching. In Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pages 1235-1253, 2010. Google Scholar
  19. C.-C. Huang and T. Kavitha. Popular matchings in the stable marriage problem. Information and Computation, 222:180-194, 2013. Google Scholar
  20. R. W. Irving, D. F. Manlove, and S. Scott. The hospitals/residents problem with ties. In Proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT, pages 259-271, 2000. Google Scholar
  21. R. W. Irving, D. F. Manlove, and S. Scott. Strong stability in the hospitals/residents problem. In Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS, pages 439-450, 2003. Google Scholar
  22. T. Kavitha. A size-popularity tradeoff in the stable marriage problem. SIAM Journal on Computing, 43(1):52-71, 2014. Google Scholar
  23. T. Kavitha. Maximum matchings and popularity. In Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, volume 198 of Leibniz International Proceedings in Informatics (LIPIcs), pages 85:1-85:21, 2021. Google Scholar
  24. S. Merrill and B. Grofman. A unified theory of voting: directional and proximity spatial models. Cambridge University Press, 1999. Google Scholar
  25. M. Nasre and P. Nimbhorkar. Popular matchings with lower quotas. In Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, pages 44:1-44:15, 2017. Google Scholar
  26. M. Nasre, P. Nimbhorkar, K. Ranjan, and A. Sarkar. Popular matchings in the hospital-residents problem with two-sided lower quotas. In Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, pages 30:1-30:21, 2021. Google Scholar
  27. M. Nasre, P. Nimbhorkar, K. Ranjan, and A. Sarkar. Popular critical matchings in the many-to-many setting, 2022. URL: https://arxiv.org/abs/2206.12394.
  28. M. Nasre and A. Rawat. Popularity in the generalized hospital residents setting. In Proceedings of the 12th International Computer Science Symposium in Russia, CSR, pages 245-259, 2017. Google Scholar
  29. National Resident Matching Program. Why the Match? URL: http://www.nrmp.org/whythematch.pdf.
  30. A. E. Roth. Stability and polarization of interest in job matching. Econometrica, 53:47-57, 1984. Google Scholar
  31. A. E. Roth. On the allocation of residents to rural hospitals: A general property of two-sided matching markets. Journal of Political Economy, 54(2):425-427, 1986. Google Scholar
  32. U. G. Rothblum. Characterization of stable matchings as extreme points of a polytope. Mathematical Programming, 54:57-67, 1992. Google Scholar
  33. M. Sotomayor. Three remarks on the many-to-many stable matching problem. Mathematical Social Sciences, 38:55-70, 1999. Google Scholar
  34. C.-P. Teo and J. Sethuraman. The geometry of fractional stable matchings and its applications. Mathematics of Operations Research, 23(4):874-891, 1998. Google Scholar
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