Stable Matchings with Covering Constraints: A Complete Computational Trichotomy

Abstract

Stable matching problems with lower quotas are fundamental in academic hiring and ensuring operability of rural hospitals. Only few tractable (polynomial-time solvable) cases of stable matching with lower quotas have been identified; most such problems are $\mathsf{NP}$-hard and also hard to approximate (Hamada et al. in Algorithmica 74(1):440–465, 2016). We therefore consider stable matching problems with lower quotas under a relaxed notion of tractability, namely fixed-parameter tractability. By cloning hospitals we focus on the case when all hospitals have upper quota equal to 1, which generalizes the setting of “arranged marriages” first considered by Knuth (Mariages stables et leurs relations avec d’autres problèmes combinatoires, Les Presses de l’Université de Montréal, Montreal, 1976). We investigate how a set of natural parameters, namely the maximum length of preference lists for men and women, the number of distinguished men and women, and the number of blocking pairs allowed determine the computational tractability of this problem. Our main result is a complete complexity trichotomy: for each choice of parameters we either provide a polynomial-time algorithm, or an $\mathsf{NP}$-hardness proof and fixed-parameter algorithm, or $\mathsf{NP}$-hardness proof and $\mathsf{W}[1]$-hardness proof. As corollary, we negatively answer a question by Hamada et al. (Algorithmica 74(1):440–465, 2016) by showing fixed-parameter intractability parameterized by optimal solution size. We also classify all cases of one-sided constraints where only women may be distinguished.

Introduction

The Stable Marriage (SM) problem is a fundamental problem first studied by Gale and Shapley [19]. An instance of SM consists of a set $\mathcal{M}$ of men, a set $\mathcal{W}$ of women, and a preference list for each person ordering members of the opposite sex. We aim to find a stable matching, i.e., a matching for which there exists no pair of a man and a woman who prefer each other to their partners given by the matching; such a pair is called a blocking pair. Gale and Shapley proved [19] that any instance of SM admits at least one stable matching, and gave a polynomial-time algorithm, known as the Gale–Shapley algorithm, to find one. Gale and Shapley also considered the many-to-one extension of SM, known as the Hospitals/Residents (HR) problem. In HR, the two sets $\mathcal{H}$ and $\mathcal{R}$ that correspond to men and women in the SM problem are residents and hospitals, respectively. Each hospital $H\in \mathcal{H}$ has an upper quota on the number of residents in $\mathcal{R}$ that it can accept. For HR it still holds true that a stable matching always exists, and can be found efficiently.

An extension of HR that is motivated by several real-world applications is the Hospitals/Residents with Lower Quota (HRLQ) problem, where hospitals declare both lower and upper quotas which bound the number of residents they can accept; as before, residents rank hospitals and vice versa. Now it is no longer true that a stable assignment always exists. The possible non-existence of stable assignments motivates the design of algorithms that find an assignment with a minimum number of blocking pairs; this is the task of the HRLQ problem. Indeed, the HRLQ problem and its variants have recently gained quite some interest from the algorithmic community  [4, 8, 16, 22, 24, 26, 30, 40, 44, 45]. In his book, Manlove [36, Chapter 5.2] devotes an entire chapter to the algorithmics of different versions of the HRLQ problem.

The reason for this high interest in HRLQ is explained by its importance in several real-world matching markets [17, 18, 42] such as school admission systems, centralized assignment of residents to hospitals, or of cadets to military branches. Lower quotas are a common feature of such admission systems. Their purpose is often to remedy the effects of under-staffing that are explained by the well-known Rural Hospitals Theorem [20]: as an example, governments usually want to assign at least a small number of medical residents to each rural hospital to guarantee a minimum service level. Minimum quotas are also discussed in controlled school choice programs [13, 33, 43] where students are divided into a small number of types, and schools set lower bounds for each type. Such models can represent various forms of affirmative actions taken by schools to, e.g., admit a certain number of minority students [13]. Another example is the German university admission system for admitting students to highly oversubscribed subjects, where a certain percentage of study places is assigned according to high school grades or waiting time [43]. But lower quotas may also arise due to financial considerations: for instance, a business course with too few (tuition-paying) attendees may not be profitable. Certain aspects of airline preferences for seat upgrade allocations can be also modelled by lower quotas [33].

Much of the algorithmic research found that the HRLQ problem (in its different variants) is $\mathsf{NP}$-hard, and thus considered intractable. A common approach then to identify tractable (polynomial-time solvable) cases of HRLQ; this avenue has lead to several beautiful algorithms [16, 26, 45]. However, restricting to polynomial-time solvability necessarily means (if $\mathsf{P}\ne \mathsf{NP}$) that some original features of HRLQ must be restricted more or less, which may be undesirable in the application. Another approach aimed at addressing the intractability of HRLQ was the design of approximation algorithms. Unfortunately, it turns out that non-trivial approximation algorithms for HRLQ are highly unlikely to exist: Hamada et al. [24] showed that, unless $\mathsf{P}=\mathsf{NP}$, no algorithm with approximation guarantee $(|\mathcal{H}|+{|\mathcal{R}|)}^{1-\epsilon }$ can exist for any $\epsilon >0$ (which they complement by an algorithm with approximation guarantee $(|\mathcal{H}|+|\mathcal{R}|)$). In light of their strong inapproximability bounds, Hamada et al. explicitly suggested to consider a more relaxed notion of tractability for HRLQ, namely, fixed-parameter tractability. They particularly asked whether HRLQ is fixed-parameter tractable parameterized by the minimum number b of blocking pairs over all matchings meeting all lower and upper quota requirements.

In this paper we follow this avenue, and study the fixed-parameter tractability of HRLQ. It allows us to provide a fine-grained analysis of HRLQ, and the design of efficient algorithms for $\mathsf{NP}$-hard variants of HRLQ for small parameter values. Our main focus will be the case of HRLQ when each hospital has unit upper quota. The reason is that by the frequently applied method of “cloning” hospitals, stable instances of HRLQ reduce to the case where each hospital has unit upper quota—and thus we can reduce stable instances of HRLQ to the SM setting with lower quotas. In fact, this is equivalent to the special case of SM where only a subset of women (or, equivalently, men) are distinguished by having also a unit lower quota. From now on, we refer to HRLQ with unit upper quotas as SMC (where C means that we have to cover the women/men who have a unit lower quota), to the special case of SMC with one-sided covering constraints, linking SMC and HRLQ, as SMC-1. So formally, in SMC a set ${\mathcal{W}}^{\star }$ of women and a set ${\mathcal{M}}^{\star }$ of men are distinguished, and a feasible matching is one where each person in ${\mathcal{W}}^{\star }\cup {\mathcal{M}}^{\star }$ gets matched. By the Rural Hospitals Theorem [20] we know that the set of unmatched men and women is the same in all stable matchings, so clearly, feasible stable matchings may not exist. Thus, we define the task in SMC as finding a feasible matching with a minimum number of blocking pairs.

Apart from the recent interest in HRLQ, its reduction SMC also serves as a “modern version” of a classical problem first introduced by Donald Knuth. Knuth [31] considered SM with “arranged marriages”, which are a set $\mathcal{X}$ of man-woman pairs that must be matched with each other. He showed that the Gale–Shapley algorithm can be extended to decide the existence of a stable matching still in time $O(n^2)$ for n-person instances, but in case of absence of a stable matching, minimizing the number of blocking pairs is $\mathsf{NP}$-hard. Now in SMC, one does not prescribe any more which woman has to marry which man, but only requires certain women and men to marry without dictating their partner. There is a natural Turing reduction from SMC to the variant considered by Knuth. Coarse analysis into polynomial-time solvable and $\mathsf{NP}$-hard cases has been studied by several researchers [1].

Another motivation for studying the SMC problem comes from the following scenario that we dub Control for Stable Marriage. Consider a two-sided market where each participant of the market expresses its preferences over members of the other party, and some central agent (e.g., a government) performs the task of finding a stable matching in the market. It might happen that this central agency wishes to apply a certain control on the stable matching produced: it may favour some participants by trying to assign them a partner in the resulting matching. Such a behaviour might be either malicious (e.g., the central agency may accept bribes and thus favour certain participants) or beneficial (e.g., it may favour those who are at disadvantage, like handicapped or minority participants). However, there might not be a stable matching that covers all participants the agency wants to favour; thus arises the need to produce a matching that is as stable as possible among those that fulfil our constraints—the most natural aim in such a case is to minimize the number of blocking pairs in the produced matching, which yields exactly the SMC problem. Similar control problems have been extensively studied in the area of social choice for voting systems [7, Chapter 7] and recently also for fair division scenarios [2], but have not yet been considered in connection to stable matchings.

Our Results

We provide an extensive algorithmic analysis of the SMC problem and its special case SMC-1. In our analysis, we examine how different aspects of the input influence the tractability of these problems. To this end, we apply the framework of parameterized complexity, which deals with computationally hard problems and focuses on how certain parameters of a problem instance influence its tractability; for background, we refer to the book by Cygan et al. [11]. We aim to design so-called fixed-parameter algorithms, which perform well in practice if the value of the parameter on hand is small (for the precise definitions, see Sect. 2).

The parameters we consider are

• the number b of blocking pairs allowed,

• the number $|{\mathcal{W}}^{\star }|$ of women with covering constraint,

• the number $|{\mathcal{M}}^{\star }|$ of men with covering constraint,

• the maximum length ${\Delta }_{\mathcal{W}}$ of women’s preference lists, and

• the maximum length ${\Delta }_{\mathcal{M}}$ of men’s preference lists.

The choice of each of these parameters is motivated by the aforementioned applications. For instance, we seek matchings where ideally no blocking pairs at all or at least only few of them appear, to ensure stability of the matching and happiness of those getting matched. The number of women/men with covering constraints corresponds, for instance, to the number of rural hospitals for which a minimum quota specifically must be enforced, which we can expect to be small among the set of all hospitals accepting medical residents. Finally, preference lists of hospitals and residents can be expected to be small, as each hospital might not rank many more candidates than the number of positions it has to fill, whereas residents might rank only their top choices of hospitals.

We investigate in detail how these parameters influence the complexity of the SMC problem. A parameterized restriction of SMC with respect to the set $S=\{b,|{\mathcal{W}}^{\star }|,|{\mathcal{M}}^{\star }|,{\Delta }_{\mathcal{M}},{\Delta }_{\mathcal{W}}\}$ means a (possibly parameterized) special case of SMC where each element of S is either restricted to be some constant integer, or regarded as a parameter, or left unbounded. Intuitively, these different choices for the elements of S correspond to their expected “range” in applications, from very small to mid-range to large (compared to the size of the entire system). By considering all combinations, we can flexibly model the whole range of applications mentioned above. We can even cover some cases of master lists, where all men’s preference lists are restrictions of the exact same total order over the women, and likewise all women’s preference lists are restrictions of the exact same total order over the men.

Theorem 1

Any parameterized restriction of SMC with respect to$\{b,|{\mathcal{W}}^{\star }|,|{\mathcal{M}}^{\star }|,{\Delta }_{\mathcal{M}},{\Delta }_{\mathcal{W}}\}$ is in $\mathsf{P}$, or $\mathsf{NP}$-hard and fixed-parameter tractable, or $\mathsf{NP}$-hard and $\mathsf{W}[\mathsf{1}]$-hard with the given parameterization,1 and is covered by one of the results shown in Table 1.

Table 1.

Summary of our results for Stable Marriage with Covering Constraints

Constants	Parameters	Complexity
$|{\mathcal{M}}^{\star }|=0$, $|{\mathcal{W}}^{\star }|=0$		in $\mathsf{P}$ (Gale–Shapley algorithm)
$|{\mathcal{M}}^{\star }|=0,|{\mathcal{W}}^{\star }|,{\Delta }_{\mathcal{M}}$		in $\mathsf{P}$ (Theorem 7)
$|{\mathcal{M}}^{\star }|,|{\mathcal{W}}^{\star }|,{\Delta }_{\mathcal{M}},{\Delta }_{\mathcal{W}}$		in $\mathsf{P}$ (Theorem 7)
$|{\mathcal{M}}^{\star }|=0,{\Delta }_{\mathcal{M}}\le 2$		in $\mathsf{P}$ (Theorem 8)
${\Delta }_{\mathcal{W}}\le 2,{\Delta }_{\mathcal{M}}\le 2$		in $\mathsf{P}$ (Observation 2)
b		in $\mathsf{P}$ (Observation 1)
$|{\mathcal{M}}^{\star }|=0,{\Delta }_{\mathcal{W}}=2,{\Delta }_{\mathcal{M}}\ge 3$		$\mathsf{NP}$-hard (Theorem 9)
$|{\mathcal{W}}^{\star }|=1,{\Delta }_{\mathcal{W}}=2$		$\mathsf{NP}$-hard (Theorem 10)
$|{\mathcal{M}}^{\star }|=0,{\Delta }_{\mathcal{W}}\ge 3,{\Delta }_{\mathcal{M}}\ge 3,{\Delta }^{\star }=1$	$b+|{\mathcal{W}}^{\star }|$	$\mathsf{W}[1]$-hard (Theorem 2)
$|{\mathcal{M}}^{\star }|=0,|{\mathcal{W}}^{\star }|\ge 1,{\Delta }_{\mathcal{W}}\ge 3,{\Delta }^{\star }=1$	$b+{\Delta }_{\mathcal{M}}$	$\mathsf{W}[1]$-hard (Theorem 5)
${\Delta }_{\mathcal{W}}\le 2$	$|{\mathcal{W}}^{\star }|+|{\mathcal{M}}^{\star }|$	$\mathsf{FPT}$ (Theorem 11)
${\Delta }_{\mathcal{W}}\le 2$	b	$\mathsf{FPT}$ (Corollary 3)
${\Delta }_{\mathcal{W}}\le 2$	$|{\mathcal{W}}^{\star }|+{\Delta }_{\mathcal{M}}$	$\mathsf{FPT}$ (Theorem 12)

Here, ${\Delta }^{\star }$ denotes the maximum length of the preference list of any distinguished person

In particular, SMC is $\mathsf{W}[1]$-hard parameterized by $b+|{\mathcal{W}}^{\star }|$, even if there are no distinguished men (i.e., $|{\mathcal{M}}^{\star }|=0$), there is a master list over men as well as one over women, ${\Delta }_{\mathcal{M}}=3$, ${\Delta }_{\mathcal{W}}=3$ and each distinguished woman finds only a single man acceptable.

We give a decision diagram in Sect. 7 to show that the presented results indeed cover all restrictions of SMC with respect to $\{b,|{\mathcal{W}}^{\star }|,|{\mathcal{M}}^{\star }|,{\Delta }_{\mathcal{M}},{\Delta }_{\mathcal{W}}\}$. Table 1 summarizes our results on the complexity of SMC. Note that some results are implied directly by the symmetrical roles of men and women in SMC, and thus are not stated explicitly. Here and later, we assume for simplicity that ${\Delta }_{\mathcal{M}}\ge 2$ and ${\Delta }_{\mathcal{W}}\ge 2$.

As a special case, we answer a question by Hamada et al. [24] who gave an exponential-time algorithm that in time $O(|I{|}^{b+1})$ decides for a given instance I of HRLQ whether it admits a feasible matching with at most b blocking pairs;2 the authors asked whether HRLQ is fixed-parameter tractable parameterized by b. As shown by Theorem 1, SMC-1 and therefore also HRLQ is $\mathsf{W}[1]$-hard when parameterized by b, already in a very restricted setting. Thus, the answer to the question by Hamada et al. [24] is negative: SMC-1, and hence HRLQ, admits no fixed-parameter algorithm with parameter b unless $\mathsf{FPT}=\mathsf{W}[1]$.

Related Work

There is a dynamically growing literature on matching markets with lower quotas [4, 8, 16–18, 22, 24, 26, 30, 40, 44, 45]. These papers study several variants of HRLQ, adapting the general model to the various particularities of practical problems. However, there are only a few papers which consider the problem of minimizing the number of blocking pairs [17, 24]. The most closely related work to ours is the paper by Hamada et al. [24]: they prove that the HRLQ problem is $\mathsf{NP}$-hard and give strong inapproximability results; they also consider the SMC-1 problem directly and propose an $O(|I{|}^{b+1})$ time algorithm for it.

A different line of research connected to SMC is the problem of arranged marriages, an early extension of SM suggested by Knuth [31]. Here, a set ${\mathcal{Q}}^{\star }$ of man-woman pairs is distinguished, and we seek a stable matching that contains ${\mathcal{Q}}^{\star }$ as a subset. Thus, as opposed to SMC, we not only require that each distinguished person is assigned some partner, but instead prescribe its partner exactly. Initial work on arranged marriages [23, 31] was extended by Dias et al. [12] to consider also forbidden marriages, and was further generalized by Fleiner et al. [15] and Cseh and Manlove [10]. Despite the similar flavour of the studied problems, none of these papers have a direct consequence on the complexity of SMC.

Our work also fits into the line of research that addresses computationally hard problems in the area of stable matchings by focusing on instances with bounded preference lists [6, 27, 29, 32, 41] or by applying the more flexible approach of parameterized complexity [1, 3, 5, 37, 38].

Organization After the preliminaries in Sect. 2, we start with the main intractability result in Sect. 3, which answers Hamada et al.’s question. This result shows $\mathsf{W}[1]$-hardness of SMC parameterized by $b+|{\mathcal{W}}^{\star }|$ even when ${\mathcal{M}}^{\star }=\mathrm{\varnothing }$ and ${\Delta }_{\mathcal{M}}={\Delta }_{\mathcal{W}}=3$. Thus, we explore three directions to achieve tractability: (i) to lower b to be a constant, (ii) to lower $|{\mathcal{W}}^{\star }|$ to be a constant, or (iii) to lower either ${\Delta }_{\mathcal{W}}$ or ${\Delta }_{\mathcal{M}}$ to 2. We cover the cases (i) and (ii) in Sect. 5, and case (iii) in Sect. 6. In addition, Sect. 4 provides polynomial-time approximation results for HRLQ and SMC, used also in the polynomial-time algorithms of Sect. 5.

Preliminaries

An instance I of the Stable Marriage (SM) problem consists of a set $\mathcal{M}$ of men and a set $\mathcal{W}$ of women. Each person $x\in \mathcal{M}\cup \mathcal{W}$ has a preference list L(x) that strictly orders the members of the other party acceptable for x. We thus write L(x) as a vector $L(x)=(y_1,\dots ,y_t)$, denoting that $y_i$ is (strictly) preferred by x over $y_j$ for each i and j with $1\le i<j\le t$. A matching M for I is a set of man-woman pairs appearing in each other’s preference lists such that each person is contained in at most one pair of M; some persons may be left unmatched by M. For each person x we denote by M(x) the person assigned by M to x. For a matching M, a man m and a woman w included in each other’s preference lists form a blocking pair if (i) m is either unmatched or prefers w to M(m), and (ii) w is either unmatched or prefers m to M(w). In the Stable Marriage with Covering Constraints (SMC) problem, we are given additional subsets ${\mathcal{W}}^{\star }\subseteq \mathcal{W}$ and ${\mathcal{M}}^{\star }\subseteq \mathcal{M}$ of distinguished people that must be matched; a matching M is feasible if it matches everybody in ${\mathcal{W}}^{\star }\cup {\mathcal{M}}^{\star }$. The objective of SMC is to find a feasible matching for I with minimum number of blocking pairs. If only people from one gender are distinguished, then without loss of generality, we assume these to be women; this special case will be denoted by SMC-1.

The many-to-one extension of SMC-1 is the Hospitals/Residents with Lower Quotas (HRLQ) problem whose input consists of a set $\mathcal{R}$ of residents and a set $\mathcal{H}$ of hospitals that have ordered preferences over the acceptable members of the other party. Each hospital $h\in \mathcal{H}$ has a quota lower bound $\underset{\_}{\mathsf{q}}(h)$ and a quota upper bound $\overline{\mathsf{q}}(h)$, which bound the number of residents that can be assigned to h from below and above. One seeks an assignment M that maps a subset of the residents to hospitals that respects acceptability and is feasible, that is, $\underset{\_}{\mathsf{q}}(h)\le |M(h)|\le \overline{\mathsf{q}}(h)$ for each hospital h. Here, M(h) is the set of residents assigned to some $h\in \mathcal{H}$ by M. We say that a hospital h is under-subscribed if $|M(h)|<\overline{\mathsf{q}}(h)$. For an assignment M of an instance of HRLQ, a pair $\{r,h\}$ of a resident r and a hospital h is blocking if (i) r is unassigned or prefers h to the hospital assigned to r by M, and (ii) h is under-subscribed or prefers r to one of the residents in M(h). The task in HRLQ is to find a feasible assignment with minimum number of blocking pairs.

Some instances of SMC may admit a master list over women, which is a total ordering $L_{\mathcal{W}}$ of all women, such that for each man $m\in \mathcal{M}$, the preference list L(m) is the restriction of $L_{\mathcal{W}}$ to those women that m finds acceptable. Similarly, we consider master lists over men.

With each instance I of SMC (or HRLQ) we can naturally associate a bipartite graph $G_I$ whose vertex partitions correspond to $\mathcal{M}$ and $\mathcal{W}$ (or $\mathcal{R}$ and $\mathcal{H}$, respectively), and there is an edge between a man $m\in \mathcal{M}$ and a woman $w\in \mathcal{W}$ (or between a resident $r\in \mathcal{R}$ and a hospital $h\in \mathcal{H}$, respectively) if they appear in each other’s preference lists. We may refer to entities of I as vertices, or a pair of entities as edges, without mentioning $G_I$ explicitly. For a graph G, we denote its vertex set by V(G) and its edge set by E(G); furthermore, let $d_G(v)$ denote the degree of vertex $v\in V(G)$ in G. A pathP in G is a series of vertices that contains each vertex at most once, with an edge of G connecting any two consecutive vertices of P. With a slight abuse of the notation, we will often identify paths with their edge sets; we will write $P^{\prime }\subseteq P$ to express that $P^{\prime }$ is a subpath of P. A matching in G is a set of edges $M\subseteq E(G)$ such that no vertex in G is adjacent to more than one edges of M; note that a matching in an instance I of SMC indeed corresponds to a matching in the graph $G_I$. For a matching M in G, a path P is called M-alternating, if among any two consecutive edges along P exactly one belongs to M. We will use a few other notions from the theory of matchings about the symmetric difference of matchings, see e.g., the book by Lovász and Plummer [35] for an introduction to this topic.

Parameterized complexity The framework of parameterized complexity deals with computationally hard problems, examining their complexity in a more detailed way than classical complexity theory. In a parameterized problem problem $\Pi$, each input instance I is associated with an integer k called the parameter. An algorithm which decides instances I of $\Pi$ in time $f(k)·{|I|}^{O(1)}$ for some computable function f is called a fixed-parameter algorithm. Note that the dependence of the polynomial in the run time is constant, but the dependence on the parameter k can be arbitrary (and is typically exponential). However, if the parameter of a given instance is small, then such an algorithm can be useful in practice even if the overall size of the instance is large.

The class of problems admitting fixed-parameter algorithms is denoted by $\mathsf{FPT}$. To argue that a problem is not in $\mathsf{FPT}$, parameterized complexity provides a hardness theory. For two parameterized problems ${\Pi }_1$ and ${\Pi }_2$, a parameterized reduction from ${\Pi }_1$ to ${\Pi }_2$ is a function f, computable by a fixed-parameter algorithm, that maps each instance $(I_1,k_1)$ of ${\Pi }_1$ to an instance $f(I_1,k_1)=(I_2,k_2)$ of ${\Pi }_2$ such that (i) $(I_1,k_1)$ is a “yes”-instance of ${\Pi }_1$ if and only if $(I_2,k_2)$ is a “yes”-instance of ${\Pi }_2$, and (ii) $k_2\le g(k_1)$ for some function g. The basic class of parameterized intractability is $\mathsf{W}[1]$: proving a problem $\Pi$ to be $\mathsf{W}[1]$-hard is strong evidence that $\Pi \notin \mathsf{FPT}$. Given some problem $\Pi$ that is known to be $\mathsf{W}[1]$-hard, a parameterized reduction from $\Pi$ to some parameterized problem ${\Pi }^{\prime }$ implies $\mathsf{W}[1]$-hardness of ${\Pi }^{\prime }$ as well.

For more on parameterized complexity, we refer the reader to the book by Cygan et al. [11].

Strong Parameterized Intractability of SMC

This section provides parameterized intractability and inapproximability results for SMC showing the hardness of finding feasible matchings with minimum number of blocking pairs. Namely, we prove SMC-1 to be $\mathsf{W}[1]$-hard parameterized by the number b of blocking pairs we aim for plus the number $|{\mathcal{W}}^{\star }|$ of distinguished women, even in a very restricted setting.

