Abstract
An edge-weighted, vertex-capacitated graph \(G\) is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matching games.
The vertex-stabilizer problem asks to compute a minimum number of players to block (i.e., vertices of \(G\) to remove) in order to ensure stability for such games. The problem has been shown to be solvable in polynomial-time, for unit-capacity graphs. This stays true also if we impose the restriction that the set of players to block must not intersect with a given specified maximum matching of \(G\).
In this work, we investigate these algorithmic problems in the more general setting of arbitrary capacities. We show that the vertex-stabilizer problem with the additional restriction of avoiding a given maximum matching remains polynomial-time solvable. Differently, without this restriction, the vertex-stabilizer problem becomes NP-hard and even hard to approximate, in contrast to the unit-capacity case.
Finally, in unit-capacity graphs there is an equivalence between the stability of a graph, existence of a stable solution for network bargaining games, and existence of a stable solution for cooperative matching games. We show that this equivalence does not extend to the capacitated case.
Keywords
- Matching
- Game theory
- Network bargaining
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
It is stated in [8] (Theorem 2.3.9) that a stable allocation for capacitated CMG exists iff G is stable, but our example shows this statement is not correct.
- 2.
It was stated in [9, corollary 1] that \(M\) is maximum if and only if \(M'\) is maximum, but this example shows this to be false.
- 3.
- 4.
[2] assumes that the graph is bipartite, but bipartiteness is not needed in their proof.
References
Ahmadian, S., Hosseinzadeh, H., Sanità, L.: Stabilizing network bargaining games by blocking players. Math. Program. 172, 249–275 (2018)
Bateni, M., Hajiaghayi, M., Immorlica, N., Mahini, H.: The cooperative game theory foundations of network bargaining games (2010)
Biró, P., Kern, W., Paulusma, D.: On solution concepts for matching games. In: Kratochvíl, J., Li, A., Fiala, J., Kolman, P. (eds.) Theory Appl. Models Comput., pp. 117–127. Springer, Berlin Heidelberg, Berlin, Heidelberg (2010)
Bock, A., Chandrasekaran, K., Könemann, J., Peis, B., Sanità, L.: Finding small stabilizers for unstable graphs. Math. Program. 154, 173–196 (2015)
Chandrasekaran, K.: Graph stabilization: a survey. In: Fukunaga, T., Kawarabayashi, K. (eds.) Combinatorial Optimization and Graph Algorithms, pp. 21–41. Springer, Singapore (2017). https://doi.org/10.1007/978-981-10-6147-9_2
Chandrasekaran, K., Gottschalk, C., Könemann, J., Peis, B., Schmand, D., Wierz, A.: Additive stabilizers for unstable graphs. Discret. Optim. 31, 56–78 (2019)
Deng, X., Ibaraki, T., Nagamochi, H.: Algorithmic aspects of the core of combinatorial optimization games. Math. Oper. Res. 24(3), 751–766 (1999)
Farczadi, L.: Matchings and games on networks, Ph. D. thesis, University of Waterloo (2015)
Farczadi, L., Georgiou, K., Könemann, J.: Network bargaining with general capacities. arXiv preprint arXiv:1306.4302 (2013)
Gerstbrein, M., Sanità, L., Verberk, L.: Stabilization of capacitated matching games. arXiv preprint (2022)
Gottschalk, C.: Personal communication (2018)
Halldórsson, M.M.: Approximating the minimum maximal independence number. Inf. Process. Lett. 46(4), 169–172 (1993)
Ito, T., Kakimura, N., Kamiyama, N., Kobayashi, Y., Okamoto, Y.: Efficient stabilization of cooperative matching games. Theoret. Comput. Sci. 677, 69–82 (2017)
Kleinberg, J.M., Tardos, É.: Balanced outcomes in social exchange networks. In: Proceedings of the 40th STOC, pp. 295–304 (2008)
Koh, Z.K., Sanità, L.: Stabilizing weighted graphs. Math. Oper. Res. 45(4), 1318–1341 (2020)
Könemann, J., Larson, K., Steiner, D.: Network bargaining: using approximate blocking sets to stabilize unstable instances. In: Serna, M. (ed.) SAGT 2012. LNCS, pp. 216–226. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33996-7_19
Nash, J.F.: The bargaining problem. Econometrica 18, 155–162 (1950)
Shapley, L., Shubik, M.: The assignment game i: The core. Internat. J. Game Theory 1(1), 111–130 (1971)
Acknowledgements
The second and third authors are supported by the NWO VIDI grant VI.Vidi.193.087. The second author thanks the 2021 Hausdorff Research Institute for Mathematics Program Discrete Optimization, during which part of this work was developed.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Gerstbrein, M., Sanità, L., Verberk, L. (2023). Stabilization of Capacitated Matching Games. In: Del Pia, A., Kaibel, V. (eds) Integer Programming and Combinatorial Optimization. IPCO 2023. Lecture Notes in Computer Science, vol 13904. Springer, Cham. https://doi.org/10.1007/978-3-031-32726-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-32726-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-32725-4
Online ISBN: 978-3-031-32726-1
eBook Packages: Computer ScienceComputer Science (R0)