English
Related papers

Related papers: Strategy-Proof Approximation Algorithms for the St…

200 papers

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

We study variants of the stable marriage and college admissions models in which the agents are allowed to express weak preferences over the set of agents on the other side of the market and the option of remaining unmatched. For the…

Computer Science and Game Theory · Computer Science 2017-03-31 Nevzat Onur Domaniç , Chi-Kit Lam , C. Gregory Plaxton

Stable Marriage is a fundamental problem to both computer science and economics. Four well-known NP-hard optimization versions of this problem are the Sex-Equal Stable Marriage (SESM), Balanced Stable Marriage (BSM), max-Stable Marriage…

Data Structures and Algorithms · Computer Science 2017-07-19 Sushmita Gupta , Saket Saurabh , Meirav Zehavi

Gale and Sotomayor (1985) have shown that in the Gale-Shapley matching algorithm (1962), the proposed-to side W (referred to as women there) can strategically force the W-optimal stable matching as the M-optimal one by truncating their…

Computer Science and Game Theory · Computer Science 2014-03-11 Yannai A. Gonczarowski

For a two-sided ($n$ men/$n$ women) stable matching problem) Gale and Shapley studied a proposal algorithm (men propose/women select, or the other way around), that determines a matching, not blocked by any unmatched pair. Irving used this…

Combinatorics · Mathematics 2020-05-15 Boris Pittel

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

Stable matching in a community consisting of men and women is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley, who…

Data Structures and Algorithms · Computer Science 2021-12-14 Hugo Gimbert , Claire Mathieu , Simon Mauras

We introduce a new and broader formulation of the stable marriage problem (SMP), called the stable polygamy problem (SPP), where multiple individuals from a larger group $L$ of $|L|$ individuals can be matched with a single individual from…

Systems and Control · Electrical Eng. & Systems 2024-08-23 Dan Ben Ami , Kobi Cohen

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

We study the design of one-to-one matching mechanisms that are strategy-proof for both sides and as stable as possible. Motivated by the impossibility result of Roth (1982), we formulate the mechanism design problem as a linear program that…

Theoretical Economics · Economics 2026-02-04 Tohya Sugano

We propose and investigate a model for mate searching and marriage in large societies based on a stochastic matching process and simple decision rules. Agents have preferences among themselves given by some probability distribution. They…

Theoretical Economics · Economics 2021-08-20 Davi B. Costa

The stable marriage problem requires one to find a marriage with no blocking pair. Given a matching that is not stable, Roth and Vande Vate have shown that there exists a sequence of matchings that leads to a stable matching in which each…

Computer Science and Game Theory · Computer Science 2023-05-18 Vijay Kumar Garg , Changyong Hu

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

Colloquially, there are two groups, $n$ men and $n$ women, each man (woman) ranking women (men) as potential marriage partners. A complete matching is called stable if no unmatched pair prefer each other to their partners in the matching.…

Combinatorics · Mathematics 2024-06-18 Boris Pittel

Stable marriage of a two-sided market with unit demand is a classic problem that arises in many real-world scenarios. In addition, a unique stable marriage in this market simplifies a host of downstream desiderata. In this paper, we explore…

Computer Science and Game Theory · Computer Science 2024-08-05 Kartik Gokhale , Amit Kumar Mallik , Ankit Kumar Misra , Swaprava Nath

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley (1962). Several variants and extensions to this problem have since been investigated to cover a wider set of applications.…

Artificial Intelligence · Computer Science 2013-05-03 Sofie De Clercq , Steven Schockaert , Martine De Cock , Ann Nowé

We study the Reaching Stable Marriage via Divorces (DivorceSM) problem of deciding, given a Stable Marriage instance and an initial matching $M$ , whether there exists a stable matching which is reachable from $M$ by divorce operations as…

Computer Science and Game Theory · Computer Science 2021-02-23 Jiehua Chen

We consider a variant of socially stable marriage problem where preference lists may be incomplete, may contain ties and may have bounded length. In real world application like NRMP and Scottish medical matching scheme such restrictions…

Data Structures and Algorithms · Computer Science 2016-07-25 Ashish Shrivastava , C. Pandu Rangan

The stable marriage and stable roommates problems have been extensively studied due to their high applicability in various real-world scenarios. However, it might happen that no stable solution exists, or stable solutions do not meet…

Computer Science and Game Theory · Computer Science 2022-04-29 Kristóf Bérczi , Gergely Csáji , Tamás Király

We give a simple approximation algorithm for a common generalization of many previously studied extensions of the maximum size stable matching problem with ties. These generalizations include the existence of critical vertices in the graph,…

Data Structures and Algorithms · Computer Science 2024-02-23 Gergely Csáji