Theorem 2

SMC-1 is $\mathsf{W}[1]$-hard parameterized by $b+|{\mathcal{W}}^{\star }|$, even if there is a master list over men as well as one over women, all preference lists are of length at most 3, and $|L(w)|=1$ for each woman $w\in {\mathcal{W}}^{\star }$.

Before proving Theorem 2, let us quickly state a simple but useful claim.

Proposition 1

Let $M_1$ and $M_2$ be two matchings in an instance of SMC. Let $v_0{v}_1\cdots v_p$ (with $p\ge 1$) be a maximal path in the symmetric differenc of $M_1$ and $M_2$, denoted by $M_1▵M_2$. Then

1. P contains an edge that blocks either $M_1$ or $M_2$, and

2. if $i\in \{1,\cdots ,p-1\}$ is such that $v_i$ prefers $v_{i-i}$ to $v_{i+1}$, then $P_i=v_0{v}_1\cdots v_i$ contains an edge that blocks either $M_1$ or $M_2$.

Proof

We call a person $v_i$ a leftist if either $i=p$, or $i\in \{1,\cdots ,p-1\}$ and $v_i$ prefers $v_{i-1}$ to $v_{i+1}$. Similarly, we call $v_i$ a rightist if either $i=0$, or $i\in \{1,\cdots ,p-1\}$ and $v_i$ prefers $v_{i+1}$ to $v_{i-1}$. Observe that any person on P is either a leftist or a rightist. Moreover, the path P, and under the conditions of (b) also the path $P_i$, must contain an edge $\{x,y\}$ such that x is a leftist and y is a rightist. Let $M_i$ be the matching that does not contain $\{x,y\}$ (where $i\in \{1,2\}$). Then both x and y prefer being matched to each other as opposed to their situation in $M_i$ (where they may or may not be matched), proving both (a) and (b). $\square$

Proof of Theorem 2

We give a reduction from the $\mathsf{W}[1]$-hard Multicolored Clique parameterized by the size of the solution [14]. Let G be the input graph, with its vertex set partitioned into k sets $V_1,\dots ,V_k$; the task is to find a clique of size k in G containing exactly one vertex from each of the sets $V_i$. We let $E_{i,j}$ denote those edges that run between $V_i$ and $V_j$ for some $1\le i<j\le k$. We fix an ordering on the vertices and edges of G that places vertices of $V_i$ before vertices of $V_j$ whenever $i<j$ (the ordering on the edges of G can be chosen arbitrarily). We will write $\mathrm{succ}(x)$ to denote the vertex following x in this ordering, and we let $v_i^1$ and $v_i^{\infty }$ denote the first and last vertices in $V_i$, respectively. Similarly, we write $\mathrm{succ}(\{x,y\})$ for the edge following $\{x,y\}$, and we let $e_{i,j}^1$ and $e_{i,j}^{\infty }$ denote the first and last edges in $E_{i,j}$, respectively. We will also write $\mathrm{pred}(x)$ and $\mathrm{pred}(\{x,y\})$ for the predecessor of x or $\{x,y\}$, respectively. Also, we denote the h-th neighbor of some vertex x as n(x, h). For simplicity, we assume that G has no isolated vertices.

We construct an instance I of SMC as follows; see Figs. 1 and 2 for an illustration.

Fig. 1.

Node selecting gadget $G_i$ in the proof of Theorem 2. Throughout the paper, we use squares for women, circles for men; distinguished persons are denoted by filled squares/circles. The numbering of edges incident to some vertex (or, sometimes, arrows between edges) indicate preferences. Double edges denote edges of the stable matching $M_s$, and dashed edges are those leaving some gadget

Fig. 2.

Edge selecting gadget $G_{i,j}$ in the reduction of Theorem 2

We set the number of blocking pairs allowed for I to be $b=2k+\left(\begin{array}{c}k\\ 2\end{array}\right)$. Together with the instance I, we will define a stable (but not feasible) matching $M_s$ for I as well. If a woman w of I is matched by $M_s$, we will denote the man $M_s(w)$ by $\widehat{w}$. Some women will need “dummy” partners in their preference lists: we denote the dummy of w by $\tilde{w}$. The dummy $\tilde{w}$ will always appear as the last item on w’s preference list, and its preference list will always be $L(\tilde{w})=(w)$.

For each i and j with $1\le i<j\le k$, we construct an edge selecting gadget $G_{i,j}$ that involves women $s_{i,j}$ and $t_{i,j}$, together with women $a_{\{x,y\}}$, $b_{x\to y}$, and $b_{y\to x}$ for each edge $\{x,y\}\in E_{i,j}$. All women in $G_{i,j}$ are matched by $M_s$ except for $s_{i,j}$, and $G_{i,j}$ contains the man $\widehat{w}$ for each of these women w, together with additional dummies ${\tilde{b}}_{y\to x}$ for each $\{x,y\}\in E_{i,j}$ with x preceding y.

For each $i\in \{1,\cdots ,k\}$, we also construct a node selecting gadget$G_i$ involving women $s_i,t_i$, and $u_i^1,\cdots ,u_i^{b+1}$, together with women $a_x$, $b_x^1,\cdots ,b_x^{d_G(x)}$, and $c_x^1,\cdots ,c_x^{b+1}$ for each $x\in V_i$. The men in $G_i$ include $\widehat{w}$ for each woman w of $G_i$ except for $s_i$, and additional dummies ${\tilde{b}}_x^1,\cdots ,{\tilde{b}}_x^{d_G(x)}$ and ${\tilde{c}}_x^{b+1}$ for each $x\in V_i$.

We define the following sets of women:

$$\begin{array}{c}\hfill \begin{array}{cc}A=\{a_x\mid x\in V(G)\}\hfill & C=\{c_x^h\mid x\in V(G),1\le h\le b+1\}\hfill \\ A^{\prime }=\{a_{\{x,y\}}\mid \{x,y\}\in E(G)\}\hfill & S=\{s_i\mid 1\le i\le k\}\cup \{s_{i,j}\mid 1\le i<j\le k\}\hfill \\ B=\{b_x^h\mid x\in V(G),1\le h\le d_G(x)\}\hfill & T=\{t_i\mid 1\le i\le k\}\cup \{t_{i,j}\mid 1\le i<j\le k\}\hfill \\ B^{\prime }=\{b_{x\to y},b_{y\to x}\mid \{x,y\}\in E(G)\}\hfill & U=\{u_i^h\mid 1\le i\le k,1\le h\le b+1\}\hfill \end{array}\end{array}$$

To define the set ${\mathcal{W}}^{\star }$ of women in I with covering constraint we let ${\mathcal{W}}^{\star }=S\cup T\cup U$; note $|{\mathcal{W}}^{\star }|=2\left(\begin{array}{c}k\\ 2\end{array}\right)+2k+k(\left(\begin{array}{c}k\\ 2\end{array}\right)+2k+1)$. To finish the definition of I, we define the precise structure of these gadgets as well as the connections between them by the preference lists shown in Tables 2 and 3; when not stated otherwise, indices take all possible values. For simplicity, we write $b_x^0=a_x$, $b_x^{d_G(x)+1}=c_x^1$, and $c_x^0=b_x^{d_G(x)}$ for any vertex $x\in V(G)$.

Table 2.

Preference lists of women and men in node selecting gadgets

$L(a_x)=({\widehat{a}}_{\mathrm{succ}(x)},{\widehat{a}}_x,{\widehat{b}}_x^1),$	where $x\in V_i\backslash \{v_i^{\infty }\}$,
$L(a_x)=({\widehat{t}}_i,{\widehat{a}}_x,{\widehat{b}}_x^1),$	where $x=v_i^{\infty }$,
$L(b_x^h)=({\widehat{b}}_x^h,{\widehat{b}}_x^{h+1},{\tilde{b}}_x^h),$	where $1\le h\le d_G(x)$,
$L(c_x^h)=({\widehat{c}}_x^h,{\widehat{c}}_{\mathrm{succ}(x)}^h,{\widehat{c}}_x^{h+1}),$	where $1\le h\le b$, $x\in V_i\backslash \{v_i^{\infty }\}$,
$L(c_x^h)=({\widehat{c}}_x^h,{\widehat{u}}_i^h,{\widehat{c}}_x^{h+1},),$	where $1\le h\le b$ and $x=v_i^{\infty }$,
$L(c_x^{b+1})=({\widehat{c}}_x^{b+1},{\widehat{c}}_{\mathrm{succ}(x)}^h,{\tilde{c}}_x^{b+1}),$	where $x\in V_i\backslash \{v_i^{\infty }\}$,
$L(c_x^{b+1})=({\widehat{c}}_x^{b+1},{\widehat{u}}_i^{b+1},{\tilde{c}}_x^{b+1},),$	where $x=v_i^{\infty }$,
$L(s_i)=({\widehat{a}}_x),$	where $x=v_i^1$,
$L(t_i)=({\widehat{t}}_i),$
$L(u_i^h)=({\widehat{u}}_i^h),$
$L({\widehat{a}}_x)=(a_x,a_{\mathrm{pred}(x)}),$	where $x\in V_i\backslash \{v_i^1\}$,
$L({\widehat{a}}_x)=(a_x,s_i),$	where $x=v_i^1$,
$L({\widehat{b}}_x^h)=(b_x^{h-1},b_{x\to y},b_x^h),$	where $y=n(x,h)$, $x\in V_i$, $y\in V_j$ and $i<j$
$L({\widehat{b}}_x^h)=(b_x^{h-1},b_{y\to x},b_x^h),$	where $y=n(x,h)$, $x\in V_i$, $y\in V_j$ and $i>j$
$L({\widehat{c}}_x^h)=(c_x^{h-1},c_{\mathrm{pred}(x)}^h,c_x^h),$	where $x\in V_i\backslash \{v_i^1\}$,
$L({\widehat{c}}_x^h)=(c_x^{h-1},c_x^h),$	where $x=v_i^1$,
$L({\widehat{t}}_i)=(t_i,a_x),$	where $x=v_i^{\infty }$,
$L({\widehat{u}}_i^h)=(c_x^h,u_i^h),$	where $x=v_i^{\infty }$,
$L(\tilde{w})=(w),$	for any dummy woman $\tilde{w}$.

Table 3.

Preference lists of women and men in edge selecting gadgets

$L(a_{\{x,y\}})=({\widehat{a}}_{\mathrm{succ}(\{x,y\})},{\widehat{a}}_{\{x,y\}},{\widehat{b}}_{x\to y}),$	where $\{x,y\}\in E_{i,j}\backslash \{e_{i,j}^{\infty },\}$ and x precedes y,
$L(a_{\{x,y\}})=({\widehat{t}}_{i,j},{\widehat{a}}_{\{x,y\}},{\widehat{b}}_{x\to y}),$	where $\{x,y\}=e_{i,j}^{\infty }$ and x precedes y,
$L(b_{x\to y})=({\widehat{b}}_{x\to y},{\widehat{b}}_x^h,{\widehat{b}}_{y\to x}),$	where $y=n(x,h)$ and x precedes y in V(G),
$L(b_{y\to x})=({\widehat{b}}_{y\to x},{\widehat{b}}_y^h,{\tilde{b}}_{y\to x}),$	where $y=n(x,h)$ and x precedes y in V(G),
$L(s_{i,j})=({\widehat{a}}_{\{x,y\}}),$	where $\{x,y\}=e_{i,j}^1$,
$L(t_{i,j})=({\widehat{t}}_{i,j}),$
$L({\widehat{a}}_{\{x,y\}})=(a_{\{x,y\}},a_{\mathrm{pred}(\{x,y\})}),$	where $\{x,y\}\in E_{i,j}\backslash \{e_{i,j}^1\}$,
$L({\widehat{a}}_{\{x,y\}})=(a_{\{x,y\}},s_{i,j}),$	where $\{x,y\}=e_{i,j}^1$,
$L({\widehat{b}}_{x\to y})=(a_{\{x,y\}},b_{x\to y}),$	where x precedes y in V(G),
$L({\widehat{b}}_{y\to x})=(b_{x\to y},b_{y\to x}),$	where x precedes y in V(G),
$L({\widehat{t}}_{i,j})=(t_{i,j},a_{\{x,y\}}),$	where $\{x,y\}=e_{i,j}^{\infty }$,
$L(\tilde{w})=(w),$	for any dummy woman $\tilde{w}$.

Let us define a master list $L_{\mathcal{W}}$ over all women as follows. The first women in $L_{\mathcal{W}}$ are those in T, in any ordering. They are followed by women in A, ordered according to the reversed ordering over V(G), that is, $a_x$ precedes $a_y$ exactly if y precedes x. Next follow women of $A^{\prime }$, ordered according to the reversed ordering over E(G). Next come women in $B\cup B^{\prime }$. To order them, we first order those in B by putting $b_x^h$ before $b_y^{\ell }$ in $L_{\mathcal{W}}$ if and only if x precedes y or $x=y$ and $h<\ell$, then for each edge $\{x,y\}\in E(G)$ with x preceding y, $y=n(x,h)$ and $x=n(y,\ell )$ we insert $b_{x\to y}$ just before $b_x^h$, and we insert $b_{y\to x}$ just before $b_y^{\ell }$, thus determining the ordering of $B\cup B^{\prime }$. After women in $B\cup B^{\prime }$ come women of C, with $c_x^h$ preceding $c_y^{\ell }$ exactly if $h<\ell$ or $h=\ell$ and x precedes y. We finish the definition of the master list $L_{\mathcal{W}}$ by putting all women in $S\cup U$ at the end of $L_{\mathcal{W}}$ in an arbitrary order.

The master list over men is derived from $L_{\mathcal{W}}$ by letting $\widehat{w_1}$ precede $\widehat{w_2}$ whenever $w_1$ precedes $w_2$ in $L_{\mathcal{W}}$, and adding all dummies at the end in an arbitrary order. It is easy to check that the preference lists given in Tables 2 and 3 are indeed compatible with these master lists. This completes the construction of the instance.

We are going to prove that the constructed instance I admits a feasible assignment with at most b blocking pairs if and only if there is a clique of size k in the graph G.

“$\Rightarrow$”: Suppose there is a feasible matching M of men to women with at most b blocking pairs. Let $G_{\Delta }$ be the symmetric difference $M▵M_s$. Notice that for each woman $s\in S$, the difference $G_{\Delta }$ must contain exactly one maximal path containing s as its endpoint, since the women in S must be matched in M, but are unmatched in $M_s$. Similarly, no path of $G_{\Delta }$ can contain a woman in $T\cup U$, because these women are matched by $M_s$ to their only possible partners, and they must be matched by M as well, since $T\cup U$ is contained in ${\mathcal{W}}^{\star }$. We call a maximal path P in $G_{\Delta }$ with an endpoint s in S an improving path. We say that Pstarts at s and ends at its other endpoint, and we refer to the path starting at $s_i$ (or $s_{i,j}$) as $P_i$ (or $P_{i,j}$, respectively).

We define the cost of some path P of $G_{\Delta }$ as the number of blocking pairs $\{m,w\}$ for M involving a woman w that appears on P. By Proposition 1, each improving path contains at least one edge that is blocking for M, because no edge can block $M_s$. Therefore, each path in $G_{\Delta }$ has cost at least 1.

As there are exactly $k+\left(\begin{array}{c}k\\ 2\end{array}\right)$ improving paths (as all women in S must be matched by M), we get a minimum cost of $k+\left(\begin{array}{c}k\\ 2\end{array}\right)$. Note also that the total cost of all paths in $G_{\Delta }$ cannot exceed $b=2k+\left(\begin{array}{c}k\\ 2\end{array}\right)$. Claim 1 is therefore crucial.

Claim 1

The following holds for any improving path P of $G_{\Delta }$:

1. P cannot end at a dummy ${\tilde{c}}_x^{b+1}$ for some $x\in V(G)$.

2. P contains an edge $\{a,\widehat{a}\}$ for some $a\in A\cup A^{\prime }$ that blocks M.

3. If P is not disjoint from $G_i$ for some i, then P has cost at least 2.

Proof of Claim 1

To prove (a), suppose for contradiction that P ends at ${\tilde{c}}_x^{b+1}$, where $x\in V_i$. Clearly, P must contain at least one woman from each of the $b+1$ sets $\{c_v^h\mid v\in V_i\}$, $h=1,\cdots ,b+1$. Fix h, and let us consider the last $v\in V_i$ for which $c_v^h$ is incident to an edge of $G_{\Delta }$. Let $w=c_{\mathrm{succ}(v)}^h$ if $v\ne v_i^{\infty }$, or otherwise let $w=u_i^h$. Then the edge $\{c_v^h,\widehat{w}\}$ yields a blocking pair in M, as $M(w)=M_s(w)=\widehat{w}$, and thus $\widehat{w}$ prefers $c_v^h$ to w. This reasoning gives us $b+1$ different blocking pairs for M, one for each index h, contradicting our assumption on M.

To prove (b), let us consider the case when $P=P_i$ for some i; the argument goes the same way for the case where $P=P_{i,j}$ for some i and j. If P ends at $a_x$ for some $x\in V_i$, then $a_x$ forms a blocking pair with ${\widehat{a}}_x$ in M. If P does not end at a woman in A, then it must contain the edge $\{a_x,b_x^1\}$ for some x, in which case $\{a_x,{\widehat{a}}_x\}$ is again blocking in M, showing (b).

To see (c), first observe that if P is not disjoint from $G_i$, then P ends in $G_i$, simply because of its property that it contains edges from M and $M_s$ in an alternating fashion. Therefore, the last woman w on P must be in $B\cup C$. If $w=b_x^h$ for some $b\in B$, then the edge $\{b_x^h,{\widehat{b}}_x^{h+1}\}$ is blocking M, as $b_x^h$ cannot get its first choice ${\widehat{b}}_x^h$ in M (and ${\widehat{b}}_x^{h+1}$ cannot be on P, as that would imply that $b_x^{h+1}$ is on P, contradicting the choice of w). If, by contrast, $w=c$ for some $c\in C$, then P must end at w by (a), and then c forms a blocking pair with the third man in its preference list (for whom c is the first choice). In either case, w is involved in a blocking pair, which together with the blocking pair guaranteed by (b) implies that P has cost at least 2.

This completes the proof of Claim 1. $\square$

Claim 1 proves that for each $i\in \{1,\dots ,k\}$ the improving path $P_i$ has cost at least 2. Since all the remaining $\left(\begin{array}{c}k\\ 2\end{array}\right)$ improving paths have cost at least 1, and the total cost of these paths must be at most $b=2k+\left(\begin{array}{c}k\\ 2\end{array}\right)$, we get that any path $P_i$ (or $P_{i,j}$) must have cost exactly 2 (or 1, respectively). Furthermore, it also follows that no other path of $G_{\Delta }$ can enter or start in $G_i$, for any i, as that would imply that the number of blocking pairs for M is more than b. In addition, it is not hard to see that $G_{\Delta }$ does not contain any cycle, because all cycles in the graph underlying I contain two consecutive edges not in $M_s$. Hence, it follows that the only connected component in $G_{\Delta }$ that is not disjoint from $G_i$ is $P_i$.

To deal with the possible courses the path $P_i$ may take in the graph for some $i\in \{1,\dots ,k\}$, let $x_i$ denote the vertex in $V_i$ for which $\{a_{x_i},{\widehat{a}}_{x_i}\}$ is the blocking edge guaranteed by statement (b) of Claim 1. Observe that $P_i$ either ends at $a_{x_i}$ or contains the edge $\{a_{x_i},{\widehat{b}}_{x_i}^1\}$. In either case, we say that $P_i$selects $x_i$ from $V_i$; clearly, there can be only one vertex in $V_i$ selected by $P_i$.

Consider now $P_{i,j}$ for some $1\le i<j\le k$. Recall that $P_{i,j}$ has cost 1. Therefore, statement (b) of Claim 1 proves that the only blocking edge incident to some woman on $P_{i,j}$ must be $\{a_{\{x,y\}},{\widehat{a}}_{\{x,y\}}\}$ for some $\{x,y\}\in E_{i,j}$. We say that $P_{i,j}$selects the edge $\{x,y\}$; without loss of generality, let us assume that x precedes y. By statement (c) of Claim 1, we also know that $P_{i,j}$ cannot leave $G_{i,j}$, which means that it can only have cost 1 if it ends at ${\tilde{b}}_{y\to x}$. In particular, it contains the edges $\{b_{x\to y},{\widehat{b}}_{y\to x}\}$ and $\{b_{y\to x},{\tilde{b}}_{y\to x}\}$. Observe that the edge $\{b_{x\to y},{\widehat{b}}_x^h\}$ where h is such that $y=n(x,h)$ cannot be blocking in M (as this would indicate a cost of 2 for $P_{i,j}$), yielding that ${\widehat{b}}_x^h$ must be matched to $b_x^{h-1}$ in M. By the arguments of the previous paragraph, this means that $P_i$ must contain the subpath $(a_x,{\widehat{b}}_x^1,b_x^1,\cdots ,{\widehat{b}}_x^h,b_x^h)$. Hence, we obtain that x must be selected by $P_i$. Similarly, from the fact that the edge $\{b_{y\to x},{\widehat{b}}_y^{\ell }\}$ where $x=n(y,\ell )$ is not blocking in M we get that y must be selected by $P_j$.

Thus, we obtain that if an edge is selected by $P_{i,j}$ for some i and j, then its endpoints must be selected by $P_i$ and $P_j$. As this must hold for each pair of indices with $1\le i<j\le k$, we obtain that there must be $\left(\begin{array}{c}k\\ 2\end{array}\right)$ edges in G whose endpoints are among the k selected vertices. This can only happen if these edges are the edges of a clique of size k.

“$\Leftarrow$”: Suppose now that G has a clique of size k formed by the vertices $x_1,\dots ,x_k$, with $x_i\in V_i$ for each $i\in \{1,\cdots ,k\}$. Instead of directly defining the required matching M that is feasible and admits at most b blocking pairs, we give $M_s▵M$ as the union of paths $P_i$ for $i\in \{1,\cdots ,k\}$, and paths $P_{i,j}$ for $1\le i<j\le k$, defined as follows.

We set $P_i$ as the path

$$\begin{array}{c}\hfill P_i=(s_i,{\widehat{a}}_{v_i^1},a_{v_i^1},\cdots ,{\widehat{a}}_{x_i},a_{x_i},{\widehat{b}}_{x_i}^1,b_{x_i}^1,\cdots ,{\widehat{b}}_{x_i}^{d_G(x_i)},b_{x_i}^{d_G(x_i)},{\tilde{b}}_{x_i}^{d_G(x_i)}).\end{array}$$

Similarly, we define

$$\begin{array}{cc}\hfill P_{i,j}=& (s_{i,j},{\widehat{a}}_{e_{i,j}^1},a_{e_{i,j}^1},\cdots ,{\widehat{a}}_{\{x_i,x_j\}},a_{\{x_i,x_j\}},{\widehat{b}}_{x_i\to x_j},\hfill \\ \hfill & b_{x_i\to x_j},{\widehat{b}}_{x_j\to x_i},b_{x_j\to x_i},{\tilde{b}}_{x_j\to x_i}).\hfill \end{array}$$

It is straightforward to verify that the blocking pairs for M are then the k edges $\{a_{x_i},{\widehat{a}}_{x_i}\}$, $i\in \{1,\cdots ,k\}$, the k edges $\{b_{x_i}^{d_G(x_i)},c_{x_i}^1\}$, and the $\left(\begin{array}{c}k\\ 2\end{array}\right)$ edges $\{a_{\{x_i,x_j\}},{\widehat{a}}_{\{x_i,x_j\}}\}$, $1\le i<j\le k$. The feasibility of M is trivial; this completes the proof of Theorem 2. $\square$

A fundamental hypothesis about the complexity of $\mathsf{NP}$-hard problems is the Exponential Time Hypothesis (ETH), which stipulates that algorithms solving all Satisfiability instances in subexponential time cannot exist [28]. Assuming ETH, the fundamental Clique problem parameterized by solution size k was shown not to admit any algorithm giving the correct answer in time $f(k)·n^{o(k)}$ for all n-vertex instances and any computable function f [9, Thm. 5.4]. The known reduction from Clique to Multicolored Clique does not change the parameter [14]. Finally, in the proof of Theorem 2, an instance of Multicolored Clique with solution size k is reduced to an instance of SMC-1 with parameter $b=O(k^2)$.

Corollary 1

Assuming ETH, SMC-1 cannot be solved in time $f^{\prime }(b)·n^{o(\sqrt{b})}$ for any computable function $f^{\prime }$, even if there is a master list over men and over women, all preference lists have length at most 3, and each woman in ${\mathcal{W}}^{\star }$ finds only a single man acceptable.

