Abstract:In the stable marriage problem (SM), a mechanism that always outputs a stable matching is called a stable mechanism. One of the well-known stable mechanisms is the man-oriented Gale-Shapley algorithm (MGS). MGS has a good property that it is strategy-proof to the men's side, i.e., no man can obtain a better outcome by falsifying a preference list. We call such a mechanism a man-strategy-proof mechanism. Unfortunately, MGS is not a woman-strategy-proof mechanism. Roth has shown that there is no stable mechanism that is simultaneously man-strategy-proof and woman-strategy-proof, which is known as Roth's impossibility theorem. In this paper, we extend these results to the stable marriage problem with ties and incomplete lists (SMTI). Since SMTI is an extension of SM, Roth's impossibility theorem takes over to SMTI. Therefore, we focus on the one-sided-strategy-proofness. In SMTI, one instance can have stable matchings of different sizes, and it is natural to consider the problem of finding a largest stable matching, known as MAX SMTI. Thus we incorporate the notion of approximation ratio used in the theory of approximation algorithms. We say that a stable-mechanism is $c$-approximate-stable mechanism if it always returns a stable matching of size at least $1/c$ of a largest one. We also consider a restricted variant of MAX SMTI, which we call MAX SMTI-1TM, where only men's lists can contain ties. Our results are summarized as follows: (i) MAX SMTI admits both a man-strategy-proof 2-approximate-stable mechanism and a woman-strategy-proof 2-approximate-stable mechanism. (ii) MAX SMTI-1TM admits a woman-strategy-proof 2-approximate-stable mechanism. (iii) MAX SMTI-1TM admits a man-strategy-proof 1.5-approximate-stable mechanism. All these results are tight in terms of approximation ratios. Also, all these strategy-proofness results apply for strategy-proofness against coalitions.

On the diameter of the polytope of the stable marriage with ties

On the approximability of the stable marriage problem with one-sided ties

On Treewidth and Stable Marriage

On the Multidimensional Stable Marriage Problem

On the (Parameterized) Complexity of Almost Stable Marriage

Tail Bounds for the Stable Marriage of Poisson and Lebesgue

One Hundred Years of Observations of the Be Star HDE 245770 (the X-ray Binary A0535+26/V725 Tau): The End of an Active Phase

Stabilities of Kleitman diameter theorem

Beauty and Distance in the Stable Marriage Problem

Stable Marriage with Covering Constraints: A Complete Computational Trichotomy

A stable marriage of Poisson and Lebesgue

A Stable Marriage Requires Communication

Local search for stable marriage problems with ties and incomplete lists

Manipulation and gender neutrality in stable marriage procedures

On constrained matchings, stable under random preferences

On the set of stable matchings of a bipartite graph

Stable husbands

Stable Marriage with Multi-Modal Preferences

On likely solutions of the stable matching problem with unequal numbers of men and women

Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists

Instability in Stable Marriage Problem: Matching Unequally Numbered Men and Women