A Matroid Approach to Stable Matchings with Lower Quotas

In 2010, Huang introduced the laminar classified stable matching problem (LCSM for short) that is motivated by academic hiring. This problem is an extension of the well-known hospitals/residents problem in which a hospital has laminar classes of residents and it sets lower and upper bounds on the number of residents that it can hire in each class. Against the intuition that variations of the stable matching problem with lower quotas are difficult in general, Huang proved that LCSM can be solved in polynomial time. In this paper, we present a matroid-based approach to LCSM and we obtain the following results. (i) We solve a generalization of LCSM in which both sides have quotas. (ii) Huang raised a question about a polyhedral description of the set of stable assignments in LCSM. We give a positive answer for this question by exhibiting a polyhedral description of the set of stable assignments in a generalization of LCSM. (iii) We prove that the set of stable assignments in a generalization of LCSM has a lattice structure that is similar to the (ordinary) stable matching problem.