Time-varying maximum capacity path problem with zero waiting times and fuzzy capacities.

In this paper, the maximum capacity path problem in time-varying network is presented, where waiting times at vertices are not allowable. Moreover, the capacities are considered the generalized trapezoidal fuzzy number. An exact algorithm is proposed which can find a optimal solution of problem subject to the time of path is at most T, where T is a given time horizon.

Background

The maximum capacity path (MCP) problem is to find a path between two vertices such that the capacity of the path is maximized, where the capacity of a path is defined as the minimum of the capacities of the arcs and vertices on this path. If waiting times at vertices are not allowable, then the capacity of a path is defined as the minimum of the capacities of the arcs. The MCP problem was introduced by Pollack (1960). He applied the cubic shortest path algorithm to solve this problem. The MCP in undirected graphs was surveyed by Hu (1961). He proposed an algorithm in time by simply taking the paths in a maximum spanning tree. We encourage the reader to study Lawler (1976), Ichimori et al. (1979), Hansen (1980), Gabow (1985), Berman and Handler (1987), Punuen (1991), Charnsethikul and Virojsailee (2000), Vassilevska et al. (2007) and Martens and Skutella (2009) for algorithms, techniques and properties of MCP in static networks. Arenas et al. (2001) studied network transport capacity, which is known to be measured by the critical value of the transport capacity at the phase transmission from free flow to congestion. Ramasco et al. (2010) surveyed optimization of transport protocols with path constraints in complex network. They proposed a protocol optimization technique that is applicable to both weighted and unweighted graphs. Some efficient routing strategies that can significantly enhance the transport capacity of network were discussed by Kawamoto and Igarashi (2012). Bisla and Singh (2013) studied maximum capacity path problem in mobile ad-hoc network, which include the multi hop transmission of path packets high dynamic topology and limited bandwidth. Gang et al. (2015) considered maximum transport capacity of network. They demonstrated that any network has a maximum transport capacity largely depending on structured properties of the network. The MCP within time constraint was studied by Nopparat (1997). Cai et al. (2007) surveyed MCP in time-varying network, where the problem parameters may change overtime.

In the literature, several algorithms were described to find MCP optimal solutions. They considered MCP problem in static network or time-varying network with real and certain parameters. In the routine life applications, there always exist uncertainty about the parameters of network flows problem. In this paper, a new algorithm is proposed for solving MCP in time-varying network by assuming that waiting times at vertices are zero. Moreover, we consider arc capacities are trapezoidal fuzzy numbers. The following advantages are obtained by using the proposed algorithm for finding the fuzzy optimal solutions:

The proposed algorithm is straightforward to realize and apply.

The MCP proposed algorithm in fuzzy time-varying is not applied goal and parametric programming techniques.

The MCP proposed algorithm does not need to much knowledge of fuzzy logic.

The proposed approach can be easily found the optimal solutions, where these solutions are trapezoidal fuzzy numbers.

We will study MCP problem, where the parameters of the network may change over time. Specifically, the transit to traverse an arc and the capacity of the arc are functions of the departure time at the vertex . Moreover, we will consider the transit capacity is generalized trapezoidal fuzzy umber and waiting at the vertex is not allowed. The problem is to determine the maximum capacity path from the source to the pre-specified vertex, subject to the total travel time of the path is not greater than a given time horizon .

The fuzzy basic definitions, the necessary arithmetic operations of fuzzy numbers and the time- varying network preliminaries are studied in section preliminaries. Then, two theorems are proved for solving the MCP problem and the algorithm is presented, which is worked based on theorems.

Fuzzy preliminaries

In this section, some fuzzy basic definitions and arithmetic operations and time-varying network flow definitions are briefly presented.

Definition 1

(Kaufmann and Gupta 1988) The characteristic function of a crisp set assigns a value either 0 or 1 to each member in . This function can be generalized to a function such that the value assigned to the element of the universal set fall within a specified range i.e. . The assigned value indicate the membership grade of the element in the set A. The function is called the membership function and the set defined by for each is called a fuzzy set.

Definition 2

(Kaufmann and Gupta 1988) A fuzzy set defined on the universal set of real numbers , is said to be a fuzzy number if its membership function has the following characteristics:

is continuous.

for all .

is strictly increasing on and strictly decreasing on .

for all , where .

Definition 3

(Kaufmann and Gupta 1991) A fuzzy number is said to be a trapezoidal fuzzy number if its membership function is given by:

Definition 4

