Научная статья на тему 'Logical analysis of failures graph'

Logical analysis of failures graph Текст научной статьи по специальности «Математика»

CC BY
45
6
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук

Аннотация научной статьи по математике, автор научной работы — G. Tsitsiashvili

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.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Logical analysis of failures graph»

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).

i Надоели баннеры? Вы всегда можете отключить рекламу.