Skip to main content Accessibility help
×
Home
Hostname: page-component-747cfc64b6-hfbn9 Total loading time: 0.262 Render date: 2021-06-17T03:43:31.744Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

A General Framework for Stable Roommates Problems using Answer Set Programming

Published online by Cambridge University Press:  22 September 2020

ESRA ERDEM
Affiliation:
Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey esraerdem@sabanciuniv.edu, mugefidan@sabanciuniv.edu
MÜGE FIDAN
Affiliation:
Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey esraerdem@sabanciuniv.edu, mugefidan@sabanciuniv.edu
DAVID MANLOVE
Affiliation:
School of Computing Science, University of Glasgow, Glasgow, UK david.manlove@glasgow.ac.uk, patrick.prosser@glasgow.ac.uk
PATRICK PROSSER
Affiliation:
School of Computing Science, University of Glasgow, Glasgow, UK david.manlove@glasgow.ac.uk, patrick.prosser@glasgow.ac.uk
Rights & Permissions[Opens in a new window]

Abstract

The Stable Roommates problem (SR) is characterized by the preferences of agents over other agents as roommates: each agent ranks all others in strict order of preference. A solution to SR is then a partition of the agents into pairs so that each pair shares a room, and there is no pair of agents that would block this matching (i.e., who prefers the other to their roommate in the matching). There are interesting variations of SR that are motivated by applications (e.g., the preference lists may be incomplete (SRI) and involve ties (SRTI)), and that try to find a more fair solution (e.g., Egalitarian SR). Unlike the Stable Marriage problem, every SR instance is not guaranteed to have a solution. For that reason, there are also variations of SR that try to find a good-enough solution (e.g., Almost SR). Most of these variations are NP-hard. We introduce a formal framework, called SRTI-ASP, utilizing the logic programming paradigm Answer Set Programming, that is provable and general enough to solve many of such variations of SR. Our empirical analysis shows that SRTI-ASP is also promising for applications.

Type
Original Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited
Copyright
© The Author(s), 2020. Published by Cambridge University Press

Footnotes

*

This work has been partially supported by Sabanci University IRP Grant, and the Scottish Informatics and Computer Science Alliance DVF Programme. The third and fourth authors were supported by grants EP/P028306/1 and EP/P026842/1 from the Engineering and Physical Sciences Research Council, respectively.

References

