运筹学图论
运筹学-图论
根据此图便可找到渡河方法。
(1,1,1,1) (1,1,1,0) (1,1,0,1) (1,0,1,1) (1,0,1,0) (0,0,0,0) (0,0,0,1) (0,0,1,0) (0,1,0,0) (0,1,0,1)
简单链:(v1 , v2 , v3 , v4 ,v5 , v3 )
v2
简单圈: (v4 , v1 , v2 , v3 , v5 , v7 , v6 ,v3 , v4 )
v6
v4
v5
v3
v7
连通图:图中任意两点之间均至少有一条通路,否则称为不连通 图。
v1 v5
v1
v6
v2
v2
v4
v3
v5
v4
v3
连通图
以后除特别声明,均指初等链和初等圈。
不连通图
有向图:关联边有方向 弧:有向图的边 a=(u ,v),起点u ,终点v; 路:若有从 u 到 v 不考虑方向的链,且 各方向一致,则称之为从u到v 的 路; 初等路: 各顶点都不相同的路; 初等回路:u = v 的初等路; 连通图: 若不考虑方向是
无向连通图; 强连通图:任两点有路;
端点的度 d(v):点 v 作为端点的边的个数 奇点:d(v)=奇数;
偶点:d(v) = 偶数; 悬挂点:d(v)=1; 悬挂边:与悬挂点连接的边; 孤立点:d(v)=0; 空图:E = ,无边图
v1
v3
v5 v6
v2
v4
图 5.7
v5
v4
V={v1 , v2 , v3 , v4 , v5 ,v6 , v7 }
圈:若 v0 ≠ vn 则称该链为开链,否则称为闭链或 回路或圈;
数学建模-图论
如例2中球队胜了,可从v1引一条带箭头的连线到v2,每 场比赛的胜负都用带箭头的连线标出,即可反映五个球队比 赛的胜负情况。如下图
v5
v1
v2 v3
v4
Байду номын сангаас
由图可知, v1三胜一 负, v4打了三场球, 全负等等
类似胜负这种非对称性的关系,在生产和生活中也是常见 的,如交通运输中的“单行线”,部门之间的领导和被领导关 系,一项工程中各工序之间的先后关系等等。
B
哥尼斯堡七桥问题
从某点出发通过每座桥且每桥只通过一次回到起点 A B D
建模:
C
A B D C
点——陆地 岛屿 边——桥
后来,英国数学家哈密尔顿在1856年提出“周游世界”的 问题:一个正十二面体,20个顶点分别表示世界上20个大城市, 要求从某个城市出发,经过所有城市一次而不重复,最后回到出 发地.这也是图论中一个著名的问题. “四色问题”也是图论中的著名问题:地图着色时,国境 线相邻的国家需要着上不同的颜色,最少需要几种颜色?1976 年,美国人阿佩尔和哈肯用计算机运行1200个小时,证明4种颜 色就够了.但至今尚有争议.
图论起源
图论最早处理的问题是哥尼 斯堡城的七桥问题:18世纪在哥 尼斯堡城(今俄罗斯加里宁格勒) 有一条名叫普莱格尔(Pregel) 的河流横经其中,河上有7座桥, 将河中的两个岛和河岸连结。
C A D
城中的居民经常沿河过桥 散步,于是提出了一个问 题:能否一次走遍7座桥, 后来有人请教当时的大数学家 而每座桥只许通过一次, 欧拉,欧拉用图论的方法证明这个问 最后仍回到起始地点? 题无解,同时他提出并解决了更为一 般的问题,从而奠定了图论的基础, 欧拉也被誉为“图论之父”.
图论详细讲解
称为它为有向图,记作D =(V,A),其中V 表 示有向图D的点集合,A表示有向图D的弧集
• 1.图的基本概念与基本定理
例如.图8.4是一个无向图G=(V,E)
其中V={v1,v2,v3,v4}
E={[v1,v2],[v2,v1],[v2,v3],
[v3,v4],[v1,v4],[v2,v4],
图论详细讲解
•
引言
图论是应用非常广泛的运筹学分支,它
已经广泛地应用于物理学控制论,信息论, 工程技术,交通运输,经济管理,电子计算 机等各项领域。对于科学研究,市场和社会 生活中的许多问题,可以同图论的理论和方 法来加以解决。例如,各种通信线路的架设 ,输油管道的铺设,铁路或者公路交通网络 的合理布局等问题,都可以应用图论的方法 ,简便、快捷地加以解决。
边的两个端点是相同的,那么称为这条边是环,
如图8.4中的边[v,v3]是环。如果两个端点之间
有两个端点之间有两条以上的边,那么称为它
们为多重边,如图8.4中的边[v1,v2] ,[v2,v1]
。一个无环,无多重边的图标为简单图,一个 无环,有多重边的图标图称为多重图。
• 1.图的基本概念与基本定理
• 1.图的基本概念与基本定理
综上所述,图论中的图是由点和点与点 之间的线所组成的。通常,我们把点与点之 间不带箭头的线叫做边,带箭头的线叫做弧 。
如果一个图是由点和边所构成的,那么
,称为为无向图,记作G =(V,E),其中V表 示图G的点集合,E表示图G的边集合。连接 点vi,vj V的边记作[vi,vj],或者[vj,vi]。
•
引言
•C
•A
•B
•D
•图8.1 b
运筹学 第八章 图论 - 全
(a)明显为二部图,(b)也是二部图,但不明显,改画为(c) 时即可看出。
2017/7/13 11
图与网络的基本知识
次,奇点,偶点,孤立点 与某一个点vi相关联的边的数目称为 点vi的次(也叫做度),记作d(vi)。 右图中d(v1)=4,d(v3)=5,d(v5)=1。次 为奇数的点称作奇点,次为偶数的
2017/7/13
18
图与网络的基本知识
有向图 无向图
道路
回路
链
圈
道路(边的方向一致)
2017/7/13 19
图与网络的基本知识
连通图
定义10 一个图中任意两点间至少有一条链相连,则称此图为 连通图。任何一个不连通图总可以分为若干个连通子图,每 一个称为原图的一个分图(连通分支)。
连通图
2017/7/13
边,对余下的图重复这个步骤,直至无圈为止。
2、避圈法:每次增加一条边,且与已有边不构成圈,直至恰 有n-1条边为止。
2017/7/13
24
树
例1、下图是某建筑物的平面图,要求在其内部从每一房间都能走到 别的所有的房间,问至少要在墙上开多少门? 试给出一个开门的方案。
三
七
Байду номын сангаас
三 八 一 四 二 五
七 八 九 六
无向图
2017/7/13
有向图
8
图与网络的基本知识
环, 多重边, 简单图 如果边e的两个端点相重,称该边为 环。如右图中边e1为环。如果两个点 之间边多于一条,称为多重边,如右
v2 e5
多重边
e2
e1 v1
环
e3 v3
e4
图中的e4和e5,对无环、无多重边的
运筹学理论:图论
5②
5
⑥4
3
③8
1 2
2 4
1 2
⑥4
0①
3
4
0①
3
7
4
6
⑤10
7
7
4
6
⑤10
3④ 7
3④
例
5②
5 2 3
题 :
③6
5②
5 2
⑥4
3
③6
1 2
1 2
⑥4
0①
3
4
0①
3
4
7
4
7
6
⑤10
7
7
4
⑤9
6
3④
3④
例
5②
5 2 4 3
题 :
③6
5②
5 2
⑥4
3
③6
1 2
1 2
⑥4
0①
3
0①
3
4
7
7
4
6
⑤7
7
例
①
题:
①
1
②
11
2 7 5
⑥
③ ② ④ ③ ⑤
3
6 9 ④ 10 4
⑥
8
⑤
破 圈 法(山东师院管梅谷75 Nhomakorabea)首先,把有权图的边按权的递减顺 序排列:a1, a2, …… , an。 再检查a1, 如果去掉a1, 图仍是连通 图, 则去掉a1, 否则令a1= e1,再用 同样方法检查a2 … 如此继续下去, 直到找出有n-1条边的连通图为止
A
D
例如:哥尼斯堡七桥图: d(A)=3 d(B)=3 C d(C)=5 d(D)=3
B
(四) 特殊点:
图论 模型
图论模型图论是运筹学的一个经典和重要分支,专门研究图与网络模型的特点、性质以及求解方法。
许多优化问题,可以利用图与网络的固有特性而形成的特定方法来解决,比用数学规划等其他模型来求解往往要简单且有效得多。
图论起源于1736年欧拉对柯尼斯堡七桥问题的抽象和论证。
1936年,匈牙利数学家柯尼希(D. Kӧnig )出版的第一部图论专著《有限图与无限图理论》,树立了图论发展的第一座里程碑。
近几十年来,计算机科学和技术的飞速发展,大大地促进了图论研究和应用,其理论和方法已经渗透到物理、化学、计算机科学、通信科学、建筑学、生物遗传学、心理学、经济学、社会学各个学科中。
9.1 图的基础理论9.1.1 图的基本概念所谓图,概括地讲就是由一些点和这些点之间的连线组成的。
定义为(,)G V E =,V 是顶点的非空有限集合,称为顶点集。
E 是边的集合,称为边集。
边一般用(,)i j v v 表示,其中,i j v v 属于顶点集V 。
以下用V 表示图(,)G V E =中顶点的个数,E 表示边的条数。
如图9.1是几个图的示例,其中图9.1 (a)共有3个顶点、2条边,将其表示为(,)G V E =,123{,,}V v v v =,1213{(,),(,)}E v v v v =.23v 45v 34(a)(c)图9.1 图的示意图1.无向图和有向图如果图的边是没有方向的,则称此图为无向图(简称为图),无向图的边称为无向边(简称边)。
如图9.1 (a)和(b)都是无向图。
连接两顶点i v 和j v 的无向边记为(,)i j v v 或(,)j i v v 。
如果图的边是有方向(带箭头)的,则称此图为有向图,有向图的边称为弧(或有向边),如图9.1 (c)是一个有向图。
连接两顶点i v 和j v 的弧记为,i j v v 〈〉,其中i v 称为起点,j v 称为终点。
显然此时弧,i j v v 〈〉与弧,j i v v 〈〉是不同的两条有向边。
图论在运筹学中的名词解释
图论在运筹学中的名词解释一、引言运筹学是一门研究复杂问题的学科,它借助各种数学方法和技术,帮助我们做出最佳的决策。
图论作为运筹学的重要工具之一,被广泛应用于解决各类实际问题。
本文将就图论在运筹学中的几个重要名词进行解释和探讨。
二、图图是图论的核心概念之一。
它由一组顶点和连接这些顶点的边组成。
在运筹学中,图可以用来描述和分析各种现实场景。
比如,交通网络可以用图来表示,道路是边,路口是顶点;社交网络可以用图来表示,用户是顶点,社交关系是边。
通过构建和分析图,我们可以揭示事物之间的关联性和特征,并利用这些信息进行决策。
三、路径路径是图论中一个重要概念。
它指的是在图中顶点之间连接的一系列边的序列。
在运筹学中,路径常常被用来表示两个顶点之间的最佳路线或最优解。
比如,在物流配送中,我们需要找到从仓库到目的地的最短路径,以最大程度地降低运输成本和时间。
通过图论的路径算法,我们可以高效地找到这样的最短路径,为物流管理提供有效支持。
四、最小生成树最小生成树是一种特殊的图结构,它是原图的一个子图,包含了所有顶点,但只有足够的边连接这些顶点,并使得整个图的总权重最小。
在运筹学中,最小生成树常常被用于解决资源分配和网络设计等问题。
比如,在电力输送系统中,我们需要将发电站和各个消费点以最短的电网连接起来,以确保电能的高效分配和传输。
通过构建最小生成树,我们可以优化电网的布局,降低能源损耗,提高供电可靠性。
五、网络流网络流是图论中的一个重要概念,它用来描述在一个有向图中通过各个边所能承载的最大流量。
在运筹学中,网络流被广泛应用于流程设计和资源调度问题。
比如,在工厂生产调度中,我们需要在供应链上对原材料、组件和成品进行优化配送,以实现最佳生产效率和降低成本。
通过分析网络流,我们可以确定各个节点的产能和需求,从而优化生产计划和物流调度。
六、最短路径最短路径是图论中的一个重要问题,即在图中找到连接两个顶点的最短路径。
在运筹学中,最短路径经常被用于解决物流和通信等问题。
华南理工大学 运筹学 第7章 图论-2(简) 工商管理学院
节点标号—对已标号未检查的节点v1,对与其相邻 、未标号的节点v4(前向非饱和弧)进行标号。
[+vs,4]
(7,3) v1 (7,2)
[+v1,4]
v4 (9,6)
(5,1) v2
[-, ∞]
vs
(8,4)
(4,0) (7,1) (16,5) (6,4) v5
18
(10,4)
vt
(4,0)
(10,4)
[-, ∞]
vs
(10,4)
(4,0) (10,4) v3
(16,5)
(6,4) v5
22
Ford-Fulkerson标号算法示例1
(第2轮迭代) 1-搜索过程:
节点标号—对节点v4(前向非饱和弧)进行标号。
[+vs,1]
(7,6) v1 (7,5)
[+v1,1]
v4 (9,9)
(5,1) v2
图G为流量网络。
2
最大流问题示例1
Petro公司的天然气管道输送网络:vs为Petro公 司的制气厂,vt为输送目的地的储气库,其它 中间节点为流量检测和控制站。各点间的弧代 表输送管道,其权值的两个数字分别表示容量 和当前的流量。问:如何利用输送管道,可以 使从制气厂运输到目的地的天然气最多?
(1) 已标号已检查;(2)已标号未检查;(3)未标号。
检查是指从一个已取得标号、未检查的节点vi 出发,搜寻与之邻接的其它未取得标号的节点 vj ,并根据vi的标号计算得到vj的标号。
7
Ford-Fulkerson标号算法
节点vj的标号为[+vi,θj]或[−vi,θj]:
运筹学-第六章 图论1
哥尼斯堡七桥问题 哥尼斯堡( 现名加里宁格勒) 哥尼斯堡 ( 现名加里宁格勒 ) 是 欧洲一个城市, Pregei河把该城分 欧洲一个城市 , Pregei 河把该城分 成两部分, 河中有两个小岛, 成两部分 , 河中有两个小岛 , 十八 世纪时, 世纪时 , 河两边及小岛之间共有七 座桥, 当时人们提出这样的问题: 座桥 , 当时人们提出这样的问题 : 有没有办法从某处( 出发, 有没有办法从某处 ( 如 A ) 出发 , 经过各桥一次且仅一次最后回到原 地呢? 地呢?
v2 5 0 v1
2 7 5
7 2
v5 v4
6 1 2 4
7
3
7 v3
v7
6
v6 6 2 与v1、V2、v3、v6、 v4 、v5相邻的点有v7 L17=min{L15+d57,L16+d67} =min{7+3,6+6}=10
v2 5 0 v1
2 7 5
7 2
v5 v4
6 1 2 4
7
3
7 v3
④重复上述步骤,直至全部的点 重复上述步骤,
都标完。 都标完。
例:如下图中从v1到v7的最短路。 v2
5 7 2
v5 v4
6 1 2 4 6 3
v1
2 7
v7 v6
v3
v2 0 v1
2 7 5
7 2
v5 v4
6 1 2 4 6 3
v3
v7
2
v6
与v1、v3相邻的点有v2、v4、v6 L1p=min{L11+d12,L13+d34,L13+d36} =min{0+5,2+7,2+4}=5=L12
运筹学上机试题5-图论
四、图论1、求下图中从v1到v3最短路。
v 1v 3v 546从节点 1到节点3的最短路 *************************起点 终点 距离 ---- ---- ---- 1 2 1 2 3 6此问题的解为:7 2、最小生成树电信公司要在15个城市之间铺设光缆,这些城市的位置及相互之间的铺设光缆的费用如下图所示。
试求出一个连接在15个城市的铺设方案,使得总费用最小。
v 1v 2v 3v 4v 5v 6v 7v 8v 9v 10v 11v 12v 13v 14v 152241131456422323135134此问题的最小生成树如下:*************************起点终点距离---- ---- ----1 4 11 2 22 5 25 8 15 6 26 3 18 7 28 9 39 12 212 11 411 10 110 13 313 14 114 15 3此问题的解为:283、最短路问题例. 求下图中从v1到各点的最短路,并指出有哪些点是不可达到的。
vv7v8v4从节点 1到节点2的最短路*************************起点终点距离---- ---- ---- 1 2 4此问题的解为:41到3没有路1到4没有路从节点 1到节点5的最短路*************************起点终点距离 ---- ---- ---- 1 5 1此问题的解为:1从节点 1到节点6的最短路*************************起点终点距离 ---- ---- ---- 1 5 1 5 6 6此问题的解为:7从节点 1到节点7的最短路*************************起点终点距离 ---- ---- ---- 1 7 3此问题的解为:3从节点 1到节点8的最短路*************************起点终点距离 ---- ---- ---- 1 5 1 5 6 66 8 3此问题的解为:104、最短路问题有6个村庄,各村庄的距离如下图所示。
运筹学--图论 ppt课件
4
5
4 9 8
v1
v3
2
v6
[8,v2]
v8
5 33
1
[2,v1]
v4
v7
[10,v4]
33
Dijkstra算法示例1
3)迭代计算(c)—更新与永久标号节点v2相连的节 (d2+w25=3+7=)10< ∞ (=d5) 点的临时标号。
[3,v1]
v2
[0,-]
7
v5
[10,v2]
2 [+∞,v1] 6
v4
v7
[+∞,v1]
22
Dijkstra算法示例1
2)迭代计算(a)—从临时标号中找到距离上界dk最 小的节点v4,d4=min{dk},将其变换为永久编号。
[3,v1] [+∞,v1]
v2
[0,-]
7
v5
2 [+∞,v1] 6 1 2 [+∞,v1]
3
5 2 [5,v1]
4
5
4 9 8
v1
v3
最小树问题不一定有唯一解。
10
10
最小支撑树问题的解法
破圈法 算法
初始化 将图G的边按权值从大到小的次序排列,从 原图开始迭代; 迭代
第1步(删边) 从排列中顺序选择一条与图中剩余边构成圈 的边,则将此边从图中删除,进入第2步(结束判断); 第2步(结束判断) 若图中剩下n-1条边,则已经得到最小支 撑树;否则,进入下一轮迭代,返回第1步(加边);
柯尼斯堡七桥问题
柯尼斯堡市区横跨普雷格尔河两岸,在河中心有两 个小岛。小岛的两岸共有七座桥将岛与岛、岛与河 岸连接起来。一个人怎样才能一次走遍七座桥,每 座桥只走过一次,并最后回到出发点?
运筹学-13图论概念及最小树
第一节 图的基本概念与模型
起点与终点相重合的链,称做圈。 起点与终点相重合的路,称做回路。 若在一个图中,每一对顶点之间至少存 在一条链,称这样的图为连通图。 否则,称该图不是连通的。
第一节 图的基本概念与模型
• 一个简单图中任意两点之间有边相连,称这样的图为完全图。
• 其边数有
Cn2
1 2
nn
树,称为该图的最小部分树(也称最小支撑树) (minimum spanning tree) • 定理1:图中任一点i,若 j是相邻点中距离最近的,则 边[i,j]一定必含在该图的最小树内。
• 推论:把图的所有点分成V和 V 两个集合,则两个集
合之间连线的最短的边一定包含在最小部分树内。
2-3 避圈法求最小部分树
图G1={V1,E1}和G2={V2,E2},如果有V1 V2 和E1 E2 ,称 G1是G2的一个子图。 若有V1= V2 , E1 E2 ,则称G1是G2的一个部分图。
第一节 图的基本概念与模型
• 要对研究的问题确定具体对象及这些对象间的性质联系,并 用图形式表示出来,这就是对研究的问题建立图的模型,用
例:e1为环 如果两个点之间的边多于一条,则 称为具有多重边;(平行边) 例:e4和e5为多重边。 对无环,无多重边的图称为简单图;
有平行边,不是简单图
有环边,不是简单图
简单图
第一节 图的基本概念与模型
与某一个点vi相关联的边的数目称为点 的次,(也叫度或线数)记为d(vi)。 例: d(v1) = 4 d(v3) = 5 d(v5) = 1
树图。
• 说明1:树图上只要任意再加上一条边,必定 会出现圈;
• 说明2:由于树图是无圈的连通图,即树图上 任意两点之间有一条且仅有一条惟一通路。是 最脆弱的连通图。
运筹学基础-图论方法
间V的弧即为最小V截集,最小截集容量即为该网络最大流量;
最大流最小截 的标号法步骤
第二步:增广过程
1、对增广链中的前向弧,令 f=f +q (t),q(t) 为节点 t 的标记 值
2、对增广链中的后向弧,令 f=fq (t) 3、非增广链上的所有支路流量保持不变
第三步:抹除图上所有标号,回到第一步
1
2
3
5
6 Θ=2
1
2
4
3 截止
截止,最大流量=9+5=14(或者最大流量=7+5+2=14
(六)利用 EXCEL求网 络最大流量
建立各结点间的流量矩阵
各结点间的流量矩阵
v1
v2
v3
v1
30
80
v2
v3
10
v4
v5
20 60
v6
2
20 30
1 80
10
100 3
v4
v5
60 100
10
4 70
10
5(34)
2(0)
6(01)
t
最大流量为5+9=14
7(65)
2
4
(s+, 1) 9(9)
10(98)
第二条链:(s+,)→(s+,1) → (2-,1) → (1+,1)截止
又例:利用标 号法(确定最 小截集)求最
大流量
(3-,1)
(1+,1)
1
3(2)
4
5(5)
(s+,) s
3(3)
3(3(5) -,41()4)
1(0)
(s+,)
运筹学基础-图论方法(1)
回路:若起始点和终点是同一个点的路称为回路。 连通图:一个图中,任意两个顶点至少存在一条链,则称这样的图 为连通图。否则称为不连通的。
图的名词和基本概念
次:与一个点相关联的边的数目称为次, 如v1 的次为2, v5的次 为3,次为奇数的点称为奇点,次为偶数的点称为偶点,次为0 的点称为孤立点,如v6 悬挂节点: 次为1的点称为悬挂节点: v1 e1 e 5 v3 e2 v5 e7 e4 e6 e3 v4 v6 v2
1 1
利用EXCEL求起点到终点的最短路径 利用EXCEL求起点到终点的最短路径
第三步: 第三步:定义最小路线运行方案
最小路线物运行方案
v1 v2 v3 v4 v5 v6 v1 v2 v3 v4 v5 v6 v7
流入 结点流 结点流限制 0 0 0 0 0 0 0 0 0 0 0 0 0 0
v7
流出
100 600
3
500
600
5
400 1100
7 2
900
此为最小树杈,最小线路长度为2400 此为最小树杈,最小线路长度为2400
练习:求最小树杈 v3 5 6 v1 5 v2 2 v4 1 7 3 4 4 v6 v5
破圈法答案
v3 6 v1 5 v2 1
5 7 3
v5 4 v6 4 v4
2
避圈法答案
弧:若点与点之间的连线有方向,称为弧,由此构成的图为有向图。 环:如果边的两个端点相重,称该边为环,如e10;如果两个端点之 间的边多于一条, 称为具有多重边,如[v2, v4] ,无环,无多重边的图为 简单图。
图的名词和基本概念
v1 e4 v3 e1 v5 e5 e3 e6 e9 e2 e7 v4 e10 v2 e8 v6 e1 e5 v5 e7 e6 e3 v6 v1 e2 v2 e9 e10 e8 v7
运筹学第十章 图论与网络优化
平面图
一个图称为平面图,如它有一个平面图形,使得 边与边仅在顶点相交。下图就是一个平面图:
v1
e2
v3
非平面图
e3
e1
v2
e4 e5
e6
v4
环、多重边
端点重合为一点的边称为环。 连接同一对顶点的多条边称为多重边。
v1
e1
e3
e2
v2
e4
v3
e5
简单图
一个图称为简单图,如果它既没有环也没有多重边.
含有多重边的图称为多重图.
我们只讨论有限简单图,
v1
e2
v2
即顶点集与边集都是有限的图。
只有一个顶点的图称为平凡图; e5
e7
e3
边集是空集的图称为空图。
v4
e4
v3
完全图K n
完全图是每一对不同顶点都恰有一边的简单图; 具有 n 个顶点的完全图记为K n.
|
E(Kn )
|
Cn2
n
2
n(n 1) 2
连通性
图G称为连通的,如果G的任意两个顶点u 和 v 中存在一条(u,v)路。
一个连通图称为一个连通分支。 不连通图(分离图)至少有两个连通分支。
用w 表示G的连通分支数。 割边:删除掉这条边后图G不连通。 割点:删除掉这个点后图G不连通。 割集:删除掉连通图中的若干条必要的边后,使 得图不连通,则这些边的集合称为图的一个割集.
图论(Graph Theory)是运筹学中的一个重要分支, 主要研究具有某种二元关系的离散系统的组合结构 和性质。
随着电子计算机的蓬勃发展,图论不仅得到了迅速 发展,而且应用非常广泛。它直观清晰,使用方便, 易于掌握。
运筹学图论概述
最短路线问题
一般针对赋权连通图(有向图或无向图皆可) , 求两点之间所经路线权值之和为最小的路线
求解该问题可以采用上一章介绍的动态规划的 方法
该方法适用于无负初等回路(指所有边的权值之和 为负值的初等回路)的赋权连通图(有向图或无向图 皆可);若有负初等回路,则不存在最短路线
该方法需要人工划分阶段,适合人工计算
在有向图中,由顶点指向外的弧的数目称为正度, 记为d+,指向该顶点的弧的数目称为负度,记为 d–
度数为0的点称为孤立点,度数为1的点称为悬挂点
图的基本概念(5)
与悬挂点连接的边称为悬挂边 若图中所有的点都是孤立点,则称为空图 定理6.1
所有顶点的度数之和,等于所有边数的两倍 原因:每条边关联两个顶点,计算顶点的度数时,每条
本章重点
图的基本概念 常见的四个问题的求解方法
图的含义
图是一种模型
如公路、铁路交通图,通讯网络图等
图是对现实的抽象
很多问题都可以用顶点和边来表示,一般顶点 表示实体,边(顶点与顶点之间的连线)表示实 体之间的关系,顶点和边的集合定义为图
图论的提出(1)
用图来描述事物及其联系,最早是由瑞士 数学家欧拉(Euler)于1736年解决哥尼斯堡七 桥问题时提出的
图的基本概念(7)
在有向图中,点边交错序列v0, e1, v1, e2, v2, …, vn-1, en, vn (其中ek=(vk-1, vk) )称为路
若v0≠vn,称为开路;反之,称为回路(注意和无向 图的回路区分开来)
若路中所含的边均不相同,称为简单路 若路中所含的顶点均不相同,称为初等路 除起点和终点外均不相同的回路,称为初等回路
因此,该算法一般应用于无负权值的赋权连 通有向图或无向图
《管理运筹学》演示(图论)
v3 (v2 ,1)
检查 vs 相邻点 v1 和 v2 。 v2点,fs2 = cs2 =3,不满足标号条件;v1点,fs1 < cs1 , v1点标号为( vs , l(v1) ), l(v1) =min[ l(vs) ,( cs1 - fs1 )]= min[+ , 5-1] = 4; 检查 v1 相邻点 v3 和 v2 。 v3点,f13 = c13 =2,不满足标号条件; v2点,f21=1> 0 , v2点标号为( -v1 , l(v2) ), l(v2) =min[ l(v1) , f21]= min[4 , 1] = 1; 检查 v2 相邻点 v3 和 v4 。v3点,f32=1> 0 , v3点标号为( -v2 , l(v3) ), l(v3) =min[ l(v2) , f32]= min[1 , 1]=1 ; v4点,f24 < c24 =1,v4点标号为( v2 , 1 ) ;
,
最大流量 v(f ) = 5
最小费用最大流问题
例:求下列网络最小费用最大流。弧旁数字为( bij , cij ) 步骤:
v1
(1,7)
vt
取 f ( 0 ) =0为初始可行流; 构造赋权有向图w( f ( 0 )),
vs
解:
v1
0 0
v2
0
0
v3
vt
0
bij wij bij wij
v8
步 骤:
给 vs点以 P 标号,P(vs) = 0,其余各点给 T 标号,
T(vs) = + ;
若 vs点为刚得到 P 标号的点,考虑这样的点 vj:
( vi , vj )属于A(或[vi , vj ] 属于E ),且vj 为 T 标号。对 vj 的T 标号进行如下的更改:
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
称矩阵A为网络G的权矩阵。
V5
7
6
4 5
V1
9
V4
2
4
V2
3
0 9 V3 权矩阵A= 2 4 7
8
9 2 4 7 0 3 4 0 3 0 8 5 4 8 0 6 0 5 6 0
对于图G=(V,E),|V|=n,构造一个矩阵 A=(aij)n×n,其中:
第六章 图与网络分析
• 1735年,瑞士数学家欧拉(Leonhard Euler)发表图论方面的第一篇论文, 解决了著名的哥尼斯堡七桥问题 (Koenigsberg bridges problem)。 • 哥尼斯堡城,普雷格尔河,两岛, 七桥 • 能否一次走过全部七桥,不重复地 回到出发点?
Königsberg (Koenigsberg)
步骤
(7)所有T标号中,T(v5)最小,故令P(v5)=8。记录路径(v2,v5)
(9)所有T标号中,T(v4)最小,故令P(v4)=9。记录路径(v2,v4) (10)T(v6)=min[T(v6),P(v4)+l46]=min[13,9+9]=13 T(v7)=min[T(v7),P(v4)+l47]=min[14,9+7]=14 (11)所有T标号中,T(v6)最小,故令P(v6)=13。记录路径(v5,v6) (12)T(v7)=min[T(v7),P(v6)+l67]=min[14,13+5]=13 T(v8)=min[T(v8),P(v6)+l68]=min[+∞,13+4]=17 (13)所有T标号中,T(v7)最小,故令P(v7)=13。记录路径(v5,v7) (14)T(v8)=min[T(v8),P(v7)+l78]=min[17,14+1]=15 (15)因只有一个T标号T(v8),令P(v8)=15,记录路径(v7,v8),完毕
v1 v2 v 3 v 4 v5 v6 v7 v8 0 2 5 -3 4 6 0 0 -3 0 7 2 0 4 0 0 0 0
v1 v2
v3 v4 v5 v6 v7
0
2 0
0
2 0
0 -2 0 4
2
5
2
0
2 2
0 0
-3 -3 -3 -3 -3 -3
6 6 3 3 6 3 6 9
11 6 6
14 9
例:已知九个人v1, v2,…v9,v1和 两人握过手,v2,v3,v4各和四个人 握过手,v8和六个人握过手,证 明这九个人中一定可以找出三个 人互相握过手。
图的矩阵表示: 网络(赋权图)G=(V,E),其边(vi,vj)有权wij, 构造矩阵A=(aij)n×n,其中: aij=
wij
0
(vi,vj)∈E
1
v8 5 v7
2 4 5 3
1
3 v0 4 4 2
1
v4
2
v6
5
v5
避圈法:开始选一条最小权的边,以后每一步中,总 从未被选取的边中选一条权最小的边,并使之与已选 取的边不构成圈。
v1 1 v8 5
4 2 4 5 3 1
v2 v0 2
1 3 4 4 2
v3 1 v4 5
v7
v6
v5
将图中的边按由小至大的顺序排列:
奇点
次为奇数的点, 如 v5
图G=(V,E),若E’是E的子集,V’是V的子集,且E’中 的边仅与V’中的顶点相关联,则称G’=(V’,E’)是G的 一个子图。特别是,若V’=V,则G’称为G的生成子 图(支撑子图)。
v4 (G) v1 v4 (G’) v1
v3
v2
v3
v2
v1 e1
e4
v4 e3
Dijkstra算法步骤: (1)给vs以P标号,P(vs)=0,其余点均给T号, T(vi)=+∞ (2)若vi点为刚得到P标号的点,考虑这样的点 vj:(vi,vj)属于E,且vj为T标号。对vj的T标号 进行如下更改: T(vj)= min[T(vj), P(vj)+lij]
(3)比较所有具有T标号的点,把最小者改为P标 号,即: P(vi)= min[T(vi)]
(6)T(v4)=min[T(v4),P(v3)+l34]=min[9,6+4]=9 T(v5)=min[T(v5),P(v3)+l35]=min[8,6+7]=8
(8)T(v6)=min[T(v6),P(v5)+l56]=min[+∞,8+5]=13 T(v7)=min[T(v7),P(v5)+l57]=min[+∞,8+6]=14
• 破圈法:任取一个圈,从中去掉一条边,再 对余下的图重复直到不再含圈时为止。
• 在图中任取一条边,找到一条与之不构成 圈的边,再找一条前两边不构成圈的边 • 重复直到不再能进行为止
一个乡有九个村,其间道路及各道路长度如图,各边上 的数字表示距离,问如何铺设电线连结各村,用线最短? v1 v2 v3 1 4
59 40 28 19
30 21
14 15
v1
12 v2
13
20
v3
v4
29 41
v5
22
15
v6
这样问题就变为求从v1到v6的最短路问题。 计算结果:序列{v1,v3,v6}为最短路,路长为49。
aij=
1
0
(vi,vj)∈E
其他
称矩阵A为网络G的邻接矩阵。
V4
V1 V2
V5
0 0 0 A 0 0 0
V6
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0
V3
邻接矩阵
当G为无向图时,邻接矩阵为对称阵。
Dijkstra算法采用标号法。 可用两种标号:T标号和P标号,T标号为试探性标号, P标号为永久性标号。 给vi点一个P标号时,表示从vs到vi点的最短路权,vi 点的标号不再改变。 给vi点一个T标号时,表示从vs到vi点的估计最短路权 的上界,是一种临时标号。凡没有得到P标号的点都有 T标号。 算法的每一步都把某一点的T标号改为P标号,当终点 vt得到P标号时,全部计算结束。
v4 e3 v1 v4 e3 v1
端点及关联边 若边e=(u,v)∈E,则称u,v为e的 端点,也称u,v是相邻的,称e是 点u(及点v)的关联边。
e7 v4 e5 v3 e6
e3
e2 e4
v1
e1 v2
环 若图G中,某个边的两个端点相同,则称e是环。如e7 多重边 若两个点之间有多于一条的边,称这些边为多重边。 如 e1,e2
e5 e6
v5 链 e9 v7 初等链
v2
e2
v6
v3 e7
e8
点边列中没有重复的点和重复边者为初等链。 在上图中{v1,e1,v2,e2,v3,e3,v4,e5,v5,e6,v3,e7,v6 , e8,v7} 是一条链, 但不是初等链。 {v1,e1,v2,e2,v3,e7,v6,e8,v7} 是一条初等链。
a1
v2
v4
路
当链(圈)上的边方向相同时,称为路。
在上图中,1 , a2 , v3 , a4 , v4 , a7 , v6 }是从v1到v6的一条路。 {v
基本定理
定理1: 任何图中,顶点次数的总和等于边数的2倍。
即
vV
d (v ) 2 E
定理2: 任何图中,次为奇数的顶点必为偶数个。
若全部点均为P标号则停止。否则
二、逐次逼近算法 该算法可用于图中带有负权的边时,求某指定点v1到 图中任意点的最短路。 例:求下图中v1点到各点的最短路。 v2 2 v1 5 -2 v3 4 -3 6 7 v6 v5 3 4 -1 v7 v8
-3
v4
4
2
j i
lij
P1 P2 P3 P4 P5 P6
哥尼斯堡,原为东 普鲁士 (Prussia) 首 府,现属俄罗斯(飞 地),名为加里宁格 勒(Kaliningrad)
Story in Kö nigsberg
现德国拜仁 的哥尼斯堡
A
Pregel River
C
D
B
A
欧拉将七桥问题归结为如图所示 的一笔画问题,并证明这是不可 能的
C B
D
6.1、图与网络的基本概念
(v0,v2)=1,
(v0,v6)=2, (v0,v5)=4, (v4,v5)=5
(v2,v3)=1,
(v5,v6)=2, (v0,v8)=4,
(v3,v4)=1,
(v0,v3)=3, (v1,v2)=4,
(v1,v8)=1,
(v6,v7)=3, (v0,v7)=5,
(v0,v1)=2
(v0,v4)=4 (v7,v8)=5
v8
3
-1 0
15 10 10 10
例:某工厂使用一台设备,每年年初都要做出决定,如 果继续使用旧的,要付维修费;若购买一台新设备,要 付购买费。试制定一个五年计划,总支出最少。
该设备在各年年初的价格为: 项目 购买费 第1年 11 第2年 12 第3年 13 第4年 14 第5年 14
机器不同役龄的维修费与残值: 使用年数 维修费 残值 0-1 5 4 1-2 6 3 2-3 8 2 3-4 11 1 4-5 18 0
贾代善 贾赦 贾琏 贾政 贾珠 贾宝玉 贾环 贾兰
若图G的生成子图是一棵树,则称该树为G的生 成树(支撑树)。 连通图G=(V,E),每条边上有非负权L(e)。一 棵生成树所有树枝上权的总和,称为这个生成 树的权。具有最小权的生成树称为最小生成树 (最小支撑树)。 求最小生成树的两种算法: (1)避圈法; (2)破圈法。