Научная статья на тему 'Calculation of connectivity probability in recursively defined random networks'

Calculation of connectivity probability in recursively defined random networks Текст научной статьи по специальности «Математика»

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

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

In this paper a problem of a construction of new and practically interesting classes of recursively defined networks, including internet type networks, with sufficiently fast algorithms of calculation of connectivity probability is considered. For this aim recursive and asymptotic formulas of connectivity probability calculation are constructed. Asymptotic formulas are based on assumptions that all network arcs are low reliable or there are high reliable and low reliable arcs in considered network. For example in radial-circle scheme radial arcs may be high reliable and circle arcs – low reliable

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

Текст научной работы на тему «Calculation of connectivity probability in recursively defined random networks»

CALCULATION OF CONNECTIVITY PROBABILITY IN RECURSIVELY DEFINED

RANDOM NETWORKS

G.Tsitsiashvili, A. Losev

640041, Russia, Vladivostok, Radio str. 7, IAM, FEB RAS, e-mail: [email protected],

ABSTRACT

In this paper a problem of a construction of new and practically interesting classes of recursively defined networks, including internet type networks, with sufficiently fast algorithms of calculation of connectivity probability is considered. For this aim recursive and asymptotic formulas of connectivity probability calculation are constructed. Asymptotic formulas are based on assumptions that all network arcs are low reliable or there are high reliable and low reliable arcs in considered network. For example in radial-circle scheme radial arcs may be high reliable and circle arcs - low reliable.

1 INTRODUCTION

Recursively defined networks and structures are investigated in reliability theory for a long time. For an example it is possible to consider parallel-sequential connections [1,2] defined as follows. The class K1 of parallel-sequential connections contains independently working elements

A. If the ports A,BeK 1 and their arcs sets do not intersect then the parallel connection (A||B)eK 1 and the sequential connection (A^B)eK 1.

Another example is represented in [3] where in frames of logic-probability approach [4] a class of logic forms with independent Boolean random variables is constructed. This class may be considered as recursively defined class K 2 which contains all independent Boolean random

variables and if logic forms A,BeK2, and their sets of variables do not intersect then the conjunction (AaB)eK2, the disjunction (AvB)eK2 and the negation (A)eK2. Here we

formally put ((A )) = A. This class of logic forms has found manifold economical applications in

risk and efficiency control.

For recursively defined networks which consist of equally reliable arcs and which describe different physical systems there are methods of a reliability calculation based on a definition of a root of a high power polynomial. These methods have polynomial complexity [5]. Analogous problem is considered [6] for recursively defined networks of "consecutive-k-out-of-n" type.

It is easy to establish that a calculation of the port AeK 1 reliability (a probability that there is a working way between initial and final nodes of A) and a calculation of a reliability of a logic system characterized by a logic form AeK 2(a probability of an event (A=1)) it is necessary a number of arithmetic operations equal to a number of brackets in the form A representation.

So it is naturally to put a question, is it possible to construct new and practically interesting classes of recursively defined networks, including internet type networks [7], with sufficiently fast algorithms of calculation of connectivity probability.

In this paper this question receives a positive respond. Recursive and asymptotic formulas of connectivity probability calculation are constructed. Asymptotic formulas are based on assumptions

that all arcs are low reliable or there are high reliable and low reliable arcs in considered network. For example in radial-circle scheme radial arcs may be high reliable and circle arcs - low reliable.

It is worthy to remark that there are results [8] - [10] mathematically interesting and rich in content to construct upper bounds of connectivity probabilities in networks of general type. These bounds are based on a construction of a maximal system of network frameworks. But in special recursively defined networks it is possible to obtain fast algorithms of reliability calculation without construction of network frameworks. Such approach allows accelerating reliability calculations significantly.

2 RECURSION CREATED BY GLUEING OF NETWORKS IN SINGLE NODE

Suppose that r1' ,...,r/ are networks with no intersected sets of arcs and B' is a family of networks consisting of sequences of independent copies of r1',...,r/. Consider a recursively defined class B (of networks) with a family of generators B' c B and assume that r(r)=0, TeB'.

Suppose that networks TeB, r'eB' have finite sets of nodes U, U' and no intersected sets of

u

arcs W, W'. Then the network r®r' constructed by a glueing of networks r, r' in a single node also belongs to class B and r|r®r'j = r(r) + 1. Here r(r) may be considered as a number of

glueings generating the network r and r(T) does not exceed a number of arcs in r.

