Abstract

The multicommodity flow problem arises when several different commodities are transshipped from specific supply nodes to the corresponding demand nodes through the arcs of an underlying capacity network. The maximum flow over time problem concerns to maximize the sum of commodity flows in a given time horizon. It becomes the earliest arrival flow problem if it maximizes the flow at each time step. The earliest arrival transshipment problem is the one that satisfies specified supplies and demands. These flow over time problems are computationally hard. By reverting the orientation of lanes towards the demand nodes, the outbound lane capacities can be increased. We introduce a partial lane reversal approach in the class of multicommodity flow problems. Moreover, a polynomial-time algorithm for the maximum static flow problem and pseudopolynomial algorithms for the earliest arrival transshipment and maximum dynamic flow problems are presented. Also, an approximation solution to the latter problem is obtained in polynomial-time.

1. Introduction

The multicommodity flow problems concern with the routing of various commodities through a network to the specific source-sink pairs. For instance, message routing in telecommunications, railway and vehicle routine in transportation, and production planning and logistics support in general and in an emergency can be modeled as a multicommodity flow problem. For details and implementations, we refer to [14].

The transportation network is considered as a network associated with the transshipment of distinct commodities where the supply points (origins), the demand points (destinations), and the junction of road segments constitute the nodes. The connections between the two nodes signify the arcs. On each arc, the capacity that limits the flow amount (i.e., transported commodities) and the travel time are allocated.

The multicommodity flow problem can be classified into static and dynamic flow problems. The former one has been categorized as maximum, maximum concurrent, and minimum cost flow problems. The latter one has been categorized as maximum, maximum concurrent, quickest, and the earliest arrival multicommodity flow problems [5, 6].

If we do not distinguish the flow in the multicommodity flow problem, then it becomes a single-commodity flow problem. The dynamic flow (also known as flow over time) problem is introduced by Ford and Fulkerson [7]. In connection to this problem, Gale [8] proposed a more general problem known as the earliest arrival flow problem. The earliest arrival flow problem having multiple sources and sinks with given supplies and demands is the earliest arrival transshipment problem. Generally, a solution to this problem does not exist in the case of multiple sinks. However, it does always exists for multiple sources and a single-sink [9].

The multicommodity flow problem is more complex than their single-commodity part. Hall et al. [10] have shown that multicommodity flow over time is -hard even for series-parallel graphs or have only two commodities. Kappmeier [11] provided solutions of maximum multicommodity flow over time and multisource single-sink multicommodity earliest arrival transshipment problems using a time-expanded network within pseudopolynomial-time complexity.

Lane reversal implies flipping of arc orientations to amplify the flow and reduce the travel time by increasing its capacity. Flow models and strongly polynomial-time algorithms for two-terminal maximum and quickest flow problems were developed by Rebennack et al. [12]. The lane reversals are made at time zero and kept fixed afterward. The budget constraint problem with lane reversals is investigated in [13]. The optimal solutions of the earliest arrival flow in the two-terminal general network for both discrete and continuous-time settings can be found in [1416]. Nath et al. [17] investigated the quickest contra-flowloc problem. By reversing the directions of arcs whenever necessary, a polynomial-time algorithm is presented by Pyakurel and Dhamala [18] for multisource single-sink earliest arrival transshipment. The major concern of partial lane reversals is to make use of the capacities of unused arcs in a network for other purposes. Pyakurel et al. [19] introduced the partial lane reversal strategy in which only essential arc capacities are used to extend the flow value. Dhamala et al. [20] investigated the quickest multicommodity flow problem with partial lane reversals. The saved capacities of unused arcs can be used for the logistic supports and facility location in emergency periods.

In this paper, we introduce the maximum static multicommodity flow (MSMCF), the maximum dynamic multicommodity flow (MDMCF), and the earliest arrival multicommodity transshipment (EAMCT) problems with partial lane reversals. We present efficient algorithms to solve these problems by reducing them into single-commodity flow problems and decomposing the flow along the paths.

The paper is organized as follows. In Section 2, we provide some basic notations and models used in the article. The MSMCF problem with partial lane reversals is introduced and an algorithm to solve the problem is presented in Section 3. The MDMCF problem with partial lane reversals is introduced in Section 4. In this section, we present algorithms to find a solution to this problem. The EAMCT problem and an algorithm to solve this problem is presented in Section 5. The paper is concluded in Section 6.

