Some Complexity Results for the k-Splittable Flow Minimizing Congestion Problem

In this paper, we mainly consider the complexity of the k-splittable flow minimizing congestion problem. We give some complexity results. For the k-splittable flow problem, the existence of a feasible solution is strongly NP-hard. When the number of the source nodes is an input, for the uniformly exactly k-splittable flow problem, obtaining an approximation algorithm with performance ratio better than 2 is NP-hard. When k is an input, for single commodity k-splittable flow problem, obtaining an algorithm with performance ratio better than ( ) 5 1 2 + is NP-hard. In the last of the paper, we study the relationship of minimizing congestion and minimizing number of rounds in the k-splittable flow problem. The smaller the congestion is, the smaller the number of rounds.


Introduction
In the traditional multi-commodity flow problems, flow being sent from the source nodes to the destination nodes may travel on large number of paths through the network.This effect is undesired or even forbidden in many applications.Such as in the modern broadband communication networks, namely the multiple protocol label-switched networks (MPLS), data packets are gathered under a single label with the aim to limit the routing tables and to increase the quality of data transmission.The label-switched paths (LSPs) must support the routing of data traffic between different terminal nodes, from one endpoint to another.An important feature of MPLS is its ability to set up traffic engineering mechanism (MPLS-TE).It can control the structure of the traffic for each customer by setting restriction on In 2002, Baier [1] proposed the k-splittable flow problem.Given a directed graph ( ) , , , G V E u c = with arc capacities 0 e u > and arc cost 0, e c e E > ∀ ∈ .
A set of commodities is denoted by L , each commodity l L ∈ has a certain amount of demand l d to transmit from a source node l s to a destination node l t .The number of paths each commodity can use is restricted, that is commodity l can only use at most l k paths to transmit the flow.If each commodity uses exactly l k paths and the flow of each path is the same value, l l d k , this problem is called uniformed exactly k-splittable flow problem.If Kleinberg [2] introduced the following optimization versions of the unsplittable flow problem.Minimum congestion: find the smallest value 1 α ≥ such that there exists an unsplittable flow such that violates the capacity of any edge at most by a factor α .Minimum number of rounds: partition the set of commod- ities into a minimum number of subsets.Maximum routable demand: find a feasible unsplittable flow for a subset of demands maximizing the sum of demands in the subset.In this paper, we are mainly interested in the minimum congestion problem and minimum number of rounds problem.
For the unsplittable flow problem, Erlebach et al. [3] proved that for arbitrary ε , obtaining an approximation algorithm for minimizing congestion and cost with performance ratio better than ( ) The unsplittable flow problem is much easier if all commodities share a common single source node.
As for the k-splittable flow problem, researchers generalize the above optimization versions and there are a lot of studies on the related problems.Baier et al. [7] solved the maximum Single-and Multi-commodity k-splittable flow problem using approximation algorithms.The authors proved that the maximum singlecommodity k-splittable flow problem is NP-hard in the strong sense for directed graphs.Koch et al. [8] studied the single commodity maximum k-splittable flow problem.It is proved that when k is a constant, this problem is strongly NP-hard and obtaining an approximation algorithm with performance ratio better than ( ) is NP-hard.While when k is not a constant, obtaining an approximation algorithm with performance ratio better than 5/6 is NP-hard.Kolliopoulos [9] studied the approximation algorithms for the single source 2-splittable flow problem using rounding down strategy and Salazar et al. [10] considered the single source k-splittable flow problem using rounding up strategy.Truffot et al. [11] [12] [13] and Gamst et al. [14] [15] design branch-and-price exact algorithms for the k-splittable flow problem.Palel [16] used a randomized rounding approach to solve the k-splittable flow problem.
By the current researches, we can see that for the k-splittable flow problem, there is little research on the optimization version of minimizing congestion, especially for the complexity of this problem.In this paper, we give some complexity results for the minimizing congestion k-splittable flow problem.For the k-splittable flow problem, the existence of a feasible solution is strongly NP-hard.
When the number of the source nodes is an input, for the uniformly exactly k-splittable flow problem, obtaining an approximation algorithm with performance ratio better than 2 is NP-hard.When k is an input, for the single commodity k-splittable flow problem, obtaining an algorithm with performance ratio better than ( ) We also study the relationship between minimum congestion and minimum number of rounds.

