Conference Publication Details
Mandatory Fields
Escamocher, Guillaume: O’Sullivan, Barry:
CPAIOR 2018: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations
Three-Dimensional Matching Instances Are Rich in Stable Matchings
2018
June
Published
1
WOS: 3 ()
Optional Fields
Artificial intelligence Empirical experiments Exponential numbers Preference lists Set extension Show through Stable matching Stable matching problem Three dimensional matching Computer programming Constraint theory Operations research
van Hoeve, W. J.
182
197
Delft, Netherlands
26-JUN-18
29-JUN-18
Extensive studies have been carried out on the Stable Matching problem, but they mostly consider cases where the agents to match belong to either one or two sets. Little work has been done on the three-set extension, despite the many applications in which three-dimensional stable matching (3DSM) can be used. In this paper we study the Cyclic 3DSM problem, a variant of 3DSM where agents in each set only rank the agents from one other set, in a cyclical manner. The question of whether every Cyclic 3DSM instance admits a stable matching has remained open for many years. We give the exact number of stable matchings for the class of Cyclic 3DSM instances where all agents in the same set share the same master preference list. This number is exponential in the size of the instances. We also show through empirical experiments that this particular class contains the most constrained Cyclic 3DSM instances, the ones with the fewest stable matchings. This would suggest that not only do all Cyclic 3DSM instances have at least one stable matching, but they each have an exponential number of them.
https://doi.org/10.1007/978-3-319-93031-2_13
10.1007/978-3-319-93031-2_13
Grant Details
Science Foundation Ireland
Grant Number SFI/12/RC/2289.