2. Preliminaries

The multicommodity flow problem consists of the shipping of distinct commodities from their respective origin nodes to corresponding destination nodes through a given network. Basic notations and mathematical formulations are given below.

2.1. Flow Models and Notations

Let a dynamic network topology be given by with finite sets of nodes , arcs , and commodities , where and . Each commodity with demand is routed through a unique source-sink pair . The sets denote source and sink sets of all commodities, respectively. On each arc , the capacity function restricts the flow of commodities and a nonnegative transit time function measures the time to transship the flow from the entry point to the exit point of arc . The time period is given in advance which is denoted by in discrete and in continuous-time settings. A static network is a network besides the temporal dimension denoted by . Many nice properties developed primarily based on static network topology are building blocks for most of the real-world dynamic flow problems.

2.1.1. Static Multicommodity Flow

A multicommodity flow for the given static network is the sum of all nonnegative static flows defined by the functions for each commodity satisfyingwhererepresents the excess flow of commodity at node . The sets and denote the outgoing arcs from node and the incoming arcs to node , respectively, such that and , except in the lane reversals. The second condition of the constraints in (1) are flow conservation constraints for each commodity at intermediate nodes. The constraints in (2) are bundle constraints that limit the flow of each commodity on the arc. The network flow is called circulation if it satisfies flow conservation at all the nodes, i.e., . The maximum static multicommodity flow problem with -commodities consist of single-commodity flows maximizing satisfying constraints (1) and (2).

A polynomial-time solution of the MSMCF problem has been obtained by linear programming techniques (e.g., ellipsoid method or interior-point method). In this problem, each commodity has a unique source-sink pair , and we wish to send the maximum flow from the source nodes to the sink nodes satisfying given bundle capacity on each arc . That is, we wish to maximize the sum of the flows over all the commodities.

2.1.2. Dynamic Multicommodity Flow

For a given dynamic network with constant transit time on arcs, a multicommodity flow over times is a sum of flows defined by satisfying constraints (4)–(6):whereis the excess flow of commodity on node at time . Here, the second condition of the constraints in (4) are flow conservation constraints at time horizon , whereas nonconservation of flow at intermediate time points is represented by the constraints in (5). Similarly, the constraints in (6) are bundle constraints that limit the flow on each arc at each point of time. The aim is to maximize the amount of flow to satisfy the demand of each commodity from to which is stated in the first and last conditions of (4). The earliest arrival multicommodity flow problem is to find a dynamic multicommodity flow of maximum value for all time units defined by objective function:

Instead of each time , if the maximization is considered for a given time , it is defined as an MDMCF problem.

The equality in (5) represents strong flow conservation constraints that do not allow to store the flow at intermediate nodes for each time (i.e., without intermediate storage). The strict inequality constraint in (5) represents the weak flow conservation constraint at intermediate nodes for all times with intermediate storage.

2.2. -Condensed Time-Expanded Graph

The network topology is considered. Fleischer and Skutella [21] introduced the -condensed time-expanded network , where all transit times on arcs are multiples of such that is bounded by a polynomial in input size. The nodes and arcs in the -condensed time-expanded network are defined aswhere and are the super terminals for each commodity as well as for the -condensed time-expanded network, i.e., . The copies of correspond to flow through in time for discrete-time and for continuous-time, where . In this setting, for every arc corresponding to a discrete-time with a multiple of , capacities are rescaled by . If arc transit times are not multiples of , then transit times are rounded up to a multiple of by and for all arcs . If we take , then the -condensed time-expanded network reduces to the classical time-expanded network.

2.3. Lane Reversal Technique

For a given network , the corresponding auxiliary network is denoted by with undirected edges in , where is the reversed arc of . The capacity of the auxiliary arc is the sum of capacities of arcs and such that , where if . The transit time of the auxiliary arc is

Other network parameters are the same. The transformation of the multicommodity network with lane reversals is represented in Figures 1(a) and 1(b). The first, second, and third commodities are shipped through the paths , , and , respectively.