Polynomial-Time Approximation

Here we first provide a polynomial-time algorithm that yields an approximation for HRLQ with factor $({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$, where ${\Delta }_{\mathcal{R}}$ is the maximum length ${\Delta }_{\mathcal{R}}$ of residents’ preference lists and ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ is the total sum of all lower quotas. Then we use this result to propose an exact polynomial-time algorithm for HRLQ for the case where both ${\Delta }_{\mathcal{R}}$ and ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ are constant. Recall that in HRLQ, our objective is to find an assignment that satisfies all quota lower and upper bounds and minimizes the number of blocking pairs.

Theorem 3

Let I be an instance of HRLQ. Let ${\Delta }_{\mathcal{R}}$ denote the maximum length of residents’ preference lists, and let ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ denote the sum of lower quota bounds taken over all hospitals in I. There is an algorithm that in polynomial time either outputs a feasible assignment for I with at most $({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$ blocking pairs, involving only ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ residents, or concludes that no feasible assignment exists.

Proof

Let ${\mathcal{H}}^{\star }$ denote the set of hospitals with positive lower quotas. We start by finding an assignment $M_q$ that assigns $\underset{\_}{\mathsf{q}}(h)$ residents to each hospital $h\in {\mathcal{H}}^{\star }$, and has the following property: Such an assignment can be obtained as follows. We start from an arbitrary assignment M that assigns $\underset{\_}{\mathsf{q}}(h)$ residents to each $h\in {\mathcal{H}}^{\star }$ (if no such assignment exists, then we can stop and reject); such an assignment, if existent, can be found in polynomial time by an algorithm of Hopcroft and Karp [25]. Then we greedily re-assign residents to hospitals of ${\mathcal{H}}^{\star }$, one-by-one: at each step, we take a hospital $h\in {\mathcal{H}}^{\star }$, and if there exists a resident r not assigned to any other hospital in ${\mathcal{H}}^{\star }$ that h prefers to the least preferred resident $r^{\prime }$ in M(h), then we replace $r^{\prime }$ with r in M(h). If this step cannot be applied anymore, then we arrive at an assignment $M_q$ with the desired property ($†$).

Given $M_q$, we reduce the upper quotas of each hospital $h\in {\mathcal{H}}^{\star }$ by $\underset{\_}{\mathsf{q}}(h)$, set all lower quotas to 0, and delete all residents in ${\mathcal{R}}^{\star }:=M_q({\mathcal{H}}^{\star })$. We then find a stable assignment $M_s$ in the resulting instance $I^{\prime }$; note that $I^{\prime }$ is an instance of HR, so we can find $M_s$ in polynomial time [19]. Finally, we output $M^{\text{out}}=M_s\cup M_q$. Clearly, $M^{\text{out}}$ is feasible. Also, any blocking pair that $M^{\text{out}}$ admits must involve either a hospital from ${\mathcal{H}}^{\star }$ or a resident from ${\mathcal{R}}^{\star }=M_q({\mathcal{H}}^{\star })$ by the stability of $M_s$ with respect to $I^{\prime }$. Observe that if some $h\in {\mathcal{H}}^{\star }$ is involved in some blocking pair $\{r,h\}$ of $M^{\text{out}}$, then we must have $r\in {\mathcal{R}}^{\star }$. To see this, recall that each resident that is preferred by h to its least preferred resident in $M_q(h)$ must be in ${\mathcal{R}}^{\star }$ because of property ($†$), and furthermore, h is under-subscribed in $M^{\text{out}}$ (within I) if and only if h is under-subscribed in $M_s$ (within $I^{\prime }$). Therefore, we can conclude that each blocking pair for $M^{\text{out}}$ must involve some resident in ${\mathcal{R}}^{\star }$; observe that $|{\mathcal{R}}^{\star }|\le {\sum }_{h\in \mathcal{H}}\underset{\_}{\mathsf{q}}(h)={\underset{\_}{\mathsf{q}}}_{\Sigma }$. Since each resident in ${\mathcal{R}}^{\star }$ is incident to at most ${\Delta }_{\mathcal{R}}-1$ edges not in $M^{\text{out}}$, we also have that $M^{\text{out}}$ admits at most $({\Delta }_{\mathcal{R}}-1)|{\mathcal{R}}^{\star }|\le ({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$ blocking pairs. $\square$

If both ${\Delta }_{\mathcal{R}}$ and ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ are constant, then Theorem 3 implies that HRLQ becomes polynomial-time solvable. Indeed, we can use the following simple strategy, depending on the number b of blocking pairs allowed: if $b\ge ({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$, then we apply Theorem 3 directly; if $b<({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$, then we use the algorithm by Hamada et al. [24] running in time $O(|I{|}^{b+1})$ which is polynomial, since b is upper-bounded by a constant.

Corollary 2

If both the maximum length ${\Delta }_{\mathcal{R}}$ of residents’ preference lists and the total sum ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ of all lower quotas is constant, then HRLQ is polynomial-time solvable.

Another application of Theorem 3 is an approximation algorithm that works regardless of whether ${\Delta }_{\mathcal{R}}$ or ${\underset{\_}{\mathsf{q}}}_{\Sigma }$ is a constant. In fact, the algorithm of Theorem 3 can be turned into a $({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$-factor approximation algorithm as follows. First, we find a stable assignment $M_s$ for I in polynomial time using the extension of the Gale–Shapley algorithm for the Hospitals/Residents problem. If $M_s$ is not feasible, then by the Rural Hospitals Theorem [20], we know that any feasible assignment for I must admit at least one blocking pair; hence, the algorithm presented in Theorem 3 clearly yields an approximation with (multiplicative and also additive) factor $({\Delta }_{\mathcal{R}}-1){\underset{\_}{\mathsf{q}}}_{\Sigma }$.

To close this section, we also state an analogue of Theorem 3 that deals with SMC: it can handle covering constraints on both sides, but assumes that all quota upper bounds are 1.

Theorem 4

There is an algorithm that in polynomial time either outputs a feasible matching for an instance I of SMC with at most $({\Delta }_{\mathcal{W}}-1)|{\mathcal{M}}^{\star }|+({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|$ blocking pairs, or concludes that I admits no feasible matching.

Proof

The proof uses the same ideas as those used in our proof for Theorem 3, so the reader may skip the proof below, which we only include for completeness.

We start by finding an arbitrary matching M that covers each distinguished person (if no such matching exists, then we can stop and reject); such a matching, if existent, can be found in polynomial time by standard flow techniques. We assume, without loss of generality, that each edge in M is incident to some distinguished person. Let us define ${\mathcal{X}}^{\star }={\mathcal{W}}^{\star }\cup {\mathcal{M}}^{\star }$, and let ${\mathcal{U}}^{\star }$ be the set of those persons $x\in {\mathcal{X}}^{\star }$ whose partner M(x) is also in ${\mathcal{X}}^{\star }$.

We proceed by modifying M into a matching $M_q$ that covers ${\mathcal{X}}^{\star }$ and has the following property: Such an assignment can be obtained as follows. We greedily assign partners to the men and women in ${\mathcal{X}}^{\star }\backslash {\mathcal{U}}^{\star }$, one-by-one: at each step, we take a person $x\in {\mathcal{X}}^{\star }\backslash {\mathcal{U}}^{\star }$, and if x forms a blocking pair (with respect to the current matching) with some y that is not the partner of a distinguished person, then we replace the partner of x with y: we add the edge $\{x,y\}$ to the matching, and delete all the other edges incident to x or y. Observe that the obtained matching is still feasible. If this step cannot be applied anymore, then we arrive at a matching $M_q$ with the desired property ($✠$); note also that each edge in $M_q$ is incident to some distinguished person.

Given $M_q$, we delete all men and women covered by $M_q$. We then find a stable matching $M_s$ in the resulting instance $I^{\prime }$; note that $I^{\prime }$ is an instance of Stable Marriage, so we can find $M_s$ in polynomial time [19]. Finally, we output $M^{\text{out}}=M_s\cup M_q$. Clearly, $M^{\text{out}}$ is feasible. Also, any blocking pair that $M^{\text{out}}$ admits must involve a person covered by $M_q$ due to the stability of $M_s$ with respect to $I^{\prime }$.

We claim that any blocking pair $\{x,y\}$ involves a person whose partner by $M_q$ is distinguished, so either $M_q(x)\in {\mathcal{X}}^{\star }$ or $M_q(y)\in {\mathcal{X}}^{\star }$. We can assume that x is covered by $M_q$ (because this holds for at least one of x and y). To see the claim, first note that if x is not distinguished, then $M_q(x)$ must be distinguished, because each edge of $M_q$ contains a distinguished person. Second, if $x\in {\mathcal{X}}^{\star }$, then either $x\in {\mathcal{U}}^{\star }$ (in which case $M_q(x)\in {\mathcal{X}}^{\star }$) or $M_q(y)\in {\mathcal{X}}^{\star }$ because of property ($✠$). Therefore, we can conclude that each blocking pair for $M^{\text{out}}$ must involve the partner of some distinguished resident. The partners of distinguished women can be incident to at most $|{\mathcal{W}}^{\star }|({\Delta }_{\mathcal{M}}-1)$ blocking pairs, and similarly, the partners of distinguished men can be incident to at most $|{\mathcal{M}}^{\star }|({\Delta }_{\mathcal{W}}-1)$ blocking pairs, proving the theorem. $\square$

SMC with Bounded Number of Distinguished Persons or Blocking Pairs

In Theorem 2 we proved $\mathsf{W}[1]$-hardness of SMC-1 for the case where ${\Delta }_{\mathcal{M}}={\Delta }_{\mathcal{W}}=3$, with parameter $b+|{\mathcal{W}}^{\star }|$. Here we investigate those instances of SMC and SMC-1 where the length of preference lists may be unbounded, but either b, or the number of distinguished persons is constant.

First, if the number b of blocking pairs allowed is constant, then SMC can be solved by simply running the extended Gale–Shapley algorithm after guessing and deleting all blocking pairs. This complements the result by Hamada et al. [24].

Observation 1

SMC can be solved in time $O(|I{|}^{b+1})$, where b denotes the number of blocking pairs allowed in the input instance I.

In Theorem 5 we prove hardness of SMC-1 even if only one woman must be covered. If we require preferences to follow master lists, then a slightly weaker version of Theorem 5, where $|{\mathcal{W}}^{\star }|=2$, still holds.

Theorem 5

SMC-1 is $\mathsf{W}[1]$-hard parameterized by $b+{\Delta }_{\mathcal{M}}$, even if ${\mathcal{W}}^{\star }=\{s\}$, ${\Delta }_{\mathcal{W}}=3$, and $|L(s)|=1$.

Proof

We present a reduction based on the one from Multicolored Clique given in the proof of Theorem 2. Given some graph G and an integer k as inputs, we are going to re-use the instance I constructed in the proof of Theorem 2. Recall that I has a feasible matching with at most $b=\left(\begin{array}{c}k\\ 2\end{array}\right)+2k$ blocking pairs if and only if G has a clique of size k. Recall also that the set of women that must be covered in I is $S\cup T\cup U$; here we denote this set by ${\mathcal{W}}_I^{\star }$. We define a modified instance $I^{\prime }$ of SMC as follows. For each $w\in {\mathcal{W}}_I^{\star }$, we create a forcing gadget $F_w$ which apart from w contains the newly introduced women $a_w,b_w,c_w,d_w$ and men $a_w^{\prime },b_w^{\prime },c_w^{\prime },d_w^{\prime }$. We also add the distinguished woman s, who must be covered in $I^{\prime }$, and the unique man t in L(s). See Fig. 3 for an illustration.

Fig. 3.

Illustration depicting the forcing gadget $F_w$ in the proof of Theorem 5

Let n(w) denote the unique man acceptable for some $w\in {\mathcal{W}}_I^{\star }$ in I. Additionally, we let $Y=\{a_w,c_w\mid w\in {\mathcal{W}}_I^{\star }\}$, and we write [Y] for an arbitrarily fixed ordering of the elements of Y. The preferences of the newly introduced men and women, as well as the modified preferences of those agents that find them acceptable, is given below. Here, again, indices take all possible values, and w can be any woman in ${\mathcal{W}}_I^{\star }$. We let $I^{\prime }$ contain all other women and men defined in I, having the same preferences as in I.

$$\begin{array}{c}\hfill \begin{array}{cc}L(s)=(t),\hfill & L(t)=([Y],s),\hfill \\ L(a_w)=(b_w^{\prime },t,a_w^{\prime }),\hfill & L(a_w^{\prime })=(a_w,d_w),\hfill \\ L(b_w)=(c_w^{\prime },b_w^{\prime }),\hfill & L(b_w^{\prime })=(b_w,w,a_w),\hfill \\ L(c_w)=(d_w^{\prime },t,c_w^{\prime }),\hfill & L(c_w^{\prime })=(c_w,b_w),\hfill \\ L(d_w)=(a_w^{\prime },d_w^{\prime }),\hfill & L(d_w^{\prime })=(d_w,w,c_w),\hfill \\ L(w)=(n(w),b_w^{\prime },d_w^{\prime }).\hfill & \hfill \end{array}\end{array}$$

We will show that $I^{\prime }$ has a feasible matching with at most b blocking pairs if and only if I has such a matching; this clearly proves the theorem.

First observe that any feasible matching $M^{\prime }$ for $I^{\prime }$ contains the edge $\{s,t\}$. Thus, if some woman y in Y is not matched by $M^{\prime }$ to her first choice, then $\{y,t\}$ is blocking in $M^{\prime }$. Consider now $F_w$ for some $w\in {\mathcal{W}}_I^{\star }$. It is straightforward to check that if $M^{\prime }(w)\ne n(w)$, then there are at least two blocking pairs incident to a woman in $F_w$. Indeed, assume first that $\{t,a_w\}$ is the only blocking pair in $F_w$; this quickly implies $M^{\prime }(c_w)=d_w^{\prime }$ and $M^{\prime }(a_w)=a_w^{\prime }$, which in turn leads to $\{d_w,d_w^{\prime }\}$ blocking $M^{\prime }$, a contradiction. Second, assume that $\{t,a_w\}$ does not block $M^{\prime }$; from this follows $M^{\prime }(a_w)=b_w^{\prime }$ and we have that $\{b_w^{\prime },w\}$ is a blocking pair for $M^{\prime }$. Now either $\{t,c_w\}$ is blocking (in which case our claim holds), or we get $M^{\prime }(c_w)=d_w^{\prime }$, which implies that $\{d_w^{\prime },w\}$ blocks $M^{\prime }$, again a contradiction.

Now, let ${\mathcal{W}}_i$ be the women in $G_i$ that must be covered in I, i.e., ${\mathcal{W}}_i=\{s_i,t_i,u_i^1,\cdots ,u_i^{b+1}\}$. Consider the number ${\beta }_i$ of blocking pairs for $M^{\prime }$ that involve a woman either in the gadget $G_i$ or in a gadget $F_w$ for some $w\in {\mathcal{W}}_i$. On the one hand, if some $w\in {\mathcal{W}}_i$ is not matched by $M^{\prime }$ to n(w), then ${\beta }_i\ge 2$ because of the blocking pairs in $F_w$. On the other hand, if each $w\in {\mathcal{W}}_i$ is matched by $M^{\prime }$ to n(w), then using the arguments of the proof for Theorem 2, we again know ${\beta }_i\ge 2$ because of the blocking pairs in $G_i$. Also, ${\beta }_i=2$ can only be achieved if (i) $M^{\prime }(t_i)=n(t_i)$, as otherwise $\{t_i,n(t_i)\}$ would be blocking for $M^{\prime }$, in addition to the two blocking pairs in $F_{t_i}$, and (ii) $M^{\prime }(u_i^h)=n(u_i^h)$ for each $h\in \{1,\cdots ,b+1\}$, as otherwise we would have $M^{\prime }(s_i)=n(s_i)$ (so as to avoid having four blocking pairs due to women in $F_{u_i^h}$ and $F_{s_i}$), implying at least one blocking pair in $G_i$ in addition to those in $F_{u_i^h}$.

Analogously, let ${\beta }_{i,j}$ denote the number of blocking pairs for $M^{\prime }$ that involve a woman either in the gadget $G_{\{i,j\}}$ or in a gadget $F_w$ for some $w\in \{s_{i,j},t_{i,j}\}$. Then either ${\beta }_{i,j}\ge 2$, or we know that $M^{\prime }(w)=n(w)$ for both women $w\in \{s_{i,j},t_{i,j}\}$; in this case, from the proof of Theorem 2 we get ${\beta }_{i,j}\ge 1$. However, supposing that $M^{\prime }$ has at most $b=2k+\left(\begin{array}{c}k\\ 2\end{array}\right)$ blocking pairs, it follows that ${\beta }_i=2$ and ${\beta }_{i,j}=1$ must hold for each $i\in \{1,\cdots ,k\}$ and each i, j with $1\le i<j\le k$, respectively.

Along the same lines as in the proof of Theorem 2, it can also be verified that ${\beta }_{i,j}=1$ for each pair of indices i, j can only be achieved if $M^{\prime }▵M_s$ contains a path in each gadget $G_i$. From $M^{\prime }(w)=n(w)$ for each $w\in {\mathcal{W}}_i\backslash \{s_i\}$ we get that such a path contains at least one blocking pair. This implies $M^{\prime }(s_i)=n(s_i)$, as otherwise we would end up with ${\beta }_i\ge 3$ because of the blocking pairs incident to women of $F_{s_i}$.

Altogether, we have proved that $M^{\prime }(w)=n(w)$ for each $w\in {\mathcal{W}}_I^{\star }$. Hence, the restriction of $M^{\prime }$ to I yields a feasible matching for I that admits at most b blocking pairs.

For the other direction, suppose that I has a feasible matching M. Then it is easy to see that adding the edges $\{a_w,b_w^{\prime }\}$, $\{b_w,c_w^{\prime }\}$, $\{c_w,d_w^{\prime }\}$, and $\{d_w,a_w^{\prime }\}$ for each $w\in {\mathcal{W}}_I^{\star }$ together with the edge $\{s,t\}$ to M yields a feasible matching for $I^{\prime }$ that contains exactly the same number of blocking pairs in $I^{\prime }$ as M does in I. $\square$

Theorem 6

SMC-1 is $\mathsf{W}[1]$-hard parameterized by $b+{\Delta }_{\mathcal{M}}$, even if there is a master list over men as well as one over women, $|{\mathcal{W}}^{\star }|=2$, ${\Delta }_{\mathcal{W}}\le 3$, and $|L(w)|=1$ for each $w\in {\mathcal{W}}^{\star }$.

Proof

The proof is very similar to the one for Theorem 5, so we will only sketch it. Again, we are going to re-use the instance I constructed in the proof of Theorem 2, and construct a modified instance $I^{\prime }$ of SMC, adding only two new women $z_1$ and $z_2$ and two men $m_1$ and $m_2$ to I. We append $z_1$ and $z_2$, in this order, to the master list over women, and similarly, we append $m_1$ and $m_2$ to the master list over men. We define the women to be covered in $I^{\prime }$ as $z_1$ and $z_2$.

Again, we denote the set of women to be covered in I by ${\mathcal{W}}_I^{\star }$, and we denote by n(w) the unique man acceptable for some $w\in {\mathcal{W}}_I^{\star }$ in I. The preferences of the newly introduced men and women, as well as the modified preferences of those agents that find them acceptable, is given below (here, ${[{\mathcal{W}}_I^{\star }]}_{\prec }$ denotes the ordering of ${\mathcal{W}}_I^{\star }$ given by the master list). We let $I^{\prime }$ contain all other women and men defined in I, having the same preferences as in I.

$$\begin{array}{c}\hfill \begin{array}{cc}L(z_1)=(m_1),\hfill & L(m_1)=({[{\mathcal{W}}_I^{\star }]}_{\prec },z_1),\hfill \\ L(z_2)=(m_2),\hfill & L(m_2)=({[{\mathcal{W}}_I^{\star }]}_{\prec },z_2),\hfill \\ L(w)=(n(w),m_1,m_2)\hfill & \forall w\in {\mathcal{W}}_I^{\star }.\hfill \end{array}\end{array}$$

Arguing analogously as before in the proof of Theorem 5, one can show that $I^{\prime }$ has a feasible matching with at most b blocking pairs if and only if I has such a matching; this suffices to prove the theorem. $\square$

To contrast our intractability results, we show next that if each of the four parameters $|{\mathcal{W}}^{\star }|$, $|{\mathcal{M}}^{\star }|$, ${\Delta }_{\mathcal{W}}$, and ${\Delta }_{\mathcal{M}}$ is constant, then SMC becomes polynomial-time solvable. Our algorithm relies on the observation that in this case, the number of blocking pairs in an optimal solution is at most $({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|+({\Delta }_{\mathcal{W}}-1)|{\mathcal{M}}^{\star }|$ by Theorem 4. Note that for instances of SMC-1, Theorem 7 yields a polynomial-time algorithm already if both $|{\mathcal{W}}^{\star }|$ and ${\Delta }_{\mathcal{M}}$ are constant.

Theorem 7

SMC can be solved in time $O(|I{|}^{({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|+({\Delta }_{\mathcal{W}}-1)|{\mathcal{M}}^{\star }|+1})$.

Proof

By Theorem 4, there is a matching with at most $b_{\mathit{max}}=({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|+({\Delta }_{\mathcal{W}}-1)|{\mathcal{M}}^{\star }|$ blocking pairs. Hence, if the number b of blocking pairs allowed is at least $b_{max}$, then we can simply run the algorithm of Theorem 4. Otherwise, we can use Observation 1, which gives us the required run time. $\square$

Importantly, restricting only three of the values $|{\mathcal{W}}^{\star }|$, $|{\mathcal{M}}^{\star }|$, ${\Delta }_{\mathcal{W}}$, and ${\Delta }_{\mathcal{M}}$ to be constant does not yield tractability for SMC, showing that Theorem 7 is tight in this sense. Indeed, Theorem 5 implies immediately that restricting the maximum length of the preference lists on only one side still results in a hard problem: SMC remains $\mathsf{W}[1]$-hard with parameter $b+{\Delta }_{\mathcal{M}}$, even if ${\Delta }_{\mathcal{W}}=3$, $|{\mathcal{W}}^{\star }|=1$, and $|{\mathcal{M}}^{\star }|=0$. On the other hand, Theorem 2 shows that the problem remains hard even if ${\Delta }_{\mathcal{W}}={\Delta }_{\mathcal{M}}=3$ and $|{\mathcal{M}}^{\star }|=0$.

SMC with Preference Lists of Length at Most Two

In this section we investigate the computational complexity of SMC where the maximum length of preference lists is bounded by 2 on one side. This restriction leads to important tractable special cases: we obtain both polynomial-time algorithms and fixed-parameter tractability results for various parameterizations.

Let I be an instance of SMC with underlying graph G. Let $M_s$ be a stable matching in I, and let ${\mathcal{M}}_0^{\star }$ and ${\mathcal{W}}_0^{\star }$ denote the set of distinguished men and women, respectively, unmatched by $M_s$. Furthermore, let ${\mathcal{M}}_0$ and ${\mathcal{W}}_0$ denote the set of all men and women, respectively, unmatched by $M_s$. A path P in G is called an augmenting path, if $M_s▵P$ is a matching, and either both endpoints of P are in ${\mathcal{M}}_0^{\star }\cup {\mathcal{W}}_0^{\star }$, or one endpoint of P is in ${\mathcal{M}}_0^{\star }\cup {\mathcal{W}}_0^{\star }$, and its other endpoint is not distinguished. This definition ensures that for an augmenting path P, the set of distinguished men and women that are matched in $M_s▵P$ strictly contains the set of distinguished men and women matched in $M_s$.3 We will call an augmenting path Pmasculine or feminine if it contains a man in ${\mathcal{M}}_0^{\star }$ or a woman in ${\mathcal{W}}_0^{\star }$, respectively; if P is both masculine and feminine, then we call it neutral. If P is not neutral, then we say that it starts at the (unique) person from ${\mathcal{M}}_0^{\star }\cup {\mathcal{W}}_0^{\star }$ it contains, and ends at its other endpoint.

Covering Constraints on One Side

Here we deal with the SMC-1 problem where only women need to be covered. We first give a polynomial-time algorithm for SMC-1 when each man finds at most two women acceptable, and then show $\mathsf{NP}$-hardness of SMC-1 for instances where each woman finds at most two men acceptable. We start by considering the special case of SMC-1 where ${\Delta }_{\mathcal{M}}\le 2$.

Theorem 8

There is a polynomial-time algorithm for the special case ofSMC-1 where each man finds at most two women acceptable.

High-Level Description The main observation behind Theorem 8 is that if ${\Delta }_{\mathcal{M}}\le 2$, then any two augmenting paths starting from different women in ${\mathcal{W}}_0^{\star }$ are almost disjoint, namely they can only intersect at their endpoints. Thus, we can modify the stable matching $M_s$ by selecting augmenting paths starting from each woman in ${\mathcal{W}}_0^{\star }$ in an almost independent fashion: intuitively, we simply need to take care not to choose paths sharing an endpoint—a task which can be managed by finding a bipartite matching in an appropriately defined auxiliary graph. To ensure that the number of blocking pairs in the output is minimized, we will assign costs to the augmenting paths. Roughly speaking, the cost of an augmenting path P determines the number of blocking pairs introduced when modifying $M_s$ along P (though certain special edges need not be counted); hence, our problem reduces to finding a bipartite matching with minimum weight in the auxiliary graph.

To present the algorithm of Theorem 8 in detail, we start with the following properties of augmenting paths which are easy to prove using that ${\Delta }_{\mathcal{M}}\le 2$:

Proposition 2

Suppose ${\Delta }_{\mathcal{M}}\le 2$. Let $P_1$ and $P_2$ be augmenting paths starting at women $w_1$ and $w_2$, respectively.

1. If $w_1\ne w_2$, then $P_1$ and $P_2$ are either vertex-disjoint, or they both end at some $m\in {\mathcal{M}}_0$, with $V(P_1)\cap V(P_2)=\{m\}$.

2. If there is an edge $\{m,w\}$ of G (with $m\in \mathcal{M}$ and $w\in \mathcal{W}$) connecting $P_1$ and $P_2$, then $m\in {\mathcal{M}}_0$ and $P_1$ or $P_2$ must end at m.

3. If $w_1=w_2$ and P is the maximal common subpath of $P_1$ and $P_2$ starting at $w_1$, then either $V(P_1)\cap V(P_2)=V(P)$, or $P_1$ and $P_2$ both end at some $m\in {\mathcal{M}}_0$ and $V(P_1)\cap V(P_2)=V(P)\cup \{m\}$.

With a set P of edges (typically a set of augmenting paths) where $M_s▵P$ is a matching, we associate a cost, which is the number of blocking pairs that $M_s▵P$ admits. A pair $\{m,w\}$ for some $m\in \mathcal{M}$ and $w\in \mathcal{W}$ is special, if $m\in {\mathcal{M}}_0$ and w is the second (less preferred) woman in L(m). As it turns out, such edges can be ignored during certain steps of the algorithm; thus, we define the special cost of P as the number of non-special blocking pairs in $M_s▵P$.

Lemma 1

For vertex-disjoint augmenting paths $P_1$ and $P_2$ with cost $c_1$ and $c_2$, respectively, the cost of $P_1\cup P_2$ is at most $c_1+c_2$. Further, if the cost of $P_1\cup P_2$ is less than $c_1+c_2$, then the following holds for $\{i_1,i_2\}=\{1,2\}$: there is a special edge $\{m,w\}$ with $P_{i_1}$ ending at m and w appearing on $P_{i_2}$; moreover, $\{m,w\}$ is blocking in $M_s▵P_{i_2}$, but not in $M_s▵(P_1\cup P_2)$.

Proof

First observe that if some edge $\{m,w\}$ has a common vertex with only one of the paths $P_1$ and $P_2$, say $P_1$, then $\{m,w\}$ is blocking in $M_s▵P_1$ if and only if it is blocking in $M_s▵(P_1\cup P_2)$.

Consider now the case when $\{m,w\}$ connects $P_1$ and $P_2$. By Proposition 2, this implies that one of the paths, say $P_1$, ends at $m\in {\mathcal{M}}_0$ (and w lies on $P_2$). Clearly, $\{m,w\}$ is not blocking in $M_s▵P_1$, by the stability of $M_s$. If, on the one hand, w is the first choice of m, then $\{m,w\}$ is blocking in $M_s▵P_2$ exactly if it is blocking in $M_s▵(P_1\cup P_2)$. If, on the other hand, $\{m,w\}$ is special, then it cannot be blocking in $M_s▵(P_1\cup P_2)$, but it might be blocking in $M_s▵P_2$. Putting all these facts together, the lemma follows immediately. $\square$

We are ready to provide the algorithm, in a sequence of four steps.

Step 1: Computing all augmenting paths By Proposition 2, if we delete ${\mathcal{M}}_0$ from the union of all augmenting paths starting at some $w\in {\mathcal{W}}_0^{\star }$, then we obtain a tree. Furthermore, these trees are mutually vertex-disjoint for different starting vertices of ${\mathcal{W}}_0^{\star }$. This allows us to compute all augmenting paths in linear time, e.g., by an appropriately modified version of a depth-first search algorithm (so that only augmenting paths are considered). During this process, we can also compute the special cost of each augmenting path in a straightforward way.

Step 2: Constructing an auxiliary graph Using the results of the computation of Step 1, we construct an edge-weighted single bipartite graph $G_{\mathit{path}}=(U,V;E)$ as follows. To define the vertices of $G_{\mathit{path}}$ we set $U:={\mathcal{W}}_0^{\star }$ and $V:={\mathcal{M}}_0\cup \{w^{\prime }\mid w\in {\mathcal{W}}_0^{\star }\}$, so for each woman $w\in {\mathcal{W}}_0^{\star }$ we create a corresponding new vertex $w^{\prime }$. The edge set E contains an edge $\{w,w^{\prime }\}$ for each $w\in U$, as well as an edge $\{w,m\}$ whenever $w\in U$, $m\in {\mathcal{M}}_0$ and there exists an augmenting path with endpoints w and m. We define the weight of an edge $\{w,w^{\prime }\}$ as the minimum special cost $c_w^{\mathit{min}}$ of any augmenting path starting at w and not ending in ${\mathcal{M}}_0$, and we define the weight of an edge $\{w,m\}$ with $w\in U$ and $m\in {\mathcal{M}}_0$ as the minimum special cost of any augmenting path with endpoints w and m.

Step 3: Computing a minimum weight matching We compute a matching $M_P$ in $G_{\mathit{path}}$ covering U and having minimum weight; this can be done in polynomial time by, e.g., the Hungarian method [34]. Observe that the matching $M_P$ corresponds to a set of augmenting paths $\mathcal{P}=\{P_w\mid w\in {\mathcal{W}}_0^{\star }\}$ that are mutually vertex-disjoint by Proposition 2. Recall that the special cost of $P_w$ is the weight of the edge in $M_P$ incident to w.

Step 4: Eliminating blocking special edges In this step, we modify $\mathcal{P}$ iteratively. We start by setting ${\mathcal{P}}_{\mathit{act}}=\mathcal{P}$. At each iteration we modify ${\mathcal{P}}_{\mathit{act}}$ as follows. We check whether there exists a special edge $\{m^{\ast },w^{\ast }\}$ that is blocking in $M_s▵{\mathcal{P}}_{\mathit{act}}$. If yes, then notice that $m^{\ast }$ is not matched in $M_s▵{\mathcal{P}}_{\mathit{act}}$, because $\{m^{\ast },w^{\ast }\}$ is special and thus $m^{\ast }\in {\mathcal{M}}_0$. Let P be the path of ${\mathcal{P}}_{\mathit{act}}$ containing $w^{\ast }$. We modify ${\mathcal{P}}_{\mathit{act}}$ by truncating P to its subpath between its starting vertex and $w^{\ast }$, and appending to it the edge $\{m^{\ast },w^{\ast }\}$. This way, $\{m^{\ast },w^{\ast }\}$ becomes an edge of the matching $M_s▵{\mathcal{P}}_{\mathit{act}}$. The iteration stops when there is no special edge blocking $M_s▵{\mathcal{P}}_{\mathit{act}}$. Note that once a special edge ceases to be blocking in $M_s▵{\mathcal{P}}_{\mathit{act}}$, it cannot become blocking again during this process, so the algorithm performs at most $|{\mathcal{M}}_0|$ iterations. For each $w\in {\mathcal{W}}_0^{\star }$, let $P_w^{\ast }$ denote the augmenting path in ${\mathcal{P}}_{\mathit{act}}$ covering w at the end of Step 4; we define ${\mathcal{P}}^{\ast }=\{P_w^{\ast }\mid w\in {\mathcal{W}}_0^{\star }\}$ and output the matching $M_s▵{\mathcal{P}}^{\ast }$.

This completes the description of the algorithm; we now provide its analysis.

Lemma 2

$M_{\mathit{sol}}:=M_s▵{\mathcal{P}}^{\ast }$ is a feasible matching for I, and the number of blocking pairs for $M_{\mathit{sol}}$ is at most the weight of $M_P$.

Proof

Consider the situation when the iteration in Step 4 deals with a special edge $\{m^{\ast },w^{\ast }\}$ blocking in ${\mathcal{P}}_{\mathit{act}}$. Notice that since $w^{\ast }$ is the second woman in $L(m^{\ast })$ (by the definition of a special edge), and since $\{w^{\ast },m^{\ast }\}$ is blocking in $M_s▵{\mathcal{P}}_{\mathit{act}}$, we know that $m^{\ast }$ is unmatched in $M_s▵{\mathcal{P}}_{\mathit{act}}$, that is, $m^{\ast }$ does not lie on any of the augmenting paths in ${\mathcal{P}}_{\mathit{act}}$. From this follows that the augmenting paths in ${\mathcal{P}}_{\mathit{act}}$, and hence in ${\mathcal{P}}^{\ast }$, remain mutually vertex-disjoint. Therefore, $M_{\mathit{sol}}$ is indeed a matching. As it covers ${\mathcal{W}}_0^{\star }$, and no augmenting path ends at a woman in ${\mathcal{W}}^{\star }\backslash {\mathcal{W}}_0^{\star }$, matching $M_{\mathit{sol}}$ is feasible.

Clearly, Step 4 ensures that there are no blocking special edges in $M_{\mathit{sol}}$. Note that when the algorithm modifies $P_w$ for some $w\in {\mathcal{W}}_0^{\star }$, at most one new blocking pair may arise with respect to $M_s▵{\mathcal{P}}_{\mathit{act}}$, and from the stability of M and Proposition 2 it follows that such an edge must be a special edge (incident to the man at which $P_w$ ends before its modification). This means that Step 4 gets rid of all blocking special edges without introducing any non-special blocking edges. Hence, we obtain that the cost of $P_w^{\ast }$ is at most the special cost of $P_w$, for each $w\in {\mathcal{W}}_0^{\star }$. By Lemma 1, the number of blocking pairs that $M_{\mathit{sol}}$ admits is at most the sum of the costs of all augmenting paths in ${\mathcal{P}}^{\ast }$; this finishes the proof. $\square$

To show that our algorithm is correct and $M_{\mathit{sol}}$ is optimal, by Lemma 2 it suffices to prove that the weight of $M_P$ is at most the number of blocking pairs in $M^{\mathit{opt}}$, where $M^{\mathit{opt}}$ denotes an optimal solution in I. To this end, we are going to define a matching covering ${\mathcal{W}}_0^{\star }$ in $G_{\mathit{path}}$ whose weight is at most the number of blocking pairs in $M^{\mathit{opt}}$.

Clearly, $M_s▵M^{\mathit{opt}}$ contains an augmenting path $Q_w$ covering w for each $w\in {\mathcal{W}}_0^{\star }$. If some $Q_w$ ends at a man $m\in {\mathcal{M}}_0$, then clearly no other path in $M_s▵M^{\mathit{opt}}$ can end at m. So let us take the matching $M_Q$ in $G_{\mathit{path}}$ that includes all pairs $\{m,w\}$ where $Q_w$ ends at $m\in {\mathcal{M}}_0$ for some $w\in {\mathcal{W}}_0^{\star }$. Also, we put $\{w,w^{\prime }\}$ into $M_Q$ if $Q_w$ does not end at a man of ${\mathcal{M}}_0$. Note that $M_Q$ is indeed a matching.

It remains to show that the weight of $M_Q$ is at most the number of blocking pairs in $M^{\mathit{opt}}$. By definition, the weight of $M_Q$ is at most the sum of the special costs of the paths $Q_w$ for every $w\in {\mathcal{W}}_0^{\star }$. By Lemma 1, any non-special blocking pair in $M_s▵Q_w$ remains a blocking pair in $M_s▵({\bigcup }_{w\in {\mathcal{W}}_0^{\star }}{Q}_w)$, and hence in $M^{\mathit{opt}}$ as well. Hence, there is a matching in $G_{\mathit{path}}$ with weight at most the number of blocking pairs in an optimal solution, implying the correctness of our algorithm. As the algorithm runs in polynomial time, Theorem 8 follows.

By contrast to Theorem 8, if men may have preference lists of length 3, then SMC-1 (and hence SMC) is $\mathsf{NP}$-hard even if each woman finds at most two men acceptable.

Theorem 9

SMC-1 is $\mathsf{NP}$-hard even if ${\Delta }_{\mathcal{W}}=2$ and ${\Delta }_{\mathcal{M}}=3$.

Proof

We give a reduction from the $\mathsf{NP}$-hard Vertex Cover problem, asking whether the input graph G has a vertex cover of size at most k. We order the vertices of G arbitrarily, and denote the h-th neighbor of some vertex x by n(x, h) for any $h\in \{1,\cdots ,d_G(x)\}$.

Let us construct an instance I of SMC as follows; see Fig. 4 for an illustration. For each vertex $x\in V(G)$ we construct a node gadget$G_x$ which contains women $s_x$, $a_x^0,\cdots ,a_x^{d_G(x)}$, $c_x^1$ and $c_x^2$, and men $b_x^0,\cdots ,b_x^{d_G(x)}$, and $d_x$. For each edge $\{x,y\}\in E(G)$ we also construct an edge gadget$G_{\{x,y\}}$ involving women $s_{\{x,y\}}$, $a_{x\to y}$ and $a_{y\to x}$, and men $b_{x\to y}$ and $b_{y\to x}$. Furthermore, there are two edges in the underlying graph connecting $G_{\{x,y\}}$ to $G_x$ and $G_y$, namely $\{a_{x\to y},b_x^h\}$ and $\{a_{y\to x},b_y^{\ell }\}$ where $y=n(x,h)$ and $x=n(y,\ell )$.

Fig. 4.

Illustration of a node gadget $G_x$ and an edge gadget $G_{\{x,y\}}$ constructed in the proof of Theorem 9. Double edges denote edges of a stable matching for I, and dashed edges are those leaving some gadget. The example depicted assumes $y=n(x,2)$

The preference lists of I are given in Table 4. Let the set of women with covering constraints be

$$\begin{array}{c}\hfill {\mathcal{W}}^{\star }=\bigcup _{x\in V(G)}\{s_x,a_x^0,\cdots ,a_x^{d_G(x)-1}\}\cup \bigcup _{\{x,y\}\in E(G)}\{s_{\{x,y\}}\},\end{array}$$

and set the number of blocking pairs allowed to be $|V(G)|+k$. We are going to prove that I admits a feasible matching with at most $|V(G)|+k$ blocking pairs if and only if there is a vertex cover of size k in the graph G.

Table 4.

Preference lists of women and men in the proof of Theorem 9

$L(s_x)=(b_x^0,d_x),$
$L(b_x^0)=(a_x^0,s_x),$
$L(b_x^h)=(a_x^h,a_{x\to y},a_x^{h-1})$	where $1\le h\le d_G(x)$ and $y=n(x,h)$,
$L(a_x^h)=(b_x^{h+1},b_x^h)$	where $0\le h<d_G(x)$,
$L(a_x^{d_G(x)})=(b_x^{d_G(x)}),$
$L(c_x^h)=(d_x),$	where $h\in \{1,2\}$,
$L(d_x)=(c_x^1,c_x^2,s_x),$
$L(s_{\{x,y\}})=(b_{x\to y},b_{y\to x})$	where x precedes y,
$L(b_{x\to y})=(a_{x\to y},s_{\{x,y\}}),$
$L(a_{x\to y})=(b_{x\to y},b_x^h)$	where $y=n(x,h)$.

When not stated otherwise, indices take all possible values

“$\Rightarrow$”: Let M be a feasible matching with at most $|V(G)|+k$ blocking pairs. We say that the cost of some gadget $G_x$ (or $G_{\{x,y\}}$) is the number of edges blocking M which are incident to some man of $G_x$ (or $G_{\{x,y\}}$, respectively.) We will prove that the set S of vertices x for which $G_x$ has cost at least 2 is a vertex cover of G.

First, let us consider some x for which $M(s_x)=d_x$. In this case, both $c_x^1$ and $c_x^2$ form a blocking pair for M with $d_x$, implying $x\in S$. Second, let us consider some x with $M(s_x)=b_x^0$. Since each $a_x^h$ with $0\le h<d_G(x)$ must be matched by M (because it is contained in ${\mathcal{W}}^{\star }$), we obtain $M(a_x^h)=b_x^{h+1}$ for each such h. Hence, $a_x^{d_G(x)}$ and $b_x^{d_G(x)}$ form a blocking pair for M. Moreover, if the woman $a_{x\to y}$ is unmatched in M for some y, then $\{a_{x\to y},b_x^h\}$ is also a blocking pair in M (where $y=n(x,h)$), and implies a cost of at least 2 for $G_x$. Therefore, we can observe that if $x\notin S$, then $a_{x\to y}$ must be matched by M to $b_{x\to y}$ for each neighbor y of x in G.

However, for any $\{x,y\}\in E(G)$, M must match $s_{\{x,y\}}$ either to $b_{x\to y}$ or to $b_{y\to x}$ (because $s_{\{x,y\}}$ is contained in ${\mathcal{W}}^{\star }$), which means that $x\in S$ or $y\in S$. This proves that S is indeed a vertex cover for G. Moreover, the number of vertices in S can be at most k, since each $G_x$ with $x\in S$ has cost at least 2, each $G_x$ with $x\notin S$ has cost at least 1, and the total cost of all gadgets cannot exceed our budget $|V(G)|+k$.

“$\Leftarrow$”: Given a vertex cover S of size at most k for G, we define a matching M with the desired properties. Namely, for each $x\in S$ we set $M(s_x)=d_x$ and $M(a_x^h)=b_x^h$ for each $h\in \{0,\cdots ,d_G(x)\}$. In this case, $c_x^1,c_x^2$ are unmatched by M, both forming a blocking pair with $d_x$. By contrast, all of the men $b_x^0,\cdots ,b_x^{d_G(x)}$ get their first choices.

Next, for each $x\in V(G)\backslash S$ we set $M(s_x)=b_x^0$, $M(c_x^1)=d_x$, and $M(a_x^h)=b_x^{h+1}$ for each $h\in \{0,\cdots ,d_G(x)-1\}$. Note that $a_x^{d_G(x)}$ is unmatched by M, and thus forms a blocking pair with $b_x^{d_G(x)}$. Observe also that $d_x$ is not contained in any blocking pair.

Finally, for some $\{x,y\}\in E(G)$, let us assume $y\in S$ (since S is a vertex cover, it contains x or y). We set $M(s_{\{x,y\}})=b_{y\to x}$ and $M(a_{x\to y})=b_{x\to y}$. Note that $a_{x\to y}$ gets her first choice, so it cannot be involved in a blocking pair. Although $a_{y\to x}$ is unmatched by M, we know that it cannot form a blocking pair with $b_y^{\ell }$ where $x=n(y,\ell )$, because $y\in S$ and hence $b_y^{\ell }$ is assigned her first choice by M. Thus, no man or woman of some edge gadget participates in a blocking pair, and therefore we obtain that the total number of blocking pairs for M is exactly $|V(G)|+k$.

Since M is feasible, the theorem follows. $\square$

Covering Constraints on Both Sides

Let us now investigate the complexity of SMC with covering constraints both for men and women. If we restrict the maximum length of preference lists on both sides to be at most 2, SMC becomes linear-time solvable. To see this, observe that by $max({\Delta }_{\mathcal{W}},{\Delta }_{\mathcal{M}})\le 2$, the underlying graph G must be a collection of paths and cycles. Thus, we can process the connected components of G one by one. Applying dynamic programming on each component K, we can determine the minimum number $b_K$ of blocking pairs for any matching that is feasible for K, together with a matching $M_K$ for K that admits $b_K$ blocking pairs. If K is a path, then this can be done in a straightforward manner, traversing the edges of K one by one in linear time. If K is a cycle, then we can pick any edge e of K, guess whether it is contained in $M_K$, or blocks $M_K$, or neither of the two; we can then process the remainder of K (which is a path) taking into account our guess for e. To compute the minimum number of blocking pairs that a feasible matching admits in our instance, we can simply sum up the values $b_K$ over each connected component K of G. Hence, we arrive at the following.

Observation 2

Instances of SMC with $max({\Delta }_{\mathcal{W}},{\Delta }_{\mathcal{M}})\le 2$ are linear-time solvable.

Recall that the case where ${\Delta }_{\mathcal{W}}=2$ and ${\Delta }_{\mathcal{M}}=3$ is $\mathsf{NP}$-hard by Theorem 9, even if there are no distinguished men to be covered. However, switching the roles of men and women in Theorem 8, we obtain that if there are no women to be covered, then ${\Delta }_{\mathcal{W}}\le 2$ guarantees polynomial-time solvability for SMC. This raises the natural question whether SMC with ${\Delta }_{\mathcal{W}}\le 2$ can be solved efficiently if the number of distinguished women is bounded. Next we show that this is unlikely, as the problem turns out to be $\mathsf{NP}$-hard for $|{\mathcal{W}}^{\star }|=1$.

Theorem 10

SMC is $\mathsf{NP}$-hard, even if ${\Delta }_{\mathcal{W}}=2$, $|{\mathcal{W}}^{\star }|=1$ and there is only one man m with $|L(m)|>3$.

Proof

We present a reduction from the following special case of Exact-3-Cover. We are given a set $U=\{u_1,\cdots ,u_n\}$, a family $\mathcal{S}$ of subsets $S_1,\cdots ,S_m$ of U, each having size 3, such that each element of U occurs in at most three sets of $\mathcal{S}$. The task is to decide whether there exists a collection of n/3 sets in $\mathcal{S}$ whose union covers U; such a collection of subsets is called an exact cover for U. This problem is $\mathsf{NP}$-complete [21, GT2]. We construct an equivalent instance I of SMC as follows.

The set $\mathcal{W}$ of women in I contains the women $s_j$, $p_j^1$, $p_j^2$, $p_j^3$, and $q_j$ for each $j\in \{1,\dots ,m\}$, women x and y, as well as two women $a_{i,j},b_{i,j}$ for each element $u_i$ contained in $S_j$ for each $j\in \{1,\dots ,m\}$. The men defined in I are ${\widehat{p}}_j^1$, ${\widehat{p}}_j^2$, ${\widehat{p}}_j^3$, ${\widehat{q}}_j$, and $t_j$ for each $j\in \{1,\dots ,m\}$, a man $c_i$ for each $u_i\in U$, a man ${\widehat{b}}_{i,j}$ for each element $u_i$ contained in $S_j$ for each $j\in \{1,\dots ,m\}$, plus one additional man $\widehat{y}$. (The pairs $\{w,\widehat{w}\}$ form a stable matching in I.) The only distinguished woman in I is x, and the set of distinguished men is ${\mathcal{M}}^{\star }=\{c_i\mid i=1,\dots ,n\}\cup \{t_j\mid j=1,\dots ,m\}$. The preferences of each person are as shown in Table 5. Note that since each subset $S_j$ contains three elements, and each element $u_i$ is contained in at most three subsets from $\mathcal{S}$, we get that all men except for $\widehat{y}$ have a preference list of length at most 3, as promised. To finish the construction, we set the number of allowed blocking pairs to be $b=2m+2n/3+1$.

Table 5.

Preference lists of women and men in the proof of Theorem 10

$L(x)=(\widehat{y}),$
$L(y)=(\widehat{y}),$
$L(s_j)=({\widehat{p}}_j^3,\widehat{y}),$
$L(p_j^1)=({\widehat{p}}_j^1,t_j),$
$L(p_j^h)=({\widehat{p}}_j^{h-1},{\widehat{p}}_j^h)$	for $h\in \{2,3\}$,
$L(q_j)=({\widehat{q}}_j,t_j),$
$L(a_{i,j})=({\widehat{b}}_{i,j},{\widehat{p}}_j^h)$	for the unique $h\in \{1,2,3\}$ that satisfies $i=ind(j,h)$,
$L(b_{i,j})=({\widehat{b}}_{i,j},c_i),$
$L(\widehat{y})=(y,s_1,s_2,\cdots ,s_m,x),$
$L(t_j)=(p_j^1,q_j),$
$L({\widehat{p}}_j^h)=(p_j^h,a_{i,j},p_j^{h+1})$	for $h\in \{1,2\}$ and $i=ind(j,h)$,
$L({\widehat{p}}_j^3)=(p_j^3,a_{i,j},s_j)$	where $i=ind(j,3)$,
$L({\widehat{q}}_j)=(q_j),$
$L({\widehat{b}}_{i,j})=(b_{i,j},a_{i,j}),$
$L(c_i)=([B_i])$	where $B_i=\{b_{i,j}\mid u_i\in S_j\}$ and $[B_i]$ is some fixed ordering of $B_i$

We denote by $ind(j,h)$ the index i for which $u_i$ is the h-th element in $S_j$. When not stated otherwise, indices take all possible values

We claim that I admits a feasible matching with at most b blocking pairs if and only if $(U,\mathcal{S})$ is a “yes”-instance of Exact-3-Cover.

“$\Rightarrow$”: Suppose that M is a feasible matching for I with at most b blocking pairs. Clearly, as x is distinguished, M must contain the edge $\{x,\widehat{y}\}$. Thus, $\{y,\widehat{y}\}$ is blocking in M. Second, since $t_j$ is distinguished for each $j\in \{1,\cdots ,m\}$, we get that M matches $t_j$ either to $q_j$ or to $p_j^1$, which in turn implies that either $\{q_j,{\widehat{q}}_j\}$ or $\{p_j^1,{\widehat{p}}_j^1\}$ blocks M, leading to m additional blocking pairs for M. Third, consider now any man $c_i$, $i\in \{1,\cdots ,n\}$: as $c_i$ is distinguished, we know $M(c_i)=b_{i,j}$ for some j such that $S_j$ contains $u_i$. In this case, $\{b_{i,j},{\widehat{b}}_{i,j}\}$ is also a blocking pair for M, yielding n blocking pairs of such form. Thus, if $b_U$ denotes the number of blocking pairs among the edges $\{b_{i,j},{\widehat{b}}_{i,j}\}$ for indices i and j with $u_i\in S_j$, then we get $b_U\ge n$. This adds up to $m+b_U+1\ge m+n+1$ blocking pairs so far.

Let us define the set $E_j$ of those edges that are incident to $s_j$, ${\widehat{p}}_j^3$, ${\widehat{p}}_j^2$, or ${\widehat{p}}_j^1$, but not to $p_j^1$ for some $j\in \{1,\cdots ,m\}$ ; note that these sets are pairwise disjoint, and none of them contains any of the (possibly) blocking edges mentioned in the previous paragraph.

Let k be the number of indices j for which $E_j$ contains no blocking pairs for M; we call such indices (and the subsets $S_j$ corresponding to them) selected. The $m-k$ non-selected indices clearly correspond to at least $m-k$ blocking pairs for M (each contained in $E_j$ for some j).

Suppose now that j is selected. Then, since $\{s_j,\widehat{y}\}$ is not blocking, we get $M(s_j)={\widehat{p}}_j^3$, since $\widehat{y}$ prefers $s_j$ to its partner x. This implies that $M(p_j^3)={\widehat{p}}_j^2$, as otherwise $\{p_j^3,{\widehat{p}}_j^3\}$ would be blocking in M. Similarly, from this we obtain $M(p_j^2)={\widehat{p}}_j^1$. Moreover, for each $h\in \{1,2,3\}$, to ensure that $\{{\widehat{p}}_j^h,a_{i,j}\}$ does not block M where $u_i$ is the h-th element of $S_j$, we must have $M(a_{i,j})={\widehat{b}}_{i,j}$. Hence, $\{b_{i,j},{\widehat{b}}_{i,j}\}$ must be blocking in M. Since this holds for each $h\in \{1,2,3\}$ and each selected j, we get $b_U\ge 3k$.

Summing up the blocking pairs identified so far, we know that M admits at least $1+m+(m-k)+max(n,3k)$ blocking pairs. Using that this must be upper-bounded by $b=1+m+n+(m-n/3)$, it is easy to show that only $k=n/3$ is possible. This yields that there exist exactly n/3 selected indices, and for all such indices j all the edges $\{b_{i,j},{\widehat{b}}_{i,j}\}$ for which $u_i\in S_j$ are blocking with respect to M. Moreover, we also must have $b_U=n$, as otherwise the number of blocking pairs would exceed b.

However, observe that for each $i\in \{1,\cdots ,n\}$, there must exist some j with $u_i\in S_j$ for which the pair $\{b_{i,j},{\widehat{b}}_{i,j}\}$ is blocking in M (because $c_i$ is distinguished), implying that for each $u_i\in U$ there must exist some selected $S_j$ that contains $u_i$. Since there are exactly n/3 selected sets in $\mathcal{S}$, we get that they form an exact covering of U.

“$\Leftarrow$”: Suppose that $(U,\mathcal{S})$ is a “yes”-instance of Exact-3-Cover. Let J be the set of indices describing a solution, meaning that the subsets $S_j\in \mathcal{S}$ with $j\in J$ form an exact covering of U; clearly, $|J|=n/3$. We define $\sigma (i)$ as the unique index j in J for which $u_i\in S_j$. We define a feasible matching M for I with exactly b blocking pairs as follows (indices take all possible values, if not stated otherwise).

$$\begin{array}{c}\hfill \begin{array}{cc}M(\widehat{y})=x,\hfill & \hfill \\ M(t_j)=p_j^1\hfill & \text{if}j\in J,\hfill \\ M(t_j)=q_j\hfill & \text{if}j\notin J,\hfill \\ M({\widehat{p}}_j^h)=p_j^{h+1}\hfill & \text{if}j\in J,h\in \{1,2\},\hfill \\ M({\widehat{p}}_j^3)=s_j\hfill & \text{if}j\in J,\hfill \\ M(c_i)=b_{i,\sigma (i)},\hfill & \hfill \\ M({\widehat{b}}_{i,\sigma (i)})=a_{i,\sigma (i)},\hfill & \hfill \\ M(\widehat{w})=w\hfill & \text{if}w\in \mathcal{W}\text{and neither}M(w)\text{nor}M(\widehat{w})\text{is defined yet.}\hfill \end{array}\end{array}$$

It is easy to check that M indeed is feasible, and the blocking pairs it admits are exactly the pairs $\{y,\widehat{y}\}$, $\{b_{i,\sigma (i)},{\widehat{b}}_{i,\sigma (i)}\}$ for each $i\in \{1,\cdots ,n\}$, $\{p_j^1,{\widehat{p}}_j^1\}$ for each $j\in J$, $\{q_j,{\widehat{q}}_j\}$ for each $j\notin J$, and $\{s_j,\widehat{y}\}$ for each $j\notin J$. This proves the lemma.

$\square$

Contrasting Theorem 10, we establish fixed-parameter tractability of the case ${\Delta }_{\mathcal{W}}\le 2$ with three different parameterizations. Considering our five parameters, the relevant cases (whose tractability or intractability does not follow from our results obtained so far) are as follows, assuming ${\Delta }_{\mathcal{W}}\le 2$ throughout. Since letting the number b of blocking pairs and the number $|{\mathcal{W}}^{\star }|$ of distinguished women to be unbounded (while assuming ${\Delta }_{\mathcal{W}}\le 2$) results in $\mathsf{NP}$-hardness by Theorem 9, in order to obtain fixed-parameter tractability, we need to take either b or $|{\mathcal{W}}^{\star }|$ as a parameter. However, taking only$|{\mathcal{W}}^{\star }|$ as a parameter is not likely to result in tractability, as the case $|{\mathcal{W}}^{\star }|=1$ is still $\mathsf{NP}$-hard by Theorem 10. Thus we need to take either $|{\mathcal{M}}^{\star }|$ or ${\Delta }_{\mathcal{M}}$ as an additional parameter. Altogether, this results in the following parameterizations of the SMC problem, each case subject to the assumption ${\Delta }_{\mathcal{W}}\le 2$:

• taking b as the parameter,

• taking $|{\mathcal{W}}^{\star }|+|{\mathcal{M}}^{\star }|$ as the parameter, and

• taking $|{\mathcal{W}}^{\star }|+{\Delta }_{\mathcal{M}}$ as the parameter.

We show fixed-parameter tractability for each three of these parameterizations. The first two parameterizations can be dealt with an algorithm whose properties are stated in Theorem 11 (see also Corollary 3), while the third parameterization will be considered by Theorem 12.

Theorem 11

There is a fixed-parameter algorithm for the special case of SMC where each woman finds at most two men acceptable (i.e., ${\Delta }_{\mathcal{W}}\le 2$), parameterized by the number $|{\mathcal{W}}_0^{\star }|+|{\mathcal{M}}_0^{\star }|$ of distinguished men and women left unmatched by some stable matching.

Let $M^{\mathit{opt}}$ denote an optimal solution for our instance I such that $M_s▵M^{\mathit{opt}}$ contains the minimum number of edges; recall that $M_s$ is a fixed stable matching for I. Without loss of generality, we can further assume that there does not exist another optimal solution $M^{\prime }$ such that (i) $M^{\prime }$ has the same number of common edges with $M_s$ as $M^{\mathit{opt}}$, and (ii) for each man m, either $M^{\prime }(m)=M^{\mathit{opt}}(m)$ or m prefers $M^{\prime }(m)$ to $M^{\mathit{opt}}(m)$.4 Indeed, as long as such a “superior” matching $M^{\prime }$ exists, we can simply pick that instead of $M^{\mathit{opt}}$, until this is no longer possible. This way, we eventually end up with an optimal matching that satisfies our requirement.

We denote by b the number of blocking pairs in $M^{\mathit{opt}}$.

High-Level Description Let us remark first that simply guessing the optimal partners for each woman in ${\mathcal{W}}_0^{\star }$ and then using the polynomial-time algorithm presented in Sect. 6.1 (after exchanging the roles of men and women) does not work, since that algorithm heavily relies on the assumption that we start with a stable matching. In fact, the main difficulty to overcome is that feminine and masculine augmenting paths may “interact” in the sense that certain blocking pairs introduced by a feminine augmenting path can be “eliminated” (i.e., made non-blocking again) by an appropriately chosen masculine path. Therefore, we apply the following strategy. In Phase I, we find all feminine paths (as well as all cycles) in $M_s▵M^{\mathit{opt}}$, and in Phase II we proceed with choosing the masculine paths carefully. Note that in Phase I it does not suffice to find a cheapest set of feminine augmenting paths, since we may not be able to eliminate as many blocking pairs afterwards as it is possible after an optimal choice of feminine paths. Instead, we need to find the exact feminine augmenting paths (and cycles) present in $M_s▵M^{\mathit{opt}}$; this can be accomplished by guessing certain properties of $M^{\mathit{opt}}$.

In Phase II, the main obstacle is that we do not know which blocking edges should be eliminated in an optimal solution, nor can we guess these edges efficiently. We deal with this problem by guessing the sets of those men in ${\mathcal{M}}_0^{\star }$ whose augmenting paths in $M_s▵M^{\mathit{opt}}$ contribute to the elimination of a blocking pair; this information allows us to find these masculine paths. Finally, we apply the algorithm of Theorem 8.

For the detailed description of our algorithm, we need a couple of simple observations and some additional notation. We begin with the following implications of the fact that each woman finds at most two men acceptable.

Proposition 3

Suppose ${\Delta }_{\mathcal{W}}\le 2$. Let $P_1$ and $P_2$ be two augmenting paths.

1. If $P_1$ and $P_2$ start at some $w\in {\mathcal{W}}_0^{\star }$ through the same edge, then one of them is a subpath of the other.

2. If $P_1$ and $P_2$ start at different women $w_1$ and $w_2$, respectively, and $P_1$ and $P_2$ are not disjoint, then the set of their common vertices induces a suffix of either $P_1$ or $P_2$ (or both); their first common vertex is a man.

3. If $P_1$ and $P_2$ are disjoint and e is an edge incident to both, then one of the paths starts or ends at a women w, and e connects w with a man on the other path.

Observations (a) and (b) of Proposition 3 immediately suggest that feminine paths are easy to find, since once we decide which edge to start with, all possible augmenting paths lead in the same direction; the only difficulty arises in deciding when to stop. Observation (c) describes the limited ways in which two augmenting path can interact; we next look closer at such interactions.

We say that an edge $f=\{m,w\}$ of G (with $m\in \mathcal{M}$ and $w\in \mathcal{W}$) is dependent if it connects two different connected components $K_1$ and $K_2$ of $M_s▵M^{\mathit{opt}}$ and, in addition, it holds that $M_s▵K_1$ admits more blocking pairs than $M_s▵(K_1\cup K_2)$. We will say that f, and with a slight abuse of the notation, also $K_1$relies on $K_2$. We say that

• f has type A, if w is the endpoint of $K_2$ (which is a path), f connects w with a man m on $K_1$ that prefers $M_s(m)$ to w, and w to $M^{\mathit{opt}}(m)$, and w is unmatched by $M_s$ and prefers $M^{\mathit{opt}}(w)$ to m;

• f has type B, if w is the endpoint of $K_1$ (which is a path), unmatched by $M^{\mathit{opt}}$, and f connects w with a man m on $K_2$ that prefers $M^{\mathit{opt}}(m)$ to w, and w to $M_s(m)$.

See Fig. 5 for an illustration of the above definitions.

Fig. 5.

Illustration of a dependent edge f, running between two connected components $K_1$ and $K_2$ of $M_s▵M^{\mathit{opt}}$ where $K_1$ relies on $K_2$. Double lines here denote edges of $M_s$, single lines denote edges of $M^{\text{opt}}$, and f is drawn with a dashed line

Lemma 3

Let $\mathcal{K}$ be the set of connected components of $M_s▵M^{\mathit{opt}}$, and let $H\subset \mathcal{K}$ and $K\in \mathcal{K}\backslash H$. Then any edge f that is blocking in $M_s▵H$ but is not blocking in $M_s▵(H\cup K)$ connects K with a connected component of H, is a dependent edge relying on K, and has either type A or type B.

Proof

Let f be an edge that blocks $M_s▵H$ but does not block $M_s▵(H\cup K)$. Since $M_s$ is stable, f must have an endpoint in a connected component of H, because it blocks $M_s▵H$. However, as it ceases to be blocking in $M_s▵(H\cup K)$, it also must have an endpoint in K. Let w and m be the woman and the man connected by f, respectively. We distinguish now between two cases.

First, let us assume that w is contained in K. Since m is not contained in K, and w can only be connected to two men, it follows that the degree of w in K is at most (and hence exactly) 1. Since each connected component of $M_s▵M^{\mathit{opt}}$ is either a cycle or a path, this implies that K is a path with w being one of its endpoints.

Since f blocks $M_s▵H$ and the partner of m under $M_s▵H$ is $M^{\mathit{opt}}(m)$, we know that m prefers w to $M^{\mathit{opt}}(m)$. But as $M_s$ is stable, m must prefer $M_s(m)$ to w.

Notice now that w is unmatched either in $M_s$ or in $M^{\mathit{opt}}$. However, as f blocks $M_s▵H$ (where w is matched as in $M_s$) but does not block$M_s▵(H\cup K)$ (where w is matched as in $M^{\mathit{opt}}$), it must be the case that w is matched by $M^{\mathit{opt}}$ but is unmatched in $M_s$. Further, as f is not blocking in $M_s▵(H\cup K)$ even though m prefers w to $M^{\mathit{opt}}(m)$, we get that w prefers $M^{\mathit{opt}}(w)$ to m. This proves that f has type A.

Second, let us assume that w is contained in a connected component $K^{\prime }$ of H. As in the previous case, we quickly get that $K^{\prime }$ must be a path, with w being an endpoint of $K^{\prime }$. Since f blocks $M_s▵H$, we know that w is matched by $M_s$ but is unmatched by $M^{\mathit{opt}}$. The stability of $M_s$ implies also that w prefers $M_s(w)$ to m.

Regarding m, the fact that f blocks $M_s▵H$ implies that m prefers w to $M_s(m)$. However, since f ceases to be blocking in $M_s▵(H\cup K)$, we get that m prefers $M^{\mathit{opt}}(m)$ to w. This proves that f has type B. $\square$

We are now ready to present our algorithm, which is a branching algorithm: throughout its course, we make several “guesses” for which all possibilities have to be explored. When certain guesses turn out to be trivially wrong, such guesses are discarded, and we might not explicitly mention this in the algorithm. (In Step 1, we describe such issues in detail for illustration, but later we omit them.) Phases I and II consist of Steps 1-5 and Steps 6-8, respectively.

Step 1: Guessing the first edges of feminine augmenting paths First, for each $w\in {\mathcal{W}}_0^{\star }$ with $|L(w)|=2$, we guess the edge of $M^{\mathit{opt}}$ incident to w. This results in at most $2^{|{\mathcal{W}}_0^{\star }|}$ possibilities, all of which must be explored. Naturally, we discard those guesses where the edges $\{w,M^{\mathit{opt}}(w)\}$, $w\in {\mathcal{W}}_0^{\star }$, do not form a matching. From now on we assume that we know $M^{\mathit{opt}}(w)$ for each $w\in {\mathcal{W}}_0^{\star }$.

Additionally, we delete those edges $\{m,w\}$ for which $w\in {\mathcal{W}}_0^{\star }$ and w prefers $M^{\mathit{opt}}(w)$ to m. Such edges are neither needed in $M^{\mathit{opt}}$, nor can they block any matching that contains all the edges $\{w,M^{\mathit{opt}}(w)\}$, $w\in {\mathcal{W}}_0^{\star }$, guessed in this step.

Before proceeding to Step 2, we state an important lemma about augmenting paths.

Lemma 4

Each connected component of $M_s▵M^{\mathit{opt}}$ that is not a cycle is an augmenting path. Further, assume that Step 1 has already been performed, and $K_1$ and $K_2$ are connected components of $M_s▵M^{\mathit{opt}}$ such that $K_1$ relies on $K_2$ via a dependent edge f. Then

1. if f has type A, then $K_2$ is a masculine path and not a feminine path;

2. if f has type B, then $K_1$ is a feminine path and not a masculine path, and $K_2$ is either a cycle or a feminine path.

Proof

We begin by proving the first sentence of the lemma. Let us first suppose that Q is a connected component of $M_s▵M^{\mathit{opt}}$ that is not a cycle (thus is a path) but is not an augmenting path. The feasibility of $M^{\mathit{opt}}$ implies that if Q has a distinguished person p as its endpoint, then p must be unmatched by $M_s$. This means that Q can only be non-augmenting if neither of its endpoints is distinguished. This implies that $M_Q:=M^{\mathit{opt}}▵Q$ is a feasible matching. Recall that b is the number of blocking pairs $M^{\mathit{opt}}$ admits. If $M_Q$ admits at most b blocking pairs as well, then this contradicts the choice of $M^{\mathit{opt}}$, because there are strictly less edges in $M_s▵M_Q$ than in $M_s▵M^{\mathit{opt}}$.

Hence, $M^{\mathit{opt}}▵Q$ admits at least $b+1$ blocking pairs. Since Q is a maximal path in $M_s▵M^{\mathit{opt}}$ and $M_s$ is stable, Proposition 1 implies that there must be an edge along Q that blocks $M^{\mathit{opt}}$. Obviously, there is no edge on Q that blocks $M_s$, since $M_s$ is stable. Hence, modifying $M^{\mathit{opt}}$ by switching the edges of $M_s$ and $M^{\mathit{opt}}$ along Qdecreases the number of blocking edges among the edges ofQ. However, the same operation increases the total number of blocking pairs (from b to at least $b+1$), thus we get that there must exist at least two edges that become blocking only as a result of this switch along Q. In other words, there exist at least two edges that are blocking in $M^{\mathit{opt}}▵Q$ but are not blocking in $M^{\mathit{opt}}$. By Lemma 3 we obtain that these edges must be dependent edges relying on Q.5 By the definition of a type A edge, at most one type A edge can rely on Q (as only one endpoint of Q can be a woman unmatched by $M_s$, and this woman may be incident to at most one edge outside Q), so we get that at least one of these dependent edges relying on Q must have type B.

Let us call the man endpoint of a type B dependent edge a joiner; by the previous paragraph, Q contains at least one joiner. Our aim is to fix an “outer-most” joiner m on Q. However, for technical reasons we also have to take into account a special case where some man $m_{\ell }$ lying on Q, called the looper for Q, fulfils the following properties: (i) one endpoint of Q is a woman $w_{\ell }$ that is adjacent to $m_{\ell }$ in G but prefers $M_s(w_{\ell })$ to $m_{\ell }$, and (ii) $m_{\ell }$ prefers $w_{\ell }$ to $M_s(m_{\ell })$ but prefers $M^{\mathit{opt}}(m_{\ell })$ to $w_{\ell }$.6 Now, we choose a man m that is either a joiner or the looper for Q so that the following holds: if m splits Q into two subpaths $Q_1$ and $Q_2$ with $Q_1$ containing $M^{\mathit{opt}}(m)$, then $V(Q_1)\backslash \{m\}$ contains neither joiners nor the looper for Q.

Case for a Joiner First, let us assume that m is a joiner. In this case, there might be several women who form a dependent edge of type B with m, so let w denote the one that is most preferred by m. Let f be the edge $\{m,w\}$, and let P be the path of $M_s▵M^{\mathit{opt}}$ that has w as its endpoint. We illustrate these concepts in Fig. 6.

Fig. 6.

The joiner m splits Q into subpaths $Q_1$ and $Q_2$. Here and in later figures, double lines denote edges of $M_s$. Single lines denote edges of $M^{\mathit{opt}}$, and dashed lines are for dependent edges

We claim that $M_f=M^{\mathit{opt}}▵(Q_1\cup \{f\})=(M^{\mathit{opt}}▵Q_1)\cup \{f\}$ is an optimal solution. Observe that $M_s▵M_f$ can be obtained from $M_s▵M^{\mathit{opt}}$ by deleting Q and substituting P by the path $P+f+Q_2$ where the plus sign means concatenation. Let x denote the endpoint of $Q_1$ that is not m. First, $M_f$ is clearly feasible, since x is not distinguished (by our assumption that Q is non-augmenting). Next, suppose that some edge e is blocking in $M_f$ but is not blocking in $M^{\mathit{opt}}$. It is easy to see that by our choice of  w, e cannot be incident to w or m. As only vertices in $Q_1\cup \{f\}$ are matched differently in $M_f$ as in $M^{\mathit{opt}}$, we obtain that one endpoint of e must lie on $Q_1$. Using the stability of $M_s$, we also get that the other endpoint of e must lie either on a connected component of $M_s▵M^{\mathit{opt}}$ other than Q or on $Q_2$. In the former case, Lemma 3 implies7 that e is a dependent edge. By our choice of m, e cannot be of type B, hence by Lemma 3, e must have type A, and thus it is incident to x which must be a woman not covered by $M_s$. In the latter case, supposing that the man endpoint $m^{\prime }$ of e lies on $Q_1$ we quickly get that it must be the looper for Q. To see this, first note that the only woman that $m^{\prime }$ can be adjacent to on $Q_2$ must be the common endpoint of $Q_2$ and Q (by ${\Delta }_{\mathcal{W}}\le 2$); let $w^{\prime }$ denote this woman. Second, since e blocks $M_f$ but it does not block $M^{\mathit{opt}}$, we know that $m^{\prime }$ prefers $w^{\prime }$ to $M_s(m^{\prime })$, but prefers $M^{\mathit{opt}}(m^{\prime })$ to $w^{\prime }$. Third, since $m^{\prime }$ prefers $w^{\prime }$ to $M_s(m^{\prime })$, the stability of $M_s$ implies that $w^{\prime }$ is matched by $M_s$ and $w^{\prime }$ prefers $M_s(w^{\prime })$ to $m^{\prime }$. Hence, $m^{\prime }$ is indeed the looper for Q, contradicting our choice of m. Thus, we know that it must be the woman endpoint of e that lies on $Q_1$. Since the two endpoints of $Q_1$ are $m\in \mathcal{M}$ and x, by ${\Delta }_{\mathcal{W}}\le 2$ we obtain that the woman endpoint of e lying on $Q_1$ can only be x, which therefore must be a woman not covered by $M_s$. In either case, we can conclude that there can only exist at most one such edge e (because x has degree at most 2 in G). So the number of edges that are blocking in $M_f$ but not blocking in $M^{\mathit{opt}}$ is at most one.

Furthermore, since f is a dependent edge of type B, by definition we know that m prefers $y=M^{\mathit{opt}}(m)$ to $M_s(m)$, and hence, y must prefer $M_s(y)$ to m (as otherwise $\{m,y\}$ would be blocking in $M_s$, which is not possible). Note that, in particular, $M_s(y)$ exists and $Q_1$ contains at least two edges. By Proposition 1, $Q_1$ must contain at least one edge that blocks $M^{\mathit{opt}}$, and this edge is not blocking in $M_f$, simply because any edge of $Q_1$ that blocks $M^{\mathit{opt}}$ but be an edge contained in $M_s$ and hence in $M_f$. Thus, the number of edges blocking $M_f$ cannot be more than b. Hence, $M_f$ is an optimal solution such that there are less edges in $M_s▵M_f$ than in $M_s▵M^{\mathit{opt}}$, a contradiction. This proves the first statement of the lemma for the case of m being a joiner.

Case for a Looper Let us now assume that $m=m_{\ell }$ is the looper for Q. In this case let f be the edge connecting $m_{\ell }$ to the woman endpoint $w_{\ell }$ of Q that is matched by $M_s$; it is easy to see that $w_{\ell }$ is the endpoint of $Q_2$ as well. See Fig. 7 for an illustration. Let us again define $M_f=M^{\mathit{opt}}▵(Q_1\cup \{f\})$. As in the previous case, it is immediate that $M_f$ is feasible. Arguing similarly as before and using that $Q_1$ does not contain any joiners, we get that any edge that blocks $M_f$ but does not block $M^{\mathit{opt}}$ can only be a type A dependent edge incident to the (woman) endpoint x of $Q_1$ that is not $m_{\ell }$. Hence, there can be at most one edge blocking $M_f$ but not $M^{\mathit{opt}}$. From this point on, we can use the same reasoning as in the previous case to arrive at the conclusion that $M_f$ is an optimal solution that has more edges common with $M_s$ than $M^{\mathit{opt}}$, a contradiction. This proves the first statement of our lemma.

Fig. 7.

The looper m of Q splits Q into subpaths $Q_1$ and $Q_2$

Let us prove (b) now. Suppose that $K_1$ and $K_2$ are two connected components of $M_s▵M^{\mathit{opt}}$ such that $K_1$ relies on $K_2$ via an edge $f=\{w,m\}$ of type B. By the definition of a type B edge, we know that $K_1$ is a path with an endpoint that is a woman covered by $M_s$, so its other endpoint is either a woman not covered by $M_s$, or a man covered by $M_s$. Thus, $K_1$ cannot be a masculine path, so by the first statement of the lemma, it is feminine. It remains to show that if $K_2$ is a path, then it is feminine. Assume for contradiction that $K_2$ is a non-feminine path Q in $M_s▵M^{\mathit{opt}}$ and some other path P in $M_s▵M^{\mathit{opt}}$ relies on Q via a type B edge f. In this case we can argue exactly as above to show that there must exist an optimal matching $M_f$ (defined the same way as we did while proving the first statement of the lemma) for which $M_s▵M_f$ contains less edges than $M_s▵M^{\mathit{opt}}$, a contradiction.

To show (a), suppose that $K_1$ and $K_2$ are two connected components of $M_s▵M^{\mathit{opt}}$ such that $K_1$ relies on $K_2$ via an edge $f=\{w,m\}$ of type A. By the definition of a type A edge, the woman endpoint w of f is unmatched in $M_s$, and $K_2$ is a path that has w as an endpoint. Also, m is the second choice of w and $M^{\mathit{opt}}(w)$ is the first choice of w. Hence $w\in {\mathcal{W}}_0^{\star }$ is not possible, as in that case the edge f would have been deleted in Step 1 of the algorithm. Furthermore, since $K_2$ is an $M_s$-alternating path with an endpoint in ${\mathcal{W}}_0$, the other endpoint of $K_2$ cannot be a woman in ${\mathcal{W}}_0$. Hence, $K_2$ is not a feminine augmenting path. Since we already know that $K_2$ is an augmenting path, (a) follows. $\square$

By Lemma 4, each connected component in $M_s▵M^{\mathit{opt}}$ that is a path must be an augmenting path; we let $P_x^{\mathit{opt}}$ denote the augmenting path in $M_s▵M^{\mathit{opt}}$ that contains some $x\in {\mathcal{W}}_0^{\star }\cup {\mathcal{M}}_0^{\star }$ as an endpoint.

Consider now any woman $w\in {\mathcal{W}}_0^{\star }$. Let us define a candidate path for w as an augmenting path that starts through the edge $\{w,M^{\mathit{opt}}(w)\}$. Observe that $P_w^{\mathit{opt}}$ itself is a candidate path for w. Furthermore, although we cannot determine $P_x^{\mathit{opt}}$ directly, Proposition 3 implies that there exists a unique maximal candidate path $A_w$ for w that contains $P_w^{\mathit{opt}}$ as a subpath. We can compute $A_w$ easily: starting from the edge $\{w,M^{\mathit{opt}}(w)\}$, we can build $A_w$ by adding edges of $M_s$ and edges not in $M_s$ in an alternating manner, always appending a new edge to the last vertex of the current subpath of $A_w$. Observe that after an addition of an edge of $M_s$, the resulting subpath of $A_w$ ends at a woman, and thus ${\Delta }_{\mathcal{W}}\le 2$ implies that there exists at most one edge that we can add to our path. This shows the uniqueness of $A_w$.

Step 2: Finding cycles in $M_s▵M^{\mathit{opt}}$ We make one more guess for each $w\in {\mathcal{W}}_0^{\star }$ by guessing whether $P_w^{\mathit{opt}}$ relies on some cycle of $M_s▵M^{\mathit{opt}}$ or not; this again yields $2^{|{\mathcal{W}}_0^{\star }|}$ possibilities. If $P_w^{\mathit{opt}}$ relies on some cycle C, then by Proposition 3, both $P_w^{\mathit{opt}}$ and C can be found in time $O(|P_w^{\mathit{opt}}|+|C|)$ as follows. We compute the longest possible candidate path $A_w$ for w. Since $P_w^{\mathit{opt}}$ relies on cycle C, the last person on $A_w$ must be a woman x incident to an edge $\{x,m\}$ for which m is already on $A_w$. Then the subpath of $A_w$ between m and x together with the edge $\{x,m\}$ form the cycle C. For an illustration, see Fig. 8.

Fig. 8.

Step 2 of the algorithm for Theorem 11, for finding cycles in $M▵M^{\mathit{opt}}$

Lemma 5

Assuming that the guesses made by the algorithm are correct, all cycles in $M_s▵M^{\mathit{opt}}$ and all paths relying on some cycle in $M_s▵M^{\mathit{opt}}$ are found in Step 2.

Proof

Let C be a cycle in $M_s▵M^{\mathit{opt}}$. By the stability of $M_s$, no edge of C blocks the matching $M^{\mathit{opt}}▵C$. Since $M^{\mathit{opt}}▵C$ has more edges in common with $M_s$ than $M^{\mathit{opt}}$ does, we know by the choice of $M^{\mathit{opt}}$ that there must be an edge incident to C that is blocking in $M^{\mathit{opt}}▵C$ but is not blocking in $M^{\mathit{opt}}$. By Lemma 3, such an edge must be a dependent edge e relying on C. This proves that there are no cycles in $M_s▵M^{\mathit{opt}}$ without augmenting paths relying on them.

By Lemma 4 we know that dependent edges of type A rely on (masculine) paths,8 so e must have type B. From this, Lemma 4 yields that all paths relying on a cycle must be feminine paths. Hence, Step 2 indeed finds all paths that rely on some cycle, together with the cycles that these paths rely upon, which (as pointed out above) means that Step 2 finds all cycles of $M_s▵M^{\mathit{opt}}$, proving our claim. $\square$

Step 3: Finding neutral paths In this step, for each $w\in {\mathcal{W}}_0^{\star }$ we guess whether w lies on a neutral path in $M_s▵M^{\mathit{opt}}$, yielding at most $2^{|{\mathcal{W}}_0^{\star }|}$ possibilities. Clearly, if w lies on a neutral path, then by Proposition 3, $P_w^{\mathit{opt}}$ is the maximal candidate path starting with the edge $\{w,M^{\mathit{opt}}(w)\}$, that is, $P_w^{\mathit{opt}}=A_w$.

Step 4: Finding feminine paths relying on other feminine paths In this step, we find all feminine paths that rely on some other feminine path; note that feminine paths that do not depend on other feminine paths will be taken care of by Step 5.

In Step 4, we first guess for each $w\in {\mathcal{W}}_0^{\star }$ whether $P_w^{\mathit{opt}}$ relies on another feminine path, and if so, we also guess on which one. This means at most $|{\mathcal{W}}_0^{\star }|$ possibilities for each $w\in {\mathcal{W}}_0^{\star }$, a total of $|{\mathcal{W}}_0^{\star }{|}^{|{\mathcal{W}}_0^{\star }|}$ possibilities.

Supposing that, according to our guesses, $P_w^{\mathit{opt}}$ relies on $P_y^{\mathit{opt}}$ for some w and y in ${\mathcal{W}}_0^{\star }$, we can find $P_w^{\mathit{opt}}$ easily as follows. Consider the maximal candidate paths $A_w$ and $A_y$ for w and y, respectively. We know that $P_w^{\mathit{opt}}$ and $P_y^{\mathit{opt}}$ are disjoint, but supposing that our guesses were made correctly, Lemma 4 implies that they are connected by a dependent edge f of type B relying on $P_y^{\mathit{opt}}$. Hence, $A_w$ contains $P_w^{\mathit{opt}}$, followed by the dependent edge f connecting $P_w^{\mathit{opt}}$ and $P_y^{\mathit{opt}}$, followed possibly by a suffix of $P_y^{\mathit{opt}}$. Thus, by Proposition 3, $A_w$ and $A_y$ must share the man endpoint m of f as their first common vertex, and they coincide after m. Therefore, $P_w^{\mathit{opt}}$ can be obtained by deleting all edges incident to or occurring after m on $A_w$. This way, f and $P_w^{\mathit{opt}}$ can be found in $O(|P_w^{\mathit{opt}}|+|P_y^{\mathit{opt}}|)$ time.

Notice that this method only enables us to locate $P_w^{\mathit{opt}}$ but not $P_y^{\mathit{opt}}$; we only know that $P_y^{\mathit{opt}}$ must contain the man m incident to f, but we do not know where $P_y^{\mathit{opt}}$ ends. To remind us that $P_y^{\mathit{opt}}$ contains m, we store m as an obligatory man for y.

Step 5: Finding all remaining feminine paths In this step, we find all feminine paths that rely neither on a cycle, nor on another feminine path. To do so, we will use a surprisingly simple method. Intuitively, it makes sense to construct augmenting paths to be as short as possible, since the longer such a path gets, the more opportunities arise for a blocking pair to appear along the way. This intuition is almost entirely correct, if no other path (or cycle) relies on the augmenting path $P_w^{\mathit{opt}}$ we are looking for: it turns out that $P_w^{\mathit{opt}}$ is either indeed the shortest possible, or if this is not the case, then we can “get rid of” only one blocking pair by constructing a longer augmenting path—and this, too, we can keep as short as it is possible, by stopping whenever we encounter a decrease in the number of blocking pairs along the augmenting path. In the case when some other path relies on $P_w^{\mathit{opt}}$, we need to be somewhat more careful, and take into account the obligatory men defined in Step 4.

After this high-level explanation, let us define Step 5 formally. Let ${\mathcal{W}}_r$ be the set of those women $w\in {\mathcal{W}}_0^{\star }$ for which $P_w^{\mathit{opt}}$ has not been found yet (that is, where $P_w^{\mathit{opt}}$ is not neutral, and it does not rely on any other path or cycle in $M_s▵M^{\mathit{opt}}$). Let us fix any woman $w\in {\mathcal{W}}_r$. With any candidate path Q for w, we associate a matching $M_Q=(M^{\mathit{opt}}▵P_w^{\mathit{opt}})▵Q$; we can think of $M_Q$ as the matching that results from replacing $P_w^{\mathit{opt}}$ with Q in the symmetrical difference of $M_s$ and the solution. Let us state a few useful properties of candidate paths and their associated matchings.

Proposition 4

The following holds for any candidate path Q for w:

1. $M_s▵Q$ is a matching.

2. $M_Q$ is a feasible matching.

3. Q must be one of the following two forms:

   • (i)
     Q ends at a man in ${\mathcal{M}}_0$, in which case $Q=A_w=P_w^{\mathit{opt}}$, or
   • (ii)
     Q ends at a non-distinguished woman.

Proof

Recall that the definition of an augmenting path (see the beginning of Sect. 6) directly requires that $M_s▵Q$ be a matching, proving (a). This immediately implies that if Q ends at a man, then this man cannot be matched by $M_s$, from which $Q=A_w$ and thus $Q=P_w^{\mathit{opt}}$ follows. Using again the definition of an augmenting path, we get that the last person on Q is not distinguished (because $P_w^{\mathit{opt}}$ is not neutral by Step 3), showing (c).

To see that $M_Q$ is a matching, let ${\mathcal{K}}_{-w}$ denote the union of all connected components of $M_s▵M^{\mathit{opt}}$ except for $P_w^{\mathit{opt}}$. Then $M^{\mathit{opt}}▵P_w^{\mathit{opt}}=M_s▵{\mathcal{K}}_{-w}$ is a matching. But as ${\mathcal{K}}_{-w}$ is vertex-disjoint from Q, from (a) we get that $M_Q=(M_s▵{\mathcal{K}}_{-w})▵Q$ must be a matching too. The properties of Q described in (c) show also that $M_Q$ is feasible. $\square$

Now, we define two candidate paths for w as follows:

• First, we let $Q_w^1$ be the shortest candidate path for w that contains all obligatory men for w. In particular, if there are no obligatory men for w, then $Q_w^1$ is the shortest candidate path for w; see Fig. 9 for an illustration.

• Second, let $Q_w^2$ be the shortest candidate path containing $Q_w^1$ such that $M_s▵Q_w^2$ admits less blocking pairs than $M_s▵Q_w^1$. Such a path, however, may not exist, in which case we leave $Q_w^2$ undefined.

Fig. 9.

An example of the paths $Q_w^1$ for three women $w\in \{w_1,w_2,w_3\}\subseteq {\mathcal{W}}_r$, as defined in Step 5. The man $m_i^{\mathit{obl}}$ for each $i\in \{1,2,3\}$ is the last obligatory man for $w_i$ on the maximal augmenting path $A_{w_i}$. In cases where there is no obligatory man for $w_i$, one can identify $m_i^{\mathit{obl}}$ with $M^{\text{opt}}(w_i)$ to get an appropriate figure

Lemma 6

If $P_w^{\mathit{opt}}$ does not rely on any other path or cycle in $M_s▵M^{\mathit{opt}}$, then either $P_w^{\mathit{opt}}=Q_w^1$ or $P_w^{\mathit{opt}}=Q_w^2$.

Proof

First observe that for any $w\in {\mathcal{W}}_r$, if the guesses made by the algorithm are correct, then $P_w^{\mathit{opt}}$ contains $Q_w^1$ as a subpath. To see this, recall that if the guesses made in Step 4 of the algorithm are correct, then $P_w^{\mathit{opt}}$ indeed must contain all obligatory men for w. Since $P_w^{\mathit{opt}}$ is a candidate path for w, it indeed must contain $Q_w^1$.

Next, suppose that $P_w^{\mathit{opt}}\ne Q_w^1$, and consider the matching $M_1:=M_{Q_w^1}$. By Proposition 4, $M_1$ is a feasible matching, and $P_w^{\mathit{opt}}\ne Q_w^1$ implies that $Q_w^1$ ends at a non-distinguished woman x.

Claim 2

Let Q be a candidate path for w such that $Q_w^1\subset Q\subseteq P_w^{\mathit{opt}}$. If e is an edge blocking in $M_1$ but not blocking in $M_Q$, then e is adjacent to x.

Proof of Claim 2

Suppose for contradiction that e is not incident to x. First note that e must be adjacent to a person in $V(Q)\backslash V(Q_w^1)$, as all other persons (except for x) have the same partner in $M_1$ as in $M_Q$. Second, as $M_s$ is stable, at least one endpoint of e must be matched differently in $M_1$ than in $M_s$. Thus, e must connect a person in $V(Q)\backslash V(Q_w^1)$ either (i) with a connected component of ${\mathcal{K}}_{-w}$, denoting the union of all connected components of $M_s▵M^{\mathit{opt}}$ except for $P_w^{\mathit{opt}}$, or (ii) with $Q_w^1$.

In case (i), e must be blocking in $M_s▵{\mathcal{K}}_{-w}$ (as e blocks $M_1$). As e is not blocking in $M_Q=M_s▵({\mathcal{K}}_{-w}\cup Q)$, it is not blocking in $M^{\mathit{opt}}=M_s▵({\mathcal{K}}_{-w}\cup P_w^{\mathit{opt}})$ either (because any person in $V(Q)\backslash V(Q_w^1)$ has the same partner in $M_Q$ as in $M^{\mathit{opt}}$, except possibly for the last person on Q who might be left unmatched in $M_Q$). Therefore, Lemma 3 implies that e is a dependent edge relying on $P_w^{\mathit{opt}}$. By Lemma 4, only feminine paths may rely on $P_w^{\mathit{opt}}$. However, in Step 4 we have stored the man endpoint of all edges that connect $P_w^{\mathit{opt}}$ with a feminine path relying on $P_w^{\mathit{opt}}$ as an obligatory man, so assuming correct guesses in Step 4, e must have an obligatory man as its endpoint. But $Q_w^1$ contains all the obligatory men for w, which contradicts our assumption of case (i).

In case (ii), let $w_e$ and $m_e$ be the woman and man endpoint of e, respectively; we assumed $w_e\ne x$. By ${\Delta }_{\mathcal{W}}\le 2$, $w_e$ can only be adjacent to both $V(Q)\backslash V(Q_w^1)$ and $V(Q_w^1)$ if either $w_e=w$, or Q and also $P_w^{\mathit{opt}}$ ends at $w_e$. In the former case, $m_e\in V(P_w^{\mathit{opt}})\backslash V(Q_w^1)$, yielding $M_1(m_e)=M_s(m_e)$. As e blocks $M_1$, $m_e$ prefers w to $M_s(m_e)$; however, w is not matched in $M_s$, so this means that e blocks $M_s$ as well, a contradiction. In the latter case, $m_e$ lies on $Q_w^1$, yielding $M_1(m_e)=M^{\mathit{opt}}(m_e)$. As e blocks $M_1$, $m_e$ prefers $w_e$ to $M^{\mathit{opt}}(m_e)$; however, $w_e$ is not matched by $M^{\mathit{opt}}$, so this means that e blocks $M^{\mathit{opt}}$ as well, a contradiction. Hence the claim follows. $\square$

Let $c_1$ denote the number of blocking pairs with respect to $M_1$ that are incident to a man or woman on $Q_w^1$.

Claim 3

If Q is a candidate path for w such that $Q_w^1\subset Q\subseteq P_w^{\mathit{opt}}$, and c is the number of blocking pairs with respect to $M_Q$ that are incident to a man or woman on Q, then $c\ge c_1-1$.

Proof of Claim 3

By Claim 2, $c\le c_1-2$ can only happen if both edges incident to x are blocking in $M_1$, and none of them is blocking in $M_Q$. However, this cannot happen, as we are going to show now. Let $m_1=M_s(x)$ and $m_2=M^{\mathit{opt}}(x)$ be the two men in x’s preference list; note that $Q_w^1$ contains $m_1$ but not $m_2$. If both $\{x,m_1\}$ and $\{x,m_2\}$ are blocking in $M_1$, then $m_1$ prefers x to $M^{\mathit{opt}}(m_1)$, and $m_2$ either prefers x to $M_s(m_2)$ or $m_2$ is unmatched by $M_s$. Therefore the stability of $M_s$ implies that x prefers $m_1$ to $m_2$, as otherwise $\{x,m_2\}$ would block $M_s$. But this shows that $\{x,m_1\}$ is a blocking pair in $M^{\mathit{opt}}$ and thus in $M_Q$ as well, proving our claim. $\square$

Now, let $c^{\mathit{opt}}$ denote the number of blocking pairs with respect to $M^{\mathit{opt}}$ that are incident to a man or woman on $P_w^{\mathit{opt}}$. By our assumption $Q_w^1\ne P_w^{\mathit{opt}}$, we get $c^{\mathit{opt}}<c_1$, as otherwise $M_1$ would also be an optimal solution which would contradict our choice of $M^{\mathit{opt}}$ (as $M_s▵M_1$ contains less edges than $M_s▵M^{\mathit{opt}}$). Hence, Claim 3 implies $c^{\mathit{opt}}=c_1-1$.

By the definition of $Q_w^2$, we know that $Q_w^1\subset Q_w^2\subseteq P_w^{\mathit{opt}}$, and Proposition 4 yields that $M_2:=M_{Q_w^2}$ is a feasible solution. The definition of $Q_w^2$ and Claim 3 together imply that the number of blocking pairs with respect to $M_2$ that are incident to a man or woman on $Q_w^2$ is exactly $c_1-1$. Hence, $M_2$ is an optimal solution. Therefore, $M_s▵M_2$ cannot contain less edges than $M_s▵M^{\mathit{opt}}$, because assuming otherwise would contradict our choice of $M^{\mathit{opt}}$. From this, $Q_w^2=P_w^{\mathit{opt}}$ follows. $\square$

According to Lemma 6, we can find all remaining feminine paths in$M_s▵M^{\mathit{opt}}$ by guessing for each $w\in {\mathcal{W}}_r$ whether $P_w^{\mathit{opt}}$ equals $Q_w^1$ or $Q_w^2$. This means at most $2^{|{\mathcal{W}}_0^{\star }|}$ guesses; the computations needed for each guess take linear time.

Step 6: Computing elimination paths. Let $\mathcal{F}$ be the union of cycles, feminine and neutral paths found in Steps 1 to 5. When searching for masculine paths, we will have to deal with edges that might be type A dependent edges in the optimum solution. We call an edge volatile if it connects a woman in ${\mathcal{W}}_0$ with her second choice. The importance of this definition is shown by the following two lemmas.

Lemma 7

Let f be an edge that is blocking in $M_s▵\mathcal{F}$, but not blocking in $M^{\mathit{opt}}$. Then f is volatile, its woman endpoint is contained on a non-feminine path of $M_s▵M^{\mathit{opt}}$, and its man-endpoint is contained in $\mathcal{F}$.

Proof

Observe that since f does not block $M^{\mathit{opt}}$, there must exists a connected component Q of $M_s▵M^{\mathit{opt}}$ not in $\mathcal{F}$ such that f does not block $M_s▵(\mathcal{F}\cup Q)$. Clearly, Q is a masculine but not feminine augmenting path by the definition of $\mathcal{F}$. Lemma 3 then implies that f is a dependent edge relying on Q, and Lemma 4 yields also that f has type A and Q is masculine and not feminine. The remaining statements follow from the definition of a type A edge. $\square$

Lemma 8

If f is a volatile edge incident to some non-feminine path in $M_s▵M^{\mathit{opt}}$, then f is not blocking in $M^{\mathit{opt}}$.

Proof

Recall that $M^{\mathit{opt}}$ is an optimal solution for which $M_s▵M^{\mathit{opt}}$ has as few edges as possible, and there does not exist another optimal solution $M^{\prime }$ such that (i) $M^{\prime }$ has the same number of common edges with $M_s$ as $M^{\mathit{opt}}$, and (ii) for each man  m, either $M^{\prime }(m)=M^{\mathit{opt}}(m)$ or m prefers $M^{\prime }(m)$ to $M^{\mathit{opt}}(m)$.

Suppose for the sake of contradiction, that f is a volatile edge incident to a masculine path $P_x^{\mathit{opt}}$ in $M_s▵M^{\mathit{opt}}$ for some $x\in {\mathcal{M}}_0^{\star }$, and f blocks $M^{\mathit{opt}}$. Let m and w be the man and woman connected by f.

Since m is the second choice of w and f is blocking in $M^{\mathit{opt}}$, we know that $M^{\mathit{opt}}$ does not cover w. However, any woman on a masculine augmenting path is matched by $M^{\mathit{opt}}$ with a man adjacent to her on this path, so w does not lie on $P_x^{\mathit{opt}}$. Therefore, m lies on $P_x^{\mathit{opt}}$.

Define P as the subpath of $P_x^{\mathit{opt}}$ from x to m plus the edge f. Consider now $M_f=M^{\mathit{opt}}▵(P_x^{\mathit{opt}}▵P)$; $M_f$ is a matching because $w\in {\mathcal{W}}_0$. Clearly, $M_f$ is feasible, since $P_x^{\mathit{opt}}$ is not a neutral path.

Claim 4

If $f^{\prime }$ is an edge that blocks $M_f$ but does not block $M^{\mathit{opt}}$, then $P_x^{\mathit{opt}}$ ends at a woman y, and $f^{\prime }$ is a volatile edge incident to y.

Proof of Claim 4

Let $w^{\prime }$ and $m^{\prime }$ be the woman and man connected by $f^{\prime }$. The only persons that are matched differently in $M_f$ than in $M^{\mathit{opt}}$ are those in $(V(P_x^{\mathit{opt}})\backslash V(P))\cup \{m,w\}$; recall that $f=\{m,w\}$ with $w\in {\mathcal{W}}_0$. Since both m and w are better off in $M_f$ than in $M^{\mathit{opt}}$, and $f^{\prime }$ blocks $M_f$ but not $M^{\mathit{opt}}$, we get that one endpoint of $f^{\prime }$ must be in $V(P_x^{\mathit{opt}})\backslash V(P)$.

Suppose first that $m^{\prime }\in V(P_x^{\mathit{opt}})\backslash V(P)$. Then $M_f(m^{\prime })=M_s(m^{\prime })$ and since $f^{\prime }$ blocks $M_f$, we know that $m^{\prime }$ prefers $w^{\prime }$ to $M_s(m^{\prime })$. But $M_s$ is stable, so $w^{\prime }$ prefers $M_s(w^{\prime })$ to $m^{\prime }$, and in particular is matched by $M_s$. As $f^{\prime }$ blocks $M_f$, we get that $M_f(w^{\prime })\ne M_s(w^{\prime })$. Hence, as $w^{\prime }\ne w$ (because $w\in {\mathcal{W}}_0$ but $w^{\prime }\notin {\mathcal{W}}_0$), it must be the case that $M_f(w^{\prime })=M^{\mathit{opt}}(w^{\prime })$ and $w^{\prime }$ is on a connected component of ${\mathcal{K}}_{-x}$, denoting the union of all connected components of $M_s▵M^{\mathit{opt}}$ other than $P_x^{\mathit{opt}}$. This implies that $f^{\prime }$ is blocking in $M_s▵{\mathcal{K}}_{-x}$ as well. Since $f^{\prime }$ is not blocking in $M^{\mathit{opt}}=M_s▵({\mathcal{K}}_{-x}\cup P_x^{\mathit{opt}})$, Lemma 3 implies that $f^{\prime }$ must be a dependent edge relying on $P_x^{\mathit{opt}}$. Note that since $m^{\prime }\in V(P_x^{\mathit{opt}})$, $f^{\prime }$ cannot be of type A (by the definition of a type A edge), so it must be of type B. However, Lemma 4 tells us that a type B edge relies either on a cycle or on a feminine path, but as $P_x^{\mathit{opt}}$ is neither of the two, we arrive at a contradiction.

Thus, we get $w^{\prime }\in V(P_x^{\mathit{opt}})\backslash V(P)$. Observe that $m^{\prime }=m$ is not possible, because it would imply $f^{\prime }=\{m,M^{\mathit{opt}}(m)\}$ contradicting the assumption that $f^{\prime }$ blocks $M_f$ (note that m prefers w to $M^{\mathit{opt}}(m)$ because f blocks $M^{\mathit{opt}}$). From this we obtain that $f^{\prime }$ cannot be contained in $P_x^{\mathit{opt}}$: we have $f^{\prime }\notin M_f$ by definition, and $f^{\prime }\in M^{\mathit{opt}}$ is also not possible, since in that case $m^{\prime }\notin V(P_x^{\mathit{opt}})\backslash V(P)$ would imply $m^{\prime }=m$. Thus, by ${\Delta }_{\mathcal{W}}\le 2$ we know that $w^{\prime }=y$, and since $f^{\prime }$ blocks $M_f$ but not $M^{\mathit{opt}}$, we also get that $m^{\prime }$ must be the second choice of $w^{\prime }$. Hence $f^{\prime }$ is volatile, proving our claim. $\square$

By Claim 4, there can be at most one edge that is blocking in $M_f$ but not in $M^{\mathit{opt}}$. Since f is an edge that blocks $M^{\mathit{opt}}$ but not $M_f$, we get that $M_f$ is an optimal matching. Moreover, either $M_f$ has more common edges with $M_s$ than $M^{\mathit{opt}}$, or m is the last man on $P_x^{\mathit{opt}}$, in which case every man has the same partner in $M_f$ as in $M^{\mathit{opt}}$ except for m who is better off in $M_f$ than in $M^{\mathit{opt}}$. This contradicts our choice of $M^{\mathit{opt}}$. $\square$

For any volatile edge f we can decide in linear time if there exists a masculine augmenting path disjoint from $\mathcal{F}$ that contains the woman endpoint w of f, but not f itself. Indeed, we can build such a path starting from w by taking edges not in $M_s$ and edges in $M_s$ in an alternating manner; by ${\Delta }_{\mathcal{W}}\le 2$ and since we need to start with an edge different from f, we always have at most one possibility to pick our next edge. This process may or may not result in a masculine augmenting path, but if it does, then the path is unique, proving the following claim.

Proposition 5

Let f be a volatile edge. If there exists a masculine augmenting path disjoint from $\mathcal{F}$ that contains the woman endpoint w of f but not f itself, then this path is unique; we denote it by $Q_f^{\mathit{elim}}$.

Let f be a volatile edge that is blocking in $M_s▵\mathcal{F}$. We say that a set ${\mathcal{P}}_f$ of masculine augmenting paths eliminates f if (i) $Q_f^{\mathit{elim}}$ exists and $Q_f^{\mathit{elim}}\in {\mathcal{P}}_f$, and (ii) for any path $Q\in {\mathcal{P}}_f$, if there is a volatile blocking edge $f^{\prime }$ in $M_s▵Q$, then $Q_{f^{\prime }}^{\mathit{elim}}$ exists and is contained in ${\mathcal{P}}_f$. We refer to the (inclusion-wise) minimal set of masculine paths eliminating f as the elimination paths for f, and denote it by ${\mathcal{P}}_f^{\mathit{elim}}$. Further, we refer to the starting vertices of these paths as the elimination set for f. The next lemma illuminates the role of elimination paths.

Lemma 9

If f is an edge blocking in $M_s▵\mathcal{F}$ but not blocking in $M^{\mathit{opt}}$, then $M_s▵M^{\mathit{opt}}$ contains all paths in ${\mathcal{P}}_f^{\mathit{elim}}$.

Proof

By Lemma 7, the woman endpoint w of f lies on a masculine path. By Proposition 5, this path can only be $Q_f^{\mathit{elim}}$, and thus $Q_f^{\mathit{elim}}$ must be contained in $M_s▵M^{\mathit{opt}}$. For an inductive reasoning, assume that Q is a masculine path in ${\mathcal{P}}_f^{\mathit{elim}}$ that is contained in $M_s▵M^{\mathit{opt}}$ and $f^{\prime }$ is a volatile edge that is blocking in $M_s▵Q$. We claim that $Q_{f^{\prime }}^{\mathit{elim}}$ is contained in $M_s▵M^{\mathit{opt}}$, which by induction proves our lemma.

To see our claim, note that by Lemma 8, $f^{\prime }$ cannot be blocking in $M^{\mathit{opt}}$. Since the woman endpoint of $f^{\prime }$ is unmatched by $M_s$, it can only be blocking in $M_s▵Q$ if its man endpoint lies on Q. Thus, since $f^{\prime }$ is not blocking in $M^{\mathit{opt}}$ (but is blocking in $M_s▵Q$), it must be the case that its woman endpoint lies on a masculine path in $M_s▵M^{\mathit{opt}}$. Since such a path can only be $Q_{f^{\prime }}^{\mathit{elim}}$ by Proposition 5, we get that $Q_{f^{\prime }}^{\mathit{elim}}\in {\mathcal{P}}_f^{\mathit{elim}}$ and the lemma follows. $\square$

Step 7: Guessing relevant elimination sets in$M^{\mathit{opt}}$ We call an edge relevant in $M^{\mathit{opt}}$, if it is a volatile edge blocking $M_s▵\mathcal{F}$, but it does not block $M^{\mathit{opt}}$. By Lemma 9, if f is a relevant edge in $M^{\mathit{opt}}$, then $M_s▵M^{\mathit{opt}}$ must contain all paths in ${\mathcal{P}}_f^{\mathit{elim}}$. Since there may be several volatile edges blocking in $M_s▵\mathcal{F}$, we cannot determine the relevant ones among them by simply guessing them. Instead, we only guess the elimination sets for all relevant edges. Clearly, these sets must be pairwise disjoint subsets of ${\mathcal{M}}_0^{\star }$, so guessing them results in at most $(|{\mathcal{M}}_0^{\star }{|+1)}^{|{\mathcal{M}}_0^{\star }|}$ possibilities. Let us denote by $R_1,\cdots ,R_{\ell }$ the guessed elimination sets.

Step 8: Computing cheapest elimination paths For each set $R_i\subseteq {\mathcal{M}}_0^{\star }$ with $i=1,\dots ,\ell$ that, according to our guesses made in Step 7, forms the elimination set for a volatile edge relevant in $M^{\mathit{opt}}$, we determine some volatile edge f incident to $\mathcal{F}$ that is blocking in $M_s▵\mathcal{F}$ and whose elimination set is exactly $R_i$. Namely, we pick an edge f among all such edges in a way that the number of blocking pairs in $M_s▵(\mathcal{F}\cup {\mathcal{P}}_f^{\mathit{elim}})$ is as small as possible. Let $f_i$ be the volatile edge chosen this way, and let ${\mathcal{P}}^{\mathit{elim}}={\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i}^{\mathit{elim}}$.

Step 9: Computing remaining masculine paths We define ${\mathcal{M}}_r={\mathcal{M}}_0^{\star }\backslash (R_1\cup \cdots \cup R_{\ell })$ as the set of distinguished men that are neither covered by $M_s$ nor contained in any of the sets $R_1,\cdots ,R_{\ell }$. For each such m we are going to compute an augmenting path $P_m$ disjoint from $\mathcal{F}$ such that the number of edges that block $M_s▵(\mathcal{F}\cup {\bigcup }_{m\in {\mathcal{M}}_r}{P}_r)$ but not $M_s▵\mathcal{F}$ is minimized. We set ${\mathcal{P}}_r=\{P_m\mid m\in {\mathcal{M}}_r\}$.

To compute ${\mathcal{P}}_r$, we use the algorithm of Theorem 8 with some modifications.

Step 9.1 We compute all augmenting paths that start at a man $m\in {\mathcal{M}}_r$ and are disjoint from $\mathcal{F}$. For each such augmenting path P we define a set C(P) containing those edges that block $M_s▵(\mathcal{F}\cup P)$ but not $M_s▵\mathcal{F}$, and are either non-volatile or have a woman endpoint in $\mathcal{F}$; we define the contributing cost of P as |C(P)|.

Step 9.2 We construct the auxiliary graph $G_{\mathit{path}}=(U,V;E)$ as follows: we set $U={\mathcal{M}}_r$ and $V={\mathcal{W}}_0\cup \{m^{\prime }\mid m\in {\mathcal{M}}_r\}$. The edge set E contains an edge $\{m,m^{\prime }\}$ for each $m\in U$, as well as an edge $\{m,w\}$ whenever $m\in U$, $w\in {\mathcal{W}}_0$ and there exists an augmenting path disjoint from $\mathcal{F}$ with endpoints m and w. We define the weight of an edge $\{m,m^{\prime }\}$ as the minimum contributing cost $c_m^{\mathit{min}}$ of any augmenting path starting at m and not ending in ${\mathcal{W}}_0$, and we define the weight of an edge $\{m,w\}$ with $m\in U$ and $w\in {\mathcal{W}}_0$ as the minimum contributing cost of any augmenting path with endpoints m and w, disjoint from $\mathcal{F}$.

Step 9.3 We compute a minimum weight matching $M_P$ in $G_{\mathit{path}}$ covering U the same way as in the algorithm of Theorem 8; let $\mathcal{P}$ denote the set of augmenting paths corresponding to the edges of the matching $M_P$. Note that the paths in $\mathcal{P}$ are pairwise disjoint, by the construction of $G_{\mathit{path}}$ and because $M_P$ is a matching in $G_{\mathit{path}}$.

Step 9.4 We eliminate all volatile edges that block $M_s▵(\mathcal{F}\cup \mathcal{P})$ but not $M_s▵\mathcal{F}$ and are not incident to $\mathcal{F}$. We modify $\mathcal{P}$ iteratively. We start by setting ${\mathcal{P}}_{\mathit{act}}=\mathcal{P}$. At each iteration we modify ${\mathcal{P}}_{\mathit{act}}$ as follows. We check whether there exists a volatile edge $\{m^{\ast },w^{\ast }\}$ with $w^{\ast }\in {\mathcal{W}}_0$ that is not incident to $\mathcal{F}$, and blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{\mathit{act}})$ but not $M_s▵\mathcal{F}$. If yes, then notice that $w^{\ast }$ is not matched in $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{\mathit{act}})$, because $m^{\ast }$ is the second choice for $w^{\ast }$. Let P be the path of ${\mathcal{P}}_{\mathit{act}}$ containing $w^{\ast }$. We modify ${\mathcal{P}}_{\mathit{act}}$ by truncating P to its subpath between its starting vertex and $m^{\ast }$, and appending to it the edge $\{m^{\ast },w^{\ast }\}$. This way, $\{m^{\ast },w^{\ast }\}$ becomes an edge of the matching $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{\mathit{act}})$. The iteration stops when there is no volatile edge disjoint from $\mathcal{F}$ blocking $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{\mathit{act}})$ but not $M_s▵\mathcal{F}$. Note that once a volatile edge ceases to be blocking in $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{\mathit{act}})$, it cannot become blocking again during this process, so the algorithm performs at most $|{\mathcal{W}}_0|$ iterations. For each $m\in {\mathcal{M}}_r$, let $P_m$ denote the augmenting path in ${\mathcal{P}}_{\mathit{act}}$ covering m at the end of this step; we set ${\mathcal{P}}_r:=\{P_m\mid m\in {\mathcal{M}}_r\}$.

Step 9.5 Finally, we output the matching $M^{\mathit{out}}=M_s▵(\mathcal{F}\cup {\mathcal{P}}^{\mathit{elim}}\cup {\mathcal{P}}_r)$.

It is straightforward to verify that the number of guesses made are bounded by a function of $|{\mathcal{W}}_0^{\star }|+|{\mathcal{M}}_0^{\star }|$, and all computations in a branch can be performed in time polynomial in the size |I| of the instance, yielding a fixed-parameter algorithm with parameter $|{\mathcal{W}}_0^{\star }|+|{\mathcal{M}}_0^{\star }|$. It remains to prove the correctness of the proposed algorithm.

To this end, we first prove a simple observation.

Proposition 6

Suppose ${\Delta }_{\mathcal{W}}\le 2$. Let M be a matching and ${\mathcal{K}}_M$ the set of connected components in $M_s▵M$. Let also ${\mathcal{H}}_1$ and ${\mathcal{H}}_2$ be two disjoint subsets of ${\mathcal{K}}_M$. Then there is no edge that blocks both $M_s▵{\mathcal{H}}_1$ and $M_s▵{\mathcal{H}}_2$

Proof

Suppose that e blocks both $M_1:=M_s▵{\mathcal{H}}_1$ and $M_2:=M_s▵{\mathcal{H}}_2$; by the stability of $M_s$, e connects a person $a_1$ in ${\mathcal{H}}_1$ with a person $a_2$ in ${\mathcal{H}}_2$. Since e blocks $M_1$, we know that $a_2$ prefers $a_1$ to its situation in $M_s$. Since e blocks $M_2$, we also get that $a_1$ prefers $a_2$ to its situation in $M_s$. This contradicts the stability of $M_s$. $\square$

Next, let us prove that Step 9 works as promised.

Lemma 10

For each $m\in {\mathcal{M}}_r$ let $P_m^{\prime }$ be an augmenting path disjoint from $\mathcal{F}$ and starting at m, and let ${\mathcal{P}}_r^{\prime }=\{P_m^{\prime }\mid m\in {\mathcal{M}}_r\}$. Then the number of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$ is at most the number of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$ but not $M_s▵\mathcal{F}$.

Proof

Let $c^{\prime }$ be the number of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$ but not $M_s▵\mathcal{F}$. Then Claim 5 implies that there can be at most $c^{\prime }$ edges in ${\bigcup }_{m\in {\mathcal{M}}_r}C(P_m^{\prime })$.

Claim 5

If e is an edge such that $e\in C(P_m^{\prime })$ for some $m\in {\mathcal{M}}_r$, then e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$ but not $M_s▵\mathcal{F}$.

Proof

Let $m^{\ast }$ and $w^{\ast }$ be the man and woman connected by e. By $e\in C(P_m^{\prime })$ it does not block $M_s▵\mathcal{F}$, so we only need to show that e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$. Suppose for contradiction that e does not block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$. Then it must clearly be adjacent to some path $P_x^{\prime }$, $x\in {\mathcal{M}}_r$. By ${\Delta }_{\mathcal{W}}\le 2$ we know that $w^{\ast }$ is the endpoint of one of these paths, $w^{\ast }\in {\mathcal{W}}_0$, and since e blocks $M_s▵(\mathcal{F}\cup P_m^{\prime })$ but not $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\prime })$ we also get that $m^{\ast }$ must be the less preferred choice of $w^{\ast }$; this yields that e is volatile. However, as e is not incident to $\mathcal{F}$ (because it connects $P_m^{\prime }$ and $P_x^{\prime }$), this contradicts $e\in C(P_m^{\prime })$. $\square$

Let $m_1$ and $m_2$ be two distinct men in ${\mathcal{M}}_r$; we will show $C(P_{m_1}^{\prime })\cap C(P_{m_2}^{\prime })=\mathrm{\varnothing }$. Assuming otherwise, let e be an edge in $C(P_{m_1}^{\prime })\cap C(P_{m_2}^{\prime })$. Then e does not block $M_s▵\mathcal{F}$ but blocks both $M_s▵(\mathcal{F}\cup P_{m_1}^{\prime })$ and $M_s▵(\mathcal{F}\cup P_{m_2}^{\prime })$. Hence e connects $P_{m_1}^{\prime }$ with $P_{m_1}^{\prime }$, and thus blocks $M_s▵P_{m_1}^{\prime }$ and $M_s▵P_{m_2}^{\prime }$ as well, contradicting Proposition 6. Thus,

$$\begin{array}{c}\hfill \left|\bigcup _{m\in {\mathcal{M}}_r},C,(P_m^{\prime })\right|=\sum _{m\in {\mathcal{M}}_r}|C(P_m^{\prime })|\le c^{\prime }.\end{array}$$

Then, by the definition of edge-weights in $G_{\mathit{path}}$, we get that there exists a matching $M^{\prime }$ in $G_{\mathit{path}}$ with weight at most ${\sum }_{m\in {\mathcal{M}}_r}|C(P_m^{\prime })|\le c^{\prime }$ that covers $U={\mathcal{M}}_r$. Thus, the matching computed by the algorithm in Step 9.3 has weight at most $c^{\prime }$ as well, yielding that the set ${\mathcal{P}}_r$ of augmenting path corresponding to this matching is such that ${\sum }_{m\in {\mathcal{M}}_r}|C(P_m)|\le c^{\prime }$, that is, their total contribution cost is at most $c^{\prime }$. From this, Claim 6 below implies that there can be at most $c^{\prime }$ edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$.

Claim 6

If an edge e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$, then $e\in C(P_m)$ for some $m\in {\mathcal{M}}_r$.

Proof

Let $m^{\ast }$ and $w^{\ast }$ be the man and woman connected by e. Clearly, e is adjacent to some path in ${\mathcal{P}}_r$.

First, suppose that e is adjacent to only one path $P_m$ where $m\in {\mathcal{M}}_r$. Then e must block $M_s▵(\mathcal{F}\cup P_m)$ as well. In that case, to prove $e\in C(P_m)$ we only need to show that either $w^{\ast }$ is in $\mathcal{F}$ or is e is non-volatile. Suppose for contradiction that e is volatile and $w^{\ast }$ is not in $\mathcal{F}$. However, as a result of Step 9.4, there can be no volatile edge that blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$, unless it is incident to $\mathcal{F}$. Hence, we must have that $m^{\ast }$ is in $\mathcal{F}$, and since e blocks $M_s▵(\mathcal{F}\cup P_m)$, we get that $m^{\ast }$ prefers $w^{\ast }$ to its partner in $M_s▵(\mathcal{F}\cup P_m)$, which is the same partner he has in $M_s▵\mathcal{F}$. However, this yields that e blocks $M_s▵\mathcal{F}$ as well: since $w^{\ast }\in {\mathcal{W}}_0$ and $w^{\ast }$ is not in $\mathcal{F}$, she is unmatched in $M_s▵\mathcal{F}$. Hence, we arrive at a contradiction, proving $e\in C(P_m)$.

Second, suppose that e connects two paths $P_{m_1}$ and $P_{m_2}$ where $m_1$ and $m_2$ are distinct men in ${\mathcal{M}}_r$. By ${\Delta }_{\mathcal{W}}\le 2$, we know that $w^{\ast }$ is an endpoint of one of these paths; without loss of generality, we may assume that $w^{\ast }$ is an endpoint of $P_{m_1}$. Since $P_{m_1}$ is a masculine augmenting path, we get $w^{\ast }\in {\mathcal{W}}_0$. Now, we know that e blocks $M_s▵(\mathcal{F}\cup P_{m_1}\cup P_{m_2})$, so it must also block $M_s▵(\mathcal{F}\cup P_{m_2})$, because $w^{\ast }$ is unmatched in $M_s▵(\mathcal{F}\cup P_{m_2})$ and $m^{\ast }$ has the same partner in $M_s▵(\mathcal{F}\cup P_{m_2})$ as in $M_s▵(\mathcal{F}\cup P_{m_1}\cup P_{m_2})$. Again, e cannot be volatile as a result of Step 9.4, yielding that e is contained in $C(P_{m_2})$. $\square$

This proves the optimality of ${\mathcal{P}}_r$ as stated by the lemma. $\square$

Next we state the following useful lemma.

Lemma 11

Let f be a volatile edge blocking in $M_s▵\mathcal{F}$, Q an elimination path in ${\mathcal{P}}_f^{\mathit{elim}}$, and $Q^{\prime }$ a non-feminine augmenting path not contained in ${\mathcal{P}}_f^{\mathit{elim}}$, disjoint from $\mathcal{F}$. Let e be an edge. Then e blocks $M_s▵(Q\cup Q^{\prime })$ if and only if it blocks $M_s▵Q$ or $M_s▵Q^{\prime }$.

Proof

First observe that the statement of the lemma is obviously true for any edge e that is incident to at most one of Q and $Q^{\prime }$. So suppose that e connects Q with $Q^{\prime }$. Since both Q and $Q^{\prime }$ are masculine augmenting paths and ${\Delta }_{\mathcal{W}}\le 2$, by Proposition 3 we know that e connects the woman endpoint w of one of these paths with a man m on the other path; moreover, w must be unmatched by $M_s$ as it is the endpoint of a masculine augmenting path. Let $Q_w$ be the path (either Q or $Q^{\prime }$) that contains w, and let $Q_m$ be the one containing m. By $w\in {\mathcal{W}}_0$ and the stability of $M_s$, e cannot be blocking in $M_s▵Q_w$.

Now, if e blocks $M_s▵(Q_m\cup Q_w)$, then it blocks $M_s▵Q_m$ as well, since m prefers w to its partner in $M_s▵Q_m$ and w is unmatched in $M_s▵Q_m$.

It remains to show that if e blocks $M_s▵Q_m$, then it also blocks $M_s▵(Q_w\cup Q_m)$. Supposing otherwise, it must be the case that (i) m prefers w to its partner in $M_s▵Q_m$, but (ii) w prefers its partner in $M_s▵Q_w$ to m. Consequently, e is a volatile edge.9 We distinguish two cases.

Case (A)$Q_w=Q^{\prime }$. Then $Q^{\prime }$ must be the unique masculine augmenting path containing the woman endpoint of e but not e itself, that is, $Q^{\prime }=Q_e^{\mathit{elim}}$. Hence, since e is a volatile edge blocking $M_s▵Q$ and $Q\in {\mathcal{P}}_f^{\mathit{elim}}$, by the definition of elimination paths we get $Q^{\prime }\in {\mathcal{P}}_f^{\mathit{elim}}$ as well, a contradiction.

Case (B)$Q_m=Q^{\prime }$. Then $Q^{\prime }$ contains the man endpoint of e. However, again by the definition of elimination paths, as Q is a path of ${\mathcal{P}}_f^{\mathit{elim}}$, the man endpoint of e must be contained either in $\mathcal{F}$ (if $e=f$) or another path of ${\mathcal{P}}_f^{\mathit{elim}}$ that triggered the addition of Q into ${\mathcal{P}}_f^{\mathit{elim}}$; both possibilities contradict our conditions on $Q^{\prime }$. $\square$

Now we are ready to show that our algorithm is correct.

Proof of Theorem 11

To prove the correctness of the proposed algorithm, we first show that if all our guesses are true, then the paths and cycles in $\mathcal{F}$ are exactly the feminine paths and the cycles of $M_s▵M^{\mathit{opt}}$. The correctness of Step 2 is stated by Lemma 5. From the description of our algorithm, it should be clear that the correctness of Steps 3 and 4 follows directly from Proposition 3 and Lemma 4. Lemma 6 guarantees the correctness of Step 5, which proves that in Steps 1–5 the algorithm indeed finds all cycles and feminine paths of $M_s▵M^{\mathit{opt}}$.

Next, let us argue that $M^{\mathit{out}}$ is indeed a matching. For this, apart from the correctness of Steps 1–5, we need that the masculine paths in $M_s▵M^{\mathit{out}}$ are disjoint from $\mathcal{F}$. Further, we also need that paths in ${\mathcal{P}}^{\mathit{elim}}$ are disjoint from all remaining masculine paths. To see this, observe that any path P in ${\mathcal{P}}^{\mathit{elim}}$ ends at a woman $w\in {\mathcal{W}}_0$ which is connected by a volatile edge (not on P) to either $\mathcal{F}$ or to another path in ${\mathcal{P}}^{\mathit{elim}}$. Hence, w cannot lie on any masculine path other than P by Proposition 5. Thus, $M^{\mathit{out}}$ is a matching. Its feasibility is implied by the correctness of Steps 1–5, and the definition of augmenting paths.

It remains to argue that $M^{\mathit{out}}$ admits at most as many blocking pairs as $M^{\mathit{opt}}$. First, Lemma 7 implies that all edges blocking in $M_s▵\mathcal{F}$ are either relevant volatile edges in $M^{\mathit{opt}}$, or they are also blocking in $M^{\mathit{opt}}$. Furthermore, if $f_i^{\mathit{opt}}$ is a relevant volatile edge with elimination set $R_i$ for some $i\in \{1,\cdots ,\ell \}$, then by Lemma 9 we know that all elimination paths in ${\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}}$ must be contained in $M_s▵M^{\mathit{opt}}$. As $\mathcal{F}$ is the set of feminine augmenting paths and cycles of $M_s▵M^{\mathit{opt}}$, in Step 8 the algorithm is bound to find some volatile edge $f_i$ (though not necessarily $f_i^{\mathit{opt}}$) that is blocking in $M_s▵\mathcal{F}$ and whose elimination set is $R_i$. Furthermore, by our choice of $f_i$, there are at most as many blocking pairs in $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{f_i}^{\mathit{elim}})$ as there are in $M_s▵(\mathcal{F}\cup {\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}})$.

Let the contribution of a volatile edge e, denoted by C(e), be the set of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_e^{\mathit{elim}})$ but not $M_s▵\mathcal{F}$; we extend this notion to any set E of volatile edges with pairwise disjoint elimination sets by defining the contribution C(E) of E as the set of edges that block $M_s▵(\mathcal{F}\cup {\bigcup }_{e\in E}{\mathcal{P}}_e^{\mathit{elim}})$ but not $M_s▵\mathcal{F}$. By our choice of $f_i$, we know $|C(f_i)|\le |C(f_i^{\mathit{opt}})|$.

We are going to show

$$\begin{array}{c}\hfill |C(\{f_i\mid 1\le i\le \ell \})|\le |C(\{f_i^{\mathit{opt}}\mid 1\le i\le \ell \})|,\end{array}$$

which implies that $M_s▵(\mathcal{F}\cup {\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i}^{\mathit{elim}})$ has at most as many blocking pairs as $M_s▵(\mathcal{F}\cup {\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}})$ does. To prove this, it suffices to prove the following claim.

Claim 7

Let $F\cup \{f\}$ be a set of volatile edges with pairwise disjoint elimination sets, $F\ne \mathrm{\varnothing }$. Then $|C(f)|+|C(F)|=|C(F\cup \{f\})|$.

Proof

We need to prove that any edge e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_f^{\mathit{elim}}\cup {\bigcup }_{f^{\prime }\in F}{\mathcal{P}}_{f^{\prime }}^{\mathit{elim}})$ but not $M_s▵\mathcal{F}$ if and only if it blocks exactly one of $M_s▵(\mathcal{F}\cup {\mathcal{P}}_f^{\mathit{elim}})$ and $M_s▵(\mathcal{F}\cup {\bigcup }_{f^{\prime }\in F}{\mathcal{P}}_{f^{\prime }}^{\mathit{elim}})$ but not $M_s▵\mathcal{F}$. So let us assume that e does not block $M_s▵\mathcal{F}$.

Notice that if e is incident to only one of ${\mathcal{P}}_f^{\mathit{elim}}$ and ${\bigcup }_{f^{\prime }\in F}{\mathcal{P}}_{f^{\prime }}^{\mathit{elim}}$, then our claim is immediate. So suppose that e connects a path $Q\in {\mathcal{P}}_f^{\mathit{elim}}$ with a path $Q^{\prime }\in {\bigcup }_{f^{\prime }\in F}{\mathcal{P}}_{f^{\prime }}^{\mathit{elim}}$. Observe that it suffices to show that e blocks $M_s▵(Q\cup Q^{\prime })$ if and only if it blocks exactly one of $M_s▵Q$ and $M_s▵Q^{\prime }$, because e cannot be incident to any connected component of $\mathcal{F}\cup {\mathcal{P}}_f^{\mathit{elim}}\cup {\bigcup }_{f^{\prime }\in F}{\mathcal{P}}_{f^{\prime }}^{\mathit{elim}}$ other than Q and $Q^{\prime }$. Now the claim follows directly from Lemma 11 and Proposition 6. $\square$

It remains to consider the blocking pairs contributed by the paths ${\mathcal{P}}_r^{\mathit{opt}}:=\{P_m^{\mathit{opt}}\mid m\in {\mathcal{M}}_r\}$.

Claim 8

If e is an edge that blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\mathit{opt}})$ but not $M_s▵\mathcal{F}$, then e blocks $M^{\mathit{opt}}$ but not $M^{\mathit{opt}}▵{\mathcal{P}}_r^{\mathit{opt}}$.

Proof

Recall that by definition $M^{\mathit{opt}}=M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\mathit{opt}}\cup {\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}})$ and $M^{\mathit{opt}}▵{\mathcal{P}}_r^{\mathit{opt}}=M_s▵(\mathcal{F}\cup {\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}})$, so if e does not have an endpoint in ${\bigcup }_{1\le i\le \ell }{\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}}$, then the claim follows immediately.

