Approximation algorithms for k-hurdle problems

• Authors: Brian C. Dean;Adam Griffis;Adam Whitley
• Venue: LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
• Year: 2008

The polynomial-time solvable k-hurdle problem is a natural generalization of the classical s-t minimum cut problem where we must select a minimum-cost subset S of the edges of a graph such that |p ∩ S| ≥ k for every s-t path p. In this paper, we describe a set of approximation algorithms for "k-hurdle" variants of the NP-hard multiway cut and multicut problems. For the k-hurdle multiway cut problem with r terminals, we give two results, the first being a pseudoapproximation algorithm that outputs a (k - 1)-hurdle solution whose cost is at most that of an optimal solution for k hurdles. Secondly, we provide two different 2(1- 1/r)-approximation algorithms. The first is based on rounding the solution of a linear program that embeds our graph into a simplex, and although this same linear program yields stronger approximation guarantees for the traditional multiway cut problem, we show that its integrality gap increases to 2(1 - 1/r) in the k-hurdle case. Our second approximation result is based on half-integrality, for which we provide a simple randomized half-integrality proof that works for both edge and vertex k-hurdle multiway cuts that generalizes the half-integrality results of Garg et al. for the vertex multiway cut problem. For the k-hurdle multicut problem in an n-vertex graph, we provide an algorithm that, for any constant Ɛ 0, outputs a ⌈(1 - Ɛ)k⌉-hurdle solution of cost at most O(log n) times that of an optimal k-hurdle solution, and we obtain a 2-approximation algorithm for trees.