Minimal instances with no weakly stable matching for three-sided problem with cyclic incomplete preferences

Abstract

Given n men, n women, and n dogs, each man has an incomplete preference list of women, each woman has an incomplete preference list of dogs, and each dog has an incomplete preference list of men. We understand a family as a triple consisting of one man, one woman, and one dog such that the dog belongs to the preference list of the woman, who, in turn, belongs to the preference list of the man, while the latter belongs to the preference list of the dog. We understand a matching as a collection of nonintersecting families (some agents, possibly, remain single). A matching is said to be nonstable, if one can find a man, a woman, and a dog who do not live together currently but each of them would become “happier” if they do. Otherwise, the matching is said to be stable (a weakly stable matching). We give an example of this problem for [Formula: see text] where no stable matching exists. Moreover, we prove the absence of such an example for [Formula: see text]. Such an example was known earlier only for [Formula: see text] [P. Biró and E. McDermid, Three-sided stable matchings with cyclic preferences, Algorithmica 58 (2010) 5–18]. The constructed examples also allow one to halve the size of the recently constructed analogous example for complete preference lists [C.-K. Lam and C.G. Plaxton, On the existence of three-dimensional stable matchings with cyclic preferences, in Algorithmic Game Theory, Lecture Notes in Computer Science, Vol. 11801 (Springer, 2019), pp. 329–342].