Abstract
We reexamine the existence of stable solutions in a class of three-sided matching problems previously studied by Zhang and Zhong (J Comb Optim 42:928–245, 2021). The sets of participants are U, V, and W. Agents in U have strict preferences defined on V, agents in V have strict preferences defined on W, and agents in W have strict preferences defined on \(U\times V\). In this framework, we show that a weakly stable matching may not exist.
Similar content being viewed by others
Notes
Under alternative assumptions on preferences, there is a vast literature that focuses on the existence of stable outcomes in three-sided matching problems (see, for instance, Danilov 2003; Boros et al. 2004; Eriksson et al. 2006; Biró and McDermid 2010; Huang 2010; Zhang et al. 2019; Zhong and Bai 2019; Pashkovich and Poirrier 2020; Lam and Plaxton 2019, 2021).
In our example, \((u_1,v_1)\notin M\vert _{U\times V}\) and \((v_1,w_1)\notin M\vert _{V\times W}\). Moreover, \((u_1,v_4,w_4)\in M\) and agent \(u_1\) never proposes to \(v_1\). In the proof of Theorem 3 in Zhang and Zhong (2021, page 933) it is argued that these properties imply that \(v_4 \succ _{u_1} v_1\) (see the “case (3)" in the proof of this result). Unfortunately, this is not necessarily true, as in Example 1 we have that \(v_1 \succ _{u_1} v_4\). Notice that the reason why agent \(u_1\) never proposes to \(v_1\) is that \(v_1\) was inactive when \(u_1\) wanted to propose to her.
The 3MC-CYC instance with no weakly stable matchings (implicitly) constructed by Lam and Plaxton (2019, 2021) has 90 agents on each market side. Recently, Lerner (2022) provides an example of a 3MC-CYC instance with no weakly stable matchings and 20 agents on each market side (cf., Lerner and Lerner (2022)).
Zhang and Zhong (2021, Theorem 2) shown that any problem \([U,V,W, (\succ _h)_{h\in U\cup V}, (\succ _{U,w}, \succ _{V,w})_{w\in W}]\) has a stable matching.
Let \([U,V,W, (\succ _h)_{h\in U\cup V}, (\succ _{U,w}, \succ _{V,w})_{w\in W}]\) be a three-sided matching problem with separable preferences and \([U,V,W, (\succ _h)_{h\in H}]\) be the associated three-sided problem with mixed preferences, in which every linear order \(\succ _w\) is strongly \({\mathrm{UV}}\)-lexicographic and represented by \((\succ _{U,w},\succ _{V,w})\). Given a matching \(\overline{M}\) that is stable in the problem \([U,V,W, (\succ _h)_{h\in U\cup V}, (\succ _{U,w}, \succ _{V,w})_{w\in W}]\) but blocked by a triplet \((\overline{u},\overline{v},\overline{w})\) in \([U,V,W, (\succ _h)_{h\in H}]\), Zhang and Zhong (2021) claim that \(\overline{v} \succ _{V,\overline{w}} \overline{M}_V(\underline{w})\) (see the item (2) in the “necessity" part of the proof of Theorem 4 in Zhang and Zhong (2021, page 935)). Unfortunately, this is not necessarily true. Indeed, by choosing \(\overline{M}=M\) and \((\overline{u},\overline{v},\overline{w})=(u_1,v_1,w_1)\) in Example 2, we have that \(\overline{M}_V(\underline{w}) \succ _{V,\overline{w}} \overline{v}\) because of \(v_2 \succ _{V,w_1} v_1\). Essentially, since \(\succ _{\overline{w}}\) is \({\mathrm{UV}}\)-lexicographic, \((\overline{u},\overline{v}) \succ _{\underline{w}} \overline{M}(\overline{w})\) does not necessarily imply that \(\overline{v} \succ _{V,\overline{w}} \overline{M}_V(\underline{w})\).
References
Boros E, Gurvich V, Jaslar S, Krasner D (2004) Stable matchings in three-sided systems with cyclic preferences. Discret Math 289:1–10
Biró P, McDermid E (2010) Three-sided stable matchings with cyclic preferences. Algorithmica 58:5–18
Danilov VI (2003) Existence of stable matchings in some three-sided systems. Math Soc Sci 46:145–148
Eriksson K, Sjöstrand J, Strimling P (2006) Three-dimensional stable matching with cyclic preferences. Math Soc Sci 52:77–87
Huang C (2010) Circular stable matching and 3-way kidney transplant. Algorithmica 58:137–150
Lam CK, Plaxton CG (2019) On the existence of three-dimensional stable matchings with cyclic preferences. In: Algorithmic Game Theory. Lecture Notes in Computer Science, 11801:329–342
Lam CK, Plaxton CG (2021) On the existence of three-dimensional stable matchings with cyclic preferences. Theory Comput Syst. https://doi.org/10.1007/s00224-021-10055-8
Lerner EY (2022) Instances of small size with no weakly stable matching for three-sided problem with complete cyclic preferences. Working paper. Available at https://doi.org/10.48550/arXiv.2107.10102
Lerne EY, Lerner RE (2022) Minimal instances with no weakly stable matching for three-sided problem with cyclic incomplete preferences. Discret Math Algorithms Appl. https://doi.org/10.1142/S1793830922500951
Pashkovich K, Poirrier L (2020) Three-dimensional stable matching with cyclic preferences. Optim Lett 14:2615–2623
Zhang F, Li J, Fan J, Shen H, Shen J, Yu H (2019) Three-dimensional stable matching with hybrid preferences. J Comb Optim 37:330–336
Zhang F, Zhong L (2021) Three-sided matching problem with mixed preferences. J Comb Optim 42:928–936. https://doi.org/10.1007/s10878-019-00501-2
Zhong L, Bai Y (2019) Three-sided stable matching problem with two of them as cooperative partners. J Comb Optim 37:286–292
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript. The authors have no relevant financial or non-financial interests to disclose.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Arenas, J., Torres-Martínez, J.P. Reconsidering the existence of stable solutions in three-sided matching problems with mixed preferences. J Comb Optim 45, 62 (2023). https://doi.org/10.1007/s10878-023-00990-2
Accepted:
Published:
DOI: https://doi.org/10.1007/s10878-023-00990-2