OPTIMAL LINK CAPACITY ASSIGNMENTS IN TELEPROCESSING AND CENTRALIZED COMPUTER NETWORKS *

Similar documents
Math 170- Graph Theory Notes

Monotone Paths in Geometric Triangulations

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

The Encoding Complexity of Network Coding

FUTURE communication networks are expected to support

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Bipartite Roots of Graphs

FOUR EDGE-INDEPENDENT SPANNING TREES 1

CS 6783 (Applied Algorithms) Lecture 5

GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS. March 3, 2016

A matching of maximum cardinality is called a maximum matching. ANn s/2

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.

SAT-CNF Is N P-complete

Parameterized graph separation problems

arxiv:cs/ v1 [cs.ds] 20 Feb 2003

Least Cost Multicast Spanning Tree Algorithm for Local Computer Network

The self-minor conjecture for infinite trees

7.3 Spanning trees Spanning trees [ ] 61

4 Fractional Dimension of Posets from Trees

Treewidth and graph minors

Dynamic Wavelength Assignment for WDM All-Optical Tree Networks

Interleaving Schemes on Circulant Graphs with Two Offsets

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace

Algorithmic Aspects of Acyclic Edge Colorings

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

6. Concluding Remarks

arxiv: v4 [math.co] 25 Apr 2010

22 Elementary Graph Algorithms. There are two standard ways to represent a

Pierre A. Humblet* Abstract

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

Using Hybrid Algorithm in Wireless Ad-Hoc Networks: Reducing the Number of Transmissions

Notes on Binary Dumbbell Trees

Efficient Algorithms for Solving Shortest Paths on Nearly Acyclic Directed Graphs

Rigidity, connectivity and graph decompositions

On The Complexity of Virtual Topology Design for Multicasting in WDM Trees with Tap-and-Continue and Multicast-Capable Switches

ON THE STRONGLY REGULAR GRAPH OF PARAMETERS

Distributed minimum spanning tree problem

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs

3 No-Wait Job Shops with Variable Processing Times

University of Toronto Department of Mathematics

2386 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 6, JUNE 2006

Matching Theory. Figure 1: Is this graph bipartite?

Graph Algorithms Using Depth First Search

The NP-Completeness of Some Edge-Partition Problems

SUBSETS AND SUBGRAPHS WITH MAXIMAL PROPERTIES1

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

Clustering Using Graph Connectivity

* Department of Computer Science, University of Pisa, Pisa, Italy Department of Elect. Engineering, University of Roma Tor Vergata, Rome, Italy

Advanced algorithms. topological ordering, minimum spanning tree, Union-Find problem. Jiří Vyskočil, Radek Mařík 2012

4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests

Faster parameterized algorithms for Minimum Fill-In

The Structure of Bull-Free Perfect Graphs

1 Digraphs. Definition 1

ARELAY network consists of a pair of source and destination

Acyclic Edge Colorings of Graphs

Discharging and reducible configurations

Chapter 9 Graph Algorithms

Triple Connected Domination Number of a Graph

5 Matchings in Bipartite Graphs and Their Applications

Graph Theory: Matchings and Factors

MATRIX INTEGRALS AND MAP ENUMERATION 1

Paths, Flowers and Vertex Cover

2. CONNECTIVITY Connectivity

Application Layer Multicast Algorithm

Faster parameterized algorithms for Minimum Fill-In

For q»p, a similar expression can be given replacing C:.t(i) by C:.t(i). The coefficients C:.t(i) and

6. Lecture notes on matroid intersection

Randomized rounding of semidefinite programs and primal-dual method for integer linear programming. Reza Moosavi Dr. Saeedeh Parsaeefard Dec.

A Connection between Network Coding and. Convolutional Codes

Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph

Theorem 2.9: nearest addition algorithm

Semi-Matchings for Bipartite Graphs and Load Balancing

Independence and Cycles in Super Line Graphs

Chapter 9 Graph Algorithms

Greedy Algorithms 1. For large values of d, brute force search is not feasible because there are 2 d

Matching and Covering

Communication Networks I December 4, 2001 Agenda Graph theory notation Trees Shortest path algorithms Distributed, asynchronous algorithms Page 1

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph.

Characterizations of Trees

A generalization of Mader s theorem

Chapter 11: Graphs and Trees. March 23, 2008

by conservation of flow, hence the cancelation. Similarly, we have

Module 7. Independent sets, coverings. and matchings. Contents

CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN

