The stable marriage problem with restricted pairs

• Published in: Theoretical computer science Vol. 306; no. 1-3; pp. 391 - 405
• Main Authors: Dias, Vânia M.F., da Fonseca, Guilherme D., de Figueiredo, Celina M.H., Szwarcfiter, Jayme L.
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier B.V 05.09.2003; Elsevier
• Subjects: Algorithms; Applied sciences; Classical combinatorial problems; Combinatorics; Combinatorics. Ordered structures; Computer science; control theory; systems; Control theory. Systems; Exact sciences and technology; Forbidden pairs; Forced pairs; Graph theory; Mathematics; Modelling and identification; Rotations; Sciences and techniques of general use; Stable marriage; Forbidden pairs; Forced pairs; Algorithms; Stable marriage; Rotations; Forced pair; Stability; Optimal algorithm; Concordance; Forebidden pair; Algorithm; Marriage; Rotation
• ISSN: 0304-3975; 1879-2294
• DOI: 10.1016/S0304-3975(03)00319-0

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.