Example 1. The network r is radial-circle with n nodes 1,...,n on a circle with a center 0 if it has the nodes set U={0,1,...,«} and the arcs set W={(01),...,(0n), (12),(23),.,(n-1)n,(n1)}. Suppose that the networks r/,...,r/ are radial-circle. Construct from them the family of generators B' and introduce the recursively defined class of networks B obtained by a glueing

u

procedure r®r', TeB, r'eB' with the reserve that their joint node is a center of the radial-circle network r'. The network TeB may be considered following [7] as a network of internet type.

We shall interest in the probability n(r) of the network TeB connectivity. It is the probability that there is a family of working arcs in the network r which are connected with all its nodes and arcs of this family create a connected deterministic network.

Lemma 1. For TeB, r'eB' the following recursive formula is true:

?r[r®rj = n(r)n(r). (1)

u

Proof. Indeed if the network r®r' is connected then the networks r, r' are connected also.

u

Vice versa if the networks r, r' are connected then the network r®r' is connected also. From the

u

class B definition we have that the probability of the network r®r' connectivity equals the product n(r) n(r').

Denote N(r) a number of arithmetical operations necessary to calculate the connectivity

probability n(r), TeB, N'= Z N(rj).

1< j <i

Theorem 1. For any TeB the inequality

N (r)< N' + r (r) (2)

is true.

Proof. It is obvious that for TeB' the inequality (2) takes place. Suppose that the formula (2)

u

is true for the network TeB, check this formula for the superposition r®r', r' eB'. From the definition of N' and from the recursive formula (1) obtain that

N [Y® r j < N (r) +1 < N ' + r (r) +1 = N ' + r [Y®r j .

Remark 1. Theorem 1 gives linear by a number of arcs complexity of a connectivity probability calculation for networks from recursively defined class B.

Remark 2. Analogously to a definition of a connectivity probability ^(T) it is possible to introduce a probability ^(T) that there is closed working way through all nodes of r. Repeating the inequality (2) proof it is possible to obtain the inequality

K(r) < K' + r (r), (3)

where K(r) is a number of arithmetical operations necessary to calculate ^(r), TeB,

K'= Z K(rj). A formulation of ^(r) calculation problem is similar to the travelling salesman

i< j <i

problem.

For the network re B analogously to Floid and Steinberg problem [11] find a family of probabilities Pr={Pr(w0,v0) : u0^v0,u0,v0eU} which consists of /(r)(/(r)-1)/2 elements. Here /(r) is a number of nodes in the network r. For a definition of the family Pr it is convenient to use the recursive formulas

Pr (uo, vo), uo, vo eU,

Pr (uo, voX uo, vo eU(4) Pr (uo, vo) Pr' (uo, vo), uo eU, vo e U'.

Denote N(r) a number of arithmetical operations necessary to calculate Pr, TeB,

N = Z N (rj) .

1< j </

Theorem 2. For any TeB the following inequality is true:

P r® r'(j0, Vq) = <

From the formulas (5) we have that

N(r)<l(r)(12r)-1) + N . (5)

lim 2N(r) = 1. (6)

/(F)^»/(r)(((r)-1) V 7

So in asymptotic /(r)^ro a calculation of Pr(uovo) a for single pair of nodes uo^vo it is

necessary no more than unit arithmetical operation.

Proof. It is obvious that for TeB' the inequality (5) is true. Suppose that this inequality takes

u

place for the network TeB, prove this inequality for the superposition r®T', where T'eB', for a

u

simplicity denote /=/(T), /'=/(D, L=/(r®r')=/+/' - 1. Then from the formula (4) obtain

N[V®r'^j< N(r) + (/ -1)(/'-1)< N' ++ (/ -1)(/'-1)< N' + L(L2-1) .

3 ASYMPTOTIC FORMULAS

Consider Example 1 in which the set of generators consists of radial-circle schemes r satisfying the following asymptotic condition. Suppose that each arc weW independently on other arcs work with the probability pw, o<pw<1, weW and for h^o reliabilities of circle arcs

Pu1,u2 = pu1,u2 (h) ^ o, pu2,u3 = pu2,u3 (h) ^ o,..., (7)

= pun-1,u„ (h) ^ 0, pu„,u1 = pu„,u1 (h) ^ o.

The reliabilities of radial arcs (u*,ui),..., (u*,un) are positive and do not depend on the parameter h

pu,,ui = const > 0,...,Pm,un = const > (8)

Remark that the conditions (7), (8) are taken from manifold observations of real systems in which reliabilities of radial arcs are significantly larger than reliabilities of circle arcs. Theorem 3. If the conditions (7), (8) are true than

n(r) ^npu„u,, h ^ 0. (9)

Proof. Denote the event A that the network r is connected. Then there is a family of working arcs W* c W so that a set of their edges coincides with U and for any pair of nodes from U there is a way R with arcs from W*. Define the event BcA that all radial arcs (u*,ui),..., (u*,un) work.

Introduce the event C that there is failing radial arc and the event D that there is working circle arc. It is obvious that

A \ B c C n D

and consequently

P(A) - P(B) < P(C)P(D). (10)

From the events A,B,C,D definition obtain that for h^-0 we have

P(A) = n(r), P(B) = X\Pu„u, P(C n D) = P(C)P(D) < P(D) 0. (11)

,=i ' ,=i '

Put the formulas (11) into the inequality (10) and obtain the asymptotic formula (9).

Remark 3. Repeating Theorem 3 proof it is easy to spread its statement onto a network consisting of center and circle nodes in which center is connected with all circle nodes and radial arcs reliabilities satisfy the condition (8). Circle nodes may be connected with each other by arbitrary (not only circle) arcs which satisfy the condition (7).

Remark 4. Suppose that the network r with the nodes set U and with the arcs set W satisfies the following condition. There is the subset W1 in the set W which creates connected sub network r1 of the network r with the nodes set U1=U. And a deleting of any arc from the network r1 makes it disconnected or the equality U1=Ubecomes not true. Then if the reliabilities pw, we W, satisfy the conditions

Pw = const > 0, w eWx, Pw = Pw (h) ^ 0, h ^ 0, w e W \ Wx,

then we have

n(r) ^ n Pw, h ^ 0.

weW1

Consider the port r with fixed initial and final nodes u*,v*, finite set of nodes U and finite set of arcs W. Suppose that the set Wconsists of no intersected subsets W1, W2 and for any we W1,pw

(h) = Pw >0 and for any we W2 pw(h)^0, h^0. Denote ^ = {R1,...Rn} a family of all acyclic

ways between the nodes u*, v*.

Theorem 4. If the following formulas are true

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

R c W1, R2 n W2 ^UJ...,Rn n Wn *UJ (12)

then the probability that the nodes u*,v* are connected in the port r satisfies the formula

Pr (u*, v*) ^n Pw, h ^ 0. (13)

weR1

Proof. Denote UR the event that all arcs from the way R work then

Pr (u*,v*) P URj ,

1 ' m

(15)

S ) - S P(URURk ) < Pr (u*, v*) <S ), (14)