(Chen and Chen 2007) A fuzzy set defined on the universal set of real numbers , is said to be generalized fuzzy number if its membership function has the following characteristics:

is continuous.

for all .

is strictly increasing on and strictly decreasing on .

for all , where .

Definition 5

(Chen and Chen 2007) A fuzzy number is said to be a generalized trapezoidal fuzzy number if its membership function is given by:

Definition 6

(Chen and Chen 2007) Let and be two generalized trapezoidal fuzzy umbers then arithmetic operations between and can be defined as follows:

The ranking function is applied to compare fuzzy numbers. They can be defined as follows:

Definition 7

(Mahapatra and Roy 2006) Let and be two generalized trapezoidal fuzzy umbers, is a ranking function, where is a set of fuzzy numbers defined on set of real numbers, which maps each fuzzy number into the real line where a natural order exists i.e.,Moreover, let then ranking functions and are defined as and , respectively. Moreover, we let and .

if and only if

if and only if

if and only if

Remark 1

(Kaur and Kumar 2012) Let be a set of generalized trapezoidal fuzzy numbers. If for all , then the generalized trapezoidal fuzzy number is the minimum of . Moreover, If for all , then the generalized trapezoidal fuzzy number is the maximum of .

Time-varying network flow definitions

Consider a directed time-varying network , where is the set of vertices and is the set of arcs with , . The transit time and the fuzzy capacity are associated with each arc , respectively such that is the departure time from vertex on arc . Moreover, and are the functions of discrete time , where is a given positive integer. Moreover, consider waiting at any vertex is not allowed.

Definition 8

Suppose a time-varying path from to is specified by with zero waiting times at vertices. Consider be an arrival time into the vertex on such that and:where is departure time from vertex for on and we have:Meantime, we let for source vertex .

Definition 9

Let be a time-varying path from to , where waiting at any vertex is not allowed, then:

The time of path is determined by . So, the time of path is .

The path has time at most if and has time exactly if .

Definition 10

The capacity of a time-varying path with zero waiting times is defined as the minimum of the capacities of the arcs on this path. Let be the maximum capacity of the path from source vertex to vertex of time exactly subject to the waiting time at any vertex on the path is not allowable. If this path does not exist, let .

Definition 11

Define as a time-varying path with maximum capacity from to within time exactly , if for each time-varying path from to within time and capacity , we have: .

Main results

Time-varying MCP problem with fuzzy capacities

The MCP problem is to find a path between two vertices such that the capacity of the path is maximized, where the capacity of a path is defined as the minimum of the capacities of the arcs on this path. In this section, the time-varying MCP problem is studied, where the problem parameters may change over time, where the capacity of the arc is generalized trapezoidal fuzzy number and is function of the departure time at the vertex . Moreover, a transit time to traverse an arc is considered positive real functions of the departure time at the vertex . Waiting at the vertex is not allowed. The problem is to determine the maximum capacity path from the source to the pre-specified vertex, such that the total travel time of the path is not greater than a given time horizon .

Theorem 1

andfor. For, we have:

Proof

It is clear that and for , since all transit times are positive. Now, the theorem is proved by induction on . Consider , therefore the paths of time exactly one can be existed from source vertex to neighbors of . Moreover, consider and . In this case, the formula holds with , where and . Assume that the theorem is correct for all . Consider a vertex . If , there is nothing to prove. So assume . First, it is shown that there exists a path from to of time exactly with fuzzy capacity . By the formula, , for some such that and some such that . By induction, since then and we know that there is a feasible path from to of time exactly and capacity . This path can be extended to vertex and obtained a path such that the time of is exactly . The fuzzy capacity of is . This proves the claim. We now prove that is the maximum fuzzy capacity path from to of time exactly . Let be a maximum capacity path from to of time exactly . Therefore, . Let be the predecessor node of on this path. Let be the time of the subpath from to and let be the capacity of . By definition, , implying that since . Thus, by induction, we have: . By definition, . Therefore , since is a maximum fuzzy capacity path of time exactly .□

Theorem 2

Defineas the fuzzy capacity of a maximum time-varying path from vertexto the vertexof time at most, where waiting at vertices are not allowed, then:

By definitions of , the purpose is to find maximum on all of time steps t, such that , therefore we have: .□

The following algorithm can find the optimal solution of problem. In the first, the values of for all and all arcs , are sorted by algorithm. Then, the recursive relation as given in theorem 1 is applied to compute for all and . The steps of the algorithm are described as below:

Results