So suppose that e is incident to a path $Q\in {\mathcal{P}}_{f_i^{\mathit{opt}}}^{\mathit{elim}}$ for some $i\in \{1,\cdots ,\ell \}$. As e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\mathit{opt}})$ but not $M_s▵\mathcal{F}$, the other endpoint of e must be contained in a path $P_m^{\mathit{opt}}$ for some $m\in {\mathcal{M}}_r$. Since Q and $P_m^{\mathit{opt}}$ are the only connected components of $M_s▵M^{\mathit{opt}}$ that e is adjacent to, the condition of our claim yields that e blocks $M_s▵P_m^{\mathit{opt}}$, and we need to show that e blocks $M_s▵(Q\cup P_m^{\mathit{opt}})$ but not $M_s▵Q$. To see this, first notice that by Proposition 6, edge e cannot block $M_s▵Q$, because Q and $P_m^{\mathit{opt}}$ are disjoint. Second, as e blocks $M_s▵P_m^{\mathit{opt}}$, Lemma 11 implies that it must block $M_s▵(Q\cup P_m^{\mathit{opt}})$ as well, proving our claim. $\square$

Let $c_r$ be the number of those edges that block $M^{\mathit{opt}}$ but not $M^{\mathit{opt}}▵{\mathcal{P}}_r^{\mathit{opt}}$. Then Claim 8 implies that there are at most $c_r$ edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r^{\mathit{opt}})$ but not $M_s▵\mathcal{F}$. Since Steps 9.1–9.4 calculate a set ${\mathcal{P}}_r=\{P_m\mid m\in {\mathcal{M}}_r\}$ of augmenting paths that minimizes the number of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$, we know that there are at most $c_r$ such edges. This in turn shows that there can be at most $c_r$ edges that block $M^{\mathit{out}}$ but not $M^{\mathit{out}}▵{\mathcal{P}}_r$, as implied by Claim 9. This proves the optimality of $M^{\mathit{out}}$.

