Solutions for the stable roommates problem with payments

  • Authors:
  • Péter Biró;Matthijs Bomhoff;Petr A. Golovach;Walter Kern;Daniël Paulusma

  • Affiliations:
  • Institute of Economics, Hungarian Academy of Sciences, Budapest, Hungary;Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands;School of Engineering and Computing Sciences, Durham University, Science Laboratories, Durham, UK;Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands;School of Engineering and Computing Sciences, Durham University, Science Laboratories, Durham, UK

  • Venue:
  • WG'12 Proceedings of the 38th international conference on Graph-Theoretic Concepts in Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The stable roommates problem with payments has as input a graph G=(V,E) with an edge weighting w: E→ℝ+ and the problem is to find a stable solution. A solution is a matching M with a vector $p\in{\mathbb R}^V_+$ that satisfies pu+pv=w(uv) for all uv∈M and pu=0 for all u unmatched in M. A solution is stable if it prevents blocking pairs, i.e., pairs of adjacent vertices u and v with pu+pvw(uv). By pinpointing a relationship to the accessibility of the coalition structure core of matching games, we give a simple constructive proof for showing that every yes-instance of the stable roommates problem with payments allows a path of linear length that starts in an arbitrary unstable solution and that ends in a stable solution. This result generalizes a result of Chen, Fujishige and Yang for bipartite instances to general instances. We also show that the problems Blocking Pairs and Blocking Value, which are to find a solution with a minimum number of blocking pairs or a minimum total blocking value, respectively, are NP-hard. Finally, we prove that the variant of the first problem, in which the number of blocking pairs must be minimized with respect to some fixed matching, is NP-hard, whereas this variant of the second problem is polynomial-time solvable.