Some Complexity Results
In this section, we will give three complexity results for the minimizing congestion k-splittable flow problem.These results are given by the following Theorems.
Theorem 1: For the k-splittable multi-commodity transmission problem, the existence of a feasible solution is strongly NP-hard.
Proof: Given an instance of the 3-partition problem with 3n elements, ,1 3 Next construct a simple directed graph G, see Figure 1.The network has 2 nodes, one is source node s, and the other is sink node t.There are 3n parallel directed edges from s to t with edge capacities ,1 3 i a i n ≤ ≤ , respectively.n commodities from s to t with same demands d need to be transmitted.Each commodity can use at most 3 paths.
If the 3-partition has a solution, that is, the 3n elements can be partitioned into n sets.Each set has 3 elements and the total value of the 3 elements is exactly d.For each commodity, it can use the 3 edges corresponding to one of the n sets to transmit flow.The demands of the n commodities can be transmitted through the 3n edges of G. Thus there is a 3-splittable flow with congestion 1 to satisfy the demands of the n commodities in the network.On the other hand, if there is a feasible 3-splittable flow satisfying the demands in the network, since each edge Figure 1.Network G obtained by 3-partition instance.Communications and Network capacity is less than d/2 and larger than d/4 and the number of paths each commodity can use is at most 3, we have that each commodity must use exactly 3 paths to transmit the demand and the total flow value of the paths is d.In this way, we obtain a feasible solution of the 3-partition instance.Partite the 3n elements into n sets, the elements in each set corresponding to the transmitting paths of some commodity and the total value of the 3 elements are exactly d.
Since the 3-partition problem is strongly NP-hard, by the above discussion, we know that the existence of a feasible solution of the k-splittable flow problem is also strongly NP-hard. For the uniformly exactly k-splittable flow problem, by referring the construction strategy used in [2] to prove some complexity result of the unsplittable flow problem, we can obtain the following theorem.
Theorem 2: When the number of the source nodes N is an input, for the uniformly exactly k-splittable flow minimizing congestion problem, obtaining an approximation algorithm with performance ratio better than 2 is NP-hard.
Proof: Given an instance of a 3-D matching.Denote set Suppose that all the 3n elements in , , A B C appear in I. Further, if there is a subset M I ⊆ with M n = and all the elements in , , A B C appear in M, that is each element in , , A B C appears exactly one time in M, we say that there is a 3-D matching in I, and so the 3-D matching instance has a solution.Next we construct a directed graph G and an instance I ′ of the k-splittable flow problem.There are N source nodes in G, namely 1  x y in G.The construction of the subgraph of G corresponding to u is showed in Figure 2.
There are directed edges ( ) ( ) ( ) , , , , , , , there are 1 N − edge-disjoint paths going through the virtual nodes from u y to the sink node r i T , respectively.The edge capacities of ( ) ( ) ( ) , , , , , If there is a 3-D matching in I, we can prove that there exists a uniformly exactly k-splittable flow in G that satisfying the demands of all commodities with Communications and Network If there is a uniformly exactly k-splittable flow in G satisfying all commodities, there is a 3-D matching in I. Suppose the triples that satisfying the C-class commodity be M, we will prove that M is in fact a 3-D matching in I.The number of T-class commodity is ( ) x y class edge which corresponding to n triples, that is M.For , that is all the elements in A appear in M. Since the total number of incoming edges with capacity 1 of j b is 1 N − and the total demands of the C-class commodity which must going through the nodes corresponding to elements in set B are ( ) , the triples in M contains all the elements in B. Furthermore, since the number of triples in M is n, there is only one triple contains , 1, , j b j n =  .Since the demand of the sink node p h c is 1 and all the de- mands of the C-class commodity are satisfied, the triples in M must contain all the elements in C. Similarly, since the number of triples in M is n, there is exactly one triple in M containing , 1, , h c h n =  .By the above discussion, we prove that M is indeed a 3-D matching of I.
Since the maximum flow from the source node to the sink node in G is 1, if there is no 3-D matching, it is easy to see that there is no uniformly exactly k-splittable flow in G that satisfying the capacity constraints.When 2 N = , the capacity value of all the edges in G is 1.When there is no 3-D matching in I, the congestion values of G is at least 2. Since the 3-D matching problem is a NP-hard problem, for the uniformly exactly k-splittable flow problem, obtaining an approximation algorithm with congestion value less than 2 is NP-hard. Theorem 3: When k is an input, for the single commodity k-splittable flow minimizing congestion problem, obtaining an approximate algorithm with performance ratio better than δ is NP-hard, in which ( ) Proof: We prove this theorem by SAT reduction, referring the construction strategy used in Baier [1] to prove some NP-hard problem.Given an instance of SAT, the variable set is { } and there are m subsets of , , , , , . Next we construct a directed graph G, see Figure 3, the demand of the single commodity from source node s to sink node t is Next we will prove that if there is a feasible solution of the SAT problem, that is there existing a 0-1 assignment to 1 , , n x x  such that each subset , 1, , j C j m =  , containing at least one element with value 1, the conges- tion value of G is 1.Otherwise, if there is no feasible solution of the SAT problem, the congestion value of G is at least δ .
There are three steps to construct the directed graph G.
Step 1, construct n-parallel chains connected by 1 n + directed edges.The n parallel chains correspond to variables , 1, , i x i n =  , respectively.For each parallel chain, denote one of it by true chain, the other by false chain.The number of edges in each chain is equal to 4 2 n + .The capacities of all the current constructed edges are δ .
Step 2, we continue to construct edges for G using the m subsets 1 , , m C C  .
For each 1, , j m =  , there are two nodes, namely , x C ∈ , two adjacent edges in the false chain of i x are corresponding to j C only.Two new directed edges are constructed: j u is connected to the first node of the first edge and the second node of the first edge is connected to j v .Since each chain contains 4 2 n + di- rected edges and the number of elements in each subset j C is at most 2n, Step 2 can be implemented successfully.If there are more than one subsets contain the same variable, these adjacent edges corresponding to each subset are arranged by the decreasing order of the subset index.Step 3, add 2 k − directed edges from s to t.The capacities of all the new constructed edges in Step 2 and Step 3 are equal to 1 (see Figure 3).
If there is a feasible solution of the SAT problem, that is there existing a 0 -1 assignment to 1 , , n x x  such that each subset , 1, , j C j m =  , contains at least one element with value 1.By the construction of Step 2, we know that there are two adjacent edges corresponding to this 1-value element, denote the first edge by the key edge of j C .From s, followed by j u , the key edge of j C , and node , =  , we can obtain a -s t path with flow value 1, denote this path by 1 P .From s, followed by the chains not used by 1 P , we can obtain another -s t path with flow value δ .Together with the 2 k − edges from s to t, we obtain k s t paths with flow value and the congestion of G is 1.If there is a k-splittable flow satisfying the demand with congestion value 1, there is a feasible solution of the SAT problem.Since the total capacity of the directed edges going out from s is and the maximum capacity of the -s t paths is δ , furthermore, the commodity can use at most k paths, according the above reasons, we know that there must be 1 -k s t − paths with flow 1 and one -s t path with flow δ .Denote P be the path from s followed by 1 u .Assign the variables corresponding to the chains that path P transformed to 1. Since the congestion is 1, P and the path with flow δ must be edge-disjoint.Then the path P must go through C j m =  , there must be an element with value 1, and a feasible solution of the SAT is obtained.Now suppose there is no feasible solution of the SAT problem, the paths from s with length larger than 1 must not be edge-disjoint (otherwise, it contradicts to the hypothesis), the congestion of any k-splittable flow satisfying the demand is at least ( ) Since the SAT problem is NP-hard, for the k-splittable single commodity problem with k as an input, obtaining an approximation algorithm with congestion less than δ is NP-hard.

