• No results found

Scaling a network with positive gains to a lossy or gainy network

N/A
N/A
Protected

Academic year: 2021

Share "Scaling a network with positive gains to a lossy or gainy network"

Copied!
10
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Scaling a network with positive gains to a lossy or gainy

network

Citation for published version (APA):

Koene, J. (1979). Scaling a network with positive gains to a lossy or gainy network. (Memorandum COSOR; Vol. 7918). Technische Hogeschool Eindhoven.

Document status and date: Published: 01/01/1979

Document Version:

Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers)

Please check the document version of this publication:

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website.

• The final author version and the galley proof are versions of the publication after peer review.

• The final published version features the final layout of the paper including the volume, issue and page numbers.

Link to publication

General rights

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain

• You may freely distribute the URL identifying the publication in the public portal.

If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement:

www.tue.nl/taverne Take down policy

If you believe that this document breaches copyright please contact us at: openaccess@tue.nl

providing details and we will investigate your claim.

(2)

l!:INDHOVEN UNIVEHSI'l'Y OF 'l'ECilNOLOC:;Y Department of Mathematics

PROBABILITY THEORY, STATISTICS, OPERATIONS RESEARCH AND SYSTEM THEORY GROUP

Memorandum-COSOR 79-18

Scalipg a network with positive gains to a lossy or gainy network

by J. Koene

Eindhoven, December 1979 The Netherlands

(3)

1

ABSTRACT

Necessary and sufficient conditions are presented under which i t is possible to scale a network with positive gains to a lossy or a gainy

network. A procedure to perform su~h a scaling operation is given"

INTRODUCTION

In this paper scaling a network with positive gains to a so called lossy network (a network with all gains positive and not greater than one) or to a gainy network (a network with all gains not smaller than one) is considered. Necessary and sufficient conditions will be stated and a procedure to perform such a scaling operation will be described. An obvious advantage of scaling is that dlgorithms available for lossy

or gainy networks, such as [lJ and [6J, can be applied to a wider class

of networks with gains.

Consider a directed and connected graph G(~,A). N is the set of nodes,

A the set of arcs. Each arc (i,j) E A has a gain k ..• Other functions,

~J

such as arc capacities may be defined on A as well. It is assumed that there is one source s and one sink t (if there are more sources and/or sinks one "super" source and one "super" sink can be constructed [3,

p. 120J). Characteristic for a network wlth gains is the following set

of equations: (1)

I

x ..

L

k x

v

j 1) j ji ji s i

=

s (2) 0 iCN-{S,t} (3)

-v

t i t

in which v is the input flow, v

t is the output flow, x .. , (i,j) E A

s ~J

are the flow variables. Equations (2) say that conservation of flow is maintained in intermediate nodes.

A circuit (directed cycle) is said to be absorbing (generating) if the product of gains along the circuit in the direction of the arcs is less (greater) than one.

(4)

2

-SCALING GENERAL SETS OF LINEAR CONSTRAINTS

In this chapter the notion of scaling will be formally introduced. Let

( 4) Bx

=

b

represent a general set of linear constr~intsv

B is a p x q matrix, x is a q vector and b is a p vectoro Suppose the

following transformations are carried out:

(a) x

=

Cy, in which C is a regular diagonal matrix of order q.

(b) both sides of (4) are pre multiplied by a regular diagonal matrix

R of order p.

Then equations (4) are said to be scale~. to:

(5) RBC Y

=

Rb

The matrix

8,

defined by:

-(6) B := RBC

is called the scaled matrix of B. In simple words a matrix B

means that every column j of B is multiplied by a column scale c.

t

0

J

and every row i of B is multiplied by a row scale r.

t

00 Therefore the

1. .

• elements b .. of B are given by: 1.J

(7) b ..

1.J r. c. 1. J b .. 1.J

SCALING NETWORKS WITH GAINS

i 1,o"v,p; j 1, ••• ,q.

Necessary and sufficient conditions for scaling a network with gains to:

(a) a network with unit gains (k ..

=

1, V(i,j) E A)

1.J

(b) a network with positive gains (k .. > 0, V(i,j) E A) 1.J

are provided by Glover and Klingman [2] for case (a) and Truemper [8]

for both cases. In the necessary and sufficient conditions will

(5)

- 3

-(c) a lossy network (0 < k. ,

1J ~ 1, V (i , j ) E A) (d) a gainy network k,. ~

1J 1, V(i,j) E A)

Also a procedure will be described, which performs such a scaling opera-tion. Because there is much resemLlance with the work of Truemper [8J, some of his results are given here:

THEOREM 1. A network with gains can be f~aled to a network with unit gains (rep. positive

d, k ..

such that 1 1J

gains) if and only i f nonzero d, (Vi E N) exist

d, k" 1

d

j

1 (respo 1 1J > 0) for all (i,j) E A. d,

J

A scaling procedure for cases (a) and (b) is:

scaling procedure

1:

(a) Select an arbitrary spanning tr~e T in G(N,A).

(8) Put d 1 for some u E N and deten..i.ne d. (Vi E N) such that

u 1

d. k .. d. for all (i,j) E Ted.

1 1J J k. ,

(y) New gains are given by 1 1J for all (i,j)

d. E A.

J

SCALING TO LOSSY OR GAINY NETWORKS

In the rest of this paper the following assumptions hold: 1. there exists a directed path from s to all i E N

2. 0 < k < 00 (all (i,j) E A)

ij

Two theorems for lossy networks are stated anu proved next:

THEOREM 2. A network with positive gains can be scaled to a lossy

net-d, k.,

work if and only if nonzero d. (Vi E N) exist such that 0 <

1 all (i , j ) EA.

Proof

d. k .. (if) : Let d. -I 0 (Vi E N) be given such that 0 < 1 1J <f

]. d. 1.

]. 1J <f 1 for d.

