A General Framework for Stable Roommates Problems using Answer Set Programming

by   Esra Erdem, et al.

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. This paper is under consideration for acceptance in TPLP.


page 1

page 2

page 3

page 4


Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods

We study a variation of the Stable Marriage problem, where every man and...

A Map of Diverse Synthetic Stable Roommates Instances

Focusing on Stable Roommates (SR) instances, we contribute to the toolbo...

Profile-based optimal stable matchings in the Roommates problem

The stable roommates problem can admit multiple different stable matchin...

How hard is it to satisfy (almost) all roommates?

The classical Stable Roommates problem (which is a non-bipartite general...

An SR Flip-Flop based Physical Unclonable Functions for Hardware Security

Physical Unclonable Functions (PUFs) have emerged as a promising solutio...

Knowledge-Based Stable Roommates Problem: A Real-World Application

The Stable Roommates problem with Ties and Incomplete lists (SRTI) is a ...

Robust and Approximately Stable Marriages under Partial Information

We study the stable marriage problem in the partial information setting ...

Please sign up or login with your details

Forgot password? Click here to reset