Claim 9

If e is an edge that blocks $M^{\mathit{out}}$ but not $M^{\mathit{out}}▵{\mathcal{P}}_r$, then e blocks $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$.

Proof

Since $M^{\mathit{out}}=M_s▵(\mathcal{F}\cup {\mathcal{P}}_r\cup {\mathcal{P}}^{\mathit{elim}})$ and $M^{\mathit{out}}▵{\mathcal{P}}_r=M_s▵(\mathcal{F}\cup {\mathcal{P}}^{\mathit{elim}})$, we have that if e does not have an endpoint in ${\mathcal{P}}^{\mathit{elim}}$, then the claim follows immediately.

So suppose that e is incident to a path $Q\in {\mathcal{P}}_{f_i}^{\mathit{elim}}$ for some $i\in \{1,\cdots ,\ell \}$. As e blocks $M^{\mathit{out}}$ but not $M^{\mathit{out}}▵{\mathcal{P}}_r$, the other endpoint of e must be contained in a path $P_m$ for some $m\in {\mathcal{M}}_r$. Since Q and $P_m$ are the only connected components of $M_s▵M^{\mathit{out}}$ that e is adjacent to, the condition of our claim yields that e blocks $M_s▵(Q\cup P_m)$ but not $M_s▵Q$, and we only need to show that e blocks $M_s▵P_m$, which is directly implied by Lemma 11, proving our claim. $\square$

