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.

Improved Truthful Rank Approximation for Rank-Maximal Matchings.

Approximate Composable Truthful Mechanism Design

Approximate Truthful Mechanism Design For Two-Dimensional Orthogonal Knapsack Problem

Truthful Matching with Online Items and Offline Agents

Smoothed and Average-case Approximation Ratios of Mechanisms: Beyond the Worst-case Analysis

Distortion in metric matching with ordinal preferences

Approximately Stable, School Optimal, and Student-Truthful Many-to-One Matchings (via Differential Privacy)

A Truthful Near-Optimal Mechanism for Online Linear Packing-Covering Problem in the Random Order Model

Size versus truthfulness in the House Allocation problem

Stable Matching with Ties: Approximation Ratios and Learning

Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model

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

Improved Bounds for Fractional Online Matching Problems

Improved Bounds for Fully Dynamic Matching via Ordered Ruzsa-Szemeredi Graphs

Near-Optimal Dynamic Rounding of Fractional Matchings in Bipartite Graphs

Truthful Mechanisms via Greedy Iterative Packing

Truthful Approximation Schemes for Single-Parameter Agents

An Image Matching Algorithm Based on Improved Rank Transform

A Simple 1-1/e Approximation for Oblivious Bipartite Matching

On the Manipulability of Maximum Vertex-Weighted Bipartite $b$-matching Mechanisms

Lossless Online Rounding for Online Bipartite Matching (Despite its Impossibility)