ANZIAM J. 52 (E) pp.E22–E40, 2010 E22
The optimal value of circular reserve for symmetrical hierarchical networks
M. B. Ahmadi
1(Received 9 October 2009; revised 22 September 2010)
Abstract
We consider the Symmetrical Hierarchical Network and analyse its survivability under uncertainty conditions. A formula calculates the optimum value of circular reserve of the symmetrical hierarchical network. We take into account the possibility of optimising the flow distribution after the fault. We suppose that the remaining capacity will be known. The guaranteed evaluation of the functional capability of the symmetrical hierarchical network assumes finding the worst distribution of the destruction.
Contents
1 Introduction E23
2 Competitive distribution of flows E28
http://anziamj.austms.org.au/ojs/index.php/ANZIAMJ/article/view/2497 gives this article, c Austral. Mathematical Soc. 2010. Published October 30, 2010. issn 1446-8735. (Print two pages per sheet of paper.) Copies of this article must not be made otherwise available on the internet; instead link directly to this url for this article.
1 Introduction E23
3 Numerical example E36
4 Conclusion E37
References E38
1 Introduction
An arbitrary multi-commodity flow network (mfn) [ 15] is determined by two graphs, physical G and logical P, on the same set V of nodes. Edges r
kof graph G mean physical lines of communications between the nodes from V, and they are ascribed with non-negative numbers y
kcalled the capacity of the edges r
k, k = 1, . . . , n . Edges p
i, i ∈ M
def= {1, . . . , m} of graph P correspond to logical connections between certain pairs of nodes (source-sink pairs). This means that there are demands of flow transmission from one node to the other of p
ithrough the edges of network graph G. Thus, each p
iis specified by source-sink pair ν
si, ν
ti∈ V and positive demand d
i.
A multi-commodity flow network is called symmetrical hierarchical network (shn) if its logical graph has the structure of a star, that is, the source-sink pairs are given in the form (ν
0, ν
i), i ∈ M , with the common source ν
0and all demands are equal to d. The physical graph of a shn usually repeats its logical structure and also is a star network: G = hV, Ei, where V = {v
0, v
1, . . . , v
m} and E = {e
1, e
2, . . . , e
m} where e
i= (v
0, v
i). We considered a formal hierarchical network [2].
Star topology is the most common type of network topology that is often used in computer networks and is typical for electricity networks. Star networks were proposed as an attractive alternative to the well-known hypercube models for interconnection networks. Extensive research has been performed that shows star networks are as versatile as hypercubes [5].
Sterbenz et al. [17] provided an architectural framework for resilience and
1 Introduction E24
survivability in communication networks and provides a survey of the disci- plines that resilience encompasses, along with significant past failures of the network infrastructure.
Morehead and Noore [14] studied the resiliency of hierarchical networks and compared the results with random networks and scale-free networks. They used a load-based attack model and extended the dynamic model to cascading attacks.
Chang and Hwang [4] proposed an analytical model for evaluating the perfor- mance of adaptive hierarchical networks with multiple classes of traffic. They studied the reduced load approximation model for multi-rate loss networks, and then proposed a novel performance evaluation model for networks with hierarchical routing.
Manish Garg and Cole Smith [7] considered the design of a multi-commodity flow network, in which point-to-point demands are routed across the network subject to link capacity restrictions. Such a design must build enough capacity and diverse routing paths through the network to ensure that feasible multi- commodity flows continue to exist, even when components of the network fail. They examine several methodologies to optimally design a minimum cost survivable network that continues to support a multi-commodity flow under any of a given set of failure scenarios, where each failure scenario consists of the simultaneous failure of multiple arcs.
Survivable system and survivable network have been designed and evaluated for many years. The concept of survivability is fundamental to many of the natural, social planning and engineering sciences, but its definition varies depending on the context of applications [8]. In many network design models, network survivability is defined as the ability of a network to maintain or restore an acceptable level of performance in the event of deterministic or random failures [18].
I summarise the many definitions of survivability as the following: Survivabil-
ity is the system’s ability to continuously deliver services in compliance with
1 Introduction E25
the given requirements in the presence of failures and other undesired events.
Network survivability is critical component of the global telecommunication infrastructure [16 ]. Network survivability was defined for an ip-over-wdm network as the ability of the network to recover from any single physical link failure [11]. Kan et al. [11] identified two criteria for satisfying in order to ensure network survivability:
1. the source and destination of every traffic demand must remain con- nected after any physical link failure; and
2. the spare capacity in the network must be sufficient to support all of the disrupted traffic.
The first criterion can be satisfied if the logical topology remains connected after any physical link failure. A routing was called survivable if any physical link failure leaves the logical topology connected. The problem of finding such a routing of the logical links on the physical topology has been studied [12].
However, the network must also have sufficient spare capacity to reroute the disrupted traffic. Determining where to place spare capacity in the network and how much spare capacity must be allocated to guarantee the restoration of the network against single link failures is called the spare capacity allocation problem.
Network survivability is an important requirement in high speed optical
networks. The survivability of these networks from the failure of a single
component such as a link or a node needs some typical approaches. Kalamani,
Palaniswami and Nagarajan [10] considered double link failures in a hypercube
optical network and presented three loopback methods suggested by the
researchers for handling such failures. In the first two methods, two edge-
disjoint backup paths are computed for each link for rerouting traffic when
a pair of links fails. These methods require the identification of the failed
links before recovery can be completed. The third method requires the pre-
computation of a single backup path and does not require link identification
before recovery. Protection capacity, restorability, worst-case and average hop-
1 Introduction E26
length, worst-case and average number of connections are used as performance measures in their analysis.
Heegaard and Trivedi [9] considered the network’s ability to survive major and minor failures in network infrastructure and service platforms that are caused by undesired events that might be external or internal. Survival means that the services provided comply with the requirement also in presence of failures.
Network survivability models considered by Heegaard and Trivedi [9] treat networks exposed to undesired events that cause links and nodes to fail, which are typically followed by a sudden change in the availability of network resources such as bandwidth of the transmission links, queuing positions (memory), and processor capacity. Gradually the resources are restored through rerouting and by restoration of the failed links and nodes, which results in restored performance.
Chen, Garg and Trivedi [6] propose a quantitative approach to evaluate network survivability. They perceive the network survivability as a composite measure consisting of both network failure duration and failure impact on the network.
The problem of the efficiency analysis of multiuser network systems was considered by Malashenko and Novikova [13] under conditions of nonrandom external perturbations, which decrease the edge capacity of the physical graph of the network. The formulation of the corresponding problem of the feasibility of multi-commodity flow networks for the known demand vector was proposed.
It is known that the physical structure of a star possesses poor properties of survivability. To create an additional circular structure connecting all the sinks may raise the survivability of shn.
We considered the effectiveness of radial reserve to raise the survivability of
shn taking account of destruction of the main radial edges, and the radial
reserve [1]. With the sufficient capacity of circular reserve for hierarchical
1 Introduction E27
network, we can obtain the maximum level of demand satisfaction [2]. We compared the efficiency of sufficient circular and radial reserve to raise the survivability of shn [ 3]. Here we find the optimal value of circular reserve of shn that guarantee the maximum level of demand satisfaction.
Denote by ¯ G the shn with additional circular reserve, that is, ¯ G = hV, ¯ Ei , E = E ¯ ∪ E
0, E
0= {e
01, e
02, . . . , e
0m}, where e
0i= (v
i, v
i+1), i 6= m , and e
0m= (v
m, v
1). Let c = (c
1, . . . , c
m) be a capacity vector for circular edges of ¯ G.
Let z
jbe the amount flow between nodes ν
0and ν
jand f
jidenote the share of flow z
jbetween ν
0and ν
jwhich passes by edge (ν
0, ν
i). The variables f
ji→and f
ji←denotes the share of the flow z
jbetween ν
0and ν
jthat passes by circular edges clockwise and counter-clockwise respectively.
In these variables the flow constraint conditions for shn are X
mi=1
f
ji= z
jfor all j ∈ M ,
f
ji= f
ji→+ f
ji←for all i, j ∈ M, i 6= j, f
jj→= f
jj←= 0 , (1) and the capacity constraints for shn for all i ∈ M are
X
m j=1f
ji6 y
i, (2)
X
i−1 j=1X
i−1 l=j+1f
jl→+ X
j−1l=1
f
jl←+ X
ml=i
f
jl←!
+ X
mj=i
X
i−1 l=1f
jl→+ X
m l=j+1f
jl→+ X
j−1l=i
f
jl←!
6 c
i. (3)
Denote by f ∈ R
3m+ 2the set of flow variables f
ji, f
ji→and f
ji←, i ∈ M and j ∈ M , that satisfy (1). The constraints (1), (2) and (3) define the polyhedron of feasible flow distributions
F(y, c) = {f > 0 | subject to( 1), (2), (3) }.
2 Competitive distribution of flows E28
2 Competitive distribution of flows
Let ¯ d = (d, . . . , d) and c = (c
1, . . . c
m) be the initial capacity vectors for radial and circular edges of shn respectively, and ¯ y = (¯ d, c).
Denote by Z(¯ y) the set of all feasible multiflows z = (z
1, . . . , z
m) in the network with capacity vector ¯ y, that is,
Z(¯ y) = {z > 0 | there exists f ∈ F(¯y) : z = z(f)} , (4) and define
θ
0= θ
0(¯ y) = max
f∈F(¯y)
min
i∈Mz
i(f)
d . (5)
The value of θ
0shows the measure of effectiveness functioning of shn.
If f
0be the optimal solution of (5), then f
0is called the competitive distribution of flows.
In the case m = 1 , (5) is a well known problem of flow maximisation. For m > 1 it formalises the concurrent flow problem. A multi-flow achieves demand satisfaction if it ships an amount of each commodity equal to its demand from its source to its sink while obeying the capacity constraint. This corresponds to θ
0> 1 . Otherwise, an arbitrary concurrent flow distribution f
0(a maximiser in (5)) may be not the best for certain network users.
The function θ
gγ(¯ y) denotes the guaranteed level of demand satisfaction depending on reserve capacity c and demands d and is defined as
θ
gγ(¯ y) = min
y∈Y(γ)
θ
0(y, c) = min
y∈Y(γ)
max
f∈F(¯y)
min
i∈Mz
i(f)
d , (6)
where
Y(γ) =
y > 0 | X
mi=1
y
i= (1 − γ)md, y
i6 d for all i ∈ M
. (7)
2 Competitive distribution of flows E29
Here γ ∈ (0, 1) is a parameter which characterises the power of network destruction. It indicates what part of the total capacity of radial edges may be lost.
The Survivability of shn is defined by θ
gγ(¯ y). Note that θ
gγ(¯ y) 6 1 − γ , γ ∈ (0, 1).
In this article a formula is given for calculating the circular reserve value which is necessary and sufficient to guarantee the level θ
gγ(¯ y) = 1 − γ , γ ∈ (0, 1).
We introduce C(γ), the set of possible alternatives of a sufficient ring redun- dancy,
C(γ) =
c = (c
1, . . . , c
m) | (1 − γ)¯d ∈ Z(y, c) for all y ∈ Y(γ) . Theorem 1 Let ¯ d = (d, . . . , d) and c = (c
1, . . . , c
m) be the initial capacity vectors of radial and circular edges of shn respectively, and t
0be the optimum value of circular reserve for shn that guarantees the level θ
gγ(¯ y) = 1 − γ , γ ∈ (0, 1). Then
t
0= min
c∈C(γ)
max
i∈M
c
i=
12
(m − d(1 − γ)me)d(1 − γ) , l > 1 − γ ,
1
2
b(1 − γ)mcdγ , l 6 1 − γ , (8) where l = (1 − γ)m − b(1 − γ)mc and bac(dae) is the nearest integer value less (greater) than or equal to a.
Proof: We first show that
there exists c
0= (c
01, . . . c
0m) ∈ C(γ) : for all i ∈ M c
0i6 t
0.
This means that t
0is a sufficient capacity for circular edges in order to guarantee the maximum level of demand satisfaction. Let c
0= (t
0, . . . , t
0).
We must prove that
for all y ∈ Y(γ) there exists f ∈ F(y, c
0) : z(f) = ¯ d(1 − γ).
2 Competitive distribution of flows E30
Assume that y = (y
1, . . . , y
m) ∈ Y(γ). Define f ∈ R
3m+ 2, the set of variables f
ji, f
ji→and f
ji←, i, j ∈ M ,
f
ji→= f
ji←=
−t
it
j2 P
r∈I+
t
r−1, i ∈ I
+, j ∈ I
−,
0, otherwise, (9)
f
ji= f
ji→+ f
ji←, i 6= j , (10) f
jj=
y
j, j ∈ I
−,
d(1 − γ), j ∈ I
+, (11)
where
t
i= y
i− d(1 − γ), I
+= {i | t
i> 0 }, I
−= M \ I
+. (12) Now we show that z(f) = ¯ d(1 − γ).
z
j= X
ml=1
f
jl= X
m l=1, l6=j(f
jl→+ f
jl←) + f
jj= X
l∈I+, l6=j
(f
jl→+ f
jl←) + X
l∈I−, l6=j
(f
jl→+ f
jl←) + f
jj=
d(1 − γ), j ∈ I
+,
P
l∈I+
−t
lt
jP
r∈I+
t
r−1+ y
j, j ∈ I
−,
=
d(1 − γ), j ∈ I
+,
−t
j+ y
j, j ∈ I
−,
=
d(1 − γ), j ∈ I
+, d(1 − γ)m, j ∈ I
−,
= d(1 − γ) for all j ∈ M . Now we show that P
i∈I+
t
i= − P
i∈I−
t
i. y ∈ Y(γ) ⇒ X
i∈M
y
i= (1 − γ)md ⇒ X
i∈M
y
i− (1 − γ)d
= 0
2 Competitive distribution of flows E31
⇒ X
i∈M
t
i= 0 ⇒ X
i∈I+
t
i= − X
i∈I−
t
i. (13)
Let us now check the capacity constraints on the radial and circular edges of shn.
X
j∈M, j6=l
(f
j→l+ f
j←l) + f
ll (9)−(11)=
P
j∈I−
−t
lt
jP
r∈I+
t
r−1+ f
ll, l ∈ I
+,
f
ll, l ∈ I
−,
(13)
=
t
l+ f
ll, l ∈ I
+, f
ll, l ∈ I
−,
=
y
l− d(1 − γ) + d(1 − γ), l ∈ I
+,
y
l, i ∈ I
−,
= y
lfor all l ∈ M . We verified the capacity constraints on the radial edges.
By (3) and (9), the capacity constraints on the ring becomes X
i−1j=1
X
m l=1, l6=jf
jl→! +
X
m j=iX
m l=1, l6=jf
jl→!
6 c
ifor all i ∈ M , and hence
X
m j=1X
m l=1, l6=jf
jl→6 c
ifor all i ∈ M .
Thus for the checking of the capacity constraints on the ring, we must show that
X
m j=1X
m l=1, l6=jf
jl→6 c
i= t
0for all i ∈ M , for all y ∈ Y(γ). (14) By (9) and (13)
X
m j=1X
m l=1,l6=jf
jl→= X
j∈I−
X
l∈I+
− t
lt
j2 P
r∈I+
t
r= 1 2
X
l∈I+
t
l. (15)
2 Competitive distribution of flows E32
To prove (14), we show that max
y∈Y(γ)
X
l∈I+
t
l= 2t
0. (16)
y∈Y(γ)
max X
l∈I+
t
l= max
y∈Y(γ)
X
i∈M
[y
i− d(1 − γ)]
+, (17)
where [·]
+= max(0, ·).
Define ψ
l(y) = [y
l− d(1 − γ)]
+. For all l ∈ M , ψ
l(y) is a convex function and therefore P
l∈M
ψ
lis also a convex function.
Let
I
1= {i | y
i= d, y ∈ Y(γ) }, I
2= {i | y
i= 0, y ∈ Y(γ) }, I
3= {i | 0 < y
i< d, y ∈ Y(γ) }.
Note that, y ∈ Y(γ) is an extreme point of Y(γ) if and only if y ∈ S
def= {y ∈ Y(γ) | |I
3| 6 1}.
Another presentation of S is S =
y ∈ Y(γ) | y = (d, . . . , d, y
q, 0, . . . , 0) or vectors given from any permutation of y
, where 0 6 y
q6 d ,
y
q= md(1 − γ) − bm(1 − γ)cd , (18) q = |I
1| + 1 = b(1 − γ)mc + 1 . (19) Now we show that the value of P
mi=1
ψ
i(y) for all y in S is the same. Assume that this is not so. Then two cases are possible:
1. y
q> d(1 − γ);
2. y
q6 d(1 − γ).
2 Competitive distribution of flows E33
In Case 1 for all y ∈ S we have X
i∈M
ψ
i(y) = X
i∈M
[y
i− d(1 − γ)]
+= |I
1|
d − d(1 − γ)
+ y
q− d(1 − γ)
= b(1 − γ)mcdγ + md(1 − γ) − b(1 − γ)mcd − d(1 − γ)
= (m − 1)d(1 − γ) − b(1 − γ)mcd(1 − γ)
= (m − 1 − b(1 − γ)mc)d(1 − γ)
= (m − d(1 − γ)me)d(1 − γ). (20)
In Case 2 for all y ∈ S X
i∈M
ψ
i(y) = X
i∈M
[y
i− d(1 − γ)]
+= |I
1|dγ
= b(1 − γ)mcdγ . (21)
Clearly, the value of P
i∈M
ψ
i(y) for any y ∈ S in Cases 1 and 2 is not depen- dent on y and this value is the same for all y belong to S. Since P
i∈M
ψ
i(y) is a convex function and Y(γ) is a convex polyhedron, then the optimal solution for (17) occur at any extreme point of Y(γ).
By (17), (18), (20) and (21) we obtain
y∈Y(γ)
max X
l∈I+
t
l=
(m − d(1 − γ)me)d(1 − γ)
if (1 − γ)m − b(1 − γ)mc > 1 − γ , b(1 − γ)mcdγ
if (1 − γ)m − b(1 − γ)mc 6 1 − γ ,
= 2t
0(22)
By (14) and (22) we verified the capacity constraints on the ring (circular edges) and therefore
c = (t
0, . . . , t
0) ∈ C(γ).
2 Competitive distribution of flows E34
Now we show for all c = (c
1, . . . , c
m) ∈ C(γ) there exists l ∈ M : c
l> t
0. Let
c = (c
1, . . . , c
m) ∈ C(γ) , y = (d, . . . , d, ˜ ˜ y
q, 0, . . . , 0) ∈ Y(γ) ,
where q = [(1 − γ)m] + 1 , ˜ y
q= (1 − γ)md − b(1 − γ)mcd . Two cases are possible
1. y ˜
q> d(1 − γ);
2. y ˜
q6 d(1 − γ).
In Case 1 since c ∈ C(γ), therefore for all f ∈ F(˜ y, c) from (3), for i = q + 1 , X
qj=1
X
q l=j+1f
jl→+ X
j−1l=1
f
jl←+ X
m l=q+1f
jl←!
+ X
m j=q+1X
q l=1f
jl→+ X
m l=j+1f
jl→+ X
j−1 l=q+1f
jl←!
6 c
q+1. (23)
Since f
jl→, f
jl←for all l, j are positive, X
m j=q+1X
q l=1f
jl→6 c
q+1.
Similarly, the below inequality can be obtained for i = 1 . X
mj=q+1
X
q l=1f
jl←6 c
1.
Thus X
mj=q+1
X
q l=1(f
jl→+ f
jl←) 6 c
1+ c
q+1. (24)
2 Competitive distribution of flows E35
Since ˜ y = (d, . . . , d, ˜ y
q, 0, . . . , 0), ˜ y
q> d(1 − γ) , the amount of flow that can pass by edge l, l = 1, . . . , q , (that is, P
mj=q+1
f
jl) is equal to y
l− d(1 − γ) and X
mj=q+1
X
q l=1(f
jl→+ f
jl←)
= X
m j=q+1X
q l=1f
jl= X
ql=1
y
l− d(1 − γ)
= X
q−1l=1
d − d(1 − γ)
+ ˜ y
q− d(1 − γ)
= (q − 1)dγ + ˜ y
q− d(1 − γ)
= b(1 − γ)mcdγ + (1 − γ)md − b(1 − γ)mcd − d(1 − γ)
= d(1 − γ)
(m − 1) − b(1 − γ)mc
= d(1 − γ)
m − d(1 − γ)me
. (25)
From (24) and (25) we obtain
d(1 − γ) (m − d(1 − γ)me) 6 c
1+ c
q+1. Thus either
c
1>
d(1 − γ)
m − d(1 − γ)me
2 ,
or
c
q+1>
d(1 − γ)
m − d(1 − γ)me
2 ,
hence there exists l ∈ M : c
l> t
0.
In Case 2, similar to Case 1, we derive the two inequalities X
mj=q
X
q−1 l=1f
jl→6 c
q, and X
mj=q
X
q−1 l=1f
jl←6 c
1.
3 Numerical example E36
Thus
X
m j=qX
q−1 l=1(f
jl→+ f
jl←) 6 c
1+ c
q. (26) On the other hand,
X
m j=qX
q−1 l=1(f
jl→+ f
jl←) = X
q−1l=1
d − d(1 − γ)
= (q − 1)γd
= b(1 − γ)mcγd . (27)
From (26) and (27) either
c
1> b(1 − γ)mcdγ
2 or c
q> b(1 − γ)mcdγ
2 .
Hence in Case 2, as well as, Case 1
there exists l ∈ M : c
l> t
0,
and therefore for all c ∈ C(γ) there exists l ∈ M : c
l> t
0. This completes
the proof of the theorem. ♠
3 Numerical example
Let ¯ d = (10 , 10, 10, 10) be the initial capacity vector of shn, and γ = 0.1 . In this case we have m = 4 and
Y(0.1) =
y = (y
1, y
2, y
3, y
4) | X
4i=1