We would like to know whether there are any known approximation results for the cardinality constrained minimum $s$-$t$-cut on directed graphs. We weren't able to find any such result in literature.

The problem is defined as follows:

Instance: A directed graph $G=(V,E)$, a cost function $w : E \to \mathbb{R_0^+}$, two vertices $s,t \in V$ and an integer $k$.

Solution: An $s$-$t$-cut, i.e. a partition of $V$ into two sets $V_1, V_2$ such that $s \in V_1$, $t \in V_2$ and the number of edges that cross the cut is at most $k$, i.e. $|\{ (u,v) \in E: u \in V_1, v \in V_2 \}| \le k$.

Measure (to minimize): The cost of the cut: $$ \sum_{ (u,v) \in E : u \in V_1, v \in V_2 } w(u,v) $$

In "Cardinality constrained and multicriteria (multi)cut problems" the autors prove that this problem is strongly NP-Hard even for undirected graphs.

We are mainly interested in approximation algorithms for directed graphs, but approximation results for the undirected case might also be useful.

Thank you for any insights.


We can get a $(2,2)$ bi-criteria approximation as follows (or more generally $(1+\varepsilon, 1 + 1/\varepsilon)$ bi-criteria approximation).

We may assume that we know the cost of the optimal solution. Denote it by $OPT$. Let $$w'(u,v) = \frac{w(u,v)}{OPT} + \frac{1}{k}.$$ Consider the optimal solution $(V_1, V_2)$. Then $$\sum_{(u,v) \in E(V_1, V_2)} w'(u,v) = \sum_{(u,v) \in E(V_1, V_2)} \left(\frac{w(u,v)}{OPT} + \frac{1}{k}\right) = 1 + \frac{|E(V_1,V_2)|}{k} \leq 2.$$

Our algorithm finds the minimum directed $s$-$t$ cut $(V_1', V_2')$ in $G$ with edge weights $w'$. The cost of this cut is at most $2$. Therefore, the cut $(V_1', V_2')$ cuts at most $$E(V_1', V_2') = \sum_{(u,v)\in E(V_1',V_2') } 1 \leq k \sum_{(u,v)\in E(V_1',V_2')} w'(u,v) \leq 2k$$ edges. The cost of the cut is at most $$\sum_{(u,v)\in E(V_1',V_2')} w(u,v) \leq OPT \sum_{(u,v)\in E(V_1',V_2')} w'(u,v) \leq 2OPT.$$

  • $\begingroup$ Thanks a lot. Your algorithm is very interesting and insightful. Unfortunately it seems that a bicriteria approximation algorithm is not enough for us, as we need every approximate solution to be feasible w.r.t the cardinality constraint. Do you know if any such result is known in literature? Thanks again! $\endgroup$ – Steven Mar 27 '13 at 11:48
  • $\begingroup$ Using this approach, you can get $k$-approximation. Probably, you can also get $(k+1)/2$ approximation using LP. But getting anything better than that seems to be pretty difficult. In particular, there is an LP integrality gap for the natural LP relaxation. Let $V={s,t,x}$. Connect $s$ to $x$ with $(k+1)/2$ edges of weight 1 each, connect $x$ to $t$ with $k+1$ edges of weight 0. The optimal combinatorial solution has cost $(k+1)/2$. The optimal LP solution assign $x_e=2/(k+1)$ to edges from $s$ to $x$, and $x_e=1-2/(k+1)$ to edges from $x$ to $t$. Its cost is $1$. The gap is $(k+1)/2$. $\endgroup$ – Yury Mar 27 '13 at 20:39
  • $\begingroup$ Thanks for your answer, what you say hints that it might be hard to develop a "good" monocreteria approximation for the problem as even the $(k+1)/2$-apx can be fairly bad. Thanks again for your insights! :) $\endgroup$ – Steven Apr 5 '13 at 15:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.