LOGICAL ANALYSIS OF FAILURES GRAPH
G.Tsitsiashvili
*IAM FEB RAS, Vladivostok, Russia, guram@iam.dvo.ru
ABSTRACT
In this paper a problem to define direct and inverse sets of nodes connected with failed node is considered. This problem is solved by a calculation of connectivity matrix. To simplify initial network a problem of a minimization of its numbers of nodes and arcs is solved also. Calculation complexity of this solution is approximately cubic by a number of nodes.
1. INTRODUCTION
Failures graphs or failures trees are widely used in an analysis of different engineering networks: communication, internet, software, in parallel and distributed systems and in technology processes control, etc. (see for example [1]-[3]). This concept is developed presumably in engineering literature and so needs some mathematical interpretation and generalization by modern methods of discrete mathematics: mathema-tical logic, graph theory, general algebra, theory of algorithms and discrete optimization. A purpose of such generalization is to decrease dimension of failures graphs and trees without a change of their main characteristics: direct and inverse sets of nodes connected with failed node. A combination of such approaches allows to obtain new results in this classical area of the reliability theory.
2. DIRECT AND INVERSE SETS OF NODES CONNECTED WITH FAILED NODE
Our aim is to analyze how a failure in some node of oriented graph leads to failures in another nodes. This problem is connected with a necessity to investigate a spread of failures in technological networks. The problem is formulated analogously to a problem of failures tree analysis. But in a case of failures graph which appeared in manifold applications to systems of energy supplement this problem is significantly more complicated. Later we assume that if there is the arc (i,j) in the failures graph then a failure in the node i spreads to the node j.
Consider oriented graph G without fold arcs and without loops. Suppose that its nodes set / consists of n < ra elements and its arcs set V consists of m elements. This graph may be described by incidence matrix where gtj = 1 if the arc(ij) £ V and gtj = 0 if the arc (i,j) g V.
Further we assume that ga = 1, i £ /.
Introduce on the nodes set / of the graph G binary relation [4] " > ". Definition1 .Say that i1 > i2 if in the graph G there is a way from the node i1 to the node i2.
It is obvious that this binary relation is reflexive: i > i, i £ / and transitive: if i1 > i2, i2 > ¿3 then > i3, i2, i3 £ /.
Denote by /x(t) = {/: j > ¿}, I2(i) = {/: i > j} direct and inverse sets of nodes connected with failed node i. To define the family of sets {/i(0, /2(0, i £ 1} we suggest the following algorithm.Suppose that the graph\\gij\\. j is defined by the following conditions: gfj = 1 if in the
graph G there is a way from the node i to the node j with a length not larger than k. In opposite case gfj = 0. It is obvious that gfj = gtj. Theorem 1. The following equalities are true
flfj+s = max min {g1[r,g^,), ie/,je/,fc>l,s> 1. (1)
rei
Proof. Suppose that g^ = 1 then there is a way from the node i to the node j with a length not larger than k + s. This way may be divided into two ways: from the node i to the node r with a length not larger than fcand from the node r to the node j with a length not larger that . Consequently gfr = 1, g^j = 1 and the formula (1) is true.
Vice-versa assume that = 0 and suppose that max minig-L = 1. Then there
J rej V J J
is r£i so that gir = 1, = 1 and consequently there is a way from the node i to the node j with a length not larger than k + s and so = 1. This contradiction proves the
equality max min^y, g^j) = 0. The equality (1) is true. Theorem 2. The relation i > j, i,j El is true if and only if
gfj = 1, Z = min(t: 2* > n). (2)
Proof. The formula (2) leads to the inequalities gfj < gfj < •■•. Any way from the node i to the node j with a length not larger than n contains cycles because the number of nodes in the graph Gequals n. So by a deletion of all cycles it is possible to transform a way between the nodes i,j with a length larger than n to a way with a length not larger than n.Consequently the equalities gfj =
gjj+1 = —are proved and so i > j is true if gjj = gfj = 1.
yl
Corollary 1. From Theorems 1,2 we obtain that to calculate the matrix g(: it is possible to
1 i,jei
use the following algorithm
ok+l . ( 7k 7k\ .
glj = max min , g$j J, i E I,j E I,1 < k < I (3)
with calculation complexity 2ln3 where l~log 2 n, n ^ rc>. Corollary 2. The following equalities are true:
/i(0 = {j: gf = 1}, /2(0 = {j: di? = 1} , i E /. (4)
Remark 1. A specific of the algorithm described by the formulas (3), (4) is that analogously to the Floid and Steinberg algorithm [5] we calculate complete family {/i([i]), /2([i]), i E /} not its representatives. Given algorithm contains logic product of matrices described by the formula (3) and permitting a paralleling by well known methods [6]. To economy of computer memory it is worthy to describe elements of all matrices by logic variables not decimal ones.
3. REPRESENTATIN OF THE SETS I1(i),I2(i) BY CLASSES OF NODES
Consider now a structure of results obtained from the formula (4). Definition2. On the set / introduce binary relation " = "by the condition = i2 if and only if ¿1 > i2, h > ii.
Lemma 1. The relation" = " is equivalence relation.
Proof. From Definition 2 we have that binary relation " = " is reflexive and transitive and symmetric.
Consequently the set / may be divided into equivalence classes î = {¿': i' = i} = {i':gf!i = gfl, = l}.
Denote by J = {î:i e /} the set of such equivalence classes. Definition 3. On the set J introduce binary relation 11 > î2 ^ Bij e ît, i'2 e î2 : ¿i > i'2.
Lemma 2. Binary relation " > "on the set J is a relation of partial order and is defined by the condition 1 gfj = 1.
2. If 11 > i2 then for any i[ £ i'2 £ i2 the formula i[ > i'2 is true.
Proof. 1. From Definitions 2, 3 we have that partial order " > " on the set J of equivalence classes is refle-xive and transitive and antisymmetric and consequently is the relation of partial order. The
yl
formula 1 > / <=> gfj =1 is obvious.
2. Assume that\ > i2 consequently for any i[ £ i2 £ i2 it is possible to construct in the graph G a way from the node i[ to the node i2 and so i[ > i2. Corollary 3. The following formulas are true
/i(0 = U;>J, I2(i) = UtzjT.i £ /. (5)
On the set J of equivalence classes using the relation of partial order " > " it is possible to construct the oriented graph Q with the set of arcs V using the following procedure. Suppose that i > ^and there are nodes i' £ i,/ £ ^so that (i',/) £ V then the arc (ij) £ V. It is obvious that the graph Q is acyclic and
without fold arcs. It is possible to restore the relation " > "using an analog of Definitionl. Denote
by hî
'îjej
incidence matrix of the graph Q and define
ai
îjEJ
as connectivity matrix of the
graph Q nodes. It is obvious that a calculation of the matrices \\gt
1 ÎJEJ '
ai
ÎJEJ
by known
matrices \\gi
'ijEl'
2' 9ii
ijEl
demands not larger than 2n3 arithmetical operations.
4. MINIMIZATION OF ARCS NUMBER IN GRAPH Q
Consider the graph Q with the set J of nodes and the relation of partial order " > " and the set of arcs V. Our problem is to remove from the set V maximal possible subset of arcs so that the
matrix of nodes connectivity g- does not change and consequently the sets {/: j > i},
J IJ£J
{j: !>_/}, i £ J from the formula (5) do not change also. This procedure of a minimization of arcs
number is necessary to make failures graph maximally transparent and compact.
Assume that the set V contains the arc (i,_/).
^ ~ -pi -pi (A). Suppose that there is the node k £ J, k ^ i such that g^g^] = 1. Then the arc (ij) is to
be deleted from the set V. As the graph Q is acyclic so a way i, k,j does not contain the arc (i,j) and consequently a deletion of this arc from the set V does not change the connectivity matrix
If the condition (A) is not true then the arc (ij) remains in the set V and the matrix
îjEJ
does not change also.
ij£J
As a deletion of different arcs from the set V is realized independently so we obtain minimal possible number of arcs in the set Vand this solution is unique. Algorithm of the number of arcs in the graph Q minimization may be easily parallelized because a rejection of arcs is realized independently. It is not difficult to obtain that this procedure demands not larger than2n3 arithmetic operations.
REFERENCES
1. Tseng Y.C., Chang S.H., Sheu J.P. 1997. Fault-tolerant ring embedding in a star graph with both link and node failures. IEEE Transactions on Parallel and Distributed Systems. Volume 8, issue 12. P. 1185 - 1195
2. Datta P., Frederick M.T., Somani A.K.2003. Sub-graph routing : a novel fault-tolerant architecture for shared-risk link group failures in WDM optical networks. Proceedings of Fourth International Workshop on Design of Reliable Communication Networks. P. 296 - 303.
3. Yastrebenetskiy M.A., Ivanova G.M. 1989. Reliability of automatized systems for technology processes control. M.: Energoatomizdat.
4. Kurosh A.G. 1962. Lectures on general algebra. M.: Nauka. (In Russian).
5. Floid R. W., Steinberg L.1975. An adaptive algorithm for spatial greyscale. SID 75 Digest. P.36--37.
6. Valkovsky V.A. 1989. Paralleling of algorithms and programs. Structural approach. M.: Radio
and sviaz. (In Russian).