Example 1. Let us consider a multicommodity network, where are the source nodes and are the sink nodes as shown in Figure 1(a). The arcs between nodes and denoted by and represent the two way of road segments. The first and second numbers on the arcs represent capacity and transit time (cost) associated with the arcs. By adding two-way capacities of the arcs and having the same transit time, an auxiliary network is formed with capacities and transit time as shown in Figure 1(b).

3. Static Mutlicommodity Flow with Lane Reversals

In this section, we introduce the partial lane reversals on the static multicommodity flow problem that makes best utilization of arc capacities to optimize the solution. The procedure for lane reversals is as follows:(1)Arc is reversed iff either , where , or there is along the arc . If , then the arc is reversed partially, and capacity of remaining arcs is saved.(2)If and , then the arc is reversed completely.(3)If neither nor is reversed.

Problem 1. A network is considered. The MSMCF problem with partial lane reversals sends the maximum flow from the sources to the corresponding sinks in the unique pair for each commodity by saving the unused arc capacity.

3.1. Polynomial-Time Solution of MSMCF Problem

General linear programming approach (e.g., ellipsoid method or interior-point method) solves the static multicommodity flow problem in polynomial-time. To solve the MSMCF problem with partial lane reversals (problem 1), we present Algorithm 1.

Input: given static multicommodity flow network
Output: the MSMCF with partial lane reversals
 (1) The given network is transformed by adding two-way capacities as .
 (2) Compute the MSMCF on the transformed network .
 (3) Decompose the flow along the paths and cycles and remove flows in cycles .
 (4) Reverse up to the capacity iff , replaced by whenever , where and .
 (5) For each , if is reversed, and . If neither nor is reversed, , where is the saved capacity of .
 (6) Transform the solution to the original network.

Theorem 1. The MSMCF with partial lane reversal problem can be solved using Algorithm 1 optimally.

Proof. First, we show that Algorithm 1 is feasible. We can compute maximum multicommodity flow either by using the ellipsoid or interior-point methods. Therefore, Step 2 of the algorithm is feasible. Steps 1, 3, 4, 5, and 6 are feasible being transformation, decomposition, reversing arc, and saving arc capacities as in [19]. Hence, feasibility is shown.
Now, we prove the optimality of the algorithm. On the transformed network , the MSMCF is computed iteratively using an efficient algorithm. As flow is send in a unique pair for each commodity , the problem can be reduced to the static flow for a single commodity. In the static single-commodity flow, the maximum static flow on the transformed network is equivalent to the maximum static flow with partial lane reversals on the original network as in [19], and capacity of unused arcs is saved. Thus, the MSMCF in the transformed network is equal to the MSMCF with partial lane reversals for the original network.

Corollary 1. The MSMCF with partial lane reversals can be computed in polynomial-time complexity.

Proof. The complexity of the algorithm is dominated by Steps 2 and 3. All other steps can be computed in linear time. The maximum multicommodity flow problem is a linear programming problem, so the general linear programming technique (ellipsoid method or interior-point methods) solves the static multicommodity problem on the auxiliary network in polynomial-time in Step 2. This solution is equivalent to the maximum static multicommodity flow problem on the given network. The flow can be decomposed in time in Step 3. Hence, the MSMCF with partial lane reversals can be computed in polynomial-time.

Example 2. If we consider network as in Example 1 without temporal dimension, then it becomes a static multicommodity network. We can send the flow on an auxiliary network as shown in Figure 1(b). The maximum static multicommodity flow before lane reversals can be calculated in Figure 1(a) and after lane reversals in Figure 2(a). The saved capacity of unused arcs is shown in Figure 2(b).
The comparison of MSMCF before and after lane reversals is presented in Table 1.

Theorem 2. If a minimum cut in the multicommodity network has the symmetric capacity, then the flow value can be at most doubled with lane reversal reconfiguration.

Proof. We know that the cut set is the collection of disconnected and saturated arcs with the property that it disconnects sources and sinks. Let Val () be a value of cut which is the sum of the capacities of its individual arcs, i.e., . We know that the arcs have two-way orientations with asymmetric (or symmetric) capacities. If each arc has the symmetric capacity, the lane reversal reconfiguration of the multicommodity network expands the capacity of cut two times. Let be the cut set in the auxiliary network, then its value becomesThe minimum multicommodity cut isMoreover, we have that every optimal maximum static multicommodity is less or equal to the minimum multicommodity cut in the auxiliary network. Consequently, the flow value can be increased up to double with lane reversals.
The reconfiguration of the multicommodity network with lane reversals is as follows:where is the collection of all paths.
By Theorem 1, every optimal maximum static multicommodity flow in auxiliary network is a feasible maximum static multicommodity flow with lane reversals in original network . This completes the proof.