Example 1

Consider a time-varying network as shown in Fig. 1, where waiting times are assumed zero at the vertices. The problem is to find a maximum path connecting source node 1 and the sink node 7, such that the time of this path is at most .

Fig. 1

Time-varying network G

Let and consider:

Another required information for time-varying network G is given in Table 1 as follows:

Table 1

Transit times and fuzzy capacities for network G

t	u~, b
	u~(1,3,t)	b(1,3,t)	u~(2,5,t)	b(2,5,t)	u~(2,6,t)	b(2,6,t)	u~(3,5,t)	b(3,5,t)
0	(1, 2, 3, 4; 0.5)	1	(2, 3, 4, 5; 0.4)	1	(2, 3, 4, 6; 0.3)	1	(2, 3, 5, 6; 0.6)	3
1	(2, 3, 4, 5; 0.6)	1	(2, 4, 6, 8; 0.3)	2	(1, 2, 3, 4; 0.4)	1	(1, 3, 5, 6; 0.5)	2
2	(1, 3, 5, 7; 0.5)	2	(1, 3, 4, 5; 0.3)	2	(2, 3, 5, 7; 0.4)	2	(2, 4, 5, 7; 0.7)	1
3	(2, 4, 6, 8; 0.4)	2	(2, 3, 4, 6; 0.5)	1	(1, 3, 4, 6; 0.4)	2	(2, 4, 6, 8; 0.6)	2
4	(1, 2, 3, 4; 0.5)	3	(1, 4, 5, 7; 0.6)	3	(2, 3, 5, 6; 0.3)	2	(3, 4, 5, 7; 0.6)	2
5	(1, 2, 3, 5; 0.6)	2	(2, 5, 6, 8; 0.5)	4	(3, 4, 5, 6; 0.3)	3	(2, 3, 4, 7; 0.5)	2
6	(3, 4, 5, 7; 0.5)	3	(1, 3, 5, 7; 0.4)	3	(2, 3, 5, 7; 0.5)	3	(1, 2, 3, 4; 0.6)	3

Applying described algorithm, one may obtain this results: the path has maximum fuzzy capacity with and time 6. Moreover, three paths , and are not feasible, because their time are 8 and are more than .

Example 2

A time-varying network is called a layered network with layers if the vertices set can be partitioned into subsets such that the following conditions hold:

For every : For every arc it holds that .

For every : For every arc it holds that .

There are no incoming arcs for vertices in and there are no outgoing arcs for vertices

In Fig. 2, a layered time-varying network is given, where waiting times are considered zero at vertices. Moreover, let and:

Fig. 2

A layered time-varying network G for example 2

for and for such that . Information about fuzzy capacities is given as follows:

Let:

For each and let .

For each and let .

For each and let .

For each and let .

The following table shows the optimal solutions for Example 2.

By applying mentioned algorithm, the MCP P = (1–2–5–8–11–12) from vertex 1 to vertex 12 is obtained by and time . The maximum capacity paths for other vertices were shown in Table 2.

Table 2

Calculation of optimal solution for example 1

Vertex	P,T,ξ			Vertex	P,T,ξ
	Path	Time	ξ(P)		Path	Time	ξ(P)
1	P(1)	0	∞	7	P(1–2–5–7)	6	(2, 3, 4, 5; 0.2)
2	P(1–2)	1	(5, 6, 7, 8; 0.5)	8	P(1–2)	1	(5, 6, 7, 8; 0.5)
3	P(1–3)	1	(1, 2, 3, 4; 0.2)	9	P(1–2–5–9)	6	(5, 6, 7, 8; 0.5)
4	P(1–2–4)	3	(2, 3, 4, 5; 0.2)	10	P(1–2–5–8–10)	10	(1, 2, 3, 4; 0.7)
5	P(1–2–5)	3	(5, 6, 7, 8; 0.5)	11	P(1–2–5–8–11)	1	(5, 6, 7, 8; 0.5)
6	P(1–3–6)	3	(1, 2, 3, 4; 0.2)	12	P(1–2–5–8–11–12)	15	(5, 6, 7, 8; 0.5)

Conclusion

In this paper, we concentrated on time-varying maximum capacity path with zero waiting times. We considered the capacity of arcs are fuzzy numbers. The aim of the problem was to find an optimal path from source vertex to target vertex so that the capacity of this path is maximized subject to the time of path is at most T, where T is a given integer. We proved two theorems, presented an algorithm for solving the problem and given two numerical examples.