Stable matchings Indifference Generalized preferences Complexity results Algorithm Pairwise preferences in the stable marriage problem Ágnes Cseh 1 Attila Juhos 2 1 Hungarian Academy of Sciences 2 Budapest University of Technology and Economics Aussois, 10 January 2018 Accepted to STACS’19
Stable matchings Indifference Generalized preferences Complexity results Algorithm Stable matchings
Stable matchings Indifference Generalized preferences Complexity results Algorithm
Stable matchings Indifference Generalized preferences Complexity results Algorithm
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1 Definition Edge mw is blocking if
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1 Definition Edge mw is blocking if it is not in the matching and
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 2 2 1 3 1 4 1 2 3 2 1 1 2 3 3 2 3 1 2 1 4 2 1 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single. Theorem (Gale, Shapley 1962) A stable matching always exists.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 1 3 3 4 2 1 3 2 2 1 2 1 1 2 3 2 1 1 2 4 1 3 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 1 3 3 4 2 1 3 2 2 1 2 1 1 2 3 2 1 1 2 4 1 3 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 3 4 2 1 3 2 2 2 1 1 2 1 1 2 4 1 3 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 3 4 2 1 3 2 2 2 1 1 2 1 1 2 4 1 3 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 3 4 2 1 3 2 2 2 1 2 1 1 2 4 1 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 3 4 2 1 3 2 2 2 1 2 1 1 2 4 1 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 3 3 4 2 1 3 2 2 2 1 2 1 1 2 4 1 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm 1 3 3 4 2 1 3 2 2 1 2 1 1 2 3 2 1 1 2 4 1 3 2 2 Definition Edge mw is blocking if it is not in the matching and m prefers w to his wife or he is single and w prefers m to her husband or she is single.
Stable matchings Indifference Generalized preferences Complexity results Algorithm Motivation for allowing ties requiring strict lists is often unnatural
Stable matchings Indifference Generalized preferences Complexity results Algorithm Motivation for allowing ties requiring strict lists is often unnatural college admission systems (Hungary, Chile)
Stable matchings Indifference Generalized preferences Complexity results Algorithm Motivation for allowing ties requiring strict lists is often unnatural college admission systems (Hungary, Chile) hospital-resident matching programs (NRMP, SFAS)
Stable matchings Indifference Generalized preferences Complexity results Algorithm Motivation for allowing ties requiring strict lists is often unnatural college admission systems (Hungary, Chile) hospital-resident matching programs (NRMP, SFAS) Preference lists with ties [Irving, ’94] → indifference or incomparability between acceptable partners
Stable matchings Indifference Generalized preferences Complexity results Algorithm Motivation for allowing ties requiring strict lists is often unnatural college admission systems (Hungary, Chile) hospital-resident matching programs (NRMP, SFAS) Preference lists with ties [Irving, ’94] → indifference or incomparability between acceptable partners m m 1 1 2 2 w 1 w 2 w 3 w 4 w 1 w 2 w 3 w 4
Stable matchings Indifference Generalized preferences Complexity results Algorithm Indifference
Stable matchings Indifference Generalized preferences Complexity results Algorithm Definition Question How to define stability if we have ties?
Stable matchings Indifference Generalized preferences Complexity results Algorithm Definition Question How to define stability if we have ties? m w blocking edge wrt WEAK stability
Stable matchings Indifference Generalized preferences Complexity results Algorithm Definition Question How to define stability if we have ties? m m w w blocking edge wrt blocking edge wrt WEAK stability STRONG stability
Stable matchings Indifference Generalized preferences Complexity results Algorithm Definition Question How to define stability if we have ties? m m m w w w blocking edge wrt blocking edge wrt blocking edge wrt WEAK stability STRONG stability SUPER-stability
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Initial instance.
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Random matching.
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Not weakly stable!
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Weakly stable matching?
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Not strongly stable!
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Strongly stable matching.
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Not super stable!
Stable matchings Indifference Generalized preferences Complexity results Algorithm m 1 m 2 m 3 m 4 1 1 2 1 1 1 2 2 1 3 2 1 1 2 2 1 2 2 2 1 2 1 3 2 w 1 w 2 w 3 w 4 Super stable matching.
Stable matchings Indifference Generalized preferences Complexity results Algorithm Existence Weakly stable matchings always exist. [Irving’94] Strongly and super stable matchings do not. [Irving’94]
Stable matchings Indifference Generalized preferences Complexity results Algorithm Existence Weakly stable matchings always exist. [Irving’94] Strongly and super stable matchings do not. [Irving’94]
Stable matchings Indifference Generalized preferences Complexity results Algorithm Generalized preferences
Recommend
More recommend