Abstract
The Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a Constraint Satisfaction Problem. We prove that, in a precise sense, establishing arc consistency in J is equivalent to the action of the established Extended Gale/Shapley algorithm for SM on I. As a consequence of this, the man-optimal and woman-optimal stable matchings can be derived immediately. Furthermore we show that, in both encodings, all solutions of I may be enumerated in a failure-free manner. Our results indicate the applicability of Constraint Programming to the domain of stable matching problems in general, many of which are NP-hard.
This work was supported by EPSRC research grant GR/M90641.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Bessière and J-C Régin. Arc consistency for general constraint networks: Preliminary results. In Proceedings of IJCAI’97, pages 398–404, 1997.
M. Davis, G. Logemann, and D. Loveland. A machine program for theoremproving. Communications of the ACM, 5:394–397, 1962.
Eugene C. Freuder. A suficient condition for backtrack-free search. Journal of the ACM, 29:24–32, 1982.
D. Gale and L.S. Shapley. College admissions and the stability of marriage. American Mathematical Monthly, 69:9–15, 1962.
D. Gale and M. Sotomayor. Some remarks on the stable matching problem. Discrete Applied Mathematics, 11:223–232, 1985.
D. Gusfield and R. W. Irving. The Stable Marriage Problem: Structure and Algorithms. The MIT Press, 1989.
P. Jeavons, D. Cohen, and M. Gyssens. A unifying framework for tractable constraints. In Proceedings CP’95, volume LNCS 976, pages 276–291. Springer, 1995.
D.F. Manlove, R.W. Irving, K. Iwama, S. Miyazaki, and Y. Morita. Hard variants of stable marriage. To appear in Theoretical Computer Science.
C. Ng and D.S. Hirschberg. Lower bounds for the stable marriage problem and its variants. SIAM Journal on Computing, 19:71–77, 1990.
C. Ng and D.S. Hirschberg. Three-dimensional stable matching problems. SIAM Journal on Discrete Mathematics, 4:245–252, 1991.
E. Ronn. NP-complete stable matching problems. Journal of Algorithms, 11:285–304, 1990.
A.E. Roth. The evolution of the labor market for medical interns and residents: a case study in game theory. Journal of Political Economy, 92(6):991–1016, 1984.
A.E. Roth and M.A.O. Sotomayor. Two-sided matching: a study in game-theoretic modeling and analysis, volume 18 of Econometric Society Monographs. Cambridge University Press, 1990.
J.E. Vande Vate. Linear programming brings marital bliss. Operations Research Letters, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gent, I.P., Irving, R.W., Manlove, D.F., Prosser, P., Smith, B.M. (2001). A Constraint Programming Approach to the Stable Marriage Problem. In: Walsh, T. (eds) Principles and Practice of Constraint Programming — CP 2001. CP 2001. Lecture Notes in Computer Science, vol 2239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45578-7_16
Download citation
DOI: https://doi.org/10.1007/3-540-45578-7_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42863-3
Online ISBN: 978-3-540-45578-3
eBook Packages: Springer Book Archive