A min-conflicts algorithm for maximum stable matchings of the hospitals/residents problem with ties

This paper presents a min-conflicts algorithm to find a maximum weakly stable matching for the Hospitals/Residents problem with Ties (MAX-HRT). We represent the problem in terms of a constraint satisfaction problem and apply a local search approach to solve the problem. Our key idea is to find a set of undominated blocking pairs from residents’ point of view and then remove the best one to not only reject all the blocking pairs formed by the residents but also to reject as many as possible the blocking pairs formed by hospitals from the hospitals’ point of view. Experiments show that our algorithm is efficient for solving MAX-HRT of large sizes.

[1]  David Manlove,et al.  Stable Marriage with Incomplete Lists and Ties , 1999, ICALP.

[2]  Toby Walsh,et al.  Local Search for Stable Marriage Problems with Ties and Incomplete Lists , 2010, PRICAI.

[3]  Robert W. Irving.  Matching Medical Students to Pairs of Hospitals: A New Variation on a Well-Known Theme , 1998, ESA.

[4]  David Manlove.  Hospitals/Residents Problem , 2008, Encyclopedia of Algorithms.

[5]  David Manlove,et al.  The stable marriage problem with master preference lists , 2008, Discret. Appl. Math..

[6]  Francesca Rossi,et al.  A Local Search Algorithm for SMTI and its extension to HRT Problems , 2015 .

[7]  Francesca Rossi,et al.  Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization , 2015, AAAI.

[8]  A. Roth.  The Evolution of the Labor Market for Medical Interns and Residents: A Case Study in Game Theory , 1984, Journal of Political Economy.

[9]  Patrick Prosser,et al.  An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists , 2002, ECAI.

[10]  L. S. Shapley,et al.  College Admissions and the Stability of Marriage , 2013, Am. Math. Mon..

[11]  David Manlove,et al.  The Hospitals/Residents Problem with Ties , 2000, SWAT.

[12]  David Manlove,et al.  An Integer Programming Approach to the Hospitals/Residents Problem with Ties , 2013, OR.

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[14]  David Manlove,et al.  “Almost-stable” matchings in the Hospitals / Residents problem with Couples , 2016, Constraints.

[15]  Philippe Codognet,et al.  Yet Another Local Search Method for Constraint Solving , 2001, SAGA.

[16]  David Manlove,et al.  The Hospitals / Residents Problem with Couples: Complexity and Integer Programming Models , 2013, SEA.