Stable Marriage with Covering Constraints: A Complete Computational Trichotomy

Matthias Mnich, Ildikó Schlotter*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review


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 np\mathsf {np}-hard and fixed-parameter tractable, or np np\mathsf {np}-hard and w[1] w[1]\mathsf {w}[1]-hard. We also classify all cases of one-sided constraints where only women may be distinguished.
Original languageEnglish
Title of host publicationAlgorithmic Game Theory. SAGT 2017
ISBN (Electronic)978-3-319-66700-3
ISBN (Print)978-3-319-66699-0
Publication statusPublished - 2017

Publication series

SeriesLecture Notes in Computer Science

Cite this