Abstract
We study the three-dimensional stable matching problem with cyclic preferences. This model involves three types of agents, with an equal number of agents of each type. The types form a cyclic order such that each agent has a complete preference list over the agents of the next type. We consider the open problem of the existence of three-dimensional matchings in which no triple of agents prefer each other to their partners. Such matchings are said to be weakly stable. We show that contrary to published conjectures, weakly stable three-dimensional matchings need not exist. Furthermore, we show that it is NP-complete to determine whether a weakly stable three-dimensional matching exists. We achieve this by reducing from the variant of the problem where preference lists are allowed to be incomplete. We generalize our results to the k-dimensional stable matching problem with cyclic preferences for k ≥ 3.
Similar content being viewed by others
References
Alkan, A.: Nonexistence of stable threesome matchings. Math. Soc. Sci. 16(2), 207–209 (1988)
Biró, P., McDermid, E.: Three-sided stable matchings with cyclic preferences. Algorithmica 58(1), 5–18 (2010)
Boros, E., Gurvich, V., Jaslar, S., Krasner, D.: Stable matchings in three-sided systems with cyclic preferences. Discret. Math. 289(1), 1–10 (2004)
Cui, L., Jia, W.: Cyclic stable matching for three-sided networking services. Comput. Netw. 57(1), 351–363 (2013)
Danilov, V. I.: Existence of stable matchings in some three-sided systems. Math. Soc. Sci. 46(2), 145–148 (2003)
Eriksson, K., Sjöstrand, J., Strimling, P.: Three-dimensional stable matching with cyclic preferences. Math. Soc. Sci. 52(1), 77–87 (2006)
Escamocher, G., O’Sullivan, B.: Three-dimensional matching instances are rich in stable matchings. In: Proceedings of the 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 182–197 (2018)
Farczadi, L., Georgiou, K., Könemann, J.: Stable marriage with general preferences. Theory Comput. Syst. 59(4), 683–699 (2016)
Gale, D., Shapley, L. S.: College admissions and the stability of marriage. Amer. Math. Mon. 69(1), 9–15 (1962)
Hofbauer, J.: d-dimensional stable matching with cyclic preferences. Math. Soc. Sci. 82, 72–76 (2016)
Huang, C. -C.: Two’s company, three’s a crowd: Stable family and threesome roommates problems. In: Proceedings of the 15th Annual European Symposium on Algorithms, pp. 558–569 (2007)
Huang, C. -C.: Circular stable matching and 3-way kidney transplant. Algorithmica 58(1), 137–150 (2010)
Knuth, D. E.: Stable marriage and its relation to other combinatorial problems: An introduction to the mathematical analysis of algorithms. American Mathematical Society, Providence (1997)
Lam, C. -K., Plaxton, C. G.: On the existence of three-dimensional stable matchings with cyclic preferences. In: Proceedings of the 12th International Symposium on Algorithmic Game Theory, pp. 329–342 (2019)
Manlove, D. F.: Algorithmics of Matching under Preferences. World Scientific, Singapore (2013)
Ng, C., Hirschberg, D.: Three-dimensional stable matching problems. SIAM J. Discret. Math. 4(2), 245–252 (1991)
Pashkovich, K., Poirrier, L.: Three-dimensional stable matching with cyclic preferences. arXiv:1807.05638 (2018)
Subramanian, A.: A new approach to stable matching problems. SIAM J. Comput. 23(4), 671–700 (1994)
Woeginger, G. J.: Core stability in hedonic coalition formation. In: Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, pp. 33–50 (2013)
Acknowledgments
We are grateful to the anonymous referees for their many insightful comments, which led to significant improvements in the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article belongs to the Topical Collection: Special Issue on Algorithmic Game Theory (SAGT 2019) Guest Editors: Dimitris Fotakis and Vangelis Markakis
A preliminary version of this work appears in [14].
Rights and permissions
About this article
Cite this article
Lam, CK., Plaxton, C.G. On the Existence of Three-Dimensional Stable Matchings with Cyclic Preferences. Theory Comput Syst 66, 679–695 (2022). https://doi.org/10.1007/s00224-021-10055-8
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-021-10055-8