English
Related papers

Related papers: Local search for stable marriage problems

200 papers

We study the graphs formed from instances of the stable matching problem by connecting pairs of elements with an edge when there exists a stable matching in which they are matched. Our results include the NP-completeness of recognizing…

Discrete Mathematics · Computer Science 2020-10-20 David Eppstein

We are given a bipartite graph $G = \left( A \cup B, E \right)$. In the one-sided model, every $a \in A$ (often called agents) ranks its neighbours $z \in N_{a}$ strictly, and no $b \in B$ has any preference order over its neighbours $y \in…

Computer Science and Game Theory · Computer Science 2025-10-30 Koustav De

The stable roommates problem is a non-bipartite version of the stable matching problem in a bipartite graph. In this paper, we consider the stable roommates problem with ties. In particular, we focus on strong stability, which is one of the…

Computer Science and Game Theory · Computer Science 2025-10-21 Naoyuki Kamiyama

Local search has recently been applied to SMT problems over various arithmetic theories. Among these, nonlinear real arithmetic poses special challenges due to its uncountable solution space and potential need to solve higher-degree…

Symbolic Computation · Computer Science 2023-11-27 Zhonghan Wang , Bohua Zhan , Bohan Li , Shaowei Cai

We show that the ratio of matched individuals to blocking pairs grows linearly with the number of propose--accept rounds executed by the Gale--Shapley algorithm for the stable marriage problem. Consequently, the participants can arrive at…

Data Structures and Algorithms · Computer Science 2012-05-15 Patrik Floréen , Petteri Kaski , Valentin Polishchuk , Jukka Suomela

Consider the standard hospitals/residents problem, or the two-sided many-to-one stable matching problem, and assume that the true preference lists of both sides are complete and strict. The lists actually submitted, however, are truncated.…

Computer Science and Game Theory · Computer Science 2016-12-08 Hisao Tamaki

We introduce a new algorithm for finding stable matchings in multi-sided matching markets. Our setting is motivated by a PhD market of students, advisors, and co-advisors, and can be generalized to supply chain networks viewed as $n$-sided…

Computer Science and Game Theory · Computer Science 2021-07-07 Maximilian Mordig , Riccardo Della Vecchia , Nicolò Cesa-Bianchi , Bernhard Schölkopf

We consider the well-studied Hospital Residents (HR) problem in the presence of lower quotas (LQ). The input instance consists of a bipartite graph $G = (\mathcal{R} \cup \mathcal{H}, E)$ where $\mathcal{R}$ and $\mathcal{H}$ denote sets of…

Data Structures and Algorithms · Computer Science 2017-04-27 Meghana Nasre , Prajakta Nimbhorkar

The literature on centralized matching markets often assumes that a true preference of each player is known to herself and fixed, but empirical evidence casts doubt on its plausibility. To circumvent the problem, we consider evolutionary…

Theoretical Economics · Economics 2022-05-18 Hidemasa Ishii , Nariaki Nishino

We study a practical centralized matching problem which assigns children to daycare centers. The collective preferences of siblings from the same family introduce complementarities, which can lead to the absence of stable matchings, as…

Computer Science and Game Theory · Computer Science 2025-01-23 Zhaohong Sun , Tomohiko Yokoyama , Makoto Yokoo

Motivated by the application of Hall's Marriage Theorem in various LP-rounding problems, we introduce a generalization of the classical marriage problem (CMP) that we call the Fractional Marriage Problem. We show that the Fractional…

Computational Complexity · Computer Science 2019-05-09 Jonathan Lenchner

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

In two-sided matching markets, ensuring both stability and strategy-proofness poses a significant challenge; it is impossible when agents' preferences are unrestricted. But what if agents' preferences have specific restricted structures?…

Theoretical Economics · Economics 2025-07-03 Pinaki Mandal

Stable matching is a fundamental problem studied both in economics and computer science. The task is to find a matching between two sides of agents that have preferences over who they want to be matched with. A matching is stable if no pair…

Computer Science and Game Theory · Computer Science 2024-03-11 Juho Hirvonen , Sara Ranjbaran

It is well known that a stable matching in a many-to-one matching market with couples need not exist. We introduce a new matching algorithm for such markets and show that for a general class of large random markets the algorithm will find a…

Computer Science and Game Theory · Computer Science 2015-03-17 Itai Ashlagi , Mark Braverman , Avinatan Hassidim

We study the problem of repeated two-sided matching with uncertain preferences (two-sided bandits), and no explicit communication between agents. Recent work has developed algorithms that converge to stable matchings when one side (the…

Multiagent Systems · Computer Science 2025-08-13 Gaurab Pokharel , Sanmay Das

A recently introduced restricted variant of the multidimensional stable roommate problem is the roommate diversity problem: each agent belongs to one of two types (e.g., red and blue), and the agents' preferences over the coalitions solely…

Computer Science and Game Theory · Computer Science 2023-01-06 Steven Ge , Toshiya Itoh

In a multiple partners matching problem the agents can have multiple partners up to their capacities. In this paper we consider both the two-sided many-to-many stable matching problem and the one-sided stable fixtures problem under…

Computer Science and Game Theory · Computer Science 2022-02-14 Péter Biró , Gergely Csáji

In several two-sided markets, including labor and dating, agents typically have limited information about their preferences prior to mutual interactions. This issue can result in matching frictions, as arising in the labor market for…

Data Structures and Algorithms · Computer Science 2025-01-23 Itai Ashlagi , Jiale Chen , Mohammad Roghani , Amin Saberi

We propose two solution concepts for matchings under preferences: robustness and near stability. The former strengthens while the latter relaxes the classic definition of stability by Gale and Shapley (1962). Informally speaking, robustness…

Computer Science and Game Theory · Computer Science 2019-06-06 Jiehua Chen , Piotr Skowron , Manuel Sorge