J

Substitute x .. d. y .. (V(i,j) E A) in equations (1)

-

(3) andJdivide each row i

(6)

4

-d.

~

of these equations by d .• The result is a network with gains k" := --~~

~ ~J d,

J

with Yij as variables (arcs). Because of the assumption we have: 0 <

k

ij ::; .1 for all (i/j) ~ A •

(only if): Let lid, (Vi E N) be the row scales and c. ,(V(i,j) E A) be the

~ ~J

column scales. Each coefficient in the left hand side of equations (1) - (3) with value 1 must remain 1 aft'r scaling. So according to (7)

C, , must be equal to d,for all j, for which (i,j) E A. Therefore scaling

~J ~ always results in d. k" that 0 < ]. ~J d j d, k,. 1 ~J

a network with gains: k" := and it is proved

~J d.

J

~ 1 is necessary for scaling to a lossy network.

D

THEOREM 3. A network with gains can be scaled to a lossy

net-work if and only if the netnet-work does not contain any generating circuit.

Proof.

(if): Define d" := -In k" for all (i/j) EA. For any circuit C the

~J 1J

following property holds: IT k, , :s; I, so:

(i,j)EC 1J

(8)

I

d, .

1J ?. O.

(i,j)EC

If d., is considered as "length" of arc (i,i), constraint (8) says that ~J

there are no so called negative (directed) in the network.

There-fore, under assumptions 1 and 2, there is a finite shortest path between

s and all other nodes in V. Let 11, be t'.e shortest distance from node s

1

to node i E N (b. := 0) and define

Because b. i d, ::= e ~ s -b. i Vi E No

(7)

- 5 -holds: (10) /:; + d .. ~ lI j i 1J V(i,j) E A That is to say: ( 11) 0 <

k ..

1J := ::;; 1, V(i,j) E A

since d. is finite and positive for all i E N.

1

(only if): Suppose the network contains a generating circuit C consisting

of arcs (1/2), (2,3), ••• ,(£-1/£), (£,1) E Au Moreover suppose that

non-zero d. (Vi E N) exist such that:

1

d. k ..

(12)

o

< 1 1J _< 1

d '

j

The following statement holds:

Now IT IT (i,j)EC k .. ::;; (i/j) EC 1J 1, a generating circuit. TI (i,j)EC because of From this V(i,j) E A k .. 1J (12) , but IT (i,j)EC contradiction the

For gainy networks analogous theorems hold:

k .. > 1, because C is

1J

assertion follows.

0

THEOREM 4. A network with positive gains can be scaled to a gainy net-work if and only if nonzero d. (Vi c N) exist such that

1 all (i, j) EA.

Proof: analogously as for theorem 2.

d. k ..

1 d 1 J > .- 1 for

j

(8)

6

-THEOREM 5. A network with positive gains can be scaled to a gainy

net-work if and only if the netnet-work does not contain any absorbing circuit.

Proof. Analogously as for theorem 3 with:

d .. := In k .. V(i,j) E A 1.J 1.J 6, 1. Vi := e c N

A procedure for scaling networks with positive gains to lossy (resp. gainy) networks is:

saa~ing

procedure

2

