Stable Marriage and Roommates problems with restricted edges: Complexity and approximability

详细信息    查看全文

• 作者：Á ; gnes Cseh^a ; ^{cseh@math.tu-berlin.de" class="auth_mail" title="E-mail the corresponding author} ; David F. Manlove^b ; ^{David.Manlove@glasgow.ac.uk" class="auth_mail" title="E-mail the corresponding author}
• 关键词：05C70 ; 68W40 ; 05C85
• 刊名：Discrete Optimization
• 出版年：2016
• 出版时间：May 2016
• 年：2016
• 卷：20
• 期：Complete
• 页码：62-89
• 全文大小：923 K

文摘

In the Stable Marriage and Roommates problems, a set of agents is given, each of them having a strictly ordered preference list over some or all of the other agents. A matching is a set of disjoint pairs of mutually acceptable agents. If any two agents mutually prefer each other to their partner, then they block the matching, otherwise, the matching is said to be stable. We investigate the complexity of finding a solution satisfying additional constraints on restricted pairs of agents. Restricted pairs can be either forced or forbidden. A stable solution must contain all of the forced pairs, while it must contain none of the forbidden pairs.

Dias et al. (2003) gave a polynomial-time algorithm to decide whether such a solution exists in the presence of restricted edges. If the answer is no, one might look for a solution close to optimal. Since optimality in this context means that the matching is stable and satisfies all constraints on restricted pairs, there are two ways of relaxing the constraints by permitting a solution to: (1) be blocked by as few as possible pairs, or (2) violate as few as possible constraints n restricted pairs.

Our main theorems prove that for the (bipartite) Stable Marriage problem, case (1) leads to $\mathrm{NP}$-hardness and inapproximability results, whilst case (2) can be solved in polynomial time. For non-bipartite Stable Roommates instances, case (2) yields an $\mathrm{NP}$-hard but (under some cardinality assumptions) 2$2$-approximable problem. In the case of $\mathrm{NP}$-hard problems, we also discuss polynomially solvable special cases, arising from restrictions on the lengths of the preference lists, or upper bounds on the numbers of restricted pairs.