The stable marriage problem with restricted pairs

https://doi.org/10.1016/S0304-3975(03)00319-0Get rights and content
Under an Elsevier user license
open archive

Abstract

A stable matching is a complete matching of men and women such that no man and woman who are not partners both prefer each other to their actual partners under the matching. In an instance of the STABLE MARRIAGE problem, each of the n men and n women ranks the members of the opposite sex in order of preference. It is well known that at least one stable matching exists for every STABLE MARRIAGE problem instance. We consider extensions of the STABLE MARRIAGE problem obtained by forcing and by forbidding sets of pairs. We present a characterization for the existence of a solution for the STABLE MARRIAGE WITH FORCED AND FORBIDDEN PAIRS problem. In addition, we describe a reduction of the STABLE MARRIAGE WITH FORCED AND FORBIDDEN PAIRS problem to the STABLE MARRIAGE WITH FORBIDDEN PAIRS problem. Finally, we also present algorithms for finding a stable matching, all stable pairs and all stable matchings for this extension. The complexities of the proposed algorithms are the same as the best known algorithms for the unrestricted version of the problem.

Keywords

Algorithms
Stable marriage
Forced pairs
Forbidden pairs
Rotations

Cited by (0)

This work was partially supported by Conselho Nacional de Desenvolvimento Cientı́fico e Tecnológico - CNPq, Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro - FAPERJ, Coordenação de Aperfeiçoamento de Pessoal de nı́vel Superior - CAPES, Brazilian research agencies.