图论简介
DESCRIPTION
图论简介. 两个有趣的问题. 1. 任意一群人中(人数不小于 2 ),总有两人在该人群中认识相同的朋友数。 2. 在一次象棋比赛中,任意两名选手间至多下一盘,试证总存在两名选手,他们下过的盘数相同。 问题 1 :如何用学过的知识解答上述问题? 问题 2 :上述问题的解答是否相同?若不同,区别在哪?. Key web. http://amuseum.cdstm.cn/AMuseum/math/index.htm 中国数字科技馆,数学,信息科学等. 1 图的基本概念 /1.1 图论发展史. - PowerPoint PPT PresentationTRANSCRIPT
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 1
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 2
两个有趣的问题两个有趣的问题
1.任意一群人中(人数不小于 2),总有两人在该人群中认识相同的朋友数。
2.在一次象棋比赛中,任意两名选手间至多下一盘,试证总存在两名选手,他们下过的盘数相同。
问题 1:如何用学过的知识解答上述问题?问题 2:上述问题的解答是否相同?若不同,区别在哪?
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 3
Key webKey web
http://amuseum.cdstm.cn/AMuseum/math/index.htm
中国数字科技馆,数学,信息科学等
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 4
1 1 图的基本概念图的基本概念 /1.1 /1.1 图论发展史图论发展史 图论是组合数学的一个分支,也是近几十年来最活跃的数学分支之一 . 到目前为止,它已有二百六十多年的发展历史 . 图论的发展历史大体可以分为三个阶段:第一阶段是图论的萌芽阶段,它从十八世纪中叶到十九世纪中叶 . 这时,图论的多数问题是围绕游戏而产生的,其代表性的工作就是Königsberg 七桥问题 .1736 年 L.Euler发表了他著名的 Königsberg 七桥问题的论文,这是图论的第一篇文章 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 5
第二阶段从十九世纪中叶到二十世纪中叶 . 在此阶段,图论问题大量出现 . 如著名的四色问题、 Hamilton问题以及图的可平面问题等 . 在第二个阶段还应该特别提到Cayley把树应用于化学领域, Kirchhoff用树去研究电网络的分析问题 . 在漫长的 300年中,图论几乎停留在数学游戏阶段 . 虽然这阶段里 21岁的 G.Kirchhoff在1847年从事网络问题, A.Cayley在 1857年从计算有机化学的同分异构等不止一次地建立起图论的基本概念,但是直到 1936年 D.König发表的经典著作 <<有限图与无限图理论 >>才有了图论的第一本专著 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 6
二十世纪中叶以后是图论发展的第三阶段,即图论的应用阶段 . 由于生产管理、军事、交通运输、计算机网络、计算机科学、数字通讯、线性规划、运筹学等方面提出的实际问题的需要,特别是许多离散性问题的出现、刺激和推动,以及由于有了大型电子计算机,而使大规模问题的求解成为可能,图论及其应用的研究得到了飞速的发展 . 这个阶段的开创性工作是以Ford和 Fulkerson建立的网络流理论为代表的 .图论与其它学科的相互渗透,以及图论在生产实际中广泛地应用,都使图论的发展更加充满活力 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 7
几个有趣的图论问题几个有趣的图论问题
Königsberg七桥背后的故事 Königsberg七桥位于前苏联的加里宁格勒,历史上曾是德国东普鲁士省的省会,霹雷格尔横穿城堡,河中有两个小岛 B 与 C ,并有七座桥连接岛与河岸及岛与岛(见图)。是否存在一种走发,从四块陆地中的任意一块开始,通过每一座桥恰好一次再回到起点。这就是著名的 Königsberg七桥问题,即一笔画问题;也是图论的起源。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 8
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 9
四色问题四色问题为了能够迅速地区分一个平面地图或球面地图上的各个国家(假设这些国家在地图上都是连通的),需要用若干种颜色对这些国家着色,使得具有公共边界的两个国家涂染不同的颜色 . 那么,要保证每张地图都能如此着色,最少需要多少种颜色?这个问题是1850年被一名刚毕业的大学生 Francis Guthrie首先提出的,直到 1976年,四色问题被美国Illinois大学的 K.Appel和 W.Haken用计算机证明是正确的,这个证明令数学界震惊,它用了 1200多小时,作出 100亿个独立的逻辑判断 . 尽管有了这个机器证明,但它仍然是数学上未解决的问题之一 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 10
HamiltonHamilton 问题问题
Hamilton问题是图论中一直悬而未解的一大问题。它起源于 1856年,当时英国数学家 Hamilton 设计了一种名为周游世界的游戏。他在一个实心的正十二面体的十二个顶点上标以世界上著名的二十座城市的名字,要求游戏者沿十二面体的棱从一个城市出发,经过每座城市恰好一次,然后返回到出发点,即“绕行世界”。正十二面体的顶点与棱的关系可以用平面上的图表示,把正十二面体的顶点与棱分别对应图的顶点与边,就得到正十二面体图。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 11
正十二面体 Peterson图
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 12
旅行售货员问题旅行售货员问题
给出城市之间的距离,要求一位推销员从某一城市出发,周游每个城市一次,然后回到出发的城市,并且选的路径最短。这是一个图论优化问题,最早由美国数学家威特涅于 1934年在普林斯顿一次讨论班上提出。1954年几位美国数学家写了第一篇论文,用线性方程的方法解决了 49个城市的旅行售货员问题。后来也有不少论文讨论这个问题,在理论和应用上都很有价值。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 13
生活中,人们常常需要考虑一些对象之间的某种特定的关系 . 如某区域内,两城市之间有无交通线;一群人中,两个人之间相识或不相识等等 . 这种关系是对称的,即如果甲对于乙有某种关系,则乙对于甲也有这种关系 . 可以用一个图形来描述给定对象之间的某个关系:我们用平面上的点分别表示这些对象,若对象甲和乙有关系,就用一条线连接表示甲和乙的两个点 . 这种由一些点与连接其中某些点对的线所构成的图形就是图论中所研究的图 . 图 /Graph:可直观地表示离散对象之间的相互关系,研究它们的共性和特性,以便解决具体问题。
1.2 1.2 图的定义图的定义
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 14
无向图(简称图) : 一个图是指一个有序三元组(V(G),E(G), ),其中 V(G)是一个非空有限集,E (G)是与V (G)不相交的有限集合 ,是关联函数,它使 E(G)中每一元素对应于 V(G)中的无序元素对(可以相同)
几个重要定义几个重要定义
有
A(D)有
实际上 , 有向图即将无向图中的无序对看成有序对 . 其中有向图对应的无向图称为有向图的基础图。
其中 V(G) 称为顶点集 ,E(G) 称为边集( A(D) 又称为弧集) .令 p(G)=|V(G)|,q(G)=|E(G)|, 分别称为图的阶和边数。举例说明。
A(D)
A(D)
有向
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 15
。多重边条或以上的边称为关联于同一对顶点的两
;环点的边称为两个端点重合为一个顶
。相邻的干条边称为与同一个顶点关联的若
。关联与或的,而称相邻是和,称端点的为称顶点
连接则说边如果中在一个图
evuvuevuvu
euveGEGVG GG
)(,,,
,)(,)),(),((
如果一个图的顶点集和边集都是有限集则称该图为有限图 ,否则称为无限图 . 只有一个顶点所构成的图称为平凡图 ,其它的称为非平凡图 .
如果一个图中没有环也没有重边称为简单图。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 16
图 /graph; 有向图 /directed graph; 相邻 /adjacent ,
关联 /incident ;顶点 /vertex; 孤立的 /isolated ,环 /loop 。
在有向图 G 中,若 e= (a,b)∈E,即箭头由a到b,称a相邻到b,或 a 关联或联结 b。 a 称为 e的起点 /initial vertex, b 称为 e 的终点 /terminal or end vertex 。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 17
1. 严格有向图:既无自回路又无平行边的有向图。2. 非对称有向图:在两点间最多有一条有向边,但允许有自回路的有向图。3. 对称有向图:对于图中每一边 (a,b),总存在另一边(b,a)的有向图。4. 完全有向图 :(1) 完全对称有向图:一个从任一点到其他点有一条且仅有一条有向边的简单图; (2) 完全非对称有向图:任何两点有一条且只有一条有向边的非对称图。
有向图的种类:
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 18
有向图在成对比较中的应用有向图在成对比较中的应用 在很多实验中,特别在社会科学领域,要求人们通过对事物的两两比较排出它们的名次。这种方法称为成对比较法。例如,测定对音乐作品的个人爱好时,每一次对一个主题取出两个作品,问一个人他喜欢哪一个。记录了 n 个作品成对比较所有 n(n-1)/2种可能的结果后,实验者就能根据某人的爱好排出 n 个作品的品次。Kendall在 1948年做的一个分类实验时,对六种不同的狗食排名次。每天在六种食品中任选两种喂狗。实验安排了 15天,所有可能配对的食物都被试过,在图中,一条边是从喜欢的食物引向比较不喜欢的食物,这样的图称为优化图。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 19
有向图在竞赛中的应用有向图在竞赛中的应用在单循环赛中,每个运动员和所有其他运动员比赛,比赛结果可以用有向图表示。图中一条顶点 a 指向 b 的边表示运动员 a 胜过运动员 b 。所以完全非对称图又称为竞赛图。按得分排名次:根据运动员得分排名次,得分是运动员在比赛中胜的局数,反映在有向图中是点的出度。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 20
1.3 1.3 顶点的度顶点的度
顶点的度: 在无向图 G 中 , 与 a 相邻的顶点的数目称为 v 的度 /degree,记为 d(v)。分别用 表示
G 中的最小度和最大度。度为零的顶点称为孤立顶点。
在有向图 G 中 , 以 v 为终点的边的条数称为 v 的入度 /in-degree,记为 d–(v)。以 v 为起点的边的条数称为 v 的出度 /out-degree,记为 d+(v)。
有向图中, V 的度数 =d–(v)+ d+(v),
)()( GG 和
)}.(|)(max{)()},(|)(max{)(
)},(|)(min{)()},(|)(min{)(
DVuudDDVuudD
DVuudDDVuudD
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 21
定理 1.3.1 (Handshaking) 设无向图 G=( V, E )有 e 条边,则 G 中所有顶点的度之和等于 e 的两倍。
证明思路:考虑每条边在求和中的贡献。
定理 1.3.2 无向图中度为奇数的顶点个数恰有偶数个。
证明思路:将图中顶点的次分类,再利用定理 1 。
定理 1.3.3 设有向图 G=( V, A )有 e 条边,则 G中所有顶点的入度之和等于所有顶点的出度之和,也等于 e 。
证明思路:考虑每条边在求和中的情况。
即 Σd(v)=2e
即 Σd¯(v)= Σ d+(v)=e
记住了吗?
几个重要定理几个重要定理
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 22
推论推论
.|)(|)().(),(
)}(,|{)(
)(
))(,),(),((},,,,{)( 2121
vNvdvNGVS
SvGEuvSuuvN
GvGVS
vdvdvdvvvGV
G
S
pp
显然,则记作如果中的邻域。在为的任一顶点,称是的一个非空子集,是设
图序列。。简单图的度序列称为度序列为图的
称非负序列如果
是偶数。
是某个图的度序列:非负整数序列推论
p
ii
p
d
ddd
1
21 ),,,(
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 23
例 1 证明任何一群人中,有偶数个人认识其中奇数个人 .(匈牙利数学竞赛试题 )
[ 证 ] 用 n 个顶点表示 n 个人 . 如果两个人相识,就用一条线把他们对应的一对顶点连起来,这样就得到了一个图 G. 每一个人所认识的人的数目就是他对应的顶点的次,于是问题就转化为证明图 G 中奇点的个数为偶数,而这正是定理 1.3.2的结论 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 24
n
ii
nvdq1
6)(2.. 1.1 G q.G1. Gn ] [
1.3n1n 2.2
结论成立,即,所以,于是少是由于任一对于任一对点为半径的圆周上为圆心,以中的邻的邻点一定在显然,的边边的点对点对的数目于是,距离是,的距离距离恰与相邻邻当且仅与,使得个点为点为顶点以这 证
好是对点,每对点的距离恰,证证明至多距离离至少个点,其中任意两点,是平面上设 例
例 2 设是平面上 n个点,其中任意两点的距离至少是 1,证明至多有 3n对点,每对点的距离恰好是 1.
[证 ] 以这 n个点为顶点作图 G,使得 与 相邻当且仅当 与 的距离恰好是 .于是,距离恰为 1的点对的数目就是 G的边数 q. 显然,在 G中的邻点一定在以 为圆心,以 1为半径的圆周上 .由于任一对点的距离至少是 1,于是, 所以 即 . 结论成立
jv)1(1 nji jv
iv
iviv
.6)( ivd .6)(2
1
nvdqn
ii
.3nq
例例 22
iv
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 25
例例 33
在一次围棋擂台赛中,双方各出 n名选手。比赛的规则是双方先各自排定一个次序,设甲方排定的次序为 乙方排定的次序为
,,,, 21 nxxx
(假定不出现平局)?定其胜负问最多进行几场比赛可给对方,比赛就结束。位选手出场比赛并且输
后一比赛,直到有一方的最选手比赛。按这种方法方下一位先比赛,胜的一位与对y与x,y,,y,y 11n21
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 26
1.4 1.4 子图与图的运算子图与图的运算
子图:G= ( V ,E)是图 , 若G’ =(V’ ,Ε’) 也是图且满足 :(1)V’V; (2)E’E;则称G’为G的子图 /subgraph。生成子图: 当V’=V时 , 称G’为G的生成子图。真子图 : 当E’≠E或V’≠V时 , 称G’为G的真子图。导出子图 : 设V’V , 由V’内的所有顶点及其顶点之间的所有边得到的子图称为 G 的导出子图(由顶点确定);边导出子图:设E’E , 由边集 E’的所有边及其边的顶点集得到的子图称为 G 的边导出子图 ( 由边确定) .举例说明其区别。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 27
相对补图 /complementary graph :G=(V,E)是图,G’=(V’, Ε’)是G的子图,E”=E-E’,V” = V - V’ 或是E”中边所关联的所有顶点集合,则G”=(V”,E”)称为G’关于G的相对补图。补图: 关于完全图的子图的补图称为此子图的绝对补图,若子图记为G,则补图记为 。cG
边不重的。是G与G则称,EE若;是不相交的G与G则称
,V) V是两个图,若E,(V) G和E,(VG设
212121
21222111
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 28
图的运算图的运算
图的并 /union :G=(V,E)和G’=(V’, Ε’)是两个简单无向图,它们的并图GG’定义为 GG’ = (V’ V,E’ E) .图的和:G=(V,E)和G’=(V’, Ε’)是两个不相交的简单无向图,称G + G’为 G 和 G’的和,其中G + G’ = (V’ V,E’ EE’’ ).图的交:G=(V,E)和G’=(V’, Ε’)是两个简单无向图,称G G’为 G 和 G’的交,其中G G’ = (V’ V,E’ E ).举例说明。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 29
1.5 1.5 特殊图类特殊图类
完全图 /complete graph:图 G中的每对不同顶点之间恰有一条边。空图 /empty graph:边集为空的图。问题:完全图的补图是怎样的图?设 G=(V,E)是 p阶图 ,若 V可以划分为m个非空
.|V|p其中,. K记为m完全 部图G则称 为E,uv均有
m),ji(1Vv和V. u如果对任意的m等 部图G称 是
,则|V||V||V|E).若;V,,V,(V,记为m部图] G是空图,则称 为G[Vi ,使得对每一个,V,,V,V子集
iip,,p,p
ji
m21m21
im21
m21
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 30
补充特殊图类补充特殊图类练习:画出一个完全二部图 /bipartite graph。轮图 /wheel:由一个圈添加一个新顶点 , 并且把这个顶点与圈的所有顶点相连得到的图称为轮,新的边称为辐。正则图:每个顶点的度都等于 k 的图。线图(边图) /line graph:图 G 的线图是以为E(G)顶点集的图 , 其中两个顶点相邻当且仅当它们在 G 中是相邻的边。练习 : 各类特殊图所含边数的情况如何?
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 31
1.6 1.6 图的矩阵表示与同构图的矩阵表示与同构
图 G表示的三种方法:
( 1)集合表示
( 2)邻接表( adjacency list)表示
( 3)矩阵( matrix)表示
1、邻接矩阵( adjacency matrix)表示
2、关联矩阵( incidence matrix)表示
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 32
关联矩阵及其举例说明关联矩阵及其举例说明
关联矩阵:设 G=(V,E)的顶点集和边集分别为
的关联矩阵。
为关联的次数,称矩阵与边
表示顶点用
GbGBev
beeeEvvvV
qpijji
ijqp
)()(
},,,,{},,,,{ 2121
关联矩阵的性质 :
(1) B(G) 的每一列元素之和均为 2 ;(2) B(G) 的每一行元素之和等于对应顶点的度数。举例说明。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 33
邻接矩阵及同构邻接矩阵及同构
的邻接矩阵。为称矩
之间的边数,与边表示顶点用
的顶点集:设图邻接矩阵
GaGM
vvaeeeE
vvvVEVG
ppij
jiijq
p
)()(
},,,,{
},,,,{),(
21
21
.GG记作hi sm,/ i somorp同构G与G则称图,保持关联方向的对应)一一对应(对有向图还
中的边也E与E在此对应下,,间的一一对应V与
V如果能建立),E,(VG),E,(VG图图的同构:
2121
212
1222111
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 34
邻接矩阵的性质邻接矩阵的性质(1)主对角线所有元素都是 0<=>图中无回路 ;(2)若无环 , 顶点的度等于 M 中对应行或列中的 1 的个数。(3) M是对称的 , 所以如果两行交换位置,那末相应的列也应交换位置。(4)图 G 是分离图 , 且有两个分支 G1和 G2 <=>它的邻接矩阵能划分成分块对角矩阵。(5)给出任何一个 n 阶对称( 0 , 1 )方阵 Q,总能构造一个具有 n 个顶点的图 G ,使得 Q 是G 的邻接矩阵。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 35
从定义可以看出,两个同构图必然具备下列性质:
( 1 )具有相同的顶点数;
( 2 )具有相同的边数;
( 3 )对于一个给定的度数具有相同的顶点数。
反之不成立。
举例说明。
同构图的性质
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 36
例 1 下面两个图不同构 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 37
例 2 证明:图 G和图 H同构 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 38
同构判定算法(用邻接矩阵)
1 、根据图确定其邻接矩阵( I)
2 、计算行次:矩阵每行1的个数,(对应于出次) 和列次:(对应于入次)
3 、不考虑出现的次序不同,若行次与列次不同,则必不同构,否则继续
4 、同时交换其一矩阵的i行和j行,i列和j列。 若此矩阵能变成与另一矩阵相同,则同构。对所有顶点的排列都试过,仍不相同,则不同构。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 39
性质:两个图 G 与 H 是同构的充要条件是存在一个置换矩阵 P,使得M(G)=P'M(H)P.
的弧的条数。到的定义为:从
的元素:
不关联与顶点。的终点是顶点
的起点是顶点
:
jiij
ppij
ji
ji
ji
ij
qpij
vva
aDM
av
av
av
b
bDB
)()(
0
1
1
,)()(
有向图的邻接矩阵
有向图的关联矩阵
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 40
2 2 图的连通性图的连通性 /2.1 /2.1 途径、路和圈途径、路和圈
途径:G中相邻边的序列(V 0, V 1),(V 1, V 2),…(V k-1, V k)称为一条途径 . 此途径长度为k . 也可以(V 0,V 1,…,V k)表示道路 , V 0为起点,V k为终点,起点与终点相同时称为闭途径。迹 /trace :一条边不重复出现的途径称为迹 , 当V0= V k时称为闭迹。路 / Path : 一条内部顶点不重复出现的途径称为路;路所含的边数称为路的长度。回路(圈) /Cycle:一条内部顶点不重复出现的闭路称为圈。长度为奇数的圈称奇圈,否则称偶圈。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 41
其他概念其他概念
顶点间的距离:任意两点 u与 v之间的最短路。图的直径 :指 G的两个顶点之间的最大距离。完全图的直径是?其他特殊图类呢?图的围长:图中最短圈的长度。图的周长:图中最长圈的长度。有向图的相关概念可以类似定义。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 42
相关定理及其证相关定理及其证明明
的圈。少为中必然含有一个长度至则是中每一个顶点的度至少若简单图定理
1
),2(1.1.2
kG
kkG
的有向回路。必含有长度至少为则
是严格的,且设有向图定理
1),0()(
,)(2.1.2
kDkkD
kDD
长度为偶数的圈。中含有则每一个顶点的度至少是若简单图定理 GG ,33.1.2
不含有奇圈。是二分图非平凡图定理 GG 4.1.2
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 43
有向图中路的应用有向图中路的应用
例有 A,B,C三个瓶,分别能装油 8L,5L和 3L.如果A 装满油, B 和 C 是空的,怎样以最快的速度平分 A中的油?[ 解法 ] 我们用三位数码表示 A,B,C三个瓶子装油的情况,又因为三位数码之和不变,所以可以用后两位数码表示三个瓶子装油的情况 . 例如:( 0 , 0 )表示初始状态 . 根据题意:共有十六种可能的状态,用这 16个状态为顶点作图 G ,使得两个状态相邻当且仅当它们可以经过一次倒油相互转化 . 于是,问题就是要求从( 0 , 0 )到( 4 , 0 )的一条最短路 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 44
容易作出图 G(如下图):
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 45
通过观察图得知共有两条从( 0 , 0 )到 (4,0)的路:第一条 : (0,0) (5,0)(2,3) (2,0)(0,2) (5,2) (4,3) (4,0);
第二条 : (0,0) (0,3)(3,0) (3,3)(5,1) (0,1) (1,0) (1,3) (4,0);
从而,最快的速度平分即是最短的路所对应的过程,即第一条路的过程就是以最快的速度平分油的过程。
能说出具体操作吗?
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 46
连通 /connectivity:设G= ( V , E ),若存在一条从V 0,到V k的一条道路,则称V 0到V k 连通。
无向图的连通性 : 若图G中任两个不同顶点都连通,则称此无向图是连通的 /connected, 否则称为非连通图 ( 分离图 ) 。
连通分支 /connected components:图G可分为几个不相连通的子图,每一子图本身都是连通的。称这几个子图为G的连通分支。
2.2 2.2 连通图、非连通图和成分连通图、非连通图和成分
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 47
说明:对无向图而言,若V 0 到V k 可达,则V k到V 0也可达。对有向图而言则未必。有向图的连通性:(1)弱连通:G=(V,E)对应的无向图是连 通 图 , 则 称 G 为 弱 连 通 /weakly connected。(2)强连通:若G=(V,E)中任两点间都有路,即对a与b,a到b可达,b到a可达,称G为强连通 /strongly connected 。(3) 单向连通:如果有向图 D 的任何两个顶点至少由一个顶点到另一个顶点可达 , 则称 D 是单向连通的。
有向图的连通性有向图的连通性
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 48
例:用图描述一台自动售货机,只用5分,10分二种硬币,满15分后压按钮,选择一块巧克力,钱多了不找还。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 49
顶点 : a:0 分边: 5:投5分 b:5分 10:投10分 c:10分 p:压按扭动作 d:≥15分 表示已投入钱的状态 表示一种动作
自动售货机:有向加权图描绘得很清楚
( 1 )钱数不够,压按扭,不起作用
( 2 )钱数够了 , 压按扭 , 给过糖果回到0分状态
( 3 )钱超过15分,再加钱白加
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 50
一个简单定理的应用一个简单定理的应用
定理 2.2.1:设 G是 p阶简单图 , 每个顶点的度至少是 [p/2],则 G是连通图。例 1: 用一些圆面覆盖平面上取定的 2n个点。试证:若每个圆面至少覆盖 n+1个点则任两个点能由平面上的一条折线所连接,而这条折线整个地被某些圆面覆盖。证明:构造相应的图,得到顶点的最小度,应用定理即可证明。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 52
定理 2.2.2:一个有 n个顶点和 k个成分的简单图最多有 (n-k)(n-k+1)/2 条边 .
)1)((2
1
22
1
2
)1(||||),,(
),1(2
1||),,(
).1(
, ,,
1
2
11
1
1
knkn
nn
nnEEEVG
nnEEVg
nnn
nggggG
k
ii
k
i
iik
ii
iiiiii
i
k
ii
iiji
k
ii
对于图
有对任何一个简单图
则
的顶点数是其中证明:设
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 53
在邻接矩阵中,若a ij=1,表明V i 到Vj 有一条边,即V i 到V j 可达;若a ij=0说明V i 到V j 没有道路 . 若通过其他点中转,也有可能连通。作邻接矩阵的普通矩阵乘法:
B=A2 ·=A A= nnijb )(
b ij=
n
kkjikaa
1
用邻接矩阵讨论连通性用邻接矩阵讨论连通性
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 54
b ij的值表示V i 到V j 长为2的途径的条数 ; 一般地,就有:A m 的元素m ij表示V i 到V j 长为m的途径的条数。定理 2.2.3:设 M(G)是 G 的邻接矩阵,则 G中连接V i到V j长为m的途径的条数等于A m
的元素m ij ,其中A m是矩阵 A 自身作 m 次乘法得到的矩阵。推论 : 若 G 是简单图,则对每一个顶点 vi,i=1,2,
…,p有 dG(vi)=aii(2),即矩阵 A 自身作 2 次乘
法得到的矩阵的对角线元素。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 55
邻接矩阵与连通性邻接矩阵与连通性
定理 2.2.4:阶至少为 3的图 G是连通的充要条件为 R(G)中的每个元素都不等于零,其中R(G)=M(G)+M2(G)+…+ Mp-1(G)。定理 2.2.5:设 D是连通的有向图,则 D是强连通的当且仅当 D的每条弧都含在一个有向回路中。(了解)
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 56
顶点割 :若V的子集 V’使得G-V’不连通 ,则V’
称为G的顶点割 .
k 顶点割是指有 k个元素的顶点割 .
连通度 :若G不是完全图 ,则G 所有顶点割中的最小的 k, 称为G的连通度 , 记为 ;否则定义 为 v-1.
若 , 则称 G为 k 连通的 .)(GkG )(
)(G
2.3 2.3 连通度连通度
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 57
)(' G
kG )(')(' G
边割 :若 E(G)的子集 E’使得G-E’不连通 ,则E’ 称为G的边割 .
K 边割是指有 k个元素的边割 .
边连通度 :G的所有 k 边割中最小的 k.
若G是平凡的 , 则 定义为 0.
若 , 则称 G为 k 边连通的 .
边连通度边连通度
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 58
连通度和边连通度的等价定义(更实用)连通度和边连通度的等价定义(更实用)
等价定义 1:图 G是 k 连通的当且仅当对任意一个点数不超过 k-1的顶点子集 V', G-V' 仍然连通。等价定义 2.1:图 G是 k 边连通的当且仅当对任意一个边数不超过 k-1的边子集 E' , G-E' 仍然连通。等价定义 2.2:图 G是 k 边连通的当且仅当对任一非空真子集 S,均有 |[S,Ŝ]| ≥k,其中 [S,Ŝ]表示一个顶点在 S中一个顶点在 Ŝ 中的所有边集 , Ŝ是 S 的补集 。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 59
几者之间的联系几者之间的联系
).()e(1)(eG)5(
)u(1)(uG)4(
;KG,1p)()3(
;KG,1p)()2(
)()(),()()1(
),G(pp,G
p
p
GGG
GG
G
G
GGGG
,的任意一条边对;,的任意一个顶点对
等号成立当且仅当
等号成立当且仅当;
则若引理:对于简单图
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 60
几者之间的联系几者之间的联系
定理 2.3.1: 对任意简单图,有(定理证明无需掌握 ,要记熟三者之间的关系)问题:怎样的图可以取到等号呢?设G是 p阶简单连通图,若对于G的任意四个顶点 u,v,x,y,若 |[{u,v},{x,y}]|=0就有 d(u)+d(v)
+d(x)+d(y) ≥2p-3, 则事实上,还有很多图类满足第一个不等式中的等号关系,你能自己找到吗? (课后自己练习 )
).()()( GGG
).()( GG
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 61
几个重要定理几个重要定理G中一族路称为内部不相交的 :如果 G中任意两条路除起点和终点外没有公共顶点。定理 2.3.2 一个阶不小于 3的图是 2 连通的 , 当且仅当 G的任意两个顶点至少被两条内部不相交的路所连 .
推论 1 若 G是 2 连通图 ,则 G的任意两个顶点(或任意两条边)都位于同一个圈上 .
边 e称为被剖分 ,是指删去它并换上一条连接它的两个端点而长为 2的路 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 62
wv路 组成。Q合组成,另一条由 和( x v)的一节 由 到 联P'( u x)节 从 到 和v) P路,一条由 的一,(u两条内部不相交的
G于是 有x P性,可假定 在 中。u的可能性。不失一般x不存在的,我们不排除Q x中,这样的顶点 是u P由于 在
Q中的最后一个顶点,P中又在P'v) P' . x路 设 是在(u,一条w是连通的,并且包含G所以G 2又因为 是 连通的,
w) P Q.路 和u,(有两条内部不相交的G由归纳假设知:在 中1kw)(v,. d面的那个顶点 因为w v并且设 是该路上 前,路
v)(u,2. k考察长为 的一条kv)d(u,并且设,均成立顶点定理k距离小于 的任意两个的路所连。现假设对于
交v G被 中两条内部不相uv u仍连通,从而 和-G,由此,边uv此边 不是割1 G 2。 是 连通的,因v). d(u,归纳法 假设
v)用d(u,u v,对 和 之间的距离G 2反之,设 是 连通图 G 2 .此 是 连通的1并且没有 顶点割。因G ,则 是连通的
,路所连少被两条内部不相交的G若 的任意两个顶点至
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 63
定理 2.3.3:一个图是 2 边连通的当且仅当任意两个顶点至少由两条边不重的路所连 .
推论:连通图 G是 2 边连通的充分必要条件是 G的任意一条边含在某个圈上。定理的推广:图 G是 k边连通的当且仅当 G的任意两个相异顶点至少由 k条边不重的路所连 .
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 64
2.4 2.4 最短路问题最短路问题
最短路问题 :在赋权图中求某点到另一点的权值最小的路称为最短路问题。Dijkstra算法:
并转入第二步。代替则停止。否则用若置
顶点记为并把达到最小值的这个计算代替用对每一个
对置
,1,1)()3(}.{
.)},({min).()}()(),(min{),()2(
;0},{,)(},{\,0)()1(
11
1
0000
iiGpiuSS
uvlvlvuulvluNv
iuSvluVvul
iii
iSv
iiis
i
i
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 65
应用(一)应用(一)
某企业使用一台设备,每年年初,企业领导总要考虑是购买新设备还是继续使用旧设备。若购新设备就要支付购买费若使用旧的,就要支付一笔维修费。具体需多少根据该设备使用的年数决定。问题:如何制定一个几年之内的设备更新计划使得支付的费用最少。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 66
具体数据具体数据 (( 单位:万元单位:万元 ))
使用年数 0~1 1~2 2~3 3~4 4~5
维修费用 5 6 8 11 18
年份 第 1年
第 2年 第 3年 第 4年 第 5年
购买费用
11 11 12 12 13
对应图论怎样的问题?如何转化?
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 67
应用(二)应用(二)
某建筑公司签订了一项合同要为一家制造公司建造一座新的工厂。合同规定工厂的完工期限为 12个月。要是工厂不能在一年内完工,就要赔款,因此建筑公司的管理处要制定合理的安排表实际上属于项目管理。
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 68
具体数据(建筑工序表)具体数据(建筑工序表)工序(事项) 估计周数 紧前事项1平整土地 4 无2打桩 1 1
3运进钢材 3 无4运进混凝土 2 无5运进木材 2 无6运进水管和电器材料 1 无7浇注地基 7 2, 3, 4
8焊接钢梁 15 3, 7
9 安装生产设备 5 7, 8
10分隔办公室 10 5, 7, 8
11 安装水电和电器 11 6, 8, 10
12装饰墙壁 5 8, 10, 11
Graph TheoryGraph Theory// 图图论论
04/19/23 16:35 SWUFE 69
2.5 2.5 单行道路系统的构造单行道路系统的构造
设 G是表示城市街道系统的图 , 顶点表示交叉路口 .如果图 G是连通的 , 则可以从城市任一点到其他任意一点 . 那么,在什么条件下可以把街道变成单行道路,使从城市的任何点仍有可能沿规定单行方向到达任意其他点,以达到城市交通的畅通?归结为图论中的什么问题?
若 G是 2- 边连通图,则 G 有强连通的定向图。