Abstract
We consider two variants of the classical Stable Roommates problem with Incomplete (but strictly ordered) preference lists (sri) that are degree constrained, i.e., preference lists are of bounded length. The first variant, egal d-sri, involves finding an egalitarian stable matching in solvable instances of sri with preference lists of length at most d. We show that this problem is \(\textsf {NP}\)-hard even if \(d=3\). On the positive side we give a \(\frac{2d+3}{7}\)-approximation algorithm for \(d\in \{3,4,5\}\) which improves on the known bound of 2 for the unbounded preference list case. In the second variant of sri, called d-srti, preference lists can include ties and are of length at most d. We show that the problem of deciding whether an instance of d-srti admits a stable matching is \(\textsf {NP}\)-complete even if \(d=3\). We also consider the “most stable” version of this problem and prove a strong inapproximability bound for the \(d=3\) case. However for \(d=2\) we show that the latter problem can be solved in polynomial time.
Á. Cseh—Supported by Icelandic Research Fund grant no. 152679-051, the Hungarian Academy of Sciences under its Momentum Programme (LP2016-3) and COST Action IC1205 on Computational Social Choice. Part of this work was carried out whilst visiting the University of Glasgow.
D.F. Manlove—Supported by EPSRC grant EP/K010042/1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
That is, \(\prec _i\) is a strict partial order in which incomparability is transitive.
References
Abraham, D.J., Biró, P., Manlove, D.F.: “Almost Stable” matchings in the roommates problem. In: Erlebach, T., Persinao, G. (eds.) WAOA 2005. LNCS, vol. 3879, pp. 1–14. Springer, Heidelberg (2006)
Berman, P., Karpinski, M., Scott, A.D.: Approximation hardness of short symmetric instances of MAX-3SAT. ECCC report, no. 49 (2003)
Biró, P., Manlove, D.F., McDermid, E.J.: “Almost stable" matchings in the roommates problem with bounded preference lists. Theor. Comput. Sci. 432, 10–20 (2012)
Biró, P., Manlove, D.F., McDermid, E.J.: Almost stable matchings in the roommates problem with bounded preference lists. Theor. Comput. Sci. 411, 1828–1841 (2010)
Cseh, Á., Irving, R.W., Manlove, D.F.: The stable roommates problem with short lists. CoRR abs/1605.04609 (2016). http://arxiv.org/abs/1605.04609
Feder, T.: A new fixed point approach for stable networks and stable marriages. J. Comput. Syst. Sci. 45, 233–284 (1992)
Feder, T.: Network flow and 2-satisfiability. Algorithmica 11, 291–319 (1994)
Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Monthly 69, 9–15 (1962)
Gusfield, D.: Three fast algorithms for four problems in stable marriage. SIAM J. Comput. 16(1), 111–128 (1987)
Gusfield, D., Irving, R.W.: The Stable Marriage Problem: Structure and Algorithms. MIT Press, Cambridge (1989)
Gusfield, D., Pitt, L.: A bounded approximation for the minimum cost 2-SAT problem. Algorithmica 8, 103–117 (1992)
Hamada, K., Iwama, K., Miyazaki, S.: An improved approximation lower bound for finding almost stable maximum matchings. Inf. Process. Lett. 109, 1036–1040 (2009)
Irving, R.W.: An efficient algorithm for the "stable roommates" problem. J. Algorithms 6, 577–595 (1985)
Irving, R.W., Leather, P., Gusfield, D.: An efficient algorithm for the “optimal" stable marriage. J. ACM 34, 532–543 (1987)
Irving, R.W., Manlove, D.F.: The stable roommates problem with ties. J. Algorithms 43, 85–105 (2002)
Kujansuu, E., Lindberg, T., Mäkinen, E.: The stable roommates problem and chess tournament pairings. Divulgaciones Matemáticas 7, 19–28 (1999)
Khot, S., Regev, O.: Vertex cover might be hard to approximate to within 2-\(\varepsilon \). J. Comput. Syst. Sci. 74, 335–349 (2008)
Manlove, D.F.: Algorithmics of Matching Under Preferences. World Scientific, Singapore (2013)
Manlove, D.F., Irving, R.W., Iwama, K., Miyazaki, S., Morita, Y.: Hard variants of stable marriage. Theor. Comput. Sci. 276, 261–279 (2002)
Ronn, E.: NP-complete stable matching problems. J. Algorithms 11, 285–304 (1990)
Tan, J.J.M.: A necessary and sufficient condition for the existence of a complete stable matching. J. Algorithms 12, 154–178 (1991)
Teo, C.-P., Sethuraman, J.: LP based approach to optimal stable matchings. In: Proceedings of SODA 1997, pp. 710–719. ACM-SIAM (1997)
Teo, C.-P., Sethuraman, J.: The geometry of fractional stable matchings and its applications. Math. Oper. Res. 23, 874–891 (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cseh, Á., Irving, R.W., Manlove, D.F. (2016). The Stable Roommates Problem with Short Lists. In: Gairing, M., Savani, R. (eds) Algorithmic Game Theory. SAGT 2016. Lecture Notes in Computer Science(), vol 9928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53354-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-662-53354-3_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53353-6
Online ISBN: 978-3-662-53354-3
eBook Packages: Computer ScienceComputer Science (R0)