Envy-free Matchings with Lower Quotas

While every instance of the Hospitals/Residents problem admits a stable matching, the problem with lower quotas (HR-LQ) has instances with no stable matching. For such an instance, we expect the existence of an envy-free matching, which is a relaxation of a stable matching preserving a kind of fairness property. In this paper, we investigate the existence of an envy-free matching in several settings, in which hospitals have lower quotas. We first provide an algorithm that decides whether a given HR-LQ instance has an envy-free matching or not. Then, we consider envy-freeness in the Classified Stable Matching model due to Huang (2010), i.e., each hospital has lower and upper quotas on subsets of doctors. We show that, for this model, deciding the existence of an envy-free matching is NP-hard in general, but solvable in polynomial time if quotas are paramodular

How Good Are Popular Matchings?

In this paper, we consider the Hospital Residents problem (HR) and the Hospital Residents problem with Lower Quotas (HRLQ). In this model with two sided preferences, stability is a well accepted notion of optimality. However, in the presence of lower quotas, a stable and feasible matching need not exist. For the HRLQ problem, our goal therefore is to output a good feasible matching assuming that a feasible matching exists. Computing matchings with minimum number of blocking pairs (Min-BP) and minimum number of blocking residents (Min-BR) are known to be NP-Complete. The only approximation algorithms for these problems work under severe restrictions on the preference lists. We present an algorithm which circumvents this restriction and computes a popular matching in the HRLQ instance. We show that on data-sets generated using various generators, our algorithm performs very well in terms of blocking pairs and blocking residents. Yokoi [Yokoi, 2017] recently studied envy-free matchings for the HRLQ problem. We propose a simple modification to Yokoi\u27s algorithm to output a maximal envy-free matching. We observe that popular matchings outperform envy-free matchings on several parameters of practical importance, like size, number of blocking pairs, number of blocking residents. In the absence of lower quotas, that is, in the Hospital Residents (HR) problem, stable matchings are guaranteed to exist. Even in this case, we show that popularity is a practical alternative to stability. For instance, on synthetic data-sets generated using a particular model, as well as on real world data-sets, a popular matching is on an average 8-10% larger in size, matches more number of residents to their top-choice, and more residents prefer the popular matching as compared to a stable matching. Our comprehensive study reveals the practical appeal of popular matchings for the HR and HRLQ problems. To the best of our knowledge, this is the first study on the empirical evaluation of popular matchings in this setting

Envy-freeness and Relaxed Stability for Lower-Quotas : A Parameterized Perspective

We consider the problem of assigning agents to resources under the two-sided preference list model with upper and lower-quotas on resources. Krishnaa et al. [17] explore two optimality notions for this setting -- envy-freeness and relaxed stability. They investigate the problem of computing a maximum size envy-free matching (MAXEFM) and a maximum size relaxed stable matching (MAXRSM) that satisfies the lower-quotas. They show that both these optimization problems cannot be approximated within a constant factor unless P = NP. In this work, we investigate parameterized complexity of MAXEFM and MAXRSM. We consider several parameters derived from the instance -- the number of resources with non-zero lower-quota, deficiency of the instance, maximum length of the preference list of a resource with non-zero lower-quota, among others. We show that MAXEFM problem is W [1]-hard for several interesting parameters and MAXRSM problem is para-NP-hard for two natural parameters. We present kernelization results and FPT algorithms on a combination of parameters for both problems.Comment: 14 pages, 2 figures. fullpage used, improved presentation of results, stronger kernelization result for MAXRS

Popular Matchings with Lower Quotas

We consider the well-studied Hospital Residents (HR) problem in the presence of lower quotas (LQ). The input instance consists of a bipartite graph G = (R U H, E) where R and H denote sets of residents and hospitals, respectively. Every vertex has a preference list that imposes a strict ordering on its neighbors. In addition, each hospital has an associated upper-quota and a lower-quota. A matching M in G is an assignment of residents to hospitals, and M is said to be feasible if every resident is assigned to at most one hospital and a hospital is assigned at least its lower-quota many residents and at most its upper-quota many residents. Stability is a de-facto notion of optimality in a model where both sets of vertices have preferences. A matching is stable if no unassigned pair has an incentive to deviate from it. It is well-known that an instance of the HRLQ problem need not admit a feasible stable matching. In this paper, we consider the notion of popularity for the HRLQ problem. A matching M is popular if no other matching M\u27 gets more votes than M when vertices vote between M and M\u27. When there are no lower quotas, there always exists a stable matching and it is known that every stable matching is popular. We show that in an HRLQ instance, although a feasible stable matching need not exist, there is always a matching that is popular in the set of feasible matchings. We give an efficient algorithm to compute a maximum cardinality matching that is popular amongst all the feasible matchings in an HRLQ instance

Dynamic refugee matching

Asylum seekers are often assigned to localities upon arrival using uninformed matching systems, which lead to inefficient and unfair allocations. This paper proposes an informed dynamic mechanism as an intuitive and easy-to-implement alternative. Our mechanism can be adopted in any dynamic refugee matching problem given locality-specific quotas and that asylum seekers map into specific categories. Any matching selected by the proposed mechanism is Pareto efficient, and envy between localities is bounded by a single asylum seeker. Our simulations show that the proposed mechanism outperforms uninformed mechanisms even in presence of severe misclassification error in the estimation of asylum seeker categories

Envy-free matchings with cost-controlled quotas

We consider the problem of assigning agents to programs in the presence of two-sided preferences, commonly known as the Hospital Residents problem. In the standard setting each program has a rigid upper-quota which cannot be violated. Motivated by applications where quotas are governed by resource availability, we propose and study the problem of computing optimal matchings with cost-controlled quotas -- denoted as the CCQ setting. In the CCQ setting we have a cost associated with every program which denotes the cost of matching a single agent to the program and these costs control the quotas. Our goal is to compute a matching that matches all agents, respects the preference lists of agents and programs and is optimal with respect to the cost criteria. We study two optimization problems with respect to the costs -- minimize the total cost (MINSUM) and minimize the maximum cost at a program (MINMAX). We show that there is a sharp contrast in the complexity status of these two problems -- MINMAX is polynomial time solvable whereas MINSUM is NP-hard and hard to approximate within a constant factor unless P = NP even under severe restrictions. On the positive side, we present approximation algorithms for the MINSUM for the general case and a special hard case. The special hard case is theoretically challenging as well as practically motivated and we present a Linear Programming based algorithm for this case. We also establish the connection of our model with the stable extension problem in an apparently different two-round setting of the stable matching problem [Gajulapalli et al. FSTTCS 2020]. We show that our results in the CCQ setting generalize the stable extension problem.Comment: 23 pages, 7 figures, new results added, some changes in terminology for better clarit

On Integration Policies and Schooling

This paper proposes a reform for school allocation procedures in order to help integration policies reach their objective. For this purpose, we suggest the use of a natural two-step mechanism. The (stable) first step is introduced as an adaptation of the deferred-acceptance algorithm designed by Gale and Shapley (1962), when students are divided into two groups. The (efficient) second step captures the idea of exchanging places inherent to Gale's Top Trading Cycle. This latter step could be useful for Municipal School Boards when implementing some integration policies.Integration Policy; School Allocation; Affirmative Action