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
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.
Delft, Netherlands
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.
Grant Details
Science Foundation Ireland
Grant Number SFI/12/RC/2289.