3.2. Approximation Solution of MSMCF Problem

Linear programming techniques provide polynomial-time solutions for multicommodity flow problems. However, in many applications, these problems are large in input size and can take a long time to solve using these techniques. Due to this, it is beneficial to develop approximation algorithms that provide solutions close to the optimal solution. As a consequence, an intense attempt was made to obtain an efficient approximate algorithm for the multicommodity flow problem.

Let a minimization (or a maximization) problem be and let the optimal solution of the objective function be denoted by for an instance . Suppose . An algorithm is called a approximation algorithm for problem , if it produces a feasible solution with objective value for each instance I of such thatFor a problem , a polynomial-time approximation scheme (PTAS) is an approximation scheme with the running time polynomial in the input size of the problem.For a problem , a fully polynomial-time approximation scheme (FPTAS) is an approximation scheme with running time polynomial in the input size of the problem as well as polynomial in .

Fleischer [22] presented the first FPTAS for the maximum multicommodity flow problem that is independent of the number of commodities. It is faster than the best previous approximation schemes, whose running time is . To calculate the approximate solution, Fleischer uses path flow linear programming formulation of a maximum multicommodity flow problem. The dual of this linear program corresponds to the problem of assigning length to the edges of the network such that the length of the shortest path from to is at least one for each commodity.

Let us assume that and denote the length of edges and length of the shortest path from to for each , respectively. Algorithm starts with , and selects a path with . The flow is assigned along the path where , and the length , of each edge is updated. The process is repeated until there exists a path with otherwise return .

Based on this, we present Algorithm 2 to calculate approximate solution of MSMCF with partial lane reversals.

Input: given static multicommodity flow network
Output: the approximate MSMCF solution with partial lane reversals
 (1) The given network is transformed by adding two-way capacities as .
 (2) Compute the approximate MSMCF on the transformed network by using the algorithm by Fleischer [22].
 (3) Decompose the flow along the paths and cycles and remove flows in cycles .
 (4) Reverse up to the capacity iff , replaced by whenever , where and .
 (5) For each , if is reversed, and . If neither nor is reversed, , where is the saved capacity of .
 (6) Transform the solution to the original network.

Example 1 with capacity on arcs only (cf. Figure 2(a)) is considered, and maximum multicommodity flow with lane reversals is calculated.

Let us assume that . We choose the path .

Since and , we update the flow and calculate the length of edges, i.e., .

Similarly, . Therefore, . But, there is no path between and since edge is saturated.

We choose the next path . Since and , we update the flow value.

Now, . But, there is no path between and since edge is saturated. Again, we update the flow value and length of the edges.

In the same way, the next path is and . There is no path from to . Since there is no anymore path, the algorithm terminates, and maximum flow is 3 + 4 +3 = 10.

Corollary 2. An approximate solution of MSMCF with partial lane reversals can be computed in fully polynomial-time complexity.

Proof. The complexity of the algorithm is dominated by Steps 2 and 3. All other steps can be computed in linear time. The solution to an approximate maximum multicommodity flow problem can be computed by Fleischer [22] on the auxiliary network in time in Step 2. This solution is equivalent to the maximum static multicommodity flow problem on the given network. The flow can be decomposed in time in Step 3. Hence, the MSMCF with partial lane reversals can be computed in fully polynomial-time.

4. Dynamic Multicommodity Flow with Partial Lane Reversals

In this section, we introduce the MDMCF with partial lane reversals by reverting the necessary arc capacities. Hall et al. [10] proved that multicommodity flow over time is -hard. They provided the solution of the flow over time problem in a network having uniform path length (a network where the length of all paths is the same).

The lane reversal strategy cannot be applied in case of uniform path length in general. It may violate the criterion of uniform path length after lane reversals as shown in example 3. Two algorithms to solve the MDMCF problem with lane reversals are presented in this section.

