A General Framework for Stable Roommates Problems using Answer Set Programming
Esra Erdem, Muge Fidan, David Manlove, Patrick Prosser

TL;DR
This paper presents a unified answer set programming framework for solving various stable roommates problem variants, including incomplete preferences and ties, which are often NP-hard, demonstrating promising empirical results.
Contribution
The authors introduce SRTI-ASP, a formal, general ASP-based framework capable of solving multiple complex SR variants, extending previous approaches.
Findings
SRTI-ASP effectively solves various SR variants.
Empirical results show promising application potential.
Framework is formal, provable, and general.
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,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
