Skip to main content
Log in

On the Existence of Three-Dimensional Stable Matchings with Cyclic Preferences

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

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.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2

Similar content being viewed by others

References

  1. Alkan, A.: Nonexistence of stable threesome matchings. Math. Soc. Sci. 16(2), 207–209 (1988)

    Article  MathSciNet  Google Scholar 

  2. Biró, P., McDermid, E.: Three-sided stable matchings with cyclic preferences. Algorithmica 58(1), 5–18 (2010)

    Article  MathSciNet  Google Scholar 

  3. Boros, E., Gurvich, V., Jaslar, S., Krasner, D.: Stable matchings in three-sided systems with cyclic preferences. Discret. Math. 289(1), 1–10 (2004)

    MathSciNet  MATH  Google Scholar 

  4. Cui, L., Jia, W.: Cyclic stable matching for three-sided networking services. Comput. Netw. 57(1), 351–363 (2013)

    Article  Google Scholar 

  5. Danilov, V. I.: Existence of stable matchings in some three-sided systems. Math. Soc. Sci. 46(2), 145–148 (2003)

    Article  MathSciNet  Google Scholar 

  6. Eriksson, K., Sjöstrand, J., Strimling, P.: Three-dimensional stable matching with cyclic preferences. Math. Soc. Sci. 52(1), 77–87 (2006)

    Article  MathSciNet  Google Scholar 

  7. 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)

  8. Farczadi, L., Georgiou, K., Könemann, J.: Stable marriage with general preferences. Theory Comput. Syst. 59(4), 683–699 (2016)

    Article  MathSciNet  Google Scholar 

  9. Gale, D., Shapley, L. S.: College admissions and the stability of marriage. Amer. Math. Mon. 69(1), 9–15 (1962)

    Article  MathSciNet  Google Scholar 

  10. Hofbauer, J.: d-dimensional stable matching with cyclic preferences. Math. Soc. Sci. 82, 72–76 (2016)

    Article  MathSciNet  Google Scholar 

  11. 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)

  12. Huang, C. -C.: Circular stable matching and 3-way kidney transplant. Algorithmica 58(1), 137–150 (2010)

    Article  MathSciNet  Google Scholar 

  13. 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)

  14. 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)

  15. Manlove, D. F.: Algorithmics of Matching under Preferences. World Scientific, Singapore (2013)

    Book  Google Scholar 

  16. Ng, C., Hirschberg, D.: Three-dimensional stable matching problems. SIAM J. Discret. Math. 4(2), 245–252 (1991)

    Article  MathSciNet  Google Scholar 

  17. Pashkovich, K., Poirrier, L.: Three-dimensional stable matching with cyclic preferences. arXiv:1807.05638 (2018)

  18. Subramanian, A.: A new approach to stable matching problems. SIAM J. Comput. 23(4), 671–700 (1994)

    Article  MathSciNet  Google Scholar 

  19. 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)

Download references

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

Authors

Corresponding author

Correspondence to C. Gregory Plaxton.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00224-021-10055-8

Keywords

Navigation