Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 156901, 4 pages http://dx.doi.org/10.1155/2013/156901 Research Article The Capacity Expansion Path Problem in Networks Jianping Li and Juanping Zhu Department of Mathematics, Yunnan University, Kunming 650091, China Correspondence should be addressed to Juanping Zhu; juanpingzhu@gmail.com Received 8 February 2013; Revised 1 June 2013; Accepted 25 June 2013 Academic Editor: Yuri Sotskov Copyright © 2013 J. Li and J. Zhu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This paper considers the general capacity expansion path problem (GCEP) for the telecommunication operators. We investigate the polynomial equivalence between the GCEP problem and the constrained shortest path problem (CSP) and present a pseudopolynomial algorithm for the GCEP problem, no matter the graph is acyclic or not. Furthermore, we investigate two special versions of the GCEP problem. For the minimum number arc capacity expansion path problem (MN-CEP), we give a strongly polynomial algorithm based on the dynamic programming. For the minimum-cost capacity expansion shortest path problem (MCESP), we give a strongly polynomial algorithm by constructing a shortest paths network. 1. Introduction Currently Chinese telecommunication operators are under the huge pressure of communication capacity and communication quality, followed by the rapidly increasing users. Shortest path problem plays an important role in the telecommunication networks. In this paper, we consider the network capacity expansion strategy for the telecommunication operators, called the general capacity expansion path problem (GCEP), given a weighted digraph π· = (π, π΄; π€, π, π) with π nodes, π arcs, and two fixed nodes π , π‘. For each arc π ∈ π΄, nonnegative π€(π) is the weight, π(π) is the capacity, and nonnegative π(π) is the cost of expanding the capacity of the arc π by one unit. Given two positive π and π, find a path ππ ,π‘ from π to π‘ to satisfy two constraints: (1) π€(ππ ,π‘ ) = ∑π∈ππ ,π‘ π€(π) ≤ π and (2) for some arc π ∈ π΄, if the capacity π(π) < π, we must expand the capacity of arc π to π. The objective is to minimize the total expansion cost ∑π∈ππ ,π‘ add(π)π(π) on the path ππ ,π‘ , where add(π) = π − π(π) if π(π) < π and add(π) = 0 otherwise. In telecommunication network, π is the given maximum length of the path ππ ,π‘ , and π is the expected maximum number of the users. If the length of the path ππ ,π‘ exceeds π, the communication quality would drop quickly. If the capacity (or bandwidth) of the arc is not wide enough, the arc would be congested, and we have to expand this arc to the expected π. Krumke et al. [1] studied budget constrained network upgrading problems. The goal is how to find a minimum cost set of vertices to be upgraded so that the resulting network has a minimum spanning tree of weight no more than the budget. Their upgrading costs are on the vertices. Zhang et al. [2] studied the problem how to increase the capacities of the elements in an edge set πΈ efficiently so that the capacity of a given family F of subsets of πΈ can be increased to the maximum extent, where the total cost for the increment of capacity is within a given budget bound π·. Yang and Zhang [3] considered a class of bottleneck capacity expansion problems, which aimed to enhance bottleneck capacity to a certain level with minimum cost. There were two types of expanding models: arc expanding and node expanding. They emphasized the maximum capacity path problem. Our models are different from theirs. For example, when we consider the arc expansion cost of the path in the telecommunication network, on which each signal is sent from the source π via some transferring facility Vπ to the sink π‘, we must make sure that the transferring length does not exceed the length bound π. Different from our model and method, Seref et al. [4] studied an incremental optimization problem. They started from a feasible solution π₯0 and made an incremental change in π₯0 that would result in the greatest improvement in the objective function. For the incremental shortest path 2 problem, they showed that the arc inclusion version is polynomially solvable whereas the arc exclusion version is ππcomplete. In this paper, we present a proof of polynomial equivalence between the GCEP problem and the constrained shortest path problem (CSP), which leads to that the GCEP problem remains ππ-hard. We design a pseudopolynomial algorithm and a FPTAS to solve the GCEP problem. Then we study two special versions of the GCEP problem. For the first version, minimum number arc capacity expansion path problem (MNCEP), we present a strongly polynomial algorithm based on dynamic programming. For the second version, the minimum-cost capacity expansion shortest path problem (MCESP), we construct a shortest path network and present a strongly polynomial algorithm. 2. The Equivalence between the GCEP Problem and the CSP Problem Motivated by the polynomial equivalence between the Hitchcock problem and the minimum-cost flow problem [5], we prove that the GCEP problem is polynomially equivalent to the constrained shortest path problem, which leads to Theorem 1. Hassin [6] studied the constrained (or restricted) shortest path problem (CSP) as follows. Let π· = (π; π΄) be a weighted digraph with π nodes, π arcs, and two fixed nodes π , π‘. Each arc π ∈ π΄ has a length π(π) and a transition time π€(π). These numbers are assumed to be positive integers. For any path ππ ,π‘ from π to π‘ in π·, the length π(ππ ,π‘ ) and transition time π€(ππ ,π‘ ) are defined as the sum of the lengths and transition times of all arcs on ππ ,π‘ , respectively. The CSP problem is to find the minimum length path ππ ,π‘ in π· such that transition time π€(ππ ,π‘ ) along this path does not exceed a given bound π. For convenience, we denote a notation, by {π· = (π, π΄; π€, π; π , π‘); π}CSP , to represent an instance of the CSP problem. The CSP problem is a classical ππ-hard problem [7]. To obtain Theorem 1, we use {π· = (π, π΄; π€, π, π; π , π‘); π; π}GCEP to represent an instance of the GCEP problem. Theorem 1. The GCEP problem is polynomially equivalent to the CSP problem. Proof. It is sufficient to prove that the GCEP problem can be transformed to the CSP problem in polynomial operations, and vice versa. For any instance I, say {π· = (π, π΄; π€, π, π; π , π‘); π; π}GCEP , of the GCEP problem, we construct an instance π(I) of the CSP problem: a digraph {π·σΈ = (π, π΄; π€σΈ , πσΈ ; π , π‘); πσΈ }CSP consisting of the same structure as the digraph π· with π nodes, π arcs, two fixed nodes π and π‘, and two positive π and πσΈ (= π). For each arc π ∈ π΄, define two nonnegative π€σΈ (π) = π€(π) and πσΈ (π) = add(π)π(π), where add(π) = π − π(π) if π(π) < π and add(π) = 0 otherwise. The objective is to find a path ππ ,π‘ from π to π‘ in π·σΈ such that ∑π∈ππ ,π‘ π€σΈ (π) ≤ πσΈ and the value of ∑π∈ππ ,π‘ πσΈ (π) is minimized. Journal of Applied Mathematics On the converse direction, for any instance J, say {π·σΈ = (π, π΄; π€σΈ , πσΈ ; π , π‘); πσΈ }CSP , of the CSP problem, we construct an instance πΌ(J) of the GCEP problem: a digraph π· = (π, π΄; π€, π, π; π , π‘; π, π)GCEP consisting of the same structure as the digraph π·σΈ with π nodes, π arcs, a fixed positive integer π = 2, and the bound π = πσΈ . For each arc π ∈ π΄, define nonnegative π€(π) = π€σΈ (π), π(π) = 1, and π(π) = πσΈ (π), which implies that add(π) = 1 and add(π)π(π) = πσΈ (π). The objective is to find a path ππ ,π‘ from π to π‘ in π·σΈ such that ∑π∈ππ ,π‘ π€(π) ≤ π(= πσΈ ) and the value of ∑π∈ππ ,π‘ add(π)π(π) = ∑π∈ππ ,π‘ πσΈ (π) is minimized. It is easy to prove the claim: there is an optimal solution to the instance J of the CSP problem with the optimal value π if and only if there is an optimal solution to the instance πΌ(J) of the GCEP problem with the optimal value π. Moreover, the transformation is executed in polynomial operations. Since the CSP problem is NP-hard, the proof of Theorem 1 implies that the GCEP problem is NP-hard, even if π(π) = 1. And if π(π) = 1, the GCEP problem is reduced to regular CSP problem. 3. A Pseudopolynomial Algorithm for the GCEP Problem According to Theorem 1, for any instance I of the GCEP problem in the acyclic digraphs, by constructing an instance π(I) of the CSP problem and utilizing the FPTAS in [6, 8] for the CSP problem, we can get a FPTAS to solve the GCEP problem. Now for the GCEP problem, no matter acyclic digraphs or not, by applying the following dynamic programming method which is similar to the Bellman-Ford algorithm [9, 10], we give a pseudopolynomial algorithm. To describe our algorithm, for each node π’ ∈ π and two integers π ≥ 0 and π ≥ 0, define ππ (π’, π) to be the minimum length of an optimal path ππ ,π’ from π to π’ with respect to the weight π€, such that at most π arcs are traversed and the expansion cost along ππ ,π’ is at most π. Set ππ (π’, π) := +∞ if no such path exists. For convenience, denote addcost(π) = add(π)π(π) as the expansion cost for each arc π ∈ π΄ and π-path as the directed path if its weight is less than or equal to π. Set OPT to be the minimum capacity expansion cost of π -π‘ π-path. Algorithm 2 (EXACT(π)). Comment. Return minimum capacity expansion path ππ ,π‘ from π to π‘ with constraint π€(ππ ,π‘ ) ≤ π. Begin Step 1 (initialization). Set π0 (π , π) = 0 for each π ≥ 0 and set π0 (π’, π) = +∞ if π’ =ΜΈ π . Step 2 For π = 1, 2, . . . , OPT, do For π = 1, 2, . . . , π − 1, do For each π’ ∈ π, do Journal of Applied Mathematics ππ (π’, π) = min{ππ−1 (π’, π), min{V|(V,π’)∈π΄,addcost(V,π’)≤π} {ππ−1 (V, π − addcost(V, π’)) + π€(V, π’)}}; If ππ−1 (π‘, π) ≤ π, output OPT = π and the path ππ ,π‘ , and exit. End of Algorithm EXACT(π). Actually algorithm EXACT(π) is a dynamic programming algorithm, which generalizes the Bellman-Ford method [9, 10]. Note that OPT is not known but it satisfies OPT = min{π | ππ−1 (π‘, π) ≤ π}. π is the maximum number of traversing arcs on the path from node π to π’, and the algorithm enumerates each π(≤ π − 1) and each π’ ∈ π for ππ (π’, π). To get ππ−1 (π‘, π), the algorithm computes ππ (π’, π) first for π = 1, π = 1, . . . , π − 1, and each π’ ∈ π, then for π = 2, π = 1, . . . , π − 1, and each π’ ∈ π and so on, until the first value of π for which ππ−1 (π‘, π) ≤ π. According to the definition of ππ (π’, π), ππ (π‘, π) is the minimum length of an optimal path ππ ,π‘ from π to π‘ with respect to the weight π€, such that at most π arcs are traversed and the expansion cost along ππ ,π‘ is at most π. ππ−1 (π‘, π) ≤ π indicates the length with respect to weight π€ on this optimal path ππ ,π‘ is less than and equal to π (optimal condition), and π ≤ OPT. Hence OPT is set to this value of π. So the complexity of algorithm EXACT(π) is O(OPT ⋅ ππ2 ), and we obtain Theorem 3. Theorem 3. For the GCEP problem, the algorithm EXACT(π) produces an optimal solution, and its time complexity is O(OPT ⋅ ππ2 ). Moreover, the technique of rounding and scaling for acyclic digraphs in [8] is applied to our pseudopolynomial algorithm EXACT(π), and we can present an FPTAS in time O(π2 π/π) for the GCEP problem even in general digraphs, where π > 0. The construction of our FPTAS for general digraphs is similar to the one due to [8] for acyclic digraphs. The reader can find the algorithm in details from [8]; thus we omit it here. 4. Dynamic Programming Algorithm for the MNCEP Problem In this section, we study the first special version of the GCEP problem, minimum number arc capacity expansion path problem (MNCEP), where for each arc π ∈ π΄, π(π) = 1, add(π) = 1 if π(π) < π and add(π) = 0 otherwise. Equivalently, the objective is to find a path ππ ,π‘ of π·, on which the number of arcs to be expanded is minimized. Like the GCEP problem, no matter acyclic digraphs or not, by applying the method similar to Bellman-Ford algorithm [9, 10], we can design a strongly polynomial algorithm to solve the MNCEP problem. For each node π’ ∈ π, given two integers π ≥ 0 and π ≥ 0, define π(π’, π, π) to be the minimum length of the path ππ ,π’ from π to π’ with respect to the weight π€, which traverses at most π arcs with exact π arcs to be expanded. Set π(π’, π, π) := +∞ if no such path exists. 3 Algorithm 4 (MNCEP). Comment. Return the minimum number of arcs to be expanded on the path ππ ,π‘ from π to π‘ with constraint π€(ππ ,π‘ ) ≤ π. Begin Step 1 (initialization). Set π(π , π, π) = 0 and set π(π’, π, π) = +∞ if π’ =ΜΈ π . Step 2 For π = 1, 2, . . . , π − 1, do For π = 1, 2, . . . , π, do For each node π’ ∈ π, do π(π’, π, π) = min{π(π’, π − 1, π), min{V|(V,π’)∈π΄,π(V,π’)≥π} {π(V, π − 1, π) + π€(V, π’)},min{V|(V,π’)∈π΄,π(V,π’)<π} {π(V, π−1, π−1)+π€(V, π’)}} If π(π‘, π, π) ≤ π, then output OPT = π and the path ππ ,π‘ , and exit. End of Algorithm MNCEP. The algorithm MNCEP is also based on dynamic programming. Different from algorithm EXACT(π), no unknown OPT appears in the algorithm. π is the maximum number of traversing arcs on the path from node π to π’, and π is the exact number of arcs to be expanded on this path. So π ≤ π. The algorithm enumerates each π(≤ π − 1), each π ≤ π, and each π’ ∈ π till π(π‘, π, π) ≤ π. So the algorithm computes π(π’, π, π) first for π = 1, π = 1, 2, . . . , π, and each π’ ∈ π, then for π = 2, π = 1, 2, . . . , π, and each π’ ∈ π, and so on, until the first value π ≤ π − 1 for which π(π‘, π, π) ≤ π. Hence, output OPT = π. Thus, the algorithm runs in O(ππ2 ) time. We obtain Theorem 5. Theorem 5. For the MNCEP problem, the algorithm MNCEP produces an optimal solution, and its time complexity is O(ππ2 ). 5. Strongly Polynomial Algorithm for the MCESP Problem The second special version of GCEP is the minimumcost capacity expansion shortest path problem (MCESP). In MCESP problem, the bound π is set to be the shortest distance dist(π , π‘) from π to π‘ in π·, with respect to weight π€. So the objective of MCESP problem is to find a shortest path ππ ,π‘ from π to π‘ with respect to the weight π€, such that the total expansion cost ∑π∈ππ ,π‘ add(π)π(π) on the path ππ ,π‘ is minimized, where add(π) = π − π(π) if π(π) < π and add(π) = 0 otherwise. To solve this MCESP problem optimally, the shortest paths network plays an important role in the algorithm. Property 1 (see [11]). Let the vector dist represent the shortest paths distances. Then a directed path ππ ,V from the source node π to the node V is a shortest path if and only if dist(π , V) = dist(π , π’) + π€(π’, V) for every arc (π’, V) ∈ ππ ,V . For convenience, set addcost(π) = add(π) ⋅ π(π) as the capacity expansion cost for each arc π ∈ π΄. 4 Algorithm 6 (MCESP). Comment. Return the minimum-cost capacity expansion shortest path. Begin Step 1. Perform the breadth-first search in the digraph π·, using the arcs to satisfy the equality dist(π , V) = dist(π , π’) + π€(π’, V). Construct the shortest paths network π·σΈ = (π, π΄σΈ ; π€, addcost) of π·, where π΄σΈ = {(π’, V) ∈ π΄ | dist(π , V) = dist(π , π’) + π€(π’, V)}. The values of π€ and addcost in π·σΈ remain the same as in π·. Step 2. Find the shortest path ππ ,π‘ from π to π‘ in digraph π·σΈ , with respect to the arc capacity expansion cost addcost. Output OPT = addcost (ππ ,π‘ ) and the path ππ ,π‘ . End of Algorithm MCESP. Theorem 7. The algorithm MCESP optimally solves the MCESP problem, and it runs in the time O(π2 ). Proof. Property 1 implies the fact: if ππ ,V is a shortest path from the source π to some node V, then dist(π , V) = dist(π , π’) + π€(π’, V) for every arc (π’, V) ∈ ππ ,V . The converse is also true: if dist(π , V) = dist(π , π’) + π€(π’, V) for every arc (π’, V) in a directed path ππ ,V from the source π to the node V, then ππ ,V must be a shortest path. The algorithm MCESP searches all π arcs for dist(π , V) = dist(π , π’) + π€(π’, V) in π·. Hence, the new digraph π·σΈ includes all minimum distance path from π to π‘ in π·, with respect to the weight π€. The Step 2 of the algorithm selects the minimum cost capacity expansion path ππ ,π‘ in π·σΈ . Hence, the algorithm MCESP solves the MCESP problem optimally. Step 1 of the algorithm needs O(π2 ) steps to compute all π(π , V) by using Dijkstra algorithm for shortest paths. Step 2 needs O(π) steps to perform breadth-first search. Step 2 needs O(π2 ) steps as Step 1. Hence, the time complexity of the algorithm MCESP is O(π2 ). 6. Conclusion In this paper, we focus on the general capacity expansion path problem for telecommunication operators, a new practical capacity expansion model. The polynomial equivalence between the GCEP problem and the CSP problem is proved. Then by utilizing dynamic programming technique and Bellman-Ford method [9, 10], we design a pseudopolynomial algorithm for the GCEP problem. We also present two special versions of the GCEP problem: the MNCEP problem and the MCESP problem. For the MNCEP problem, by using dynamic programming method and Bellman-Ford method, we design a strongly polynomial algorithm to solve it. For the MCESP problem, by constructing a shortest paths network, we design a strongly polynomial algorithm. For further work, we would investigate some other special versions of the GCEP problem and related algorithms, which exist in the current telecommunication networks. Acknowledgment The work is fully supported by the National Natural Science Foundation of China [no. 11126355, 61063011]. Journal of Applied Mathematics References [1] S. O. Krumke, M. V. Marathe, H. Noltemeier et al., “Improving minimum cost spanning trees by upgrading nodes,” Journal of Algorithms, vol. 33, no. 1, pp. 92–111, 1999. [2] J. Zhang, C. Yang, and Y. X. Lin, “A class of bottleneck expansion problems,” Computers and Operations Research, vol. 28, no. 6, pp. 505–519, 2001. [3] C. Yang and J. Z. Zhang, “On the bottleneck capacity expansion problem on networks,” Acta Mathematica Scientia, vol. 26, no. 2, pp. 202–208, 2006. [4] O. Seref, R. K. Ahuja, and J. B. Orlin, “Incremental network optimization: theory and algorithms,” Operations Research, vol. 57, pp. 586–594, 2009. [5] C. H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Prince Hall, 1982. [6] R. Hassin, “Approximation schemes for the restricted shortest path problem,” Mathematics of Operations Research, vol. 17, no. 1, pp. 36–42, 1992. [7] M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman, San Francisco, Calif, USA, 1979. [8] F. Ergun, R. Sinha, and L. Zhang, “An improved FPTAS for restricted shortest path,” Information Processing Letters, vol. 83, no. 5, pp. 287–291, 2002. [9] R. Bellman, “On a routing problem,” Quarterly of Applied Mathematics, vol. 16, pp. 87–90, 1958. [10] L. R. Ford, “Network flow theory,” The RAND Corporation Paper, p. 923, 1956. [11] R. K. Ahuja, L. Magnanti, and B. Orlin, Network Flows: Theory, Algorithms, and Applications, Printice Hall, 1993. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014