Randomized approximation of the stable marriage problem

https://doi.org/10.1016/j.tcs.2004.02.045Get rights and content
Under an Elsevier user license
open archive

Abstract

While the original stable marriage problem requires all participants to rank all members of the opposite sex in a strict order, two natural variations are to allow for incomplete preference lists and ties in the preferences. Either variation is polynomially solvable, but it has recently been shown to be NP-hard to find a maximum cardinality stable matching when both of the variations are allowed. It is easy to see that the size of any two stable matchings differ by at most a factor of two, and so, an approximation algorithm with a factor two is trivial. In this paper, we give a randomized approximation algorithm RANDBRK and show that its expected approximation ratio is at most 10/7(<1.4286) for a restricted but still NP-hard case, where ties occur in only men's lists, each man writes at most one tie, and the length of ties is two. We also show that our analysis is nearly tight by giving a lower bound 32/23(>1.3913) for RANDBRK. Furthermore, we show that these restrictions except for the last one can be removed without increasing the approximation ratio too much.

Keywords

Stable marriage problem
Ties
Incomplete lists
Approximation algorithms

Cited by (0)

A preliminary version of this paper was presented at the 9th Annual International Conference, COCOON 2003.

1

Supported in part by Scientific Research Grant, Ministry of Japan, 13480081.

2

Supported in part by Scientific Research Grant, Ministry of Japan, 15700010.

3

Present address: IBM Tokyo Research Laboratory, 1623-14 Shimotsuruma, Yamato-shi, Kanagawa-ken, 242–8502, Japan.