From primal-dual to cost shares and back: a stronger LP relaxation for the steiner forest problem

  • Authors:
  • Jochen Könemann;Stefano Leonardi;Guido Schäfer;Stefan van Zwam

  • Affiliations:
  • Department of Combinatorics and Optimization, University of Waterloo, Canada;Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Italy;Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Italy;Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands

  • Venue:
  • ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider a game-theoretical variant of the Steiner forest problem, in which each of k users i strives to connect his terminal pair (si, ti) of vertices in an undirected, edge-weighted graph G. In [1] a natural primal-dual algorithm was shown which achieved a 2-approximate budget balanced cross-monotonic cost sharing method for this game. We derive a new linear programming relaxation from the techniques of [1] which allows for a simpler proof of the budget balancedness of the algorithm from [1]. Furthermore we show that this new relaxation is strictly stronger than the well-known undirected cut relaxation for the Steiner forest problem. We conclude the paper with a negative result, arguing that no cross-monotonic cost sharing method can achieve a budget balance factor of less than 2 for the Steiner tree and Steiner forest games. This shows that the results of [1,2] are essentially tight.