Table Of ContentNETWORK SYNTHESIS PROBLEM: COST ALLOCATION AND
ALGORITHMS
By
MEHRAN HOJATI
B.Sc. (Economics), London School of Economics & Political Science, 1980
M.Sc. (Operational Research), London School of Economics & Political Science, 1981
A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF
THE REQUIREMENTS FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
in
FACULTY OF GRADUATE STUDIES
(COMMERCE AND BUSINESS ADMINISTRATION)
We accept this thesis as conforming to the required standard
THE UNIVERSITY OF BRITISH COLUMBIA
© Mehran Hojati, 1987
October 1987
In presenting this thesis in partial fulfilment of the requirements for an advanced
degree at the University of British Columbia, I agree that the Library shall make it
freely available for reference and study. I further agree that permission for extensive
copying of this thesis for scholarly purposes may be granted by the head of my
department or by his or her representatives. It is understood that copying or
publication of this thesis for financial gain shall not be allowed without my written
permission.
Department
The University of British Columbia
1956 Main Mall
Vancouver, Canada
V6T 1Y3
nrJr 8, If89
Date
DE-6(3/81)
11
ABSTRACT
This thesis is concerned with a network design problem which is referred to in the
literature as the network synthesis problem. The objective is to design an undirected
network, at a minimum cost, which satisfies known requirements, i.e., lower bounds on
the maximum flows, between every pair of nodes. If the requirements are to be satisfied
nonsimultaneously, i.e., one at a time, the problem is called the nonsimultaneous net
work synthesis problem, whereas if the requirements are to be satisfied simultaneously,
the problem is called the simultaneous network synthesis problem. The total construc
tion cost of the network is the sum of the construction cost of capacities on the edges,
where the construction cost of a unit capacity is fixed for any edge, independent of the
size of the capacity, but it may differ from edge to edge. The capacities are allowed
to assume noninteger nonnegative values. The simultaneous network synthesis problem
was efficiently solved by Gomory and Hu [60], whereas the nonsimultaneous network
synthesis problem can only be formulated and solved as a linear program with a large
number of constraints. However, the special equal-cost case, i.e., when the unit con
struction costs are equal across the edges, can be efficiently solved, see Gomory and Hu
[60], by some combinatorial method, other than linear programming. A cost allocation
problem which is associated with the network synthesis problem would naturally arise,
if we assume that the various nodes in the network represent different users or commu
nities. In this case, we need to find a fair method for allocating the construction cost of
the network among the different users. An interesting generalization of the nonsimul
taneous network synthesis problem, the Steiner network synthesis problem, is derived,
when only a proper subset of the nodes have positive requirements from each other.
The thesis is concerned with two issues. First, we will analyze the cost allocation
problems arising in the simultaneous and the equal cost nonsimultaneous network syn
thesis problem. Secondly, we will consider the Steiner network synthesis problem, with
particular emphasis on simplifying the computations in some special cases, not consid
ered before. We will employ cooperative game theory to formulate the cost allocation
problems, and we will prove that the derived games are 'concave', which implies the
existence of the core and the inclusion of the Shapley value and the nucleolus in the core,
and then we will present irredundant representations of the cores. For the equal cost
nonsimultaneous network synthesis game, we will use the irredundant representation of
iii
the core to provide an explicit closed form expression for the nucleolus of the game,
when the requirement structure is a spanning tree; then, we will develop, in a special
case, a decomposition of the game, which we will later use to efficiently compute the
Shapley value of the game when the requirement structure is a tree; the decomposition
will also be used for the core and the nucleolus of the game in the special case. For the
simultaneous network synthesis game, we will also use the irredundant representation
of the core to derive an explicit closed form expression for the nucleolus, and we will
also decompose the core of this game in the special case, and prove that the Shapley
value and the nucleolus coincide.
Secondly, for the Steiner network synthesis problem, two conceptually different con
tributions have been made, one being a simplifying transformation, and the other being
the case when the network has to be embedded in (i.e., restricted to) some special
graphs. Namely, when the requirement structure is sparse (because there are only a few
demand nodes and the rest are just intermediate nodes) and the positive requirements
are equal, we will employ a transformation procedure to simplify the computations.
This will enable us to efficiently solve the Steiner network synthesis problem with five
or less nodes which have equal positive requirements from each other. Finally, when
the solution network to the Steiner network synthesis problem is to be embedded in
(restricted to) some special graphs, namely trees, rings (circles), series-parallel graphs,
or M and M -free graphs, we will provide combinatorial algorithms which are expected
2 3
to simplify the computations.
C on tents
ABSTRACT ii
Table of Contents iv
List of Tables vii
List of Figures viii
ACKNOWLEDGEMENT x
1 INTRODUCTION 1
1.1 The Network Synthesis Problem 1
1.2 Cost Allocation and Introduction to Cooperative Game Theory 4
1.3 The Steiner Network Synthesis Problem 12
2 COST ALLOCATION IN T HE N E T W O RK SYNTHESIS PROB
L EM 17
2.1 Introduction, Notation and Preliminaries 17
2.1.1 Introduction 17
2.1.2 Game Theory Notation and Preliminaries 18
2.1.3 Graph Theory Notation and Preliminaries 22
2.2 Concavity of the Network Synthesis Games 26
2.3 Irredundant Representation of the Cores of (iV;ci) and (N;c) 30
2
2.4 The Nucleolus of the Network Synthesis Games 36
2.5 Nearly Decomposable Network Synthesis Games 41
2.6 Decomposition of Cores of Nearly Decomposable Games (N; C\) and (N; c ) 43
2
iv
V
2.7 The Nucleolus of the Nearly Decomposable Game (N; c ) 47
2
2.8 Shapley Values of (iV;ci) and Nearly Decomposable (N;^) 51
2.9 Summary and Further Research for the Cost Allocation Problem . . .. 56
3 A SIMPLIFYING TRANSFORMATION FOR The STEINER NET
WORK SYNTHESIS PROBLEM 58
3.1 The Steiner Network Synthesis Problem 58
3.2 Simplifying the Equal-Requirement Case: Preliminaries 60
3.2.1 Linear Programming Formulations and the Transformation . .. 61
3.2.2 Dual Problems and the Laminarity of Dual Solutions to (P') . . 63
3.3 Optimality of the Subnetwork W 65
3.3.1 A Modified Dijkstra Algorithm and the Construction of a Solution
to (D) 65
3.3.2 Feasibility of the Derived Dual Solution 70
3.3.3 Implication of the Transformation 71
3.4 Summary and Further Research for the Transformation 72
4 T HE STEINER NETWORK SYNTHESIS PROBLEM IN SOME SPE
CIAL GRAPHS 73
4.1 Trees and Rings; Series-Parallel Graphs: Preliminaries and the Equal
Requirement Case 74
4.1.1 Trees and Rings 74
4.1.2 Series-Parallel Graphs: Preliminaries and the Equal Requirement
Case 75
4.2 Series-Parallel Graphs: Non-Equal Requirement Case 85
4.2.1 The Additional Complications 85
4.2.2 The Monotone Requirement Case 89
4.2.3 The Non-Monotone Requirement Case 93
4.3 M and M -Free Graphs 96
2 3
vi
4.3.1 Preliminaries 98
4.3.2 Building Blocks and Composition rules 99
4.3.3 A Combinatorial Algorithm 101
4.3.4 A Fractional Solution 102
4.4 Summary and Further Research 104
4.5 A Final Comment 105
BIBLIOGRAPHY 107
List of Tables
4.1 The Series Composition Matrix 82
4.2 The Parallel Composition Matrix 83
4.3 The Computations for Example 4.1 85
4.4 The Computations used in Example 4.5 94
4.5 The Computations used in Example 4.6 97
vii
List of Figures
1.1 A Rectangular Warehouse, and Some Items (the thicklined nodes) to be
Picked up 15
2.1 A Requirement Structure (left), and a MRST in it (right) 23
2.2 The Equal-Requirement Subtrees 24
2.3 Optimal Solution Subnetworks for the Equal-Requirement Subtrees. . . 24
2.4 The Superimposed Optimal Solution Subnetwork 24
2.5 A Requirement Structure, and the Optimal Solution Networks 27
2.6 A Spanning Tree Requirement Structure Used in Theorem 2.3 34
2.7 A Spanning Tree Requirement Structure 42
2.8 The Requirement Structure (left) used in Example 2.4, and the Networks
Resulting from the Near-Decomposition (center and right) 54
3.1 Graph G, and point set Si 64
3.2 An Optimal Solution Subnetwork in G', and the Dijkstra Cuts 68
3.3 An Optimal Solution Subnetwork in G, and the Dijkstra Cuts 69
3.4 Mi (left), M (center), and M (right) 71
2 3
4.1 Types i, ii, iii, iv, v, vi, and vii (from left to right) of Partial Extreme Solu
tion Subnetworks in a Simple Path Associated with the Steiner Network
Synthesis Problem, with Requirements Equal to 2, in a Series-Parallel
Graph 81
4.2 A Series-Parallel Graph (left), and its Reduced Graph (right) 83
viii
ix
4.3 A Binary Decomposition Tree for the Reduced Graph in Figure 4.2. . . 84
4.4 An Optimal Solution Subnetwork for Example 4.1 86
4.5 A Series-Parallel Graph (left), and an Optimal Solution Subnetwork in
it (right) 87
4.6 A MRST (left), Equal-Requirement Subtrees 1 (center) and 2 (right),
Derived in the Decomposition from the MRST 87
4.7 Optimal Solution Subnetworks 1 (left) and 2 (center), and the Superim
posed Subnetwork (right) 88
4.8 An Optimal Solution Subnetwork (left), and another Optimal Solution
Subnetwork (right) used in Example 4.3 89
4.9 A Series-Parallel Graph (left), and its Reduced Graph (right) 92
4.10 A MRST (left), and Equal-Requirement Subtrees 1 (center), and 2 (right),
Derived from the MRST by the Decomposition 92
4.11 Best Partial Composed Solution Subnetworks for (E,E,1C)-(E,E,1C) at
Stages 1 (left), 2 (center), and 3 (right) 93
4.12 The MRST used in Example 4.6 95
4.13 Best Partial Composed Solution Subnetworks of Type (E,E,lC)-(E,E,lC)
at Stages 1 (left), 2 (center), and 3 (right) 96
4.14 A Wheel (left), and a Propeller (right) 100
4.15 K (left), and its Cockade with Three Triangles (right) 101
4
4.16 A Fractional Solution for the (Steiner) Network Synthesis Problem. . . . 103
Description:11 ABSTRACT This thesis is concerne wit ah netword k design whic proble ihs referrem d to in the literature as the network synthesis problem. The objective is to