Multi-commodity flow problem

The multi-commodity flow problem is a network flow problem with multiple commodities (flow demands) between different source and sink nodes.

Definition

Given a flow network $\,G(V,E)$, where edge $(u,v)\in E$ has capacity $\,c(u,v)$. There are $\,k$ commodities $K_{1},K_{2},\dots ,K_{k}$, defined by $\,K_{i}=(s_{i},t_{i},d_{i})$, where $\,s_{i}$ and $\,t_{i}$ is the source and sink of commodity $\,i$, and $\,d_{i}$ is the demand. The flow of commodity $\,i$ along edge $\,(u,v)$ is $\,f_{i}(u,v)$. Find an assignment of flow which satisfies the constraints:

Capacity constraints:	$\,\sum _{i=1}^{k}f_{i}(u,v)\leq c(u,v)$
Flow conservation:	$\,\sum _{w\in V}f_{i}(u,w)=0\quad \mathrm {when} \quad u\neq s_{i},t_{i}$
	$\,\forall v,u,\,f_{i}(u,v)=-f_{i}(v,u)$
Demand satisfaction:	$\,\sum _{w\in V}f_{i}(s_{i},w)=\sum _{w\in V}f_{i}(w,t_{i})=d_{i}$

In the minimum cost multi-commodity flow problem, there is a cost $a(u,v)\cdot f(u,v)$ for sending flow on $\,(u,v)$. You then need to minimize

$\sum _{(u,v)\in E}\left(a(u,v)\sum _{i=1}^{k}f_{i}(u,v)\right)$

In the maximum multi-commodity flow problem, there are no hard demands on each commodity, but the total throughput is maximised:

$\sum _{i=1}^{k}\sum _{w\in V}f_{i}(s_{i},w)$

In the maximum concurrent flow problem, the task is to maximise the minimal fraction of the flow of each commodity to its demand:

$\min _{1\leq i\leq k}{\frac {\sum _{w\in V}f_{i}(s_{i},w)}{d_{i}}}$

Relation to other problems

The minimum cost variant is a generalisation of the minimum cost flow problem. Variants of the circulation problem are generalisations of all flow problems.

Usage

Routing and wavelength assignment (RWA) in optical burst switching of Optical Network would be approached via multi-commodity flow formulas.

Solutions

In the decision version of problems, the problem of producing an integer flow satisfying all demands is NP-complete, even for only two commodities and unit capacities (making the problem strongly NP-complete in this case).

If fractional flows are allowed, the problem can be solved in polynomial time through linear programming. Or through (typically much faster) fully polynomial time approximation schemes.

External resources

• Papers by Clifford Stein about this problem: http://www.columbia.edu/~cs2035/papers/#mcf
• Software solving the problem: http://typo.zib.de/opt-long_projects/Software/Mcf/