Example 3. Let us consider a multicommodity network where are the source nodes and are the sink nodes as shown in Figure 3(a). The first and second numbers on the arcs represent capacity and transit time associated with the arcs. The auxiliary network for reconfiguration is as shown in Figure 3(b). The network is of uniform path length before lane reversals and after the lane reversals, and a new path is created that violates uniform path length. In general, it proves that the lane reversal strategy fails to satisfy the condition of uniform path length. The lane reversal technique can be applied in case of uniform path length by reversing only those arcs that do not violate uniform path length.

4.1. Pseudopolynomial Solution of MDMCF

To deal with the maximum flow over time problem, Ford and Fulkerson [7] introduced the concept of time expansion. This well-known approach can be carried out in the case of the multicommodity flow over time problem. Kappmeier [11] has shown the equivalency between static multicommodity flow on a time-expanded network and dynamic multicommodity flow on the original network as given below.

Lemma 1. Let be a flow over time network. For any time horizon , a feasible static multicommodity flow in the time-expanded network , there exists a feasible multicommodity flow over time with the sources and sinks in network that sends the same amount of flow with time horizon , i.e., and vice-versa.

Due to the reduction of the dynamic multicommodity flow problem on network to the static multicommodity flow problem on a time-expanded network , it can be solved in pseudopolynomial-time complexity.

Problem 2. Consider a network . The MDMCF problem with partial lane reversals sends the maximum flow from the sources to the corresponding sinks in the unique pair of source and sink nodes for each commodity , and for a given time by saving the unused arc capacity.
To solve the maximum multicommodity flow over time problem with partial lane reversals (problem 2), we design Algorithm 3.

Input: given dynamic multicommodity flow network
Output: the MDMCF with partial lane reversals
 (1) A given dynamic network is transformed into time-expanded network by
 (2) An auxiliary network is constructed by adding two-way capacities as .
 (3) Compute the MSMCF on the auxiliary network .
 (4) Decompose the flow along the paths and cycles and remove flows in cycles .
 (5) Reverse up to the capacity iff , replaced by 0 whenever where and .
 (6) For each , if is reversed, and . If neither nor is reversed, , where is the saved capacity of .
 (7) Transform the solution to the original network.

Theorem 3. Algorithm 3 provides pseudopolynomial-time solution of the MDMCF problem with partial lane reversals.

Proof. The theorem will be proved in three steps. In the first step, we show the feasibility. Step 2 of the algorithm is well-defined because it transforms the given dynamic network flow problem into the static network flow problem on the time-expanded auxiliary network. The feasibility of other steps in the algorithm can be shown as similar to Theorem 1. In the second step, we prove the optimality. Feasibility implies that any feasible solution of MDMCF on is feasible to the MDMCF with lane reversal solution on network . Dynamic multicommodity flow problem on network reduces to a static multicommodity flow problem on . By reducing the multicommodity to a single-commodity and decomposing the flow into the path, dynamic multicommodity flow solution can be obtained optimally on auxiliary network . An optimal solution on is equivalent to a feasible solution on . The unused capacities of the arcs are saved by partial lane reversals in Step 5. At last, we show that the algorithm solves it in pseudopolynomial-time. We know that Step 3 is solved in times, and Step 2 can be computed polynomially in the input size of the network, i.e., it depends on . All other steps can be computed in linear time. Thus, Algorithm 3 solves the MDMCF problem with partial lane reversals on given network optimally in pseudopolynomial-time complexity.

Example 4. We compute MDMCF on the auxiliary network obtained by adding two-way capacities of Figure 1(a) within time horizon . The repetition of path flows of each commodity is shown in a time-expanded network. We get static flow on the time-expanded network which corresponds to multicommodity flow over time on the auxiliary network. The maximum multicommodity flow over time computation after lane reversals is as shown in Figure 4.

4.2. Approximate Solution of MDMCF

A time-expanded network is a well-known technique to solve flow over time problems, but it has the drawback of a large blow-up of its size. By reducing the size of the time-expanded network, an efficient algorithm is presented. This reduction technique is known as condensation in the setting of a time-expanded network, and the network is known as the -condensed time-expanded network. If we take , then the -condensed time-expanded network reduces to the classical time-expanded network. To, solve Problem 2 in fully polynomial-time, we present Algorithm 4.

