Generating Satisfiable Benchmark Instances for Stable Roommates Problems with Optimization
Baturay Y{\i}lmaz, Esra Erdem

TL;DR
This paper presents a new algorithm to generate challenging benchmark instances for the stable roommates problem with fairness criteria, facilitating better evaluation of solution methods for complex, intractable cases.
Contribution
A novel algorithm for creating benchmark instances with many solutions and high difficulty for finding egalitarian stable matchings in SRI.
Findings
Generated instances have large solution spaces.
Instances are hard to solve for egalitarian stable matchings.
Facilitates testing of algorithms on complex SRI cases.
Abstract
While the existence of a stable matching for the stable roommates problem possibly with incomplete preference lists (SRI) can be decided in polynomial time, SRI problems with some fairness criteria are intractable. Egalitarian SRI that tries to maximize the total satisfaction of agents if a stable matching exists, is such a hard variant of SRI. For experimental evaluations of methods to solve these hard variants of SRI, several well-known algorithms have been used to randomly generate benchmark instances. However, these benchmark instances are not always satisfiable, and usually have a small number of stable matchings if one exists. For such SRI instances, despite the NP-hardness of Egalitarian SRI, it is practical to find an egalitarian stable matching by enumerating all stable matchings. In this study, we introduce a novel algorithm to generate benchmark instances for SRI that have…
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.
