Popular matchings in the stable marriage problem

  • Authors:
  • Chien-Chung Huang;Telikepalli Kavitha

  • Affiliations:
  • Humboldt-Universität zu Berlin, Germany;Tata Institute of Fundamental Research, India

  • Venue:
  • ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The input is a bipartite graph G = (A ∪ B, E) where each vertex u ∈ A ∪ B ranks its neighbors in a strict order of preference. A matching M* is said to be popular if there is no matching M such that more vertices are better off in M than in M*. We consider the problem of computing a maximum cardinality popular matching in G. It is known that popular matchings always exist in such an instance G, however the complexity of computing a maximum cardinality popular matching was not known so far. In this paper we give a simple characterization of popular matchings when preference lists are strict and a sufficient condition for a maximum cardinality popular matching. We then show an O(mn0) algorithm for computing a maximum cardinality popular matching in G, where m = |E| and n0 = min(|A|, |B|).