Three-Dimensional Matching Instances Are Rich in Stable Matchings

  • Guillaume EscamocherEmail author
  • Barry O’Sullivan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10848)


Extensive studies have been carried out on the Stable Matching problem, but they mostly consider cases where the agents to match belong to either one or two sets. Little work has been done on the three-set extension, despite the many applications in which three-dimensional stable matching (3DSM) can be used. In this paper we study the Cyclic 3DSM problem, a variant of 3DSM where agents in each set only rank the agents from one other set, in a cyclical manner. The question of whether every Cyclic 3DSM instance admits a stable matching has remained open for many years. We give the exact number of stable matchings for the class of Cyclic 3DSM instances where all agents in the same set share the same master preference list. This number is exponential in the size of the instances. We also show through empirical experiments that this particular class contains the most constrained Cyclic 3DSM instances, the ones with the fewest stable matchings. This would suggest that not only do all Cyclic 3DSM instances have at least one stable matching, but they each have an exponential number of them.



This research has been funded by Science Foundation Ireland (SFI) under Grant Number SFI/12/RC/2289.


  1. 1.
    Alkan, A.: Nonexistence of stable threesome matchings. Math. Soc. Sci. 16(2), 207–209 (1988)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Biró, P., McDermid, E.: Three-sided stable matchings with cyclic preferences. Algorithmica 58(1), 5–18 (2010)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Boros, E., Gurvich, V., Jaslar, S., Krasner, D.: Stable matchings in three-sided systems with cyclic preferences. Discrete Math. 289(1–3), 1–10 (2004)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Cui, L., Jia, W.: Cyclic stable matching for three-sided networking services. Comput. Netw. 57(1), 351–363 (2013)CrossRefGoogle Scholar
  5. 5.
    Danilov, V.: Existence of stable matchings in some three-sided systems. Math. Soc. Sci. 46(2), 145–148 (2003)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Eriksson, K., Sjöstrand, J., Strimling, P.: Three-dimensional stable matching with cyclic preferences. Math. Soc. Sci. 52(1), 77–87 (2006)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Mon. 69(1), 9–15 (1962)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Huang, C.-C.: Two’s company, three’s a crowd: stable family and threesome roommates problems. In: Arge, L., Hoffmann, M., Welzl, E. (eds.) ESA 2007. LNCS, vol. 4698, pp. 558–569. Springer, Heidelberg (2007). Scholar
  9. 9.
    Huang, C.: Circular stable matching and 3-way kidney transplant. Algorithmica 58(1), 137–150 (2010)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Irving, R.W., Manlove, D., Scott, S.: The stable marriage problem with master preference lists. Discrete Appl. Math. 156(15), 2959–2977 (2008)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Manlove, D.F.: Algorithmics of Matching Under Preferences, Series on Theoretical Computer Science, vol. 2. WorldScientific, Singapore (2013)CrossRefGoogle Scholar
  12. 12.
    Ng, C., Hirschberg, D.S.: Three-dimensional stable matching problems. SIAM J. Discrete Math. 4(2), 245–252 (1991)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Perach, N., Polak, J., Rothblum, U.G.: A stable matching model with an entrance criterion applied to the assignment of students to dormitories at the Technion. Int. J. Game Theory 36(3–4), 519–535 (2008)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Sang, T., Bacchus, F., Beame, P., Kautz, H.A., Pitassi, T.: Combining component caching and clause learning for effective model counting. In: The Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, Vancouver, BC, Canada, 10–13 May 2004, Online Proceedings (2004)Google Scholar
  15. 15.
    Stuart Jr., H.W.: The supplier—firm—buyer game and its m-sided generalization. Math. Soc. Sci. 34(1), 21–27 (1997)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Subramanian, A.: A new approach to stable matching problems. SIAM J. Comput. 23(4), 671–700 (1994)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Woeginger, G.J.: Core stability in hedonic coalition formation. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol. 7741, pp. 33–50. Springer, Heidelberg (2013). Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Insight Centre for Data Analytics, Department of Computer ScienceUniversity College CorkCorkIreland

Personalised recommendations