Input: given dynamic multicommodity flow network
Output: the MDMCF with partial lane reversals
 (1) The auxiliary network is transformed to -condensed auxiliary network with ,
 (2) Compute the approximate MSMCF by using algorithm by Fleischer [22] on the auxiliary network .
 (3) Decompose the flow along the paths and cycles and remove flows in cycles .
 (4) Reverse up to the capacity iff , replaced by 0 whenever where and .
 (5) For each , if is reversed, and . If neither nor is reversed, , where is the saved capacity of .
 (6) Transform the solution to the original network.

Theorem 4. Algorithm 4 provides approximate solution of the MDMCF problem with partial lane reversals.

Proof. First, we prove the feasibility. Step 1 of the algorithm is well-defined as it transforms the given dynamic network flow into the static network flow on the -condensed auxiliary network. The feasibility of other steps of the algorithm is similar to Theorem 1.
Next, we prove the optimality. Feasibility implies that any approximate optimal solution of MDMCF with lane reversals on network is also a feasible approximate solution to the MDMCF on . Dynamic multicommodity flow problem on network reduces to a static multicommodity flow problem on . By reducing the multicommodity to a single commodity and decomposing it into the path, an approximate dynamic multicommodity flow solution can be obtained optimally on auxiliary network . An approximate optimal solution on is a feasible solution on . The unused capacities of the arcs by partial lane reversals are saved in Step 5. Thus, an approximate MDMCF solution with lane reversals on each arc of the given network can be computed optimally.

Corollary 3. An FPTAS to the MDMCF problem with partial lane reversal can be computed in fully polynomial-time complexity.

Proof. The complexity of Algorithm 4 is dominated by Steps 2 and 3. Step 3 is solved in time. An approximate solution of a static multicommodity flow problem on the -condensed auxiliary network is obtained by Fleischer [22] in time complexity in Step 2. The -condensed auxiliary network contains nodes and arcs having polynomial-time complexity. Remaining steps can be solved in linear time. So, the problem can be computed in fully polynomial-time.
By scaling the capacities and transit times on arcs given in Figure 1(b), -condensed networks are formed. The approximate solution of Problem 2 can be calculated by using the -condensed time-expanded network as shown in Figure 5 by taking .
The comparison of MDMCF before and after lane reversals is shown in Table 2 and Figure 6.

5. EAMCT with Partial Lane Reversals

The dynamic network topology with set of commodities is considered. The earliest arrival multicommodity flow problem is a feasible multicommodity flow over time with time horizon of a maximum value of for each . This problem becomes EAMCT if it is a feasible multicommodity transshipment over time with time horizon such that fulfills all supplies and demands and value of is maximal at every point in time .

Kappmeier [11] proved that the EAMCT exists in the case of multiple sources and a single-sink. They observed that it is possible to reduce the problem of the multicommodity to the single-commodity in the single source-sink case. If all commodities commence in the same origin and have the same destination, then it can simply consider all commodities as one, compute the earliest arrival transshipment, and split the flow up into the commodities.

Problem 3. A network with multisource and a single sink is considered. The EAMCT problem with partial lane reversals sends the maximum flow from the sources to the corresponding sink in the unique source-sink pair , for each commodity and each time satisfying supplies and demands by saving the unused arc capacity.

Lemma 2. EAMCT with multiple sources and a single sink exists, and it can be computed with a running time that is polynomial in k and size of the earliest arrival transshipment in the same network wherein all commodities are considered as one.

Proof. Considering the flow over time network having multiple sources (k-sources) and a single-sink with k-commodities. Defining new supplies and demands byTo compute an earliest arrival transshipment for the instance defined by the network , we first build the time-expanded network with supplies and demands and calculate minimum cost flow by considering transit time as the cost using the successive shortest path algorithm. This yields multicommodity flow over time corresponding to the static multicommodity flow.
We split the path for each commodity into commodity-dependent paths and select a source with supply . An path with a flow value is chosen, and is set as the flow value. Then, we update the residual demand and flow value and continue the process until there is no any source in with positive supply according to Kappmeier [11].
The above construction creates a feasible solution of the EAMCT problem. We have by the definition of new demand for each source. assures that no path capacity is violated as no more supply is sent exceeding the capacity. The flow value is reduced until arc capacities are zero, for any path , and the constructed flow obeys the capacity constraint due to . Hence, feasible flow satisfying all demands is for all . The flow obtained is the earliest arrival flow for a single-commodity setting. Thus, a path decomposition of the earliest arrival transshipment is computed in network . Selection of path flow for each commodity in polynomial-time in the size of the decomposition. Thus, running time is polynomial in and size of the input.
Earliest arrival multicommodity flow problem with partial lane reversals on network is to find multicommodity flow over time that is maximum for all time steps satisfying supply and demand of each commodity by reverting the arc partially. We present Algorithm 5 to calculate EAMCT with partial lane reversals.