This finishes our proof of correctness for Theorem 11. $\square$

As each augmenting path contains at least one edge that blocks $M^{\mathit{opt}}$, the number of blocking pairs admitted by $M^{\mathit{opt}}$ is at least $(|{\mathcal{W}}_0^{\star }|+|{\mathcal{M}}_0^{\star }|)/2$. Thus, we get Corollary 3.

Corollary 3

The special case of SMC where each woman finds at most two men acceptable (i.e., ${\Delta }_{\mathcal{W}}\le 2$) is fixed-parameter tractable for parameter b.

It remains to deal with the third among the parameterizations we have to consider. So let us turn our attention to the complexity of the SMC with ${\Delta }_{\mathcal{W}}\le 2$ where we take $|{\mathcal{W}}^{\star }|+{\Delta }_{\mathcal{M}}$ as the parameter.

Theorem 12

There is a fixed-parameter algorithm for the special case of SMC where each woman finds at most two men acceptable (i.e., ${\Delta }_{\mathcal{W}}\le 2$), and the parameter is $|{\mathcal{W}}^{\star }|+{\Delta }_{\mathcal{M}}$, the number of distinguished women plus the maximum length of men’s preference lists.

It turns out that Theorem 12 can be proved by a modified version of the algorithm described above to prove Theorem 11. In fact, we start with applying Steps 1 to 6. However, we can no longer apply Step 7, because now $|{\mathcal{M}}^{\star }|$ can be unbounded, and thus guessing the elimination sets would not yield a fixed-parameter tractable algorithm. To circumvent this problem, we rely on an observation stated by Lemma 12 which shows that “almost all” volatile edges that are blocking in $M_s▵\mathcal{F}$ are relevant edges, and thus have to be eliminated. This allows us to efficiently guess the set of relevant volatile edges, leading us to a fixed-parameter tractable algorithm. Hence, instead of guessing only the elimination sets (that is, the man endpoints of the elimination paths) we can now guess the exact set of edges that the optimal solution eliminates, so in fact the modified algorithm can be viewed as a more simple approach.