Minimum Number of Rounds
In this section, we consider the minimum number of rounds of the k-splittable flow problem.The demand l d of commodity l can be transformed in mul- tiple times and the total number of the transmission paths cannot be larger than l k .The objective of this problem is to transform all commodities but using least times of the network.Minimizing number of rounds reduce the total transmis-sion cost in some extent.In the k-splittable flow problem, there is some relationship between minimum congestion and minimum number of rounds and we have the following Theorem.
Theorem 4: Given a network G and a commodity set L, the commodities in L share a common source node s.
That is in y, the flow value of each edge in j G is not larger than the capacity of the original graph G. Since in flow y, the paths from S to i T can be transformed Communications and Network into paths from s to i t in G, and the number of paths is not larger than i k , and then the commodities in L with demands not larger than min / u q can be transformed into α     rounds.The transmission paths and their path values in round j are corresponding to the transmission paths with their flow values in y in , 1, , In inference [10], for the minimizing congestion k-splittable flow problem, there is a theorem as follows.
Theorem 5 [10]: For the single source k-splittable flow problem, suppose the number of paths each commodity can use is all equal to k. , similar to the proof in Theorem 4, we can have that for the commodities with demands between in ( ] min 0, q u ⋅ , if we require these commodities be transmitted in r rounds, as long as the following inequality holds: By the above inequality, we know that when 2 k = , all the commodities with demands not larger than

