第七章 网络分析.ppt

第七章;第七章 网络分析; 欧拉在1736年发表图论方面的第一篇论文，解决了著名的哥尼斯堡七桥问题。如图7-1（a）所示。欧拉将此问题归结为如图7-1（b）所示图形的一笔画问题。欧拉证明了这是不可能的。 ;第一节 图的基本概念;v1; 如果一个图Ｄ是由点及弧所构成的，则称为有向图，记为Ｄ=（Ｖ，Ａ）式中Ｖ，Ａ分别表示Ｄ的点集合和弧集合。一条方向是从vi指向vj的弧记为（ vi ， vj ）。 ;图7-6是一个有向图， ; 图Ｇ或Ｄ中的点数记为p(G)或p(D)，边（弧）数记为q(G)(q(D))，也分别简记为p，q。下面介绍常用的一些名词和记号，先考虑无向图Ｇ=（Ｖ，Ｅ）。 ; 定理１ 图Ｇ=（Ｖ，Ｅ）中，所有点的次之和是边数的两倍，即; 图Ｇ中，若任何两个点之间，至少有一条链，则称Ｇ是连通图，否则称为不连通图。若Ｇ是不连通图，它的每个连通的部分称为Ｇ的一个连通分图（也简称分图）。如图7-7是一个不连通图，则它有两个连通分图。; 设v∈V(G)，用G-v表示从图G中去掉点v及v的关联边后得到的一个图。例如若G如图7-8(a)所示，则如图7-8(b)所示。图7-8(c)是图Ｇ的一个支撑子图 。; 现在讨论有向图的情形。设有一个有向图，D=(Ｖ,A)，从Ｄ中去掉所有弧上的箭头，就得到一个无向图，称之为Ｄ的基础图，记之为Ｇ（Ｄ）。给Ｄ中的一条弧a=(u,v)，称u为a的始点，v为a的终点，称弧a是从u指向v的。 ;第二节 最小树问题 ; 定义１ 一个无圈的连通图称为树。 ;v1; 定理５ 图Ｇ有支撑树的充分必要条件是图Ｇ是连通的。 定理４中充分性的证明，提供了一个寻求连通图的支撑树的方法。这就是任取一个圈，从圈中去掉一边，对余下的图重复这个步骤，直到不含圈时为止，即得到一个支撑树，称这种方法为“破圈法”。; 也可以用另一种方法来寻求连通图的支撑树。在图中任取一条边e1，找一条与e1不构成圈的边e2，再找一条与｛e1,e2｝不构成圈的边e3。一般,设已有｛e1,e2,∧,ek｝,找一条与｛e1,e2, ∧,ek｝中的任何一些边不构成圈的边ek+1。重复这个过程，直到不能进行为止。这时，由所有取出的边所构成的图是一个支撑树，称这种方法为“避圈法”。; 定义３ 给图Ｇ=（Ｖ，Ｅ），对Ｇ中的每一条边 [vi，vj]，相应地有一个数wij，则称这样的图Ｇ为赋权图， wij称为边[vi，vj]上的权。; 开始选一条最小权的边，以后每一步中，总从未被选取的边中选一条权最小的边，并使之与已选取的边不构成圈（每一步中，如果有两条或两条以上的边都是权最小的边，则从中任选一条）。 ; 任取一个圈，从圈中去掉一条权最大的边（如果有两条或两条以上的边都是权最大的边，则任意去掉其中一条）。在余下的图中，重复这个步骤，一直得到一个不含圈的图为止，这时的图便是最小树。 ;第三节 最短路问题; （２）从起点出发，依次寻找到起点距离最短的点，并以这最短距离作为该点的标号，每次寻找一个点。 （３）若已经计算出起点到若干点的最短距离，在找下一点时，要充分考虑到经过Ｓ集合中每一点的可能。也就是说要考虑Ｓ集合中的每一点到其他点的距离，从中选取最短距离的点。 （４）重复上述过程，直到终点的标号被找到，则可终止计算，找出最短路。;v4; 取上述值中最小的，min{k12,k13}={1,2}=1，对应的点为v2，说明v2是v1到其他所有点距离最短的，则进入Ｓ，Ｓ=｛v1，v2｝，v2的标号d(v2)=1，在图上标出，并把边ｅ（v1，v2）加粗，用以表示v1到v2的最短距离是经过e（v1，v2）实现的，见图7-16。; 第二步：找出与Ｓ=｛v1，v2｝中点直接相连的边，与v1相连边有１条ｅ（v1，v3），（ｅ（v1，v2）已加粗，v2已进入Ｓ集，不用再考虑，一般情况下考虑的边必须是一端的点在Ｓ集，另一端的点不在Ｓ集。以下同）。与v2相连边有4条ｅ（v2，v3），ｅ（v2，v4），ｅ（v2，v5），ｅ（v2，v6），分别计算v1到相关各点的距离得：;v1; 取上述值最小的，min={k24,k25,k26,k36}=4，对应的点是v6，说明除了Ｓ集合中的点，v1到其他各点的距离中，最短的是v6，且为４，则v6进入Ｓ，Ｓ=｛v1,v2，v3，v6｝，v6的标号为４。由k36=4可知，由v1到v6的最短路是经过v3的，将边e（v3，v6）加粗，见图7-18。; 第四步：同样找出与Ｓ集中各点相连的边，并计算如下： ; 第五步：与Ｓ集关联的边的参数计算如下： ;第六步：与Ｓ集关联的边的参数计算如下：