Let $E^{\mathit{vol}}$ denote the set of all volatile blocking edges in $M_s▵\mathcal{F}$, and let $\{m,w\}\in E^{\mathit{vol}}$ for some man m. We say that $\{m,w\}$ is loose, if

• both $M_s$ and $M^{\mathit{opt}}$ assign a partner to m,

• m prefers $M_s(m)$ to w, and w to $M^{\mathit{opt}}(m)$, and

• $M^{\mathit{opt}}(m)$ is not distinguished.

Lemma 12

All loose edges in $E^{\mathit{vol}}$ are relevant, and at most $({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|$ edges in $E^{\mathit{vol}}$ are not loose.

Proof

First suppose that $\{m,w\}$ for some man m is loose. Since $\{m,w\}$ is volatile, we have that m is the less preferred man acceptable to w, and since $\{m,w\}$ is blocking in $M_s▵\mathcal{F}$, we know that w is unmatched in $M_s▵\mathcal{F}$.

For the sake of contradiction, let us suppose that $\{m,w\}$ is not relevant, meaning that it is still blocking in $M^{\mathit{opt}}$. In this case, w must be unmatched in $M^{\mathit{opt}}$ too. We define a matching $M^{\prime }$ obtained from $M^{\mathit{opt}}$ by modifying only the partner of m to be $M^{\prime }(m)=w$ and, i.e., $M^{\prime }=(M^{\mathit{opt}}\backslash \{\{m,M^{\mathit{opt}}(m)\}\})\cup \{\{w,m\}\}$. Observe that $M^{\prime }$ is indeed a matching, because w was unmatched in $M^{\mathit{opt}}$. It is also feasible, because only $M^{\mathit{opt}}(m)$ becomes unmatched by this modification, and $M^{\mathit{opt}}(m)$ is not distinguished (by the definition of a loose edge). Furthermore, while $\{m,w\}$ is not blocking in $M^{\prime }$, the only edge that might be blocking in $M^{\prime }$ but not in $M^{\mathit{opt}}$ is the edge adjacent to $M^{\mathit{opt}}(m)$ but not to m, if existent (because both m and w are better off in $M^{\prime }$ than in $M^{\mathit{opt}}$). Hence, $M^{\prime }$ is also an optimal matching. It should also be clear that it has the same number of common edges with $M_s$ as $M^{\mathit{opt}}$. Note also that each man has the same partner in $M^{\prime }$ as in $M^{\mathit{opt}}$ except for m who is better off in $M^{\prime }$ than in $M^{\mathit{opt}}$. This contradicts our choice of $M^{\mathit{opt}}$, proving that $\{m,w\}$ must indeed be relevant.

To prove the second part of the lemma, let us consider any edge $\{m,w\}\in E^{\mathit{vol}}$ with $m\in \mathcal{M}$. Again, w must be unmatched in the matching $M_s▵\mathcal{F}$, since otherwise $\{m,w\}$ would not block it (because m is the less preferred man in w’s preference list). By contrast, $\{m,w\}$ cannot block $M_s$, which can be explained in three different ways, giving rise to the following three cases:

• Case A: $\{m,w\}\in M_s$,

• Case B: $\{m,w\}\notin M_s$, but $M_s(w)$ exists and is preferred by w to m, or

• Case C: $\{m,w\}\notin M_s$, but $M_s(m)$ exists and is preferred by m to w.

In Case A, by $\{m,w\}\in M_s$, the edge $\{m,w\}$ must be contained in an augmenting path of $M_s▵\mathcal{F}$, with w being an endpoint (since w is not matched in $M_s▵\mathcal{F}$). In Case B, $M_s$ matches w to its first choice, say x, so the edge $\{w,x\}$ must be contained in an augmenting path of $M_s▵\mathcal{F}$, with w being an endpoint. Thus, in both cases we know that w is an endpoint of a feminine augmenting path of $\mathcal{F}$. However, Cases A and B exclude each other, because in Case A the augmenting path ending at w contains the edge connecting w to her second choice, while in Case B it connects w to her first choice. Since there are at most $|{\mathcal{W}}^{\star }|$ feminine augmenting paths, it follows that the number of such edges $\{m,w\}\in E^{\mathit{vol}}$ where the conditions of Cases A or B hold is at most $|{\mathcal{W}}^{\star }|$.

In Case C, let us first observe that m gets matched in $M_s▵\mathcal{F}$. Indeed, if this were not the case, then m would be the man endpoint of a feminine augmenting path, with the last edge contained in $M_s$; however, this is not possible (simply because feminine paths start with women and with edges not in $M_s$). Because $\mathcal{F}$ is a collection of connected components of $M_s▵M^{\mathit{opt}}$, with m contained in $\mathcal{F}$, it is clear that the partner of m in $M_s▵\mathcal{F}$ is the same as his partner in $M^{\mathit{opt}}$. Thus, $M^{\mathit{opt}}(m)$ exists, and since $\{m,w\}$ blocks $M_s▵\mathcal{F}$, we know that m prefers w to $M^{\mathit{opt}}(m)$. Therefore, either $\{m,w\}$ is a loose edge, or $M^{\mathit{opt}}(m)$ is distinguished; in the latter case, we say that $\{m,w\}$belongs to this distinguished woman.

Now, observe that all edges belonging to some woman $z\in {\mathcal{W}}^{\star }$ are adjacent to $M^{\mathit{opt}}(z)$, and $M^{\mathit{opt}}(z)$ is adjacent to at least two edges not belonging to z: namely, the edges $\{M^{\mathit{opt}}(z),z\}$ and $\{M^{\mathit{opt}}(z),M_s(M^{\mathit{opt}}(z))\}$. Hence, at most ${\Delta }_{\mathcal{M}}-2$ edges may belong to z, implying that there are at most $({\Delta }_{\mathcal{M}}-2)|{\mathcal{W}}^{\star }|$ edges in total belonging to distinguished women. Taking into account all three cases, we get that there are at most $({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|$ edges in $E^{\mathit{vol}}$ that are not loose. $\square$

Let us now describe our algorithm proving Theorem 12 in detail. This algorithm starts with Steps 1 to 6 (as given for Theorem 11), and then applies Steps $7^{\star }$ and $8^{\star }$ below. The last step of our algorithm is Step 9 from the algorithm for Theorem 11.

Step$7^{\star }$: Guessing the relevant edges To determine which edges among those volatile edges that block $M_s▵\mathcal{F}$ are relevant, we first compute the set $E^{\mathit{loose}}$ of all loose edges in $E^{\mathit{vol}}$. Notice that when checking some edge $\{m,w\}\in E^{\mathit{vol}}$, we already know $M^{\mathit{opt}}(m)$: since m lies on a path or cycle of $\mathcal{F}$, it gets matched in $M_s▵\mathcal{F}$ to the same woman as in $M^{\mathit{opt}}$. Therefore, checking whether $\{m,w\}$ is loose is straightforward.

After determining all loose edges (which are all relevant by Lemma 12), we guess the remaining set of relevant edges in $E^{\mathit{vol}}\backslash E^{\mathit{loose}}$. By Lemma 12, this yields at most $2^{({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|}$ possibilities, and in the branch where our guess is correct, we obtain the set $E^{\mathit{rel}}$ of all relevant volatile edges blocking in $M_s▵\mathcal{F}$.

Step$8^{\star }$: Computing cheapest elimination path This step is a simplification of Step 8 of the algorithm for Theorem 11. By Lemma 9, for each $f\in E^{\mathit{rel}}$ the elimination paths in ${\mathcal{P}}_f^{\mathit{elim}}$ (determined in Step 6) are all contained in $M_s▵M^{\mathit{opt}}$; let ${\mathcal{P}}^{\mathit{elim}}={\cup }_{f\in E^{\mathit{rel}}}{\mathcal{P}}_f^{\mathit{elim}}$.

Step$9^{\star }$: Computing remaining masculine paths Let ${\mathcal{M}}_r$ denote the set of distinguished men in ${\mathcal{M}}_0^{\star }$ not covered by any of the elimination paths in ${\mathcal{P}}^{\mathit{elim}}$. For each $m\in {\mathcal{M}}_r$ we compute an augmenting path $P_m$ disjoint from $\mathcal{F}$ such that the number of edges that block $M_s▵(\mathcal{F}\cup {\mathcal{P}}_r)$ but not $M_s▵\mathcal{F}$ is minimized, where ${\mathcal{P}}_r$ is the union of all paths $P_m$, $m\in M_r$. We accomplish this with the exact same method as in Step 9 of the algorithm for Theorem 11. Finally, we output the matching $M^{\mathit{out}}=M_s▵(\mathcal{F}\cup {\mathcal{P}}^{\mathit{elim}}\cup {\mathcal{P}}_r)$.

Note that the number of guesses made in Steps 1 to 6 are bounded by a function of $|{\mathcal{W}}_0^{\star }|$, and the guesses made in Step $7^{\star }$ result in at most $2^{({\Delta }_{\mathcal{M}}-1)|{\mathcal{W}}^{\star }|}$ possibilities. Since all computations in a branch can be performed in time polynomial in the size |I| of the instance, we obtain a fixed-parameter algorithm with parameter $|{\mathcal{W}}^{\star }|+{\Delta }_{\mathcal{M}}$. It remains to prove its correctness.

Proof of Theorem 12

The proof is a straightforward adaptation of our proof for Theorem 11. The only difference is that instead of finding some elimination paths that eliminate the necessary number of relevant volatile edges blocking in $M_s▵\mathcal{F}$, our algorithm now directly finds all of the relevant edges among those volatile edges that block $M_s▵\mathcal{F}$, together with the corresponding elimination paths; this is a consequence of Lemma 12 and the definition of Step $7^{\star }$. As Step $8^{\star }$ can also be viewed as a simplification of Step 8 as defined for the algorithm for Theorem 11, it can be verified that the exact same arguments that prove the correctness of Step 8 in our algorithm for Theorem 11 also imply the correctness of Step $8^{\star }$ for our algorithm for Theorem 12 in a straightforward manner. $\square$

Discussion

We provided a systematic study of the computational complexity of Stable Marriage with Covering Constraints. Our main result is a complete computational complexity trichotomy into polynomial-time solvable cases, $\mathsf{NP}$-hard and fixed-parameter tractable cases, and $\mathsf{NP}$-hard and $\mathsf{W}[1]$-hard cases, for all possible combinations of five natural parameters:

• $|{\mathcal{M}}^{\star }|$: the number of distinguished men,

• $|{\mathcal{W}}^{\star }|$: the number of distinguished women,

• ${\Delta }_{\mathcal{M}}$: the maximum length of preference lists for men,

• ${\Delta }_{\mathcal{W}}$: the maximum length of preference lists for women, and

• b: the number of blocking pairs allowed.

As a special case, we solved a problem by Hamada et al. [24].

Figure 10 provides a decision diagram showing that our results indeed fully determine the computational complexity of SMC with respect to the set $S=\{b,|{\mathcal{W}}^{\star }|,|{\mathcal{M}}^{\star }|,{\Delta }_{\mathcal{M}},{\Delta }_{\mathcal{W}}\}$ of possible parameters. Going through this decision diagram should convince the reader that any parameterized restriction of SMC with respect to the set S is classified as either polynomial-time solvable ($\mathsf{P}$) or $\mathsf{NP}$-hard, and in the latter case, either fixed-parameter tractable ($\mathsf{FPT}$), or $\mathsf{W}[\mathsf{1}]$-hard with the given parameterization (if any). In particular, when we provide parameterized results, this means that the parameterized restriction of SMC in question is $\mathsf{NP}$-hard without parameterization.

Fig. 10.

Decision diagram for determining the complexity of SMC. We remark that if a certain restriction of SMC where one of the values $v\in S$ is a constant k proves to be $\mathsf{NP}$-hard or $\mathsf{W}[\mathsf{1}]$-hard with some parameterization, then it is easy to see that the same hardness result also holds for the case where $v\ge k$ (and all other assumptions are the same). We refer to the “reflection” of a result by adding the postfix ‘R’ to its name (so Theorem xR denotes the reflection of Theorem x); here by reflection we mean the statement obtained by switching the roles of men and women

Given the strong polynomial-time inapproximability bounds, as well as the parameterized intractability results of this paper, we pose as an open question whether fixed-parameter approximation algorithms can beat either of these obstacles for solving SMC.

Another challenge for future research is to investigate possible adaptations of the proposed algorithms to the Hospitals/Residents model (note that, naturally, all our hardness results for SMC-1 apply to the HRLQ problem), or to a setting where ties are allowed in the preference lists.