[J

(a.) Define d.. := -In k,. (resp. d,. := In k. ,) as length of arc (i, j) ,

1.J 1.J 1.J 1.J

V(i,j) E A and determine the shortest distance 6, from s to all

1. i E N (6 = 0). s -6 6 (13) Put d, 1. i . := e (resp. d.

=

e 1.), Vi E N. 1.

(y) New gains are given by k .. := 1.J

d. k ..

1. 1.J

d. J

for all (i,j) E A.

In order to solve the shortest path problem in step (a.) an algorithm

should be used which can handle negative arc lengths, such as [9J. Yen's algorithm [9J finds out whether negative (directed) cycles are present in the network. If not, i t determines the shortest path from one node to all other nodes efficiently (in polynomial time).

It is well known that the union of shortest paths from one node to all other nodes in a network G is a spanning tree if G has no nonpositive cycles (and contains a spanning tree if G has no negative cycles,

cf. [4, p. 66,67J). Therefore the main difference with Truempers scaling procedure [8J is that in stead of an arbitrary spanning tree a special

spanning tree is determined in step (a.).

Obviously there is a strong relationship between the one-to-all shortest path problem and the scaling problem in a network with gains.

(9)

- 7

-In both problems a spanning tree plays an important role. Theorems 3 and 5 are comparable with a theorem of Nemhauser [5J for shortest path pro-blems.' He gives necessary and sufficient conditions under which a shor-test path problem can be transformed to a shorshor-test path problem with positive distances only.

It is remarked that an an acyclic network does not contain absor-bing or generating circuits and can therefore be scaled to a lossy net-work and to a gainy netnet-work.

EX1\MPLE.

Consider the network G of fig. 1, of table 1. Arcs k ..

k ..

1J 1J s1 2 1 s2 1 1 3 12

-

3 1 2 14

-

2 2 3 3 23

-

1 1 2 24 2 1 3 31 1

,

3 4 35 2 1 43 1 2 2 3 45 1 2 3 Table 1.

in the first two columns

Fig. 1.

Fig. 2.

G contains no generating circuits and can be scaled to a lossy network. The (in this case unique) spanning tree of shortest paths is given in fig. 2.

(10)

8

-3, 3 2, /1.

5 -In 3.

D. 0, "'1 -In 2, 1\2 :: -In "'3 -In - 114 :: -In

s 2' d 1, d 1 2, 3, d3 3 d 4 2, d :: 3. S

2'

5

The values of are denoted in the last column of table L

1. 2. 3. 4. 5. 6. 7. 8. 9. REFERENCES

Fujisawa.

'1'.~ Maximal flow in a lossy network, Proceedings of Allerton Conference on Circuit and System Theory, Urbana, IllinOis, 1963, 385-393.

Glover. F. and D.

Klingman.~ On the equivalence of some gene-ralised network problems to pure network problems,

Mathema-tical Programming

i

(1973) 269-287.

Hu. '1'.C.~ Integer programming and network flows, Addison PUbl. Co., Reading Mass., 1969.

Lawler.

E.L.~ Combinational Optimization: Networks and Matroids; Holt, Rinehart and Winston, New York, 1976.

Nemhauser.

G.L.~ A Generalised Permanent Label Setting Algorithm for the Shortest Path between Specified Nodes,

Journal of Mathematical Analysis and Applications 38 (1972)

328-334.

Onaga.

K.~ Dynamic Programming ·of Optimum Flows in Lossy

Communication Nets, IEEE Transactions on Circuit ,'n,onr", vol.

CT-13 (1966) 282-287.

Tomlin.

J.A.~ On scaling linear programming problems,

Mathematical Programming Study

i

(1975) 146-166.

Truemper.

K.~ An efficient scaling procedure for gain networks, Networks 6 (1976) 151-159.

Yen.

J.Y.~ An algorithm for finding shortest routes from all source nodes to a given destination in general networks, Quarterly Journal of Applied Mathematics 27 (1970) 526-530.

Referenties

GERELATEERDE DOCUMENTEN

Th e evidence for criterion validity (of the Erectile Function subscale), and responsiveness of the IIEF-15 was suffi cient (high quality), but inconsistent (moderate quality)

Abbrevia- tions; Nskin: normal skin in same biopsies of young scars; Nscar: normotrophic scar; Yscar: young im- mature (3-5 weeks old) scar; Hscar: hypertrophic scar; Kscar:

Indien bakstenen bovenbouw en houten onderbouw inderdaad gelijktijdig zijn aangelegd én indien de bakstenen niet zijn hergebruikt, dan betekent dit voor de bakstenen bovenbouw

Omdat de rest van het terrein reeds grotendeels was volgebouwd werd een klein proefonderzoek verricht op het nog openliggende stuk terrein.. Er werd één sleuf

Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication:.. • A submitted manuscript is

(4) Water treatment of a previously sily- lated silica surface causes cross-linking of the silane components (in the case of a multi-.. BINDING OF ORGANIC SILANES TO

Gemeenschappen zullen dus op een of andere wijze verzoend moeten worden met de aanwezigheid van een reeks andere sociale verbanden die een geringere of geen enkele identi-