Abstract
We initiate the study of external manipulations in Stable Marriage by considering several manipulative actions as well as several “desirable” manipulation goals. For instance, one goal is to make sure that a given pair of agents is matched in a stable solution, and this may be achieved by the manipulative action of reordering some agents’ preference lists. We present a comprehensive study of the computational complexity of all problems arising in this way. We find several polynomial-time solvable cases as well as NP-hard ones. For the NP-hard cases, focusing on the natural parameter “budget” (that is, the number of manipulative actions), we also perform a parameterized complexity analysis and encounter parameterized hardness results.
N. Boehmer—Supported by the DFG project MaMu (NI369/19).
K. Heeger—Supported by DFG Research Training Group 2434 “Facets of Complexity”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bartholdi III, J.J., Tovey, C.A., Trick, M.A.: How hard is it to control an election? Math. Comput. Model. 16(8–9), 27–40 (1992)
Boehmer, N., Bredereck, R., Heeger, K., Niedermeier, R.: Bribery and control in stable marriage. arXiv preprint arXiv:2007.04948 [cs.GT] (2020)
Chen, J., Skowron, P., Sorge, M.: Matchings under preferences: strength of stability and trade-offs. In: Proceedings of the 2019 ACM Conference on Economics and Computation (EC 2019), pp. 41–59 (2019)
Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. TCS. Springer, London (2013). https://doi.org/10.1007/978-1-4471-5559-1
Edmonds, J.: Optimum branchings. J. Res. Natl. Bur. Stand. B 71(4), 233–240 (1967)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L.A.: How hard is bribery in elections? J. Artif. Intell. Res. 35, 485–532 (2009)
Faliszewski, P., Rothe, J.: Control and bribery in voting. In: Handbook of Computational Social Choice, pp. 146–168. Cambridge University Press (2016)
Fisman, R., Iyengar, S.S., Kamenica, E., Simonson, I.: Gender differences in mate selection: evidence from a speed dating experiment. Q. J. Econ. 121(2), 673–697 (2006)
Gabow, H.N., Galil, Z., Spencer, T.H., Tarjan, R.E.: Efficient algorithms for finding minimum spanning trees in undirected and directed graphs. Combinatorica 6(2), 109–122 (1986)
Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Mon. 120(5), 386–391 (2013)
Gusfield, D., Irving, R.W.: The Stable Marriage Problem - Structure and Algorithms. Foundations of Computing Series. MIT Press, Cambridge (1989)
Heyneman, S., Anderson, K., Nuraliyeva, N.: The cost of corruption in higher education. Comp. Educ. Rev. 52(1), 1–25 (2008)
Irving, R.W., Manlove, D.F., Scott, S.: Strong stability in the hospitals/residents problem. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 439–450. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-36494-3_39
Knuth, D.E.: Mariages stables et leurs relations avec d’autres problèmes combinatoires. Les Presses de l’Université de Montréal, Montreal, Que. (1976). Introduction à l’analyse mathématique des algorithmes, Collection de la Chaire Aisenstadt
Liu, Q., Peng, Y.: Corruption in college admissions examinations in China. Int. J. Educ. Dev. 41, 104–111 (2015)
Mai, T., Vazirani, V.V.: Finding stable matchings that are robust to errors in the input. In: Proceedings of the 26th Annual European Symposium on Algorithms (ESA 2018), pp. 60:1–60:11 (2018)
Mai, T., Vazirani, V.V.: Stable matchings, robust solutions, and finite distributive lattices. arXiv preprint arXiv:1804.05537 [cs.DM] (2018)
Manlove, D., Irving, R.W., Iwama, K., Miyazaki, S., Morita, Y.: Hard variants of stable marriage. Theor. Comput. Sci. 276(1–2), 261–279 (2002)
Manlove, D.F.: Algorithmics of Matching Under Preferences. Series on Theoretical Computer Science, vol. 2. WorldScientific, Singapore (2013)
Pini, M.S., Rossi, F., Venable, K.B., Walsh, T.: Manipulation complexity and gender neutrality in stable marriage procedures. Auton. Agents Multi-Agent Syst. 22(1), 183–199 (2011)
Roth, A.E.: The economics of matching: stability and incentives. Math. Oper. Res. 7(4), 617–628 (1982)
Roth, A.E.: On the allocation of residents to rural hospitals: a general property of two-sided matching markets. Econometrica J. Econ. Soc. 54(2), 425–427 (1986)
Teo, C., Sethuraman, J., Tan, W.: Gale-shapley stable marriage problem revisited: strategic issues and applications. Manag. Sci. 47(9), 1252–1267 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Boehmer, N., Bredereck, R., Heeger, K., Niedermeier, R. (2020). Bribery and Control in Stable Marriage. In: Harks, T., Klimm, M. (eds) Algorithmic Game Theory. SAGT 2020. Lecture Notes in Computer Science(), vol 12283. Springer, Cham. https://doi.org/10.1007/978-3-030-57980-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-57980-7_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-57979-1
Online ISBN: 978-3-030-57980-7
eBook Packages: Computer ScienceComputer Science (R0)