Abraham, D. J., Biró, P., and Manlove, D. F. 2005. “almost stable” matchings in the roommates problem. In International Workshop on Approximation and Online Algorithms. Springer, 1–14.Google Scholar
Amendola, G. 2018. Solving the stable roommates problem using incoherent answer set programs. In Proc. of RiCeRcA.Google Scholar
Arkin, E. M., Bae, S. W., Efrat, A., Okamoto, K., Mitchell, J. S. B., and Polishchuk, V. 2009. Geometric stable roommates. Inf. Process. Lett. 109, 4, 219224.CrossRefGoogle Scholar
Biró, P., Manlove, D. F., and McDermid, E. J. 2012. “Almost stable” matchings in the roommates problem with bounded preference lists. Theoretical Computer Science 432, 10–20.Google Scholar
Brewka, G., Eiter, T., and Truszczynski, M. 2016. Answer set programming: An introduction to the special issue. AI Magazine 37, 3, 56.CrossRefGoogle Scholar
Buccafurri, F., Leone, N., and Rullo, P. 2000. Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12, 5, 845860.Google Scholar
Cooper, F. 2020. Fair and large stable matchings in the stable marriage and student-project allocation problems. Ph.D. thesis, University of Glasgow.Google Scholar
Cseh, Á., Irving, R. W., and Manlove, D. F. 2019. The stable roommates problem with short lists. Theory of Computing Systems 63, 1, 128149.Google Scholar
Dantsin, E., Eiter, T., Gottlob, G., and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Comput. Surv. 33, 3, 374425.Google Scholar
Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. AIJ 77, 2, 321357.Google Scholar
Erdem, E. and Lifschitz, V. 2003. Tight logic programs. TPLP 3, 4-5, 499518.Google Scholar
Erdogan, S. T. and Lifschitz, V. 2004. Definitions in answer set programming. In Proc. of LPNMR.Google Scholar
Erdös, P. and Rényi, A. 1960. On the evolution of random graphs. In Publication of the Mathematical Institute of the Hungarian Academy of Sciences. 17–61.Google Scholar
Feder, T. 1992. A new fixed point approach for stable networks and stable marriages. Journal of Computer and System Sciences 45, 2, 233284.Google Scholar
Gai, A.-T., Mathieu, F., de Montgolfier, F., and Reynier, J. 2007. Stratification in P2P networks: Application to BitTorrent. In Proc. of ICDCS. 30.Google Scholar
Gale, D. and Shapley, L. S. 1962. College admissions and the stability of marriage. The American Mathematical Monthly 69, 1, 915.Google Scholar
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., and Schneider, M. T. 2011. Potassco: The Potsdam Answer Set Solving Collection. AI Communications 24, 2, 107124.Google Scholar
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proc. of ICLP. 1070–1080.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365385.Google Scholar
Gusfield, D. and Irving, R. W. 1989. The Stable Marriage Problem: Structure and Algorithms. MIT Press, Cambridge, MA, USA.Google Scholar
Irving, R. W. 1985. An efficient algorithm for the “stable roommates” problem. Journal of Algorithms 6, 4, 577595.Google Scholar
Irving, R. W. 1994. Stable marriage and indifference. Discrete Applied Mathematics 48, 3, 261272.CrossRefGoogle Scholar
Irving, R. W. and Manlove, D. F. 2002. The stable roommates problem with ties. Journal of Algorithms 43, 1, 85105.Google Scholar
Irving, R. W., Manlove, D. F., and O’Malley, G. 2009. Stable marriage with ties and bounded length preference lists. Journal of Discrete Algorithms 7, 2, 213219.Google Scholar
Knuth, D. 1997. Stable marriage and its relation to other combinatorial problems: an introduction to the mathematical analysis of algorithms. In Volume 10 of CRM Proc. Mariages Stables (in English), 1976.Google Scholar
Kujansuu, E., Lindberg, T., and Makinen, E. 1999. The stable roomates problem and chess tournament pairings. Divulgaciones Matemáticas 7, 1928.Google Scholar
Kunysz, A. 2016. The Strongly Stable Roommates Problem. In Proc. of ESA. Vol. 57. 60:1–60:15.Google Scholar
Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proc. of ICLP. 23–37.Google Scholar
Manlove, D. 1999. Stable marriage with ties and unacceptable partners.Google Scholar
McCarthy, J. 1998. Elaboration tolerance. In Proc. of CommonSense.Google Scholar
Mertens, S. 2005. Random stable matchings. Journal of Statistical Mechanics: Theory and Experiment 2005, 10, P10008P10008.Google Scholar
Prosser, P. 2014. Stable roommates and constraint programming. In Proc. of CPAIOR. 15–28.Google Scholar
Ronn, E. 1990. Np-complete stable matching problems. Journal of Algorithms 11, 2, 285304.Google Scholar
Roth, A. E., Sönmez, T., and Ünver, M. U. 2005. Pairwise kidney exchange. Journal of Economic Theory 125, 2, 151188.Google Scholar
Scott, S. 2005. A study of stable marriage problems with ties. Ph.D. thesis, University of Glasgow.Google Scholar
Simons, P., Niemelae, I., and Soininen, T. 2002. Extending and implementing the stable model semantics. AIJ 138, 1, 181234.Google Scholar
SRItoolkit. 2019. http://www.dcs.gla.ac.uk/ pat/roommates/distribution/ (2019-11-21).Google Scholar
Wu, Y., Caminada, M., and Gabbay, D. M. 2009. Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica 93, 2-3, 383403.CrossRefGoogle Scholar
You have Access
Open access

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

A General Framework for Stable Roommates Problems using Answer Set Programming
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

A General Framework for Stable Roommates Problems using Answer Set Programming
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

A General Framework for Stable Roommates Problems using Answer Set Programming
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *