English
Related papers

Related papers: Stable Marriage with Covering Constraints: A Compl…

200 papers

Robust Stable Marriage (RSM) is a variant of the classical Stable Marriage problem, where the robustness of a given stable matching is measured by the number of modifications required for repairing it in case an unforeseen event occurs. We…

Computational Complexity · Computer Science 2022-04-08 Begum Genc , Mohamed Siala , Gilles Simonin , Barry O'Sullivan

The classic Stable Roommates problem (which is the non-bipartite generalization of the well-known Stable Marriage problem) asks whether there is a stable matching for a given set of agents, i.e. a partitioning of the agents into disjoint…

Computational Complexity · Computer Science 2018-02-21 Jiehua Chen , Danny Hermelin , Manuel Sorge , Harel Yedidsion

We initiate the study of external manipulations in Stable Marriage by considering several manipulative actions as well as several manipulation goals. For instance, one goal is to make sure that a given pair of agents is matched in a stable…

Computer Science and Game Theory · Computer Science 2021-08-23 Niclas Boehmer , Robert Bredereck , Klaus Heeger , Rolf Niedermeier

The stable allocation problem is a many-to-many generalization of the well-known stable marriage problem, where we seek a bipartite assignment between, say, jobs (of varying sizes) and machines (of varying capacities) that is "stable" based…

Data Structures and Algorithms · Computer Science 2014-11-26 Ágnes Cseh , Brian C. Dean

The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem has a wide variety of practical applications, ranging from…

Artificial Intelligence · Computer Science 2016-11-25 Maria Silvia Pini , Francesca Rossi , Brent Venable , Toby Walsh

The stable marriage problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more generally to any two-sided market. We consider a useful variation of the…

Artificial Intelligence · Computer Science 2010-07-06 Mirco Gelain , Maria Silvia Pini , Francesca RossI , Kristen Brent Venable , Toby Walsh

The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a wide variety of practical applications ranging from…

Artificial Intelligence · Computer Science 2009-09-25 Maria Pini , Francesca Rossi , Brent Venable , Toby Walsh

We provide a problem definition of the stable marriage problem for a general number of parties $p$ under a natural preference scheme in which each person has simple lists for the other parties. We extend the notion of stability in a natural…

Computer Science and Game Theory · Computer Science 2015-09-11 Jared D. Lichtman

Many important stable matching problems are known to be NP-hard, even when strong restrictions are placed on the input. In this paper we seek to identify structural properties of instances of stable matching problems which will allow us to…

Computer Science and Game Theory · Computer Science 2018-12-14 Kitty Meeks , Baharak Rastegari

We present an n-ary constraint for the stable marriage problem. This constraint acts between two sets of integer variables where the domains of those variables represent preferences. Our constraint enforces stability and disallows bigamy.…

Data Structures and Algorithms · Computer Science 2013-08-02 Chris Unsworth , Patrick Prosser

We present a fascinating model that has lately caught attention among physicists working in complexity related fields. Though it originated from mathematics and later from economics, the model is very enlightening in many aspects that we…

Physics and Society · Physics 2021-03-23 Enrico Maria Fenoaltea , Izat B. Baybusinov , Jianyang Zhao , Lei Zhou , Yi-Cheng Zhang

In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to decide the problem LSM (large stable models problem): does a…

Logic in Computer Science · Computer Science 2007-05-23 Miroslaw Truszczynski

When computing stable matchings, it is usually assumed that the preferences of the agents in the matching market are fixed. However, in many realistic scenarios, preferences change over time. Consequently, an initially stable matching may…

Computer Science and Game Theory · Computer Science 2022-11-09 Niclas Boehmer , Klaus Heeger , Rolf Niedermeier

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

In this paper, we study the Hospitals / Residents problem with Couples (HRC), where a solution is a stable matching or a report that none exists. We present a novel polynomial-time algorithm that can find a near-feasible stable matching…

Data Structures and Algorithms · Computer Science 2024-09-26 Gergely Csáji , David Manlove , Iain McBride , James Trimble

An instance of a strongly stable matching problem (SSMP) is an undirected bipartite graph $G=(A \cup B, E)$, with an adjacency list of each vertex being a linearly ordered list of ties, which are subsets of vertices equally good for a given…

Data Structures and Algorithms · Computer Science 2015-06-03 Pratik Ghosal , Adam Kunysz , Katarzyna Paluch

We study the classical, two-sided stable marriage problem under pairwise preferences. In the most general setting, agents are allowed to express their preferences as comparisons of any two of their edges and they also have the right to…

Discrete Mathematics · Computer Science 2018-10-02 Ágnes Cseh , Attila Juhos

The constraint satisfaction problem (CSP) involves deciding, given a set of variables and a set of constraints on the variables, whether or not there is an assignment to the variables satisfying all of the constraints. One formulation of…

Computational Complexity · Computer Science 2017-01-09 Hubie Chen , Benoit Larose

The Stable Marriage Problem is to find a one-to-one matching for two equally sized sets of agents. Due to its widespread applications in the real world, especially the unique importance to the centralized match maker, a very large number of…

Physics and Society · Physics 2018-06-26 Gui-Yuan Shi , Yi-Xiu Kong , Bo-Lun Chen , Guang-Hui Yuan , Rui-Jie Wu

We introduce the problem of adapting a stable matching to forced and forbidden pairs. Specifically, given a stable matching $M_1$, a set $Q$ of forced pairs, and a set $P$ of forbidden pairs, we want to find a stable matching that includes…

Computer Science and Game Theory · Computer Science 2022-11-23 Niclas Boehmer , Klaus Heeger