Stable marriage with covering constraints -- a complete computational trichotomy

From MaRDI portal
Publication:681890

DOI10.1007/978-3-319-66700-3_25zbMATH Open1403.91262arXiv1602.08230OpenAlexW2276917057MaRDI QIDQ681890FDOQ681890


Authors: Matthias Mnich, Ildikó Schlotter Edit this on Wikidata


Publication date: 13 February 2018

Abstract: We consider Stable Marriage with Covering Constraints (SMC): in this variant of Stable Marriage, we distinguish a subset of women as well as a subset of men, and we seek a matching with fewest number of blocking pairs that matches all of the distinguished people. We investigate how a set of natural parameters, namely the maximum length of preference lists for men and women, the number of distinguished men and women, and the number of blocking pairs allowed determine the computational tractability of this problem. Our main result is a complete complexity trichotomy that, for each choice of the studied parameters, classifies SMC as polynomial-time solvable, NP-hard and fixed-parameter tractable, or NP-hard and W[1]-hard. We also classify all cases of one-sided constraints where only women may be distinguished.


Full work available at URL: https://arxiv.org/abs/1602.08230




Recommendations





Cited In (13)





This page was built for publication: Stable marriage with covering constraints -- a complete computational trichotomy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681890)