PLANAR GRAPH BIPARTIZATION IN LINEAR TIME

CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh HW#3 Due at the beginning of class Thursday 03/02/17

Chordal deletion is fixed-parameter tractable

Decreasing a key FIB-HEAP-DECREASE-KEY(,, ) 3.. NIL. 2. error new key is greater than current key 6. CASCADING-CUT(, )

An Edge-Swap Heuristic for Finding Dense Spanning Trees

July, 1981 LIDS-P-1107 QUERY PROCESSING IN DISTRIBUTED DATA BASES* Victor O.K. Li

On the Number of Linear Extensions of Graphs

Job-shop scheduling with limited capacity buffers

A note on the subgraphs of the (2 )-grid

Euler Tours and Their Applications. Chris Moultrie CSc 8530

22 Elementary Graph Algorithms. There are two standard ways to represent a

Lecture 4: Walks, Trails, Paths and Connectivity

VERTICES OF LOCALIZED IMBALANCE IN A BIASED GRAPH

Transcription:

OPTIMAL LINK CAPACITY ASSIGNMENTS IN TELEPROCESSING AND CENTRALIZED COMPUTER NETWORKS * IZHAK RUBIN UCLA Los Angeles, California Summary. We consider a centralized network model representing a teleprocessing or a centralized computer communication network. The network is topologically described by a tree structure. A single central node represents a data-processing center, while the other nodes correspond to remote terminals. A maximal average message delay value is prescribed. A cost function is assumed to incorporate a term representing link costs, dependent only on the link flows, and a term involving weighted (distance related) sum of the powers of the link-capacity values. We then solve for the optimal link capacity assignment, yielding the minimal value of the cost function under the prescribed maximal message delay value. Introduction. Centralized computer communication networks or corresponding subnetworks and many teleprocessing networks require the connection of remote terminals to a central processor. Actual examples are time-sharing, airline-reservation and on-line banking networks. To efficiently utilize the capacity of the teleprocessing network transmission lines, several terminals are often connected to a single line, called multidrop or multipoint lines. The latter usually assume a tree topological structure. The central processor in the centralized network under consideration can be a central computer servicing all the other remote terminals. It can also be a concentrator (or a multiplexor, message-switch, etc.) which accumulates the messages from the remote terminals and appropriately schedules them for further transmission to a central computer or to another message-switch in the associated centralized or distributed computer network. Considering thus a tree graph to topologically model such a centralized teleprocessing and computer communication network, we study here the problem of assigning optimally link capacities. The message maximal average time-delay (response time) is prescribed, while link capacities are chosen so that a network cost function is minimized. The latter cost function is set to incorporate a sum of the link costs, under a specified link cost per unit capacity (e.g.; proportional to the link geographical distance). It can furthermore involve the sum of two terms; the first yielding a fixed sum depending on the traffic handled by the * This work was supported by the Office of Naval Research under Grant N00014-75-C-0609 and by the National Science Foundation under Grant ENG-75-03224.

