An Impossibility Theorem in Matching Problems
AbstractThis paper studies the possibility of strategy-proof rules yielding satisfactory solutions to matching problems. Alcalde and Barber_ (1994) show that efficient and individually rational matching rules are manipulable in the one-to-one matching model. We pursue the possibility of strategy-proof matching rules by relaxing effciency to the weaker condition of respect for unanimity. Our first result is positive. We prove that a strategy-proof rule exists that is individually rational and respects unanimity. However, this rule is unreasonable in the sense that a pair of agents who are the best for each other are matched on only rare occasions. In order to explore the possibility of better matching rules, we introduce the natural condition of "respect for pairwise unanimity." Respect for pairwise unanimity states that a pair of agents who are the best for each other should be matched, and an agent wishing to stay single should stay single. Our second result is negative. We prove that no strategy-proof rule exists that respects pairwise unanimity. This result implies Roth (1982) showing that stable rules are manipulable. We then extend this to the many-to-one matching model.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by Institute of Social and Economic Research, Osaka University in its series ISER Discussion Paper with number 0677.
Date of creation: Dec 2006
Date of revision:
You can help add them by filling out this form.
reading list or among the top items on IDEAS.Access and download statisticsgeneral information about how to correct material in RePEc.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Fumiko Matsumoto).
If references are entirely missing, you can add them using this form.