Abstract
We develop integer programming (IP) solutions for some special college admission problems arising from the Hungarian higher education admission scheme. We focus on four special features, namely the solution concept of stable score-limits, the presence of lower and common quotas, and paired applications. We note that each of the latter three special feature makes the college admissions problem NP-hard to solve. Currently, a heuristic based on the Gale–Shapley algorithm is being used in the Hungarian application. The IP methods that we propose are not only interesting theoretically, but may also serve as an alternative solution concept for this practical application, and other similar applications. We finish the paper by presenting a simulation using the 2008 data of the Hungarian higher education admission scheme.
Similar content being viewed by others
Notes
The 2012 Nobel-Prize in Economic Sciences was awarded to Alvin Roth and Lloyd Shapley for the theory of stable allocations and the practice of market design.
The same problem has also been investigated in a master’s thesis Podhradsky (2010).
In a famous study Roth (1991) analysed the nature and the long term success of a dozen resident allocation schemes established in the UK in the late seventies. He found that two schemes produced stable outcomes and both of them remained in use. From the remaining six ones, that did not always produce stable matchings, four were eventually abandoned. The two programs that were not always produced stable solutions but yet remained in use were based on linear programming techniques and has been operating in the two smallest markets. Ünver (2001) studied these programs and the possible reasons for their survival in detail.
Actually until 2007 there were indeed separate quotas for the number of students in these two forms, and because of that the basic structure of the problem was different, the set system of common quotas was nested, which implied that a stable solution could be found efficiently, see details in Biró et al. (2010).
References
Abraham D, Blum A, Sandholm T (2007) Clearing algorithms for Barter-Exchange Markets: enabling nationwide kidney exchanges. In: Proceedings of ACM-EC 2007: the eighth ACM conference on electronic commerce. ACM, New York, pp 295–304
Abdulkadiroglu A, Ehlers L (2007) Controlled school choice. Working paper
Azavedo EM, Leshno JD (2012) A supply and demand framework for two-sided matching markets. Working paper
Baïou M, Balinski M (2000) The stable admissions polytope. Math Program 87(3):427–439
Biró P (2008) Student admissions in Hungary as Gale and Shapley envisaged. Technical report, no. TR-2008-291 of the Computing Science Department of Glasgow University
Biró P (2012) University admission practices—Hungary. http://www.matching-in-practice.eu. Accessed 23 May 2012
Biró P, Fleiner T, Irving RW, Manlove DF (2010) The college admissions problem with lower and common quotas. Theoret Comput Sci 411:3136–3153
Biró P, Irving RW, Schlotter I (2011) Stable matching with couples—an empirical study. ACM J Exp Algorithm 16:1–2
Biró P, Kiselgof S (2015) College admissions with stable score-limits. CEJOR 23(4):727–741
Biró P, Klijn F (2013) Matching with couples: a multidisciplinary survey. Int Game Theory Rev 15(2):1340008
Biró P, McBride I (2014) Integer programming methods for special college admissions problems. In: Proceedings of COCOA 2014: the 8th annual international conference on combinatorial optimization and applications. LNCS, vol 8881. Springer, Berlin, pp 429–443
Biró P, McBride I, Manlove DF (2014) The hospitals/residents problem with couples: complexity and integer programming models. In: Proceedings of SEA 2014: the 13th international symposium on experimental algorithms. LNCS, vol 8504. Springer, New York, pp 10–21
Fleiner T (2003) On the stable \(b\)-matching polytope. Math Soc Sci 46:149–158
Fleiner T, Jankó Zs (2014) Choice function-based two-sided markets: stability, lattice property, path independence and algorithms. Algorithms 7(1):32–59
Gale D, Shapley LS (1962) College admissions and the stability of marriage. Am Math Mon 69(1):9–15
Gale D, Sotomayor MAO (1985) Some remarks on the stable matching problem. Discret Appl Math 11(3):223–232
Irving RW (2008) Stable matching problems with exchange restrictions. J Comb Optim 16:344–360
Irving RW, Manlove DF (2008) Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems. J Comb Optim 16:279–292
Kamada Y, Kojima F (2012) Stability and strategy-proofness for matching with constraints: a problem in the Japanese medical match and its solution. Am Econ Rev 102(3):366–370
Kwanashie A, Manlove DF (2014) An integer programming approach to the hospitals / residents problem with ties. In: Proceedings of OR 2013: the international conference on operations research. Springer, Berlin, pp 263–269
McDermid EJ, Manlove DF (2012) Keeping partners together: algorithmic results for the hospitals/residents problem with couples. J Comb Optim 19:279–303
Manlove DF, O’Malley G (2012) Paired and altruistic kidney donation in the UK: algorithms and experimentation. In: Proceedings of SEA 2012: the 11th international symposium on experimental algorithms. LNCS, vol 7276. Springer, Berlin, pp 271–282
Podhradsky A (2010) Stable marriage problem algorithms. Master’s thesis, Faculty of Informatics, Masaryk University
Ronn E (1990) NP-complete stable matching problems. J Algorithms 11:285–304
Roth AE (1984) The evolution of the labor market for medical interns and residents: a case study in game theory. J Polit Econ 92(6):991–1016
Roth AE (1991) A natural experiment in the organization of entry-level labor markets: regional markets for new physicians and surgeons in the United Kingdom. Am Econ Rev 81:415–440
Roth AE (1986) On the allocation of residents to rural hospitals: a general property of two-sided matching markets. Econometrica 54(2):425–427
Roth AE, Rothblum UG, Vande Vate JH (1993) Stable matchings, optimal assignments, and linear programming. Math Oper Res 18(4):803–828
Roth AE, Sönmez T, Ünver MU (2007) Efficient kidney exchange: coincidence of wants in markets with compatibility-based preferences. Am Econ Rev 97(3):828–851
Rothblum UG (1992) Characterization of stable matchings as extreme points of a polytope. Math Program 54(1, Ser. A):57–67
Sethuraman J, Teo C-P, Qian L (2006) Many-to-one stable matching: geometry and fairness. Math Oper Res 31(3):581–596
Ünver MU (2001) Backward unraveling over time: the evolution of strategic behavior in the entry-level British medical labor markets. J Econ Dyn Control 25:1039–1080
Acknowledgments
Péter Biró: Supported by the Hungarian Academy of Sciences under its Momentum Programme (LP2016-3/2016), by OTKA grant no. K108673, and also by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences. Iain McBride: Supported by a SICSA Prize Ph.D. Studentship.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version (Biró and McBride 2014) has been presented at COCOA 2014. This version has been significantly extended with new theoretical results and also with a completely new section on computer simulations.
Rights and permissions
About this article
Cite this article
Ágoston, K.C., Biró, P. & McBride, I. Integer programming methods for special college admissions problems. J Comb Optim 32, 1371–1399 (2016). https://doi.org/10.1007/s10878-016-0085-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-016-0085-x
Keywords
- College admissions problem
- Integer programming
- Stable score-limits
- Lower quotas
- Common quotas
- Paired applications
- Simulations