i=1 1<i<k <m ' i=1

From the sets W\, W2 definition for h^-0

P(Uri) - n pw, P(URk ) = 0(1), 1 < k < m,

weR1

P(URURt ) = 0(1), 1 < i * k < m, h ^ 0.

The formulas (14), (15) lead to (13).

Remark 5. If the following conditions are true

R ç Wj,1 < i < p < n, Rj n W2 * U, p < j < n, (16)

then the connection probability of the nodes u*,v* in the port r satisfies the formula

Pr(u*,v*) ^ P| U UR !, h ^ 0. (17)

V 1<'<p J

Remark 6. Consider the radial-circle scheme described in Example 1 and satisfying the conditions (7), (8). Here the set W1 consists of radial arcs and the set W2 - from circle arcs. If the

node u* coincides with the center and v* coincides the circle node u', ie {1,...,n} then the way R1

consists of the arc (u*,u'). If the nodes u*=u', v*=uk, 1<i^k<m are circle then the way R1 consists

of the arcs (u* ,w), (u*, uk). Consequently in the conditions (7), (8) we obtain the formulas

Pr (u*,u) ^ p^, Pr (ui,uk) ^ pu,^pu,uk, h ^ 0 1 <i * k < n. (18)

4 NUMERICAL EXPERIMENT

Consider the radial-circle scheme with 6 circle nodes and with arcs reliabilities

p(01)=0.993515, p(02)=0.99727, p(03)=0.995938, p(04)=0.980191, p(05)=0.98099, p(06)=0.990262, p(12)=0.0132823, p(23)=0.00489211, p(34)=0.010295, p(45)=0.00573119, p(56)=0.0180407, p(61)=0.0034061. Denote by n*, n** estimates of connectivity probability obtained by the asymptotic formula (9) and by the Monte-Carlo method with 100000 random realizations of the radial-circle scheme. Numerical experiment shows that

n* = 0.955411, n** = 0.95552,

n ** 1 = 1.14 *10-4, 1-n** 1

n* 1 -n*

= 0.0025,

and calculation time for n* is more than 10000 times smaller than calculation time for n**. Suppose now that

p(01)=0.91, p(02)=0.92, p(03)=0.93, p(04)=0.94, p(05)=0.95, p(06)=0.96, p(12)=0.0132823, p(23)=0.00489211, p(34)=0.010295, p(45)=0.00573119, p(56)=0.0180407, p(61)=0.0034061. Then numerical experiment gives us the estimates

n* = 0.667475, n** = 0.67149, —-1 = 0.00597957,

n*

with the same difference of calculation times for the estimates n*, n**.

Denote p =

P (ui,u.) and put p =

i, j=0

P (u,, u. )

the matrices of the connection

i, j=0

probabilities estimates using the formula (18) and using the Monte-Carlo method with 100000

-*

random realizations. Numerical experiment shows that calculation time of the matrix p is

approximately 20000 times smaller than the calculation time of the matrix p

A(ul,Uj) = p (ul,Uj)/p (Ui,Uj) -1.

Denote A = A(u,, u. ) , . , where

II J lli,j =0

The matrixes p ,p , A are represented only by over diagonal elements because they are symmetric and have zero diagonal elements. Calculation results are following:

P*=

0.99351

0.99727 0.99080

0.995938 0.989479

0.993219

0.980191 0.973834

0.977515

0.976209

0.98099 0.974628

0.978312

0.977005

0.961558

0.990262 0.98384

0.987559

0.98624

0.970646

0.971437

- 0.99403 0.99740 0.99602 0.9801 0.98201 0.99026

- - 0.99147 0.99014 0.9742 0.97622 0.98435

- - - 0.99348 0.9776 0.9795 0.9877

- - - - 0.9762 0.97822 0.98634

- - - - - 0.96278 0.9706

- - - - - - 0.97254

- 0.00051836 0.00013036 0.000082334 0.00008264 0.0010398 0.00000202

- - 0.00067349 0.000667682 0.00039589 0.0016332 0.00051822

- - - 0.000262692 00.00015849 0.0012144 0.00014320

- - - - 0.00003128 0.0012434 0.00010185

- - - - - 0.0012713 0.00004729

- - - - - - 0.00113531

References

1. Barlow R. E., Proschan F. Mathematical Theory of Reliability. London and New York: Wiley, 1965.

2. Ushakov, I.A. et al. Reliability of technical systems: Handbook. 1985. Moscow: Radio and Communication. (In Russian).

3. Solojentsev E.D. Specific of logic-probability risk theory with groups of incompatible events. Automatics and remote control, 2003, № 7, pp. 187-203. (In Russian)

4. Riabinin I.A. Reliability and safety of systems with complex structure. Spb.: edition of Sankt-Petersberg University, 2007. (In Russian).

5. Tanguy C. Exact solutions for the two-terminal Reliability of recursive structures: a few directions. MMR 2009 - Mathematical methods in reliability. Moscow, 2009, pp. 220-224.

6. Cui L., Zhao X. Recursive Equations of Reliability for Linear Consecutive-k-out-of-n: F Systems with Sparse d. MMR 2009 - Mathematical methods in reliability. Moscow, 2009, p. 45.

7. Ball M. O., Colbourn C. J., Provan J. S. Network Reliability. In Network Models. Handbook of Operations Research and Management Science. Elsevier. Amsterdam, 1995, vol. 7, pp. 673-762.

8. Polesskiy V.P. Estimates of connectivity probability of random graph. Problems of information transmission, 1990, vol. 26, № 1, pp. 90-98. (In Russian).

9. Polesskiy V.P. Low estimates of connectivity probability for some classes of random graphs. Problems of information transmission, 1993, vol. 29, № 2, pp. 85-95. (In Russian).

10. Polesskiy V.P. Low estimates of connectivity probability in random graphs generated by doubly-connected graphs with fixed base spectrum. Problems of information transmission, 1992, vol. 28, № 2, pp. 86-95. (In Russian).

11. Floid R.W., Steinberg L. An adaptive algorithm for spatial greyscale. SID 75 Digest, 1975, pp. 36-37.

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