Sex-equal stable matchings: complexity and exact algorithms

McDermid, E. and Irving, R.W. (2014) Sex-equal stable matchings: complexity and exact algorithms. Algorithmica, 38(3), pp. 545-570. (doi:10.1007/s00453-012-9672-0)

Full text not currently available from Enlighten.

Abstract

We explore the complexity and exact computation of a variant of the classical stable marriage problem in which we seek matchings that are not only stable, but are also “fair” in a formal sense. In particular, we study the sex-equal stable marriage problem (SESM), in which, roughly speaking, we wish to find a stable matching with the property that the men’s happiness is as close as possible to the women’s happiness. This problem is known to be strongly NP-hard (Kato in Jpn. J. Ind. Appl. Math. 10:1–19, 1993). We specifically consider SESM instances in which the preference lists of the men and/or women are bounded in length by a constant. On the negative side, we show that SESM is NP-hard, even if both the men’s and women’s preference lists are of length at most three, and is not even in the class XP when parameterized by the objective value of the solution. This strengthens the NP-hardness results of Kato (Jpn. J. Ind. Appl. Math. 10:1–19, 1993). On the positive side, we show that our hardness result is “tight” by giving a polynomial-time algorithm for the case in which the preference lists on one side (say the men) are of length at most two, and the lengths of the lists on the other side (the women) are unbounded. Furthermore, we give a low-order exponential-time algorithm for SESM in which the preference lists on one side are of length at most l (and the lengths of the lists on the other side are unbounded). In particular, for every pair of constants l∈Z+ and ϵ∈R+ there is an algorithm with running time bounded by O⋆(2(5−24√)(l−2+ϵ)n)+O⋆(2(l−1)2ϵ) . Hence, if ϵ is chosen to be a sufficiently small constant, the running time is in O ⋆(1.0726 n ), O ⋆(1.1504 n ), O ⋆(1.2339 n ),… for l=3,4,5,… .

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Irving, Dr Rob and McDermid, Mr Eric
Authors: McDermid, E., and Irving, R.W.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Algorithmica
ISSN:0178-4617
ISSN (Online):1432-0541

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
436361MATCH-UP - matching under preferences - algorithms and complexityRobert IrvingEngineering & Physical Sciences Research Council (EPSRC)EP/E011993/1COM - COMPUTING SCIENCE