Stable Marriage with Ties and Bounded Length Preference Lists

We consider variants of the classical stable marriage problem in which preference lists may contain ties, and may be of bounded length. Such restrictions arise naturally in practical applications, such as centralised matching schemes that assign graduating medical students to their first hospital posts. In such a setting, weak stability is the most common solution concept, and it is known that weakly stable matchings can have different sizes. This motivates the problem of finding a maximum cardinality weakly stable matching, which is known to be NP-hard in general. We show that this problem is solvable in polynomial time if each man's list is of length at most 2 (even for women's lists that are of unbounded length). However if each man's list is of length at most 3, we show that the problem becomes NP-hard (even if each women's list is of length at most 3) and not approximable within some @d>1 (even if each woman's list is of length at most 4).

[1]  Robert W. Irving Stable Marriage and Indifference , 1994, Discret. Appl. Math..

[2]  David Manlove,et al.  Approximability results for stable marriage problems with ties , 2003, Theor. Comput. Sci..

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

[4]  Shuichi Miyazaki,et al.  A 1.875: approximation algorithm for the stable marriage problem , 2006, SODA '07.

[5]  Robert E. Tarjan,et al.  Faster Scaling Algorithms for Network Problems , 1989, SIAM J. Comput..

[6]  David Gale,et al.  Some remarks on the stable matching problem , 1985, Discret. Appl. Math..

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

[8]  Robert W. Irving,et al.  The Complexity of Counting Stable Marriages , 1986, SIAM J. Comput..

[9]  Shuichi Miyazaki,et al.  A (2-c(log N/N))-Approximation Algorithm for the Stable Marriage Problem , 2004, SWAT.

[10]  Robert W. Irving,et al.  The Stable marriage problem - structure and algorithms , 1989, Foundations of computing series.

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

[12]  Marek Karpinski,et al.  Approximation Hardness of Short Symmetric Instances of MAX-3SAT , 2003, Electron. Colloquium Comput. Complex..

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

[14]  Magnús M. Halldórsson,et al.  Improved Approximation of the Stable Marriage Problem , 2003, ESA.

[15]  Shuichi Miyazaki,et al.  A (2-c*(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem , 2005, ISAAC.

[16]  Magnús M. Halldórsson,et al.  Randomized approximation of the stable marriage problem , 2004, Theor. Comput. Sci..

[17]  Magnús M. Halldórsson,et al.  Inapproximability Results on Stable Marriage Problems , 2002, LATIN.

[18]  David Manlove,et al.  Hard variants of stable marriage , 2002, Theor. Comput. Sci..

[19]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..