English
Related papers

Related papers: Generating Satisfiable Benchmark Instances for Sta…

200 papers

In their seminal work on the Stable Marriage Problem (SM), Gale and Shapley introduced a generalization of SM referred to as the Stable Roommates Problem (SR). An instance of SR consists of a set of $2n$ agents, and each agent has…

Computational Complexity · Computer Science 2025-02-12 Will Rosenbaum

Stable matching theory is the foundation of centralized clearinghouses worldwide, from school choice programs to medical residency allocations. However, incorporating complex distributional goals-such as multi-dimensional diversity quotas…

Computer Science and Game Theory · Computer Science 2026-05-01 Gergely Csáji , Zhaohong Sun

In the well-studied Stable Roommates problem, we seek a stable matching of agents into pairs, where no two agents prefer each other over their assigned partners. However, some instances of this problem are unsolvable, lacking any stable…

Computer Science and Game Theory · Computer Science 2025-07-08 Frederik Glitzner , David Manlove

The stable roommates problem with $n$ agents has worst case complexity $O(n^2)$ in time and space. Random instances can be solved faster and with less memory, however. We introduce an algorithm that has average time and space complexity…

Data Structures and Algorithms · Computer Science 2015-01-22 Stephan Mertens

Motivated by group-project distribution, we introduce and study stable matching under the constraint of applicants needing to share a location to be matched with the same institute, which we call the Location-Restricted Stable Matching…

Data Structures and Algorithms · Computer Science 2025-08-05 Garret Castro

We introduce the {\sc classified stable matching} problem, a problem motivated by academic hiring. Suppose that a number of institutes are hiring faculty members from a pool of applicants. Both institutes and applicants have preferences…

Data Structures and Algorithms · Computer Science 2009-10-25 Chien-Chung Huang

We study the problem of finding "fair" stable matchings in the Stable Marriage problem with Incomplete lists (SMI). In particular, we seek stable matchings that are optimal with respect to profile, which is a vector that indicates the…

Data Structures and Algorithms · Computer Science 2020-09-14 Frances Cooper , David Manlove

We study the problem of finding "fair" stable matchings in the Stable Marriage problem with Incomplete lists (SMI). For an instance $I$ of SMI there may be many stable matchings, providing significantly different outcomes for the sets of…

Data Structures and Algorithms · Computer Science 2020-04-17 Frances Cooper , David Manlove

In the fundamental Stable Marriage and Stable Roommates problems, there are inherent trade-offs between the size and stability of solutions. While in the former problem, a stable matching always exists and can be found efficiently using the…

Computer Science and Game Theory · Computer Science 2026-01-27 Frederik Glitzner , David Manlove

In this paper, we demonstrate that in many NP-complete variants of the stable matching problem, such as the Stable Hypergraph Matching problem, the Stable Multicommodity Flow problem, and the College Admission problem with common quotas, a…

Computer Science and Game Theory · Computer Science 2025-02-11 Gergely Csáji

Stable matching is a fundamental area with many practical applications, such as centralised clearinghouses for school choice or job markets. Recent work has introduced the paradigm of near-feasibility in capacitated matching settings, where…

Computer Science and Game Theory · Computer Science 2026-02-12 Frederik Glitzner

In this paper we consider stable matchings subject to assignment constraints. These are matchings that require certain assigned pairs to be included, insist that some other assigned pairs are not, and, importantly, are stable. Our main…

Theoretical Economics · Economics 2024-06-14 Gregory Gutin , Philip R. Neary , Anders Yeo

An instance $I$ of the Stable Matching Problem (SMP) is given by a bipartite graph with a preference list of neighbors for every vertex. A swap in $I$ is the exchange of two consecutive vertices in a preference list. A swap can be viewed as…

Data Structures and Algorithms · Computer Science 2022-11-16 Eduard Eiben , Gregory Gutin , Philip R. Neary , Clément Rambaud , Magnus Wahlström , Anders Yeo

Stability is crucial in matching markets, yet in many real-world settings - from hospital residency allocations to roommate assignments - full stability is either impossible to achieve or can come at the cost of leaving many agents…

Computer Science and Game Theory · Computer Science 2026-01-21 Frederik Glitzner , David Manlove

The classical Stable Roommates problem is to decide whether there exists a matching of an even number of agents such that no two agents which are not matched to each other would prefer to be with each other rather than with their…

Computer Science and Game Theory · Computer Science 2020-04-21 Robert Bredereck , Jiehua Chen , Ugo Paavo Finnendahl , Rolf Niedermeier

The stable matching problem sets the economic foundation of several practical applications ranging from school choice and medical residency to ridesharing and refugee placement. It is concerned with finding a matching between two disjoint…

Computer Science and Game Theory · Computer Science 2022-02-01 Angelina Brilliantova , Hadi Hosseini

We study the problem of finding solutions to the stable matching problem that are robust to errors in the input and we obtain a polynomial time algorithm for a special class of errors. In the process, we also initiate work on a new…

Data Structures and Algorithms · Computer Science 2018-12-17 Tung Mai , Vijay V. Vazirani

This paper gives an overview on and summarizes existing complexity and algorithmic results of some variants of the Stable Marriage and the Stable Roommates problems. The last section defines a list of stable matching problems mentioned in…

Computer Science and Game Theory · Computer Science 2019-04-18 Jiehua Chen

Focusing on the bipartite Stable Marriage problem, we investigate different robustness measures related to stable matchings. We analyze the computational complexity of computing them and analyze their behavior in extensive experiments on…

Computer Science and Game Theory · Computer Science 2024-08-20 Kimon Boehmer , Niclas Boehmer

We present new integer linear programming (ILP) models for NP-hard optimisation problems in instances of the Stable Marriage problem with Ties and Incomplete lists (SMTI) and its many-to-one generalisation, the Hospitals / Residents problem…

Data Structures and Algorithms · Computer Science 2019-09-10 Maxence Delorme , Sergio García , Jacek Gondzio , Joerg Kalcsics , David Manlove , William Pettersson