Input: given a multicommodity flow network
Output: the EAMCT with partial lane reversals
 (1) The given network is transformed to auxiliary network by adding two-way capacities in as ,
 (2) Compute the EAMCT on the transformed network by using algorithm by Kappmeier [11].
 (3) Decompose the flow along the paths and cycles and remove flows in cycles .
 (4) Reverse up to the capacity iff , replaced by whenever where and .
 (5) For each , if is reversed, and . If neither nor is reversed, , where is the saved capacity of .
 (6) Transform the solution to the original network.

Theorem 5. Algorithm 5 always computes an earliest arrival multicommodity flow with lane reversals on the multisource and single-sink network.

Proof. The theorem will be proved in two steps. In the first step, we show the feasibility of the algorithm, and in the second step, we show the optimality. Steps 1 and 4 of the algorithm are feasible according to Rebennack et al. [12]. The feasibility of Step 2 is verified by using the EAMCT algorithm (Kappmeier [11]). Step 3 of the algorithm is feasible being decomposition of flow along paths and cycles and assures that there is no cycle. The feasibility of Step 5 of the algorithm is due to Pyakurel et al. [19]. Thus, Algorithm 5 is feasible. To prove the optimality, we compute the EAMCT solution on the auxiliary network using the algorithm by Kappmeier [11]. From the feasibility of the algorithm, we conclude that every feasible EAMCT solution on the auxiliary network is equivalent to the EAMCT solution with lane reversals in the original network . Thus, the solution obtained on the auxiliary network is the EAMCT with lane reversals on the original network . Moreover, we can save the capacities of all unused arcs of the network by Step 5 of the algorithm.

Example 5. Considering a multisource and a single-sink network with demands for each commodity being , respectively. We compute maximum multicommodity flow over time on the auxiliary network as shown in Figure 7(a) with the flow, capacities, and transit times on the arcs within time horizon by searching the successive shortest path for each commodity on each time step . The repetition of path flows of each commodity is shown in a time-expanded graph. We get static flow on the time-expanded graph which corresponds multicommodity flow over time on the auxiliary network. Computation of the EAMCT after lane reversals is shown in Figure 7(b).
Table 3 represents the value of EAMCT on each path with partial lane reversals.

6. Conclusions

One of the major problems in operational research is transshipping several kinds of commodities (goods) in underlying network topology, respecting capacity constraints on the arcs. Maximizing the sum of flow of all commodities in the specified period, it turns to maximum multicommodity flow over time. Multicommodity flow over time is computationally hard. A time-expanded network is a technique to solve flow over time problems, but it has pseudopolynomial-time complexity. By shrinking the size of the network, a -condensed time-expanded network is introduced without changing flow values too much, and it provided an efficient approximation scheme. By flipping the orientation of lanes, the capacity of the lanes will be increased that amplifies the flow value and reduces the time horizon. Partial lane reversal strategy reverses only necessary arc capacities and saves the capacity of unused arcs that can be used in case of emergency.

In this paper, we introduce a partial lane reversal strategy in static multicommodity flow, multicommodity flow over time, and earliest arrival multicommodity transshipment problems and provide algorithms to solve these problems. The first problem is solved in polynomial-time, the second problem is solved in pseudopolynomial-time as well as polynomial-time approximately, and the third problem is solved in pseudopolynomial-time complexity.

Data Availability

The authors have not used any additional data in this article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The first author thanks the Alexander von Humboldt Foundation for the Return Fellowship (November 2019–October 2020). The second author thanks the University Grants Commission, Nepal, for the Ph.D. research fellowship.