Stability in the hospitals/residents problem with couples and ties: mathematical models and computational studies

Delorme, M., García, S., Gondzio, J., Kalcsics, J., Manlove, D. and Pettersson, W. (2021) Stability in the hospitals/residents problem with couples and ties: mathematical models and computational studies. Omega, 103, 102386. (doi: 10.1016/j.omega.2020.102386)

Abstract

In the well-known Hospitals/Residents problem (HR), the objective is to find a stable matching of doctors (or residents) to hospitals based on their preference lists. In this paper, we study HRCT, the extension of HR in which doctors are allowed to apply in couples, and in which doctors and hospitals can include ties in their preference lists. We first review three stability definitions that have been proposed in the literature for HRC (the restriction of HRCT where ties are not allowed) and we extend them to HRCT. We show that such extensions may bring undesirable behaviour and we introduce a new stability definition specifically designed for HRCT. We then introduce unified Integer Linear Programming (ILP) models, where only minor changes are required to switch from one definition to the other. We propose three improvements to decrease the average solution time of each ILP model based on preprocessing, dummy variables, and valid inequalities. We show that our models can be solved more than a hundred times faster when these improvements are used. In addition, we also show that the stability definition chosen has a minor impact on the solution quality (average matching size) and time required to obtain the solution, but for a specific set of instances, stable matchings are significantly less likely to exist for one particular definition compared to the other definitions. We also provide insights relating to how certain parameters such as the tie density, the number of couples, and the difference between the number of positions available in the hospitals and the number of doctors, might affect the average matching size.

• Item Type: Articles
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Manlove, Professor David and Pettersson, Dr William

Creator Roles

Manlove, D.: Conceptualization, Formal analysis, Methodology, Writing – review and editing, Funding acquisition, Project administration
Pettersson, W.: Conceptualization, Formal analysis, Methodology, Software, Writing – original draft, Writing – review and editing

• Authors: Delorme, M., García, S., Gondzio, J., Kalcsics, J., Manlove, D., and Pettersson, W.
• College/School: College of Science and Engineering > School of Computing Science
• Journal Name: Omega
• Publisher: Elsevier
• ISSN: 0305-0483
• ISSN (Online): 1873-5274
• Published Online: 10 December 2020
• Copyright Holders: Copyright © 2020 Elsevier Ltd.
• First Published: First published in Omega 103: 102386
• Publisher Policy: Reproduced in accordance with the publisher copyright policy

Related URLs

• Author

• Data DOI: 10.5525/gla.researchdata.953

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
300808		IP-MATCH: Integer Programming for Large and Complex Matching Problems	David Manlove	Engineering and Physical Sciences Research Council (EPSRC)	EP/P028306/1	Computing Science