Advertisement

Robust and Approximately Stable Marriages Under Partial Information

  • Vijay MenonEmail author
  • Kate Larson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11316)

Abstract

We study the stable marriage problem in the partial information setting where the agents, although they have an underlying true strict linear order, are allowed to specify partial orders either because their true orders are unknown to them or they are unwilling to completely disclose the same. Specifically, we focus on the case where the agents are allowed to submit strict weak orders and we try to address the following questions from the perspective of a market-designer: (i) How can a designer generate matchings that are robust—in the sense that they are “good” with respect to the underlying unknown true orders? (ii) What is the trade-off between the amount of missing information and the “quality” of solution one can get? With the goal of resolving these questions through a simple and prior-free approach, we suggest looking at matchings that minimize the maximum number of blocking pairs with respect to all the possible underlying true orders as a measure of “goodness” or “quality”, and subsequently provide results on finding such matchings. In particular, we first restrict our attention to matchings that have to be stable with respect to at least one of the completions (i.e., weakly-stable matchings) and show that in this case arbitrarily filling-in the missing information and computing the resulting stable matching can give a non-trivial approximation factor for our problem in certain cases. We complement this result by showing that, even under severe restrictions on the preferences of the agents, the factor obtained is asymptotically tight in many cases. We then investigate a special case, where only agents on one side provide strict weak orders and all the missing information is at the bottom of their preference orders, and show that in this special case the negative result mentioned above can be circumvented in order to get a much better approximation factor; this result, too, is tight in many cases. Finally, we move away from the restriction on weakly-stable matchings and show a general hardness of approximation result and also discuss one possible approach that can lead us to a near-tight approximation bound.

References

  1. 1.
    Abraham, D.J., Biró, P., Manlove, D.F.: “Almost stable” matchings in the roommates problem. In: Erlebach, T., Persinao, G. (eds.) WAOA 2005. LNCS, vol. 3879, pp. 1–14. Springer, Heidelberg (2006).  https://doi.org/10.1007/11671411_1CrossRefGoogle Scholar
  2. 2.
    Aziz, H., Biró, P., Gaspers, S., de Haan, R., Mattei, N., Rastegari, B.: Stable matching with uncertain linear preferences. In: Gairing, M., Savani, R. (eds.) SAGT 2016. LNCS, vol. 9928, pp. 195–206. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-53354-3_16CrossRefGoogle Scholar
  3. 3.
    Baumeister, D., Faliszewski, P., Lang, J., Rothe, J.: Campaigns for lazy voters: truncated ballots. In: Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 577–584 (2012)Google Scholar
  4. 4.
    Biró, P., Manlove, D., Mittal, S.: Size versus stability in the marriage problem. Theor. Comput. Sci. 411(16–18), 1828–1841 (2010)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Chiesa, A., Micali, S., Allen Zhu, Z.: Mechanism design with approximate valuations. In: Proceedings of the Third Innovations in Theoretical Computer Science (ITCS), pp. 34–38 (2012)Google Scholar
  6. 6.
    Drummond, J., Boutilier, C.: Elicitation and approximately stable matching with partial preferences. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), pp. 97–105 (2013)Google Scholar
  7. 7.
    Drummond, J., Boutilier, C.: Preference elicitation and interview minimization in stable matchings. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), pp. 645–653 (2014)Google Scholar
  8. 8.
    Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Mon. 69(1), 9–15 (1962)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Gusfield, D., Irving, R.W.: The Stable Marriage Problem - Structure and Algorithms. Foundations of Computing Series. MIT Press, Cambridge (1989)zbMATHGoogle Scholar
  10. 10.
    Hyafil, N., Boutilier, C.: Regret minimizing equilibria and mechanisms for games with strict type uncertainty. In: Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (UAI), pp. 268–277 (2004)Google Scholar
  11. 11.
    Irving, R.W.: An efficient algorithm for the stable roommates problem. J. Algorithms 6(4), 577–595 (1985)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Irving, R.W.: Stable marriage and indifference. Discrete Appl. Math. 48(3), 261–272 (1994)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Irving, R.W., Manlove, D.: Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems. J. Comb. Optim. 16(3), 279–292 (2008)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W., Bohlinger, J.D. (eds.) Complexity of Computer Computations. The IBM Research Symposia Series, pp. 85–103. Springer, Boston (1972).  https://doi.org/10.1007/978-1-4684-2001-2_9CrossRefGoogle Scholar
  15. 15.
    Lu, T., Boutilier, C.: Robust approximation and incremental elicitation in voting protocols. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI), pp. 287–293 (2011)Google Scholar
  16. 16.
    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)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Manlove, D.F.: Algorithmics of Matching Under Preferences. Series on Theoretical Computer Science, vol. 2. WorldScientific (2013)Google Scholar
  18. 18.
    Manlove, D.F.: Hospitals/residents problem. In: Kao, M.Y. (ed.) Encyclopedia of Algorithms, pp. 926–930. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-642-27848-8CrossRefGoogle Scholar
  19. 19.
    Rastegari, B., Condon, A., Immorlica, N., Irving, R., Leyton-Brown, K.: Reasoning about optimal stable matchings under partial information. In: Proceedings of the Fifteenth ACM Conference on Economics and Computation (EC), pp. 431–448 (2014)Google Scholar
  20. 20.
    Rastegari, B., Condon, A., Immorlica, N., Leyton-Brown, K.: Two-sided matching with partial information. In: Proceedings of the Fourteenth ACM Conference on Electronic Commerce (EC), pp. 733–750 (2013)Google Scholar
  21. 21.
    Tan, J.J.M.: A maximum stable matching for the roommates problem. BIT Num. Math. 30(4), 631–640 (1990)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.David R. Cheriton School of Computer ScienceUniversity of WaterlooWaterlooCanada

Personalised recommendations