Conclusion
In this paper, we give some complexity results of minimizing congestion in the k-splittable flow problem.The two approximation algorithms in [9] and [10] are all relied on the unsplittable flow algorithms.In the future, we will design approximation algorithms for minimizing congestion of the k-splittable flow problem using new strategies.
, this problem is in fact the unsplittable flow problem (UFP) which was introduced by Kleinberg [2].If , l k E l L ≥ ∀ ∈ , it is in fact the traditional flow problem.

are all 1 N.
− and the capacities of the remaining edges are 1.There are two classes of commodities, one is called C-class commodity, the other is called T-class commodity.The C -class commodity is from p S to Each C-class commodity can only use one path to transmit flow.The T-class commodity is from N S -class commodity can use 1 N − paths to trans- mit flow.

Figure 2 .
Figure 2. The subgraph of G corresponding to triple

.
congestion value 1. Suppose the 3-D matching in I is M.For each triple ( ) That is the C-class commodity can be satisfied by the subgraphs corresponding the triples in M. For the T-class commodity, they can be satisfied by the subgraphs corresponding to the triples in \ I M .Since i a appears i t times in I, while in M, it appears exactly once, the remaining

1 N
− paths with flow 1 from source node N S to sink node r i T .Each transmit- ting path of both C-class commodity and T-class commodity contains exactly one edge of kind of ( ) , u ux y .Since the number of this kind of edges is m and the capacities of these edges are 1 N − , the C-class commodity can only use

Figure 3 .
Figure 3.The graph G constructed by an instance of the SAT problem.

Figure 4 .
Figure 4.The construction of G'.

2 k
≥ , all the commodities with demands not larger than min u can be transmitted in 3 rounds.
+∞ .The construction of the new network is showed in Figure4, de- note it by G′ .In G′ , there are L commodities with demand i d and path restriction number i k from source node S to the sink node , 1, , Denote the commodity set in G′ by L′ .Suppose x is a feasible flow in G satisfying all the commodities in L. By the construction of G′ , we can obtain a feasible flow x′ from x in G′ satisfying all the commodities in L′ .For *L be the commodities in ′ G with demands not larger than min u q .It is easily to see that we can obtain a feasible flow * x from x′ satisfying * L .* For any feasible flow x that satisfying all the 1 , , L d d , there exists a k-splittable flow y that satisfies the demands and the path restrictions, and for arbitrary