Article ID: | iaor20104956 |
Volume: | 58 |
Issue: | 1 |
Start Page Number: | 151 |
End Page Number: | 169 |
Publication Date: | Sep 2010 |
Journal: | Algorithmica |
Authors: | Matsui Tomomi, Kobayashi Hirotatsu |
Keywords: | graphs |
This paper deals with a strategic issue in the stable marriage model with complete preference lists (i.e., a preference list of an agent is a permutation of all the members of the opposite sex). Given complete preference lists of all the men, a partial marriage, and complete preference lists of unmatched women, we consider the problem of finding preference lists of matched women such that the men-proposing Gale-Shapley algorithm applied to the lists produces a (perfect) marriage which is an extension of a given partial marriage. We propose a polynomial time algorithm for finding a desired set of preference lists, if these exist. We also deal with the case that complete preference lists of all the men and a partial marriage are given. In this case, we consider a problem of the existence of preference lists of all the women such that the men-proposing Gale-Shapley algorithm produces a marriage including a given partial marriage. We show NP-completeness of this problem.