link (associated buffer sizes, complexity of nodal processing devices, etc.); the second term involves a weighted (e.g.; distance related) sum of powers of the link excess capacities (i.e.; the link capacity above the minimal value, which is equal to the the link traffic rate). Under a prescribed maximal message delay and the above network cost function, we obtain the optimal link capacity assignment. We consider the situation at which messages flow only between the remote terminals and the central processor. In Section 4 we indicate the solution to the case at which, in addition, any two remote terminals can send messages to each other if they both belong to a prescribed group of remote terminals. The situation at which any network node, being a user terminal or a computer, can communicate with any other node, thus modeling a distributed tree computer communication network, has been studied in [1]. In particular, the latter study presents the solution to the capacity assignment problem, under a network maximal average delay measure and a cost function given by the overall network link capacity. Thus, on one hand, our results here correspond to a more specialized traffic matrix, representing the centralized flow configuration, while on the other hand they generalize the results in [1] to incorporate a more general (link distance, capacity and flow dependent) cost function. Otherwise, the analysis and proof techniques are similar to those presented in [1] and the reader is referred to it for further details. An algorithm which yields the optimal link capacity assignment is described in [2], when a maximal delay measure is considered as well as an available finite set of link capacities. Utilizing parallel and series link merging procedures, this algorithm appropriately enumerates all delay-cost candidate solutions at each node, incorporating the given capacity-cost relationship for each link. In the problem studied here, no restrictions are imposed on the set of capacities to be chosen and an analytic cost function is incorporated, so that a simple and direct algorithm is developed to yield the optimal link capacity assignment. For actual examples and further analysis and design considerations of teleprocessing and centralized computer networks, see [3]-[4]. For terminal layout studies, using heuristic techniques to yield sub-optimal algorithms, assuming generally given (uniform) line capacity values and incorporating constraints such as maximal link flows (to restrict message delays) and a maximal number of terminals per network branch (to increase network reliability), the reader is referred to [5]-[6] and the references therein. For design and capacity assignment considerations of reliable distributed computer networks, see [7]-[8]. Problem Statement and Delay-Cost Product Functions. The communication network is described topologically as a tree graph T = (v,'), with set of vertices V = {v i, i =1,2,... n} and set of edges ' = {b i, i = 1,2,...,n-1}. Graph T is connected and has no cycles. Each edge b i corresponds to a (symmetric duplex) communiation channel with capacity C i

[bits/sec.]. Messages are sent between vertex v i and v j at random times, following Poisson statistics, with rates 8 ij [mess./sec.], i,j = 1,2,...,n. For notational simplicity, assume 8 ij = 8 ji for each i,j Since in a tree there is a unique path between any two vertices, we choose this path to route the messages. The overall message flow intensity, in any one direction, along edge b i, subsequently follows from the tree structure and is denoted as 8 i [mess./sec.]. Assuming message-lengths to be statistically independent and exponentially distributed with average length µ -1 [bits/mess.], we model the underlying queueing network as composed of independent queues. The queueing process at each node is described as an M/M/1 queue, so that the average (steady-state) delay along edge b i, dentoed as ( i, is given by (1) when C i > 8 i µ -1, and ( i = 4 when C i < 8 i µ -1, The overall network delay measure ( is chosen to be the maximal average message delay for any terminal flow. Thus, where ( ij is the average delay of a message directed from v i to v j along the unique corresponding path. We assume the topological structure of the tree graph T and the flow matrix {8 ij } to be given. (Furthermore, assume 8 i > 0 each i, for otherwise b i can be deleted.) We wish to assign edge capacities so that the network yields a prescribed maximal delay ( and an appropriately chosen network cost function is minimized. The cost function D is chosen to be given by (2) (3) where N( ) is an arbitrary function, d i > 0,each i, and " > 0. Cost function (3) is represented as the sum of two terms. The first term depends on the edge flow intensities alone and thus yields a cost factor independent of the line capacity values (incorporating factors such as buffer capacities, nodal information processing charges, traffic handling, code conversions, etc.). The second term represents a cost factor which is equal to the weighted sum of the powers of the line excess capacities. For line b i, weight d i (proportional, for example, to the distance or transmission quality associated with b i ) of cost per unit capacity is assumed, combined with the excess capacity (being the additional

required line capacity above the minima capacity value of 8 i µ -1 ), C i -8 i µ -1 to yield edge b i cost factor d i (C i -8 i µ -1 ) ". As a special case, cost function (3) assumes the form (4) where a > 0, di> 0, each i, a> 0, 1 a> 0. Setting in (4) a a, ai!i, each i, we obtain a further reduction to cost function Da,a Da given by (5) where " > 0, d i > 0, each i. For " = 1, the network cost function D 1 results, (6) We further note that the cost function D("), given by D(a)... I di~, O < a s 1, i (7) is related to D" as follows. We express D " as (8) where pi= Ai/µCi is the traffic intensity at edge bi. Since Os P 1 s 1, 0 <as 1, we have [p 1 + (1-pi)a] s 2, so that D(a) $Das 2 1 -a. D(a), O<a:s.1. Consider now the capacity assignment problem. We define D*(y) Min {D: yjk s y, each j,k}, {Ci} (9) (10)

to denote the minimal network cost under a prescribed maximal delay (, over all choices of link capacities. Similarly, for a given network cost value D, the minimal attainable maximal delay value is expressed as Y*(D) Min {y: D(T) s D}, {Ci} where D(T) denotes the cost function (3) associated with tree network T. The capacity assignment problem is reduced as follows. We decompose each capacity value by setting We need require (11) (12) (13) so that yi < m Thus, an overall capacity of at least c 0 = l C~, with ~orresponding cost D, 0 is required to achi~e a finite messag! delay, y < m. In terms of fhe excess capacities Ci, we thus have -1 - y i "' µ /Ci (14) We can now define the reduced capacity assignment problem which determine the excess capacities { }, or equivalently the optimal line delay assignment. For the latter we obtain the performance functions corresponding (10)-(11) to be given by r <o> M!n {Ci} D*(y) = M,in {Ci} {y: {D: where the excess cost function D is equal to _ n-1 ' - 1 D = D - D L d (C -Aµ ) a 0 1-1 i i i yjk ~ y, each j,k, yi 1/C 1 }, - (15) (16) (17)

We then obtain (18) (19) Following [1], we can prove the following uncertainty principle type property for the reduced capacity-assignment problem. Theorem 1. For the reduced capacity assignment problem, for each (,(0,4), D > 0, " > 0 we have where is a unique constant, called the Delay-Cost number of the network, which depends only on the topological structure of the tree network. Having solved the reduced capacity assignment problem, obtaining and the optimal excess capacity values { *}, the optimal edge capacity C i * is subsequently equal to while the minimal cost function follows from (19) to be where D 0 = N({8 i µ -1 }) for cost function (3). We further note that the network Delay-Cost product function ((D)((),defined as is subsequently expressed as Expression (24) yields a separation of the network Delay-Cost product function into the sum of two terms. The first one involves only the link flows, while the second one incorporates the network Delay-Cost number, which is determined by solving (20) (21) (22) (23) (24)

the reduced capacity-assignment problem, satisfies property (20) for the latter problem, and depends only on the tree topological structure, being independent of the link actual flow values. We also note that Theorem 1 and the separation property (24) hold for a general topological structure, under any fixed routing discipline, with cost function (3) being the general form of a cost function allowing these characteristics (see [7]-[8]). Optimal Capacity Assignment for a Centralized Tree Communication Network. We consider a tree network G where vertex v, represents the central processor, while the other vertices {v i, = 2,3,...,n} are the remote terminals. The terminal traffic flow intensities satisfy 8 ij > 0 iff i = 1 or j = 1, i j, (25) so that 8 ij > 0, j $ 2, 8 ij > 0, i > 2, and only flows from and to v i are assumed. We wish to obtain the link capacities {C i } which yields a maximal delay ( and minimal cost D. We have shown in Section 2 that we thus need solve only the reduced capacity assignment problem, obtaining { }. The link capacities are then found by Eq. (21). We thus solve here the reduced problem, obtaining a simple procedure which yields the optimal line excess capacity values { *}. Definition 1. For a tree rooted at v G(v), the distance measure R u at each vertex u is defined as follows: 1. R U = 0 for each end vertex u of G(v).

2. If od(u) = N $ 1, and (u,u 1 ), (u,u 2 ),...,(u,u N ) are the lines incident from u, with corresponding weights d 1,d 2,...,d N, we set R. = u N [ l i=l N -1 "' [ l R.l~G (u)]](l+cl) i=l i (l+ct)-1 where i[g 1 (u)] = tu. + d 1 denotes the distance associated with rooted subtree Gi(J-). The distance measure of the tree rooted at v i V = i[g(v)] I is (26) We note that for each sub-tree G i (v) rooted at v, distance measures {R u } are computed starting from the end-vertices and proceeding backwards to vertex V i. The optimal capacity assignment proceeds as a sequence of series and parallel merges of lines. Each such merge reduces a subgraph into a single line with an associated new line weight. The final reduced graph is a two edge tandem graph. The optimal capacity assignment for the latter graph yields the optimal capacity for (v,v i ) and subsequently, proceeding towards the end-vertices, for each line. For a two edge tandem tree with edge weights d 1 and d 2, and corresponding optimal delay assignments, ( 1 * and y 2 *, and capacity assignments * and *, respectively, we readily obtain so that c * y * 1 2 D= y * = 2 1-1 (d ) (l+a) 2-1, (d ) (l+a) 1 (27a) (27b) and ( 2 * = (-( 1 *. To perform a parallel merge, we note the following property. We consider in each subgraph G i (v 1 ) the rooted sub-tree G j (u) which contains line (u,u j ) and the component

connected to u j when (u,u j ) is removed. In G j (u), the paths from u to the L i end-vertices are denoted as {B ij, k = 1,2,...,L j ). An optimal assignment will induce the latter paths to have delays {(*(B jk )}, for which we can state the following property. (The proofs follow as in [1] with the appropriate modifications to incorporate the present weights, and are thus deleted.) Lemma 1. For each G i (v 1 ) and a rooted sub-tree G j (u), we have (28) Using Lemma 1, we can thus subsequently show that each sub-tree G j (u) can be replaced with a single weighted edge e u, incident from u, with associated weight R[G j (u)]. Under the latter reduction, the delay-capacity product of G is shown to remain unchanged, and the optimal excess-capacity assignment thus follows as summarized by the following Theorem. Theorem 2. For subgraph G i (v 1 ), each i, the optimal delay and excess-capacity values assigned to any edge R mn = (v m,v n ), whose cost-weight is d mn (*(e mn ) and C *(e mn ), respectively, are given by (28a) (29b) (29c) (29d) where are the distance measures evaluated for G i (v 1 ) rooted at v 1. The Delay-Cost product for G i (v 1 ) is subsequently given by (30)

Theorem 2 thus yields a simple algorithm for the evaluation of the optimal link delay or link excess-capacity assignment, for each subgraph G i (V 1 ). We first evaluate the node distance measures, starting from the end-vertices of G i (V 1 and proceeding to v 1 following Definition 1. Then, proceeding in the opposite direction from v 1 to the end-vertices we use cost-weights {d i } and above distances {R u } to evaluate (*(e), following iterative procedure (29). The optimal link capacity value is then computed using this C *(e) value and Eq. (21). Note that the Delay-Cost product number ((D)"* is given in terms of the subgraph distance measure as indicated by Eq. (30). Conclusions and Extensions. We have derived a solution to the link capacity assignment problem in a centralized computer communication network, assuming a tree structure. A maximal message average delay is prescribed. The cost function incorporates a weighted sum of the powers of the line capacities, as well as a separate term yielding link-flow related costs. If we allow terminal nodes to communication between themselves, in addition to directing messages to and from the central processing node v 1, we note the following. Assume the set of vertices V-{v 1 } can be decomposed into disjoint sets {V i, i = 1,2,...,L}, so that for i,j; 1. Aii > 0 iff vie Vk. u e Vk. some k. so that Aij 0 if vie Vk v 1 J Vk some K. Then,jterm1nals within a node su~set Vi can communicate between themselves, in addition to being connected to v We then define subgraph Ti(v ) to be the maximal 1 subgraph of the tree network T which spans viu 1 {v 1 }. Clearly, to guarantee a maximal delay value y for T we just need to gurantee such a value for each subtree Ti(v ) The problem has thus been reduced to a set of separate capacity assignment 1 problems, each solved independently for the corresponding subtree Ti(v ) The latter problem is however not identical to that prsented in Section 1 3 since the traffic flows within each subtree do not correspond to a centralized flow pattern. Using the algorithm derived in Section 3 can thus result with a path between two remote terminals assuming a message delay higher than y. However, the problem now has been reduced to a capacity assignment problem in a distributed network under maximal delay y and cost function D. Therefore, this problem is solved by utilizing the solution algorithm derived in (1], with the node distance measure defined here by Definition 1 replacing that used in (1] (where the cost function assumed is D = l Ci) i

References 1. I. Rubin, The Delay-Capacity Product for Store-and-Forward Communication Networks: Tree Networks, Applied Mathematics and Optimization, 1975. See also Proceedings of the 1975 NTC, New Orleans, December, 1975. 2. H. Frank, I. T. Frisch, W. Chou and R. Van Slyke, Optimal Design of Centralized Computer Networks, Networks, vol. 1, New York: Wiley, pp. 43-57, 1971. 3. H. Frank and W. Chou, Topological Optimization of Computer Networks, Proceedings of the IEEE, vol. 60, pp. 1385-1396, November, 1972. 4. N. Schwartz, R. R. Boorstyn and R. L. Pickholtz, Terminal-Oriented Computer- Communication Networks, Proceedings of the IEEE, vol. 60, pp. 1408-1423, November, 1972. 5. K. M. Chandy and R. A. Russell, The Design of Multipoint Linkages in a Teleprocessing Tree Network, IEEE Trans. Comput., vol. 21, pp, 1062-1066, October, 1972. 6. A. Kershenbaum and W. Chou, A Unified Algorithm for Designing Multidrop Teleprocessing Networks. IEEE Trans. on Communications, vol. 22, pp. 1762 pp. 1762-1772, November, 1974. 7. I. Rubin, Optimal Reliable Topological Structures for Message-Switching Communication Networks, Proceedings Conference on Information Sciences and Systems, The Johns Hopkins University, April, 1976. 8. I. Rubin, On Reliable Topological Structures for Message-Switching I Communication Networks, UCLA School of Engineering and Applied Science, Technical Report, March, 1976.