第八章 图论(第1-3节)

合集下载

(优选)离散数学图论版

(优选)离散数学图论版
(3)G1与G2的差,定义为图G3=〈V3,E3〉,记为G3=G1-G2。 其中E3=E1-E2,V3=(V1-V2)∪{E3中边所关联的顶点}。 (4)G1与G2的环和,定义为图G3=〈V3,E3〉,
G3=(G1∪G2)-(G1∩G2),记为G3=G1 G2。
除以上4种运算外,还有以下两种操作:
E={e1,e2}={(v1,v2),(ห้องสมุดไป่ตู้2,v3)};
f(v1)=5,f(v2)=8,f(v3)=11;
g(e1)=4.6,g(e2)=7.5
8.1.2 结点的次数
定义8.1―4在有向图中,对于任何结点v,以v为始点的 边的条数称为结点v的引出次数(或出度),记为deg+(v); 以v为终点的边的条数称为结点v的引入次数(或入度), 记为deg-(v);结点v的引出次数和引入次数之和称为 结点v的次数(或度数),记作deg(v)。在无向图中,结点 v的次数是与结点v相关联的边的条数,也记为deg(v)。
i 1
i 1
定理8.1―2在图中,次数为奇数的结点必为偶数个。
证 设次数为偶数的结点有n1个,记为(i=1,2,…,n1)。 次数为奇数的结点有n2个,记为(i=1,2,…,n2)。
由上一定理得
n
n1
n2
2m deg(i ) deg(Ei ) deg(Oi )
i 1
i 1
i 1
因为次数为偶数的各结点次数之和为偶数。所以
孤立结点的次数为零。
定理8.1―1 设G是一个(n,m)图,它的结点集合为
V={v1,v2,…,vn},则 n
deg(i ) 2m
i 1
证 因为每一条边提供两个次数,而所有各结点次数
之和为m条边所提供,所以上式成立。

离散数学 教案 第八章 图论

离散数学 教案  第八章 图论

西南科技大学
6
计算机科学与技术学院
Discrete Mathematics 为方便起见,在无向图中往往用字母ei表示 边。例如,在上图中,用e1表示边(v2,v2),e2 表示边(v1,v2)等。 对于一个确定的图,我们不关心顶点的位置, 边的长短与形状,因此,所画出的图的图形可 能不唯一。 定义 一个有向图G是一个二元组<V,E>,即 G=<V,E>,其中
西南科技大学
4
计算机科学与技术学院
Discrete Mathematics 定义 一个无向图G是一个二元组<V,E>,即 G=<V,E>,其中
(1). V是一个非空的集合,称为G的顶点集, V中元素称为顶点或结点;
(2). E是无序积 的一个多重子集 (元素可重复 出现的集合为多重集),称E为G的边集,E中元 素称为无向边或简称边。 在一个图G=<V,E>中,为了表示V和E分别 为G的顶点集和边集,常将V记成V(G),而将E 记成E(G)。
由于2m,
为偶数,所以
也为偶数。
可是,vV1时,d(v)为奇数,偶数个奇数之和才能 为偶数,所以|V1|为偶数。结论得证。
西南科技大学
17
计算机科学与技术学院
Discrete Mathematics 对有向图来说,还有下面的定理: 定理 设G=<V,E>为有向图, V={v1,v2,…,vn} , |E|=m,则
(5).设E´ E且E´ ≠Φ ,以E´为边集,以E´中边
关联的顶点的全体为顶点集的G的子图,则称G´是由 边集E´导出的G的子图。
西南科技大学
26
计算机科学与技术学院
Discrete Mathematics 例如,在下图中,(2),(3)均为(1)的子图;(3)是 生成子图;(2)是顶点子集{v1,v2}的导出子图,也

第八章图论

第八章图论
有向图是一个有序二元组(V,A),记为 D=(V,A),其中 V=(v1,v2,…….vp)是 p 个点 的集合,A={a1,a2,……aq}是 q 条弧的集合,并且 ai 是一个有序二元组,记为 aij=(vi,vj)≠ (vj,vi),vi,vj∈V,并称 aij 是以 vi 为始点,vj 为终点的弧, i, j 的顺序不能颠倒,图中弧的方 向用箭头标识。
27
Dijkstra标号法原理
方法的每一步是去修改 T 标号,并且把某一个具有 T 标号的点改变 为具有 P 标号的点,从而使 D 中具有标号的顶点数为多一个.这样至多
树与最小树问题
某企业的组织机构如下所示
生产计划科
行政办公室技术科工 设艺 计组 组
供销科Βιβλιοθήκη 财务科厂长 行政科
车间铸 锻造 压车 车间 间
生产办公室
二车间 三车间 四车间
18
树的概念和性质
树的定义
定义 无圈的连通图,称为树,记作 T=(V,ET)。
树的性质
v1
v3 7 v5
24
矩阵法举例
例 8.2 下面是一个求最小树的问题。用矩阵法求解
V3
7
V6
1
4
1
2
9
V1
3
3
V4
10
V7 3
V9
7
V2
4
8
6
5
V5
2
V8
25
最短路问题
最短路问题,就是从给定的网络图中找出一点到各点或任意两 点之间距离最短的一条路
最短路问题在实际中具有广泛的应用,如管道铺设、线路选择 等问题,还有些如设备更新、投资等问题也可以归结为求最短 路问题

