On the Stability of Multiple Partner Stable Marriages with Ties

We consider the generalized version of the stable marriage problem where each man and woman’s preference list may have ties. Furthermore, each man and woman wishes to be matched to as many of acceptable partners as possible, up to his or her specified quota. Many-to-many version of the stable marriage problem has wide applications in matching retailers and shopkeepers in e-marketplaces. We investigate different forms of stability in this context and describe an algorithm to find strongly stable matchings (if one exists) in the context of multiple partner stable marriage problem with ties. In the context of Hospital-Residents problem for which only the resident-oriented algorithm for finding a strongly stable matching is known, this algorithm gives a hospital-oriented version (for the same) as well. Furthermore, in any instance of many-to-many stable marriage problem with ties, we show that the set of strongly stable matchings forms a distributive lattice. The results in this paper extend those already known for the one-to-one version and many-to-one version (Hospitals-Residents problem) of the problem.

[1]  C. Pearce,et al.  An Efficient Algorithm for the , 1999 .

[2]  Aseem Agrawal,et al.  Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution , 2003, ICALP.

[3]  Boris Spieker The Set of Super-stable Marriages Forms a Distributive Lattice , 1995, Discret. Appl. Math..

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

[5]  Robert W. Irving,et al.  An efficient algorithm for the “optimal” stable marriage , 1987, JACM.

[6]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[7]  David Manlove,et al.  Strong Stability in the Hospitals/Residents Problem , 2003, STACS.

[8]  L. B. Wilson,et al.  The stable marriage problem , 1971, Commun. ACM.

[9]  Michel Balinski,et al.  Many-to-many matching: stable polyandrous polygamy (or polygamous polyandry) , 2000, Discret. Appl. Math..

[10]  L. Shapley,et al.  College Admissions and the Stability of Marriage , 1962 .

[11]  David Manlove,et al.  The structure of stable marriage with indifference , 2002, Discret. Appl. Math..

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

[13]  Robert E. Tarjan,et al.  Notes on Introductory Combinatorics , 1983, Progress in Computer Science.

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

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

[16]  Kurt Mehlhorn,et al.  Strongly Stable Matchings in Time O(nm) and Extension to the Hospitals-Residents Problem , 2004, STACS.