运筹学 第八章 图论 - 全

运筹学 第八章 图论 - 全

(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,对无环、无多重边的

图论详细讲解

图论详细讲解
e1
e2
V1
e3
e4
V4 e5
e8 e6
V5
39
V3 本书由天疯上传于世界工厂网-下载中心
2.树和最小支撑树
取一个圈(v1,v2,v3,v1),在一个圈中去 掉边e3 。在剩下的图中,再取一个圈 (v1,v2,v4,v3,v1),去掉边e4 。再从圈 (v3,v4 v5,v3)中去掉边e6 。再从圈 (v1,v2,v5,v4,v3,v1 )中去掉边e7, 这样,剩下的图不含圈,于是得到一个 支撑树,如图8.12所示。
v3
15
1.图的基本概念与基本定理
图8.5是一个有向图D=(V,A) 其中V={v1,v2,v3,v4,v5,v6,v7} A={(v1,v2),(v,v3),(v3,v2), (v3,v4),(v2,v4),(v4,v5), (v4,v6),(v,v3),(v5,v4), (v5,v6),(v6,v7)}
19
1.图的基本概念与基本定理
定理8.1 所有顶点次数之和 等于所有边数的2倍。
定理8.2 在任一图中,奇 点的个数必为偶数。
1.图的基本概念与基本定理
图的连通性:
链: 由两两相邻的点及其相关联的 边构成的点边序列;如: v0 ,e1 ,v1 ,e2 ,v2 ,e3 ,v3 ,…,vn-1, en , vn ; v0 ,vn分别为链的起点和终点; 简单链:链中所含的边均不相同; 初等链:链中所含的点均不相同,也 称通路;
本书由天疯上传于世界工厂网-下载中心
9
1.图的基本概念与基本定理
北京 太原 石家庄
天津 塘沽 济南 青岛郑州 Nhomakorabea徐州 连云港
南京 上海
10
重庆
武汉

第八章 图论8.4树及其应用.ppt

第八章 图论8.4树及其应用.ppt

⑥ G中每一对结点之间有惟一一条基本通路。(n≥2)
2017/10/10 82-9
定理4.2.1 分析
直接证明这 6 个命题两两等价工作量太大,一 般采用循环论证的方法,即证明
(1) (2) (3) (4) (5) (6) (1) 然后利用传递行,得到结论。
2017/10/10
证明 TG = <VT, ET> 是 G = <V, E> 的生 分析 必要性:假设 必要性由树的定义即得,充分性利用构造性 成树,由定义 4.2.1 , TG 是连通的,于是 G 也是连通的。 方法,具体找出一颗生成树即可
充分性:假设G = <V, E>是连通的。如果G中无回 路, G 本身就是生成树。如果 G 中存在回路 C1 ,可删除 C1中一条边得到图G1,它仍连通且与G有相同的结点集。 如果G1中无回路,G1就是生成树。如果G1仍存在回路C2, 可删除 C2 中一条边,如此继续,直到得到一个无回路 的连通图H为止。因此,H是G的生成树。
2017/10/10 82-22
思考题
1、一个图的生成树是不是唯一的呢?
2、如果不是唯一的,3个顶点的无向完全图有几棵 生成树?4个顶点的无向完全图又有几棵生成树?n 个顶点的无向完全图又有几棵生成树?
完全图是边数最 多的简单无向图
2017/10/10
82-23
定理4.2.3
一个图G = <V, E>存在生成树TG = <VT, ET>的充分 必要条件是G是连通的。
由定理4.2.1(4) 在结点给定的无向图中, 由定理4.2.1(5) 树是边数最多的无回路图 树是边数最少的连通图 由此可知,在无向图G = (n, m)中, 若m<n-1,则G是不连通的 若m>n-1,则G必含回路

第8章-图论PPT文档117页

第8章-图论PPT文档117页
第8章பைடு நூலகம்图论
1、战鼓一响,法律无声。——英国 2、任何法律的根本;不,不成文法本 身就是 讲道理 ……法 律,也 ----即 明示道 理。— —爱·科 克
3、法律是最保险的头盔。——爱·科 克 4、一个国家如果纲纪不正,其国风一 定颓败 。—— 塞内加 5、法律不能使人人平等,但是在法律 面前人 人是平 等的。 ——波 洛克
41、学问是异常珍贵的东西,从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间,才能认识自 己。——德国
43、重复别人所说的话,只需要教育; 而要挑战别人所说的话,则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是:在不利与艰 难的遭遇里百折不饶。——贝多芬
45、自己的饭量自己知道。——苏联

第八章 图论原理(缩)

第八章 图论原理(缩)
图论
图论
• 图论是用图的方法研究客观世界的一门科 学. • 用“结点”表示事物, 用“边”表示事物 之间联系, 而由结点与边所构成的图表示 所研究的客观对象. • 图论研究图的逻辑结构与性质,是研究图 的抽象性质的一种数学.
图论
• 图论在语言学、逻辑学、物理学、化学、 电气工程、计算机网络、计算机科学及数 学的其他分支中有广泛应用. • 在计算机科学中,图论在形式语言、数据 结构、分布式系统、操作系统及数据库研 究中均有很重要的应用. • 本篇结构
i 1
• d次正则图:所有结点均有相同次数d的图.
8.1.4 图中结点的次数
• 例:任何图G中必有偶数个() A. 引入次数为奇数的结点 B. 引出次数为奇数的结点 C. 次数为偶数的结点 D. 次数为奇数的结点 • 解: 引入次数与引出次数均指有向图, 这里是所有图 因为图中结点次数的总和为偶数, 因此次数为奇 数的结点数目为偶数. 所以选D.
• 例8.3 R={R1,R2,R3,R4} P={P1,P2,P3,P4} 其资源分配状况是: P1占有资源R4且申请资源R1; P2占有资源R1且申请资源R2及R3; P3占有资源R2且申请资源R3; P4占有资源R3且申请资源R1及R4. • 解: 其资源分配图:
8.2.1 通路与回路
• 例8.4 用有向图刻画过程间的调用关系,来判断某过 程是否是递归的. 一个过程集合P={P1,P2,P3,P4,P5} 调用关系: P1调用P2; P2调用P4; P3调用P1; P4调用P5; P5调用P2; • 某过程是递归的充分必要条件是包括此过程在内的结 点构成一个回路. • (P2,P4,P5, P2 )构成一条回路, 故过程P2,P4和P5是递归 的
8.1.5 多重图与带权图

《离散数学》图论 (上)

《离散数学》图论 (上)
12
无向图与有向图
v2
e1
e2
e3
v3
e4
v1
e5 (e1)={( v42, v24 )}
v4
(e2)={( v32, v23 )} (e3)={( v3, v4 )}
(e4)=({ v43, v34 )}
(e5)=({ v4,}v4 )
13
无向图与有向图
A B C
D E F
14
无向图与有向图
第八章 图论
第八章 图论
§8.1 基本概念
§8.1.1 无向图、有向图和握手定理 §8.1.2 图的同构与子图 §8.1.3 道路、回路与连通性 §8.1.4 图的矩阵表示
§8.2 欧拉图 §8.3 哈密尔顿图 §8.4 平面图 §8.5 顶点支配、独立与覆盖
2
无向图与有向图
3
无向图与有向图
一个无向图(undirected graph, 或graph) G 指一个三元组 (V, E, ),其中
vV
vV
24
特殊的图
假设 G=(V, E, ) 为无向图,若 G 中所有 顶点都是孤立顶点,则称 G 为零图(null graph)或离散图(discrete graph);若 |V|=n,|E|=0,则称 G 为 n 阶零图 所有顶点的度数均相等的无向图称为正 则图(regular graph),所有顶点的度数 均为 k 的正则图称为k度正则图,也记作 k-正则图 注:零图是零度正则图
19
握手定理
定理(图论基本定理/握手定理)
假设 G=(V, E, ) 为无向图,则deg(v) 2 E , vV
即所有顶点度数之和等于边数的两倍。
推论
在任何无向图中,奇数度的顶点数必是偶 数。

离散数学第8章 图论

离散数学第8章 图论
ij
为d(vi,vj)。
8.2
图的矩阵表示
一、图的邻接矩阵 二、图的连接矩阵
三、图的关联矩阵
二、图的连接矩阵 定义 8-9 设图 G= ( V , E ),其中 V={v1 ,
v2 , … , vn } , n 阶方阵 C= ( cij ),称为图 G 的连接 矩阵,其中第i行j列的元素
1 c ij 0
利用邻接矩阵,我们可以 (1)判断G中任意两个结点是否相连接;
方法是:对 l=1,2,…,n–1,依次检查Al的(i,j)
项元素
(l ( ) ij)是否为0,若都为0,那么结点v 与v 不 a ij i j
相连接,否则vi与vj有路相连接。 (2)计算结点vi与vj之间的距离。
(1) ( 2) ( n 1) 中至少有一个不为0, 若 aij , aij , , aij 则可断定vi与vj相连接,使 a (l ) 0 的最小的 l 即
若中有相同的结点,设为ur= uk(r<k),则子路ur+1…uk可以从 中删去而形成一条较短的路= viu1…ur uk+1…uh–1 vj,仍连接vi到 vj 。 若中还有相同的结点,那么重复上述过程又可形成一条 更短的路,…。这样,最后必得到一条真路,它连接vi到vj, 并短于前述任一非真路。因此,只有真路才能是短程。
非真 生成
真 生成
真 非生成
非真 非生成
真 非生成
七、路与回路 定义:图G中l条边的序列{v0,v1}{v1,v2}…{vl–1,vl}称为连
接v0到vl的一条长为 l 的路。它常简单地用结点的序列 v0v1v2…vl–1vl来表示。其中v0和vl分别称为这条路的起点和终点。 开路:若v0vl,则称路v0v1v2…vl–1vl为开路; 回路:若v0=vl,则称路v0v1v2…vl–1vl为回路; 真路:若开路v0v1v2…vl–1vl中,所有结点互不相同(此时所有 边也互不相同),则称该路为真路; 环:在回路v0v1v2…vl–1v0中,若v0,v1,v2,…,vl–1 各不相同 (此时所有边也互不相同),则称该回路为环。

离散数学 第八章 图论

离散数学 第八章 图论
C
A
B
D 图2
此图实际上是反 映了客观事物 之间的相互关系
10
离散数学
本世纪40年代,一个数学游戏也使用类似的方法得到 了解决:某人挑一担菜、并带一只狗、一只羊,要从河 的北岸到南岸。由于船小,只允许带狗、羊、菜三者中 的一种过河;而由于明显的原因,当人不在场时狗与羊、 羊与菜不能呆在一起。问此人应采取怎样的办法才能将 这三样东西安全地带过河去? 方法一:不对称状态空间法 将人(person)、狗(dog)、羊(sheep)、菜(cabbage)中任意 几种在一起的情况看作是一种状态,则北岸可能出现的 状态共有十六种,其中 安全状态有下面十种: (人,狗,羊,菜),(空); (P,D,S,C) ,() ; (人,狗,羊), (菜); (P,D,S,) ,(C) ; (人,狗,菜),(羊); (P,D,C) ,(S) ;
7
离散数学
但当地的居民和游人做了不少的尝试,却都没有取得成 功。于是,有好事者便向当时居住在该城的大数学家欧 拉请教。 1736年,瑞士的数学家L.Euler解决了这个问题。他将 四块陆地表示成四个结点,凡陆地间有桥相连的,便在 两点间连一条线,这样图1就转化为图2了。此时,哥尼 斯堡七桥问题归结为:在图2 所示的图中,从 A, B, C, D 任一点出发,通过每条边一次且仅一次而返回出发点 的回路是否存在?后人称如此的问题为Euler环游。 欧拉断言这样的回路是不存在的。理由是:从图2中 的任一结点出发,为了要回到原来的出发点,要求与每 个结点相关联的边数均为偶数。这样才能保证从一条边 进入某结点后,可从另一条边出去,而不经过已走过的
v3
1 2
v1
1 1 1
v4 v2
2 1
图论的基本概念性术语和一些特殊图: 图3 (1)(n,m)图: |V| = n,|E| = m,即有n个结点和m条边的图称 为 ( n, m ) 图。 (2)无向边:(undirected edges简edges)在定义3下,若边 (u, , v)与边(v, ,u)表示同一条边,则称此边为无 向边。 22

第八章图论

第八章图论

3. 图的结点与边之间的关系 定义 如果边e={vi,vj}是G的边, 则称结点vi 和vj邻接的, 边e和结点vi ,边e和结点vj称为关联的。 没有与边关联的结点称为孤立点。 关联于同一结点的相异边称为邻接的。 不与任何边邻接的边称为孤立边。
例1
在上图中显然e1和e2, e1与e4是邻接的, 结点v1和v2,v2和v4等是邻接的, 没有孤立点和孤立边。
例2.如下图中:
图(a)是伪图。图(b)是有向多重 图。 最右第三个图是简单图有权图。
三、结点的度
1.定义 图G中关联于结点vi的边的总数称为 结点vi的度, 用deg(vi)表示。
2.定理1(握手定理) 图G的所有结点的度的总和为边数 的二倍。即若G为具有n结点的(n,m)图, 则有: n deg(vi ) 2m
例8 如下图
(a)是连通图。 (b)是一个具有三个分图 的非连通图。 结论: (1)一个图的分图必是连通的; (2)一个连通图一定只能有一个分图。
例11 对于图的连通性,常常由于删除了 图中的结点和边而影响了图的连通性。
在连通图(a)中删除边e后, 则变成了不连通 的图(b)。
8.2 图的矩阵表示
2. 有向图的定义 定义 设G=(V,E), V是一个有限非空集合, E是V中不同元素的有序对偶的集合, 则称G是一有向图。在有向图G中 若vi≠vj,则(vi,vj)和(vj,vi)表示两条 不同的边,且用一个从结点vi指向vj 的箭头表示边(vi,vj)。
定义 具有n个结点和m条边的图称为(n,m)图。 (n,0)图称为零图。(1,0)图称为平凡图。
三、边割集、点割集 定义3 设图G=<V,E>是连通图,若有E的子集S, 使得在图G中删去了S的所有边后, 得到的子图G-S变成具有两个分图的不连通图, 删去了S的任一真子集后所得子图仍是连通图, 则称S是G的一个边割集。 注:割边是边割集的一个特例。

第8章图论方法

第8章图论方法

Page 12
【例题·计算题】某城市东到西的交通道路如下图所示,线 上标注的数字为两点间距离(单位:千米)。某公司现需从市 东紧急运送一批货物到市西。假设各条线路的交通状况相同, 请为该公司寻求一条最佳路线。
2 东3
4
3 1
7
2
5
7
3
3
4
4
7 5
6
4 6
7 3
7
西
8
【答案】
1-4-7-西 10 3
9
2
3
5
7
3.5
4
6
10
1
6
4
3
8
2
5
【答案】
2 5
4
6
1
3
5
3 3.5 4
2
Page 8
【解析】按照克鲁斯喀尔的算法很轻松得出答案。
1.(11年7月)已知连接5个城镇的公路交通图如图。为了沿公路架设5个城镇的
光缆线,并要求光缆线架设的总长度为最小,试以最小枝杈树方法求出Pa最ge优9 方 案并计算光缆线的总长度。
8.2 树和树的逐步生成法
Page 4
1、树:连通且不含圈(回路)的图称为树。 2、树的边数=结点数-1。
【选择题】以下叙述中,正确的是( ) A.树的点数为线数加1 B.图的点数小于线数 C.图的点数大于线数 D.树可能含有圈 【答案】A 【解析】树的点数和边数差1,普通图的点数和边数谁多谁少不 确定。 【知识点】图和树的基本概念
Page 22
5.(09年7月)某网络如图,线上标注的数字是单位时间通过两节点的流量。
Page 23
试求单位时间由网络始点到网络终点的最大流量(单位:吨)。

图论原理

图论原理
点中的每一个均与其余n-1个结点邻接。
p1
kn
p2
完全图中m=?
p4
p3
m n(n 1) / 2
图的基本概念
6、补图:设有一图 G V , E ,对图 G' V , E ' ,如果 有 G V , E ' E 是完全图且 E E 。
'
p1
p2
p3 p5
第八章 图论原理
图论
欧拉
C
C
A
B
A
B
D
D
?
欧拉图
§8.1 图的基本概念
图的基本概念
欧拉
C
(B,C)
图G是由非空结点集合
V {v1 , v2 ,, vn }
A
B
以及边集合
E {l1, l2 ,, lm}
D
G=<V,E>
li (vi1 , vi 2 )
图的基本概念
例 1 有 4 个城市 v1 , v2 , v3 , v4 ,其中 v1 与 v2 间; v1 与 v4 间;
连通性 1 1
6
2
5
2
4 3
5
3
(a)
4
(b)
一个无向图G,如果它的任何两结点间均是可达
的,则称图G为连通图;否则,称为非连通图。
连通性
一个有向连通图G,
弱连通:如果忽略边的方向后其无向图是连通的
单向连通:如果其任何两点间至少存在一向是可达的
强连通:如果其任何两点间均是互相可达的
a
a
a
b
(a)
c
deg(E)=4
§8.4

第八章 图论(第1-3节)

第八章 图论(第1-3节)

集合。
由点和弧所构成的图,称为有向图,记为 D = ( V, A )
,式中 V 是有向图的点集合G ; A 是有向图 G 的弧集
合。
第10页
无向图
有向图
第11页
5. 无向图中顶点数、边数的表示方式
顶点数:p(G),简记为p。
边 数:q(G),简记为q。
6. 有向图中顶点数、弧数的表示方式
顶点数:p(D),简记为p。
边 数:q(D),简记为q。
第12页
二、图的引申概念
1. 端点、始点、终点 无向图 G = ( V, E ) 中,边 e = [ u, v ]∈ E,称
顶点 u 和 v 是边 e 的端点,也称顶点 u 和 v 是
相邻的。 u e v
第13页
有向图 D = ( V, A ) 中,弧 a = ( u, v )∈ A,称
第42页
3. 简单链和简单路
若链
v
i1
, e i , v i , e i ,..., v i
1 2 2
k 1
, ei
k 1
,vi
k

中,边
e i , e i ,..., e i
1 2
k 1
均不相同,则称之为简单链。
注:简单链中边无相同的,但可有相同的点。
第43页
若路
v
i1
, a i , v i , a i ,..., v i
第49页
v1
a4
v5
a5
a6 a1 a3
v4
v2
a2 v3
(v1,a1,v2,a2,v3,a6,v1)不是一个回路。
第50页
5. 初等圈和初等回路
若圈 v i1 , e i1 , v i 2 , e i 2 ,..., v i k 1 , e i k 1 , v i1

图论引导笔记第八章匹配与分解

图论引导笔记第八章匹配与分解

图论引导笔记第⼋章匹配与分解8.1 匹配定义:1、(边的集合)独⽴的:G.E的⼀个⼦集,且该集合中的任意两条边不相邻接。

称边独⽴集。

2、匹配(matching):图G的⼀个独⽴集。

3、匹配(match):⼆部图的两个部集的点集之间的⼀种映射关系,该映射关系满⾜于所连接的边是⼀个匹配(matching)*以下考虑的是⼆部图G,他的两个集部是U和W,且|U|≤|W|,X是U的⾮空⼦集4、(⾮空点集的)邻域:集合中所有顶点邻域的并。

设集合为X,记作N(X)5、(集部是)友好的:对于集部U,他的任意⾮空⼦集X,都有|N(X)|≥|X|。

(翻译⼀下就是说,在这个部⾥任意取⼀部分点都能形成匹配)6、互异代表元系:有⼀串⾮空有限集合{S1,S2,…,Sn},存在n个不同的元素{x1,x2,…,xn}使得xi∈Si,则这串{xi}称为互异代表元系。

(⽽不是指;仅仅这个集合有别的集合没有。

显然,|∪{Si}|≥n)7、(⼆分图)交错路:⼀条属于匹配的边和⼀条不属于匹配的边交错构成的路。

8、(任意分图)最⼤匹配:具有最⼤基数的匹配, 对于n阶⼆分图,最⼤匹配数不会超过floor(n/2)9、完美匹配:(此处讨论⼆分图)G的阶数为偶数,匹配基数等于n/2,G中任意顶点均能通过M匹配到G中另⼀个顶点。

完美匹配也必定是最⼤匹配。

使⽤:完美匹配要求图的⼀个集部是友好的和边有关的加<'>,和点有关的不加。

11、边独⽴数:G 中边独⽴集的最⼤基数。

记作β'(G)。

阶为n的图存在完美匹配当且仅当n为偶数且β'(G)=n/2.12、覆盖:顶点与其关联边,互为彼此的覆盖。

13、边覆盖:覆盖G所有点的边的集合,称为是G的⼀个边覆盖。

14、边覆盖数:G中所有边覆盖最⼩的基数,记作α'(G),当且仅当G不包含孤⽴点的时候有定义。

15、最⼩边覆盖:具有最⼩边覆盖基数的边覆盖。

边覆盖/独⽴有关的⼀些性质:对于整数n≥3,1≤r≤s,边覆盖数有:α'(Cn)=α'(Kn)=ceiling(n/2); α'(K_r,s)=s边独⽴数有:β'(Cn)=β'(Kn)=floor(n/2); β'(K_r,s)=r所以:α'(Cn)+β'(Cn)= α'(Kn)+β'(Kn)=n; α'(K_r,s)+ β'(K_r,s)=r =s+r以上性质很显然可以看出来。

第八章 图论8.1

第八章 图论8.1

A
B C
G
F
E
A
H
D
B
D
C
首页
上页
返回
下页
结束

回到“七桥问题”
3 5 3
奇点的个数为4个,所以不能一笔画出。
3
首页
上页
返回
下页
结束

知道了一笔画的规律后,亲自体验一下,来看看下面图 形能否一笔画出
4个奇点
0个奇点
首页
上页
返回
下页
结束

例1 公路连接问题 某一地区有若干个主要城市,现准备修建高速公路把这 些城市连接起来,使得从其中任何一个城市都可以经高速公 路直接或间接到达另一个城市。假定已经知道了任意两个城 市之间修建高速公路的成本,那么应如何决定在哪些城市间 修建高速公路,使得总成本最小? 例2 中国邮递员问题(CPP-Chinese postman problem) 一名邮递员负责投递某个街区的邮件。如何为他(她)设 计一条最短的投递路线(从邮局出发,经过投递区内每条街道 至少一次,最后返回邮局)?由于这一问题是我国管梅谷教授 1960年首先提出的,所以国际上称之为中国邮递员问题。
V
+ d ( ) d ( ) E
V
首页
上页
返回
下页
结束

首页
上页
返回
下页
结束

§ 8.1 图的基本概念
4. 多重图、简单图和完全图
定义8.1.8(1)设u和v是无向图G=(V, E)的 两个顶点。如果G中有两条或两条以上的边 分别以u和v为端点, 则称这些边是平行边。 (2)设u和v是有向图D=(V, E)的 两个顶点。如果D中有两条或两条以上的边 分别以u和v为端点, 且它们的起点相同,终 点也相同,则称这些边是有向平行边,简 称平行边。

《应用数学基础》(陈冲)教学课件 第八章 图 论

《应用数学基础》(陈冲)教学课件 第八章  图  论
应用数学基础
第八章 图 论
目录
ONTENTS
1 图的基本概念 2 图的矩阵表示 3 图的连通性
01 图的基本 概念
1.1 图的定义
在某计算机网络中,两台计算机之间通过网络线连接起来,如图 8-1 所示.顶点表示每台计 算机的位置,边表示网络连线.这类图在绘制时,可用圆圈(或实心点)来表示顶点,对图的 所有顶点标以名称:v1 ,v2 ,v3 ,v4 ;用直线或曲线来表示边,同时对图的所有边标以名称:e1 , e2 , e3 , e4 , e5 ,如图 8-2 所示.
该定理之所以称为握手定理,因为它有非常直观而形象的解释:假定有若干个人握手,每握
一次手,需要 2 只手来完成.此时有人用自己的右手握自己的左手,也算一次握手.参加握手的 手的总数目(包含重复的)恰好等于握手次数的 2 倍.这里用到了图论模型解决实际问题:把每 个人看成一个顶点,某两人握一次手,则在相应顶点之间连上一条边;如果某人与自己握手,则
设 G (V ,E) 是有向图, v V ,称以 v 为终点的边数为 v 的入度,记为 d (v) ;称以 v 为起 点的边数为 v 的出度,记为 d (v) .
若 d(v) 是奇数,就称 v 为奇点;若 d(v) 是偶数,就称 v 为偶点.度为 1 的点称为悬和是边数的 2 倍,这是图的一般性质.下面给出的定理是 Euler 在 1936 年提出 的,常称为握手定理,是图论中的基本定理.
定理 1(握手定理) 设 G (V ,E) 是图,G 中所有顶点度数之和 d (v) 等于 G 中边数 m 的 vV
两倍,即
d(v) 2m .
vV
1.2 顶点的度
在图 8-3 中,由于 e3 (v2 ,v3 ) ,则点 v2 与点 v3 邻接,点 v2 与边 e3 关联,点 v3 与边 e3 关联; 由于边 e1 和边 e3 有共同的顶点 v2 ,则边 e1 和边 e3 邻接; v5 为孤立点.

离散数学第8章图论

离散数学第8章图论

§8-1-1 图
定义8-1.1 一个图G定义为一个三元组<V,E, φ>,记作G=<V,E,φ>。其中: V是一个非空有限集合,其中元素v称为图G 的顶点或结点; E是和V没有公共元素的有限集合,E可以是 空集,其元素e称为图G的边; φ称为关联函数,是从E到V中的有序对或无 序对的映射。
由定义可知,图G中的每条边都与图中的无序或
图8-1(b)表示有向图G=<V,E,φ>,其中: V = { v1,v2,v3,v4 } E= { e1,e2,e3,e4 }
e1 v1 , v2

e2 v1 , v3 e3 v1 , v3 e4 v3 , v3
在图 G=<V , E> 中,如果任何两结点间不多 于一条边(对于有向图中,任何两结点间不 多于一条同向弧),并且任何结点无环,则 图 G 称为简单图;若两结点间多于一条边 (对于有向图中,两结点间多于一条同向弧) 图 G 称为多重图,并把联结两结点之间的 多条边或弧,称为平行边或平行弧,平行 边或弧的条数称为重数。
哈密顿问题
1859年,英国数学家哈密顿发明了一种游戏:用一 个规则的实心十二面体,它的20个顶点标出世界 著名的20个城市,要求游戏者找一条沿着各边通 过每个顶点刚好 一次的闭回路,即「绕行世界」。 用图论的语言来说,游戏的目的是在十二面体的 图中找出一个生成圈。这个问题后来就叫做哈密 顿问题。由於运筹学、计算机科学和编码理论中 的很多问题都可以化为哈密顿问题,从而引起广 泛的注意和研究。
1872年,英国当时最著名的数学家凯利正式向伦 敦数学学会提出了这个问题,于是四色猜想成了 世界数学界关注的问题。世界上许多一流的数学 家都纷纷参加了四色猜想的大会战。1878~1880 年两年间,著名律师兼数学家肯普和泰勒两人分 别提交了证明四色猜想的论文,宣布证明了四色 定理。但后来数学家赫伍德以自己的精确计算指 出肯普的证明是错误的。不久,泰勒的证明也被 人们否定了。于是,人们开始认识到,这个貌似 容易的题目,其实是一个可与费马猜想相媲美的 难题(当n>2时,xn+yn=zn,n为奇素数,X,Y,Z 没有正整数解。)
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

如果满足
a it (v it , v it 1 )(t 1,2,...,k 1) ,则称为从
v i1 到 v i 的一条路。 k
第38页
v 例: 1
a4
v5
a5 v4
a1
a3
v2
a2
v3
(v1,a1,v2,a2,v3,a3,v4)不是一条路,因为弧a1≠(v1,v2), a3≠(v3,v4)。
为同一个点,则称此链为圈。
第46页
例:
v1
a4
v5
a5
a6 a1 a3
v4
v2
a2 v3
(v1,a1,v2,a2,v3,a6,v1)是一个圈。
第47页
在有向图 D = ( V, A ) 中,一个点、弧交错序列
v
i1 , a i1 , v i2 , a i2 ,...,v i k 1 , a i k 1 , v ik
几何位置的解题方法”的论文,有效地解决了哥尼
斯堡七桥难题(欧拉证明了每个点都只与奇数条线 相关联,所以从某一点开始,不重复地走过7座桥, 最后回到出发点是不可能的),这是有记载的第一 篇图论论文,欧拉被公认为图论的创始人。
第3页
A
C
D
B
第4页
2. 图论的发展
1736 年—— 1936 年:匈牙利数学家 O. KÖnig 于 1936 年出版了名为《有限图与无限图的理论》,为 图论研究的第一本专著。从 1736 年欧拉的第一篇
如果满足
eit [v it , v it 1 ](t 1,2,...,k 1) ,则称为连接
v i1 和 v i 的一条链。 k
第37页
称为点
v i1 , v i2 ,...,v ik
为链的中间点。
在有向图 D = ( V, A )中,一个点、弧交错序列
v
i 1 , a i 1 , v i 2 , a i 2 ,..., v i k 1 , a i k 1 , v i k
证明 9个工厂之间,不可能只有4个工厂只与偶数
个工厂有业务联系。 (P278页习题8.1)
证:如果只有4个工厂与偶数个工厂有业务联系,
则另外5个工厂与奇数个工厂有业务联系。这5个
工厂均为奇点,与定理2矛盾。
第35页
定理 3 有向图中,所有顶点的入次之和等于所有顶
点的出次之和,即

vV
d (v )

,如果满足
a it (v it , v it 1 )(t 1,2,...,k 1) ,且 v i1 和v ik
为同一个点,则称此路为回路。
第48页
例:
v1
a4
v5
a5
a6 a1 a3
v4
v2
a2 v3
(v1,a1,v2,a2,v3,a6,v1)是一个回路。
第49页
v1
a4
v5
a5
顶点 v 的次,记为 d(v)。
第24页
v1 e1 v2
e4
v4
e5 e6
v5
e3
e2 v3 e7
e9
v6
e8
v7
d(v1)=2,d(v2)=2,d(v3)=4 d(v4)=3,d(v5)=3,d(v6)=2 d(v7)=2
第25页
注:环的顶点的次数为 2 次。
例:
e1 v1
v2 e4
v4 v5 e5
第39页
2. 初等链和初等路
若链
v
i1 , e i1 , v i 2
, ei2 ,...,v ik 1 , eik 1 , v ik

中,点
v i1 , v i 2 ,...,v i k 均不相同,则称之为初等链。
注:初等链中点无相同的,边也无相同的。
第40页
若路
v
i1 , a i1 , v i2 , a i2 ,...,v ik 1 , a ik 1 , v ik
顶点 u 是弧 a 的始点,称顶点 v 是弧 a 的终 点。
u
v
第14页
2. 关联边(弧) 无向图 G = ( V, E ) 中,边 e = [ u, v ]∈ E,称边 e 是顶点 u 的关联边,也称边 e 是顶点 v 的关联
边。 u e
v
第15页
有向图 D = ( V, A ) 中,弧 a = ( u, v ) ∈ A,称 弧 a 是始点 u 的关联弧,也称弧 a 是终点 v 的 关联弧。
vV2 vV
vV1
d (v ) 2q d (v )
vV2
第33页
2q 和 d (v)
vV2
均为偶数
2q - d (v)
vV2

为偶数

vV1
d (v )
也为偶数
又因为 d (v)(v∈V1)的值为奇数,所以 d(v) (v∈V1)的个数为偶数。
第34页
若链
v
i1 , e i1 , v i 2
, ei2 ,...,v ik 1 , eik 1 , v ik

中,边
e i1 , e i2 ,...,e ik 1 均不相同,则称之为简单链。
注:简单链中边无相同的,但可有相同的点。
第43页
若路
v
i1 , a i1 , v i2 , a i2 ,...,v ik 1 , a ik 1 , v ik
、ak=(u, v)∈A,即由始点 u 指向终点 v 的弧多于
一条,称这些弧为多重弧。 a1 u ai ak v
a1
u a2
v
第18页
4. 环
无向图 G = ( V, E ) 中,边 e = [ u, u ] ,即边的两
个端点相同,称该边为环。
u
e
第19页
有向图 D =( V, A ) 中,弧 a = (u, u) ,即弧的始 点和终点相同,称该弧为环。
a
u
v
第16页
3. 多重边(弧)
无向图 G = ( V, E ) 中,边 e1=[u, v]、e2=[u, v]、…
、ek=[u, v]∈E,即两个端点 u 和 v 之间的边多于 一条,称这些边为多重边。
e1
u
ei
ek
v
第17页
有向图 D = ( V, A ) 中,弧 a1=(u, v)、a2=(u, v)、…
集合。
由点和弧所构成的图,称为有向图,记为 D = ( V, A )
,式中 V 是有向图的点集合G ; A 是有向图 G 的弧集
合。
第10页
无向图
有向图
第11页
5. 无向图中顶点数、边数的表示方式
顶点数:p(G),简记为p。
边 数:q(G),简记为q。
6. 有向图中顶点数、弧数的表示方式
顶点数:p(D),简记为p。
v2 e4
v4
v5
e5
e2
v3
e3
d(v4)=1
第28页
3. 孤立点 次数为 0 的顶点称为孤立点。 如上例中的顶点 v5 。 4. 奇点 次数为奇数的顶点称为奇点。
如上例中的顶点 v3 和 v4 。
5. 偶点 次数为偶数的顶点称为偶点。
如上例中的顶点 v1 和 v2 。
第29页
例:
e1 v1
v2 e4
第八章 图 论
第1页
第一节 图的基本知识 第二节 欧拉图与中国邮路问题
第三节 树 第四节 最短路(链)问题
第五节 网络最大流问题 第六节 最小费用流问题
第2页
1. 图论的产生
图论是运筹学应用十分广泛的一个分支。瑞士数学
家欧拉(E Euler)于 1736 年发表了一篇题为“依据
一、图的基本概念
1. 图
由一些点和一些点之间的连线所组成的二元组
,称为图。 2. 顶点 图中点集 V = { v i } 中的元素 v i 称为顶点。
第7页
3. 边和弧
图中,两顶点之间的连线为无向的(不带箭头),
称为边,记为 E = { ei }。一条连接顶点 vi 和 vj 的边 记为 [ vi , vj ] 。 vi ei vj

中,弧
a i1 , a i2 ,...,a ik 1均不相同,则称之为简单路。
注:简单路中弧无相同的,但可有相同的点。
第44页
例: v1 a4
v5
a5
a6 v4 a3 a2 v3
a1
v2
(v1,a1,v2,a2,v3,a6,v1,a4,v5,a5,v4)不是一条初等路,但是
一条简单路。
第45页
论文,到这本专著的出版,前后经历 200 年之久,
这一时期图论的发展是缓慢的。
第5页
1936年——20世纪中期:电子计算机和离散数学问 题的发展,使得作为提供离散数学模型的图论得以 迅速发展。 目前图论被广泛应用到管理科学、计算机科学、信
息论、控制论等各个领域,并取得了丰硕的成果。
第6页
第一节 图的基本知识
a6 a1 a3
v4
v2
a2 v3
(v1,a1,v2,a2,v3,a6,v1)不是一个回路。
第50页
5. 初等圈和初等回路
若圈 v i1 , ei1 , v i2 , ei2 ,...,v ik 1 , eik 1 , v i1


中,点
v i1 , v i2 ,...,v ik 1 都不相同,则称之为初等圈。
边 数:q(D),简记为q。
第12页
二、图的引申概念
1. 端点、始点、终点 无向图 G = ( V, E ) 中,边 e = [ u, v ]∈ E,称
相关文档
最新文档