离散数学__回路与图的连通性(课件)

合集下载

武汉大学《离散数学》课件-第5章

武汉大学《离散数学》课件-第5章
(1) 若i(1il), vi1, vi是ei的端点(对于有向图, 要求vi1是始点,
vi是终点), 则称为通路, v0是通路的起点, vl是通路的终点, l为通路的长度. 又若v0=vl,则称为回路.
(2) 若通路(回路)中所有顶点(对于回路, 除v0=vl)各异,则称为 初级通路(初级回路).初级通路又称作路径, 初级回路又称 作圈.
32
通路与回路(续)
定理 在n阶图G中,若从顶点u到v(uv)存在通 路,则从u到v存在长度小于等于n1的通路. 推论 在n阶图G中,若从顶点u到v(uv)存在通 路,则从u到v存在长度小于等于n1的初级通路.
定理 在一个n阶图G中,若存在v到自身的回路,则 一定存在v到自身长度小于等于n的回路. 推论 在一个n阶图G中,若存在v到自身的简单回 路,则存在v到自身长度小于等于n的初级回路.
D
D[{e1,e3}]
D[{v1,v2}]
26
补图
定义 设G=<V,E>为n阶无向简单图,以V为顶点集, 所有使G成为完全图Kn的添加边组成的集合为边集 的图,称为G的补图,记作 G . 若G G , 则称G是自补图.
例 对K4的所有非同构子图, 指出互为补图的每一对 子图, 并指出哪些是自补图.
图论
1
图论部分
第5章 图的基本概念 第6章 特殊的图 第7章 树
2
第5章 图的基本概念
5.1 无向图及有向图 5.2 通路, 回路和图的连通性 5.3 图的矩阵表示 5.4 最短路径, 关键路径和着色
3
5.1 无向图及有向图
▪ 无向图与有向图 ▪ 顶点的度数 ▪ 握手定理 ▪ 简单图 ▪ 完全图 ▪ 子图 ▪ 补图
27
5.2 通路、回路、图的连通性

离散第18讲 路径、回路及连通性

离散第18讲 路径、回路及连通性
一个顶点是可达的; 有向图是弱连通的,有向边被看作无向边时是连通的。
连通图 不连通图 强连通图 单向ቤተ መጻሕፍቲ ባይዱ通图 弱连通图
第18讲 路径、回路及连通性
-9-
连通分支
定义:在无向图G中,若至少存在两个节点是不可达的,则 G是不连通的;如果G是不连通的,G’是G的子图,G’是连 通的,并且不存在G的真子图G’’,使G’’是连通的,且G’’ 以G’为真子图, 则称G’是G的一个极大连通子图,或称是 G的一个连通分支
PowerPoint Template_Sub
1 图的基础知识 2 路径、回路及连通性 3 欧拉图与哈密顿图 4 图的矩阵表示
《离散数学》第18讲 路径、回路及连通性 Page 112 to 117
拟路径及长度
定义:图G的顶点v1到顶点vl的拟路径是指以下顶点与边的序列: v1 , e1, v2, e2, v3, …, vl-1, el-1, vl v1 ,v2 ,v3 ,… ,vl-1 ,vl为G的顶点,e1 ,e2 ,… ,el-1 为G的边 ei( i= 1,2, … ,l-1 )以vi及vi+1为端点 对有向图G,ei以vi为起点,以vi+1为终点
称有向图G是单向连通的,如果G的任何两个顶点中, 至少从一个顶点到另一个顶点是可达的;
称有向图G是弱连通的,如果G的有向边被看作无向 边时是连通的。
第18讲 路径、回路及连通性
-8-
连通
u到v是可达的,如果有一条u到v的路径,或者u =v。 无向图是连通的,任何两个顶点u到v都是可达的。 有向图是强连通,任何两个顶点都是相互可达的; 有向图是单向连通的,任何两个顶点中,至少从一个顶点到另
然后重复上述讨论,直至没有边重复出现、没有顶点重 复出现,从而得到从u到v的路径和长度不超过n – 1的通 路。

离散数学及其应用课件第7章第2节

离散数学及其应用课件第7章第2节
(即证明:2n个结点,每个结点的度数 n的简单图是连通的。) 证明 设有2n个结点的图G不连通,则G中至少包含两个连通分 支,而且必有一个分支的结点数 n,即使这个分支是完全图,其每 个结点的度数d(v) n-1,和d(v) n矛盾。所以图G只有一个连通分 支,G是连通的。
有向图的连通性及其分类
资源分配图中存在回路是死锁存在的必要条件,但不是充分条件。
17
有向连通图
定义7.2.6 设G=(V,E)是有向图。 如果图G的任意两个结点间至少从一个结点到另一个结点 是可达的,则称G是单向连通的。 如果图G的任意两个结点间是互相可达的,则称G是强连 通的。 如果图G在略去有向边的方向后得到的无向图是连通的, 则称G是弱连通的。 具有三种连通性中的任何一种的有向图都称为有向连通图。
定理
定理7.2.3 设简单图G=(V,E)有n个结点,e条边,w个连 通分支,则n-we。
证明 (用归纳法来证明)
(1)当e=0时,也就是对于n个结点的零图,w=n,则n-we成立。 (2)假定边数为e-1的简单图结论成立。对于边数为e的简单图G,从
G中删去一条边,得到边数为e-1的简单图G'。分两种情况分析: (a) 删去一条边的图G'的连通分支数没有增加,即G'有n个结点,w个分
7
定理
定理7.2.1 在n阶图G中,若从结点u到v(uv)存在通路, 则从u到v存在长度小于或等于n-1的通路。
证明: 见课本。
推论 在n阶图G中,若从结点u到v(uv)存在通路,则从 u到v存在长度小于或等于n−1的基本通路。
证明: 若通路中没有相同的顶点(即基本通路), 长度必 n1.
若有相同的顶点, 删去这两个顶点之间的这一段, 仍是u到 v的通路. 重复进行, 直到没有相同的顶点为止.

离散数学第七章图论习题课ppt课件

离散数学第七章图论习题课ppt课件
有环和平行边,u至多与其余n-1个结点中每一个 有一条边相连接,即deg(u)≤n-1,因此,⊿ (G) =maxdeg(u)≤n-1。
24
设G是一个n阶无向简单图,n是大于等于3的 奇数。证明图G与它的补图中度数为奇数的结 点个数相等。
证明: 因为G是n阶无向简单图,且n是大于等于3的奇数,
故无向图的结点数为奇数,则所对应的n阶完全图 中每个结点的度数为n-1即为偶数, 利用奇数+奇数=偶数,偶数+偶数=偶数,所以, 在G中结点度数为奇数的结点,在其补图中的度 数也应为奇数,故G和其补图的奇数结点个数也 是相同的。
25
P286 1、在无向图G中,从结点u到结点v有一条长度为 偶数的通路,从结点u到结点v又有一条长度为奇 数的通路,则在G中必有一条长度为奇数的回路。
(4) D中长度为4的回路有多少条? 答: 长度为4的回路为11条。
(5) D中长度4的通路有多少条?其中有几条是回路? 答:长度4的通路88条,其中22条为回路。
(6) 写出D的可达矩阵。 44的全1矩阵。
17
简单无向图 G 必有2结点同度数。
证: 令 G={v1,…,vn},
(2) n阶非连通的简单图的边数最多可为n-1阶连通图 加上一个孤立点,所以边数为(n-1)(n-2)/2,最少为0。
20
一个图如果同构于它的补图,则该图称为自补图。
1)一个图是自补图,其对应的完全图的边数必为偶数; 2)证明:若n阶无向简单图是自补图,则n=4k或n=4k+1
(k为正整数)。 解:
平面图的对偶图
无向树及其性质 根树及其应用
地图着色与平 面图着色
3
4
一、无向图与有向图

离散数学课件14.2-3通路与回路-连通性

离散数学课件14.2-3通路与回路-连通性

connected graph
边割集
若存在边集子集E' E, 使G删除E'(将E'中的边从G中全删除)后, 所得子图的连通分支数与G的连通分支数 满足p(G-E')>p(G), 而删除E'的任何真子集E''后,p(G-E'')=p(G), 则称E'是G的一个边割集. 若边割集中只有一条边e,则称e为割边或桥. 注:完全图没有割边和割点.
当v0=vl时,此通路称为回路.
connected graph
简单通路或迹
若Γ中的所有边e1,e2,···,el互不相同, 则称Γ为简单通路或一条迹. 若回路中的所有边互不相同,称此回 路为简单回路或一条闭迹.
connected graph
初级通路
若通路的所有顶点v0,v1···,vl互不相 同(从而所有边互不相同),则称此通 路为初级通路或一条路径. 若回路中,除v0=vl外,其余顶点各不 相同,所有边也各不相同,则称此回 路为初级回路或圈. 长度为奇(偶)数的圈称为奇(偶)圈
通路
connected graph
给定图G=<V,E>.
设G中顶点和边的交替序列为
Γ=v0e1v1e2…elvl,若Γ满足如下条件: vi-1和vi是ei的端点(在G是有向图时,要求vi-1是ei 的始点,vi是ei的终点),i=1,2,…,l,则称Γ为顶点v0 到vl的通路. v0和vl分别称为此通路的起点和终点,Γ中边的数 目l称为Γ的长度.
connected graph
有向图的连通性
易见:强连通性 单向连通性 弱连通性; 但反之 不真.反例如下:
a
c
a
强连通
d

离散数学图的连通性29页PPT

离散数学图的连通性29页PPT
极端的法规,就是极端的不公。 ——西 塞罗 57、法律一旦成为人们的需要,人们 就不再 配享受 自由了 。—— 毕达哥 拉斯 58、法律规定的惩罚不是为了私人的 利益, 而是为 了公共 的利益 ;一部 分靠有 害的强 制,一 部分靠 榜样的 效力。 ——格 老秀斯 59、假如没有法律他们会更快乐的话 ,那么 法律作 为一件 无用之 物自己 就会消 灭。— —洛克

60、生活的道路一旦选定,就要勇敢地 走到底 ,决不 回头。 ——左
60、人民的幸福是至高无个的法。— —西塞 罗
56、书不仅是生活,而且是现在、过 去和未 来文化 生活的 源泉。 ——库 法耶夫 57、生命不可能有两次,但许多人连一 次也不 善于度 过。— —吕凯 特 58、问渠哪得清如许,为有源头活水来 。—— 朱熹 59、我的努力求学没有得到别的好处, 只不过 是愈来 愈发觉 自己的 无知。 ——笛 卡儿

离散数学CH04_图论_路与连通性

离散数学CH04_图论_路与连通性

4.3 连通图
证明:
⑴如果G是不连通的,由点连通度和边连通度的定义有
k(G)=(G)=0, 所以 k(G)≤(G)≤ (G)
4.3 连通图
⑵如果G是连通图。 ①先证明(G)≤ (G) 如果G是平凡图,(G)=0≤(G),即(G)≤ (G),如果 G是非平凡图,设n=(G)=mindeg(v)|vV,则存在 G的一个结点v,它关联了n条边,而其它结点关联的边 数大于等于n,将v关联的这n条边删除,G成为不连通 的。从而这n条边或这n条边中的几条边组成一个边割集 ,即存在一个边割集的基数小于等于n,所以 min{|E 1| | E 1是G的边割集}≤n=min{deg(v) | vV },即 (G)≤ (G)
的交替序列L:v0e1v1e2v2…envn叫做v0到vn的
路。其中vi-1与vi是ei的端点,i=1,…,n。
v0和vn分别叫做路L的始点和终点。
路L中边的条数叫做该路的长度。
4.2 路和回路
例如, L1:v5e8v4e5v2e6v5e7v3 是从v5到v3的路,v5 是始点,v3是终点,长度为4。 L2:v1e1v2e3v3 是从v1到v3的路,v1是始点, v3是终点,长度为2。
e=(u,v)仍是桥。此时再删除u或v,就必产生了一个不连
通图,故k(G)≤(G) 由⑴和⑵得k(G)≤(G)≤ (G)
4.3 连通图 例 请求出下图的(G), K(G), (G)
v1
v2
v5
v4
(G) = 2 K(G) = 2 (G ) = 2
4.3 连通图
画出一个<<的无向简单连通图
例 试验证下列边集合是否为割集 v
1
4.3 连通图
v5

离散数学图论路与连通PPT课件

离散数学图论路与连通PPT课件
第18页/共26页
7.2.3 图的连通度
定义7-2.4 设无向图G =<V,E>是连通图,若有结点集V1V,使图 G中删除了 V1的所有结点后,所得到的子图是不连通图,而删除了V1的任何真子集后,所
得到的子图仍是连通图,则称V1是G的一个点割集(cut-set of nodes) 。
k(G)=min{|V1|| 是G的点割集} 称为图G的点连通度(nodeconnectivity) 。
现对G的每一条边e=(u1,u2),若u1,u2都在 V1上 ,则存 在两条 路P1与P2分别 连接u与 u1和u与u2, 且P1、 P2的长 度均为 偶数, 闭路P1∪P2∪ {e}的 长度为 奇数, 则不难 看出G中 有一条 长为奇 数的圈 ,矛盾 。同样 u1和u2不能同 时含在 V2中。 故e的 两个端 点分别 在V1和 V2中。 因此G是二分 图。
G 定理7.2.1 非平凡图 是二分图当且仅当 中不含长为奇数的回路。
G
证明 必要性是明显的。
充分性:不妨设G中每一对顶点之间有路连接(否则
只需考虑G的每个每一对顶点之间有路连接的极大子
图)。任取G的一个顶点u,由G的假设,对G的每个顶
点v,在G中存在u-v路。现利用u对G的顶点进行分类。

第24页/共26页
3 v1e1v2e5v5e6v4e4v2e5v5e7v6
…………
初级通路 简单通路 复杂通路
7.2.1 路
例1、(2)
图(2)中过 v2 的回路 (从 v2 到 v2 )有:
第7页/共26页
1 v2e4v4e3v3e2v2
长度3
2 v2e5v5e6v4e3v3e2v2
长度4
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 长度7

图论离散数学离散数学第四版清华出版社PPT课件

图论离散数学离散数学第四版清华出版社PPT课件

12/19/2020
28
b
e1
e4
a
e2
d
e5
e3
c
e5, e1, e2, e3, e4是简单通路,不是基本通路, 因为c, a, b, c, d, b中b, c均出现了两次。但c,
d, b, c是基本通路,也是基本回路。
12/19/2020
29
[定理] 在一个n阶图中,若从顶点u到v (uv)
❖ 起始状态是“人狼羊菜”,结束状态是“空”。
❖ 问题的解:找到一条从起始状态到结束状态的 尽可能短的通路。
12/19/2020
26
“巧渡河”问题的解
❖ 注意:在“人狼羊菜”的16种组合中允 许出现的只有10种。
人羊狼菜 人狼菜 人羊狼 人羊菜 人羊
狼菜

12/19/2020


空(成功)
27
[定义] 简单通路(Simple Path)
在无向图G中,若e=(a, b)∈E,则称a与 b彼此相邻(adjacent),或边e关联 (incident) 或联结(connect) a, b。a, b称为边e的端点或 结束顶点(endpoint)。
在有向图D中,若e=<a, b>∈E,即箭头 由a到b,称a邻接到b,或a关联或联结b。a 称为e的始点(initial vertex),b称为e的终点 (terminal/end vertex)。
12/19/2020
30
[定义] 连通性(connectivity)
设G=<V,E>,若从vi到vj存在一条通 路,则称vi到vj连通(connective)或可达。
说明:对无向图而言,若vi到vj可达,则 vj到vi也可达。对有向图而言则未必。

离散数学14.2 通路、回路 + 14.3 图的连通性

离散数学14.2 通路、回路 + 14.3 图的连通性
13
定义14.15(短程线)设u,v为无向图G中任意两个 顶点,若uv,称u,v之间长度最短的通路为u,v之 间的短程线,短程线的长度称为u,v之间的距离,记 作d(u,v)。当u,v不连通时,规定d(u,v)=∞。
例如:在完全图Kn(n2)中,任何两个顶点之间 的距离都是1;
而在零图Nn(n2)中,任何两个顶点之间的距离 都是∞。
5
例14.4 无向完全图Kn(n3)中有几种非同构的圈? 解:
长度相同的圈都是同构的, 因而只有长度不同的圈才是非同构的。 易知Kn(n3)中含长度为3,4,…,n的圈, 所以Kn(n3)中有n-2种非同构的圈。
6
例14.5无向完全图K3的顶点依次标定为a,b,c。在 同构意义下和定义意义下K3中各有多少个不同的圈。
K3,3
22
例:
K3,3
K2,3
23
例:
定理14.10(二部图的判别定理) 一个无向图G是 二部图当且仅当G中无奇圈。
24
19
例:如下图
(1)Leabharlann (2)(1)是强连通图 (2)是单向连通图 (3)是弱连通图。
(3)
20
强连通图和单向连通图的判别定理
定理14.8 有向图D是强连通图当且仅当D中存在经 过每个顶点至少一次的回路。
定理14.9 有向图D是单向连通图当且仅当D中存在 经过每个顶点至少一次的通路。
(1)
(2)
图(1)存在经过每个顶点的回路,所以是强连通图 图(2)存在经过每个顶点的通路,所以是单向连通图
18
定义14.22(弱、单向、强连通图) 在一个有向图D=<V,E>中,如果D的基图是连通图,
则称D是弱连通图。 如果对于任意的两个顶点u,v,u→v与v→u至少

离散数学_第7章 图论 -1-2图的基本概念、路和回路

离散数学_第7章 图论 -1-2图的基本概念、路和回路

第9章 图论
返回总目录
第9章 图论
第7章 图论
图论是一个重要的数学分支。数学家欧拉1736年发 表了关于图论的第一篇论文,解决了著名的哥尼斯堡七 桥问题。克希霍夫对电路网络的研究、凯来在有机化学 的计算中都应用了树和生成树的概念。随着科学技术的 发展,图论在运筹学、网络理论、信息论、控制论和计 算机科学等领域都得到广泛的应用。本章首先给出图、 简单图、完全图、子图、路和图的同构等概念,接着研 究了连通图性质和规律,给出了邻接矩阵、可达性矩阵、 连通矩阵和完全关联矩阵的定义。最后将介绍欧拉图与 哈密尔顿图、二部图、平面图和图的着色、树和根树。
v3
e7
a e6e3
e2
b e5
(本课程仅讨论无向图和有向图)
v4
c
9章 图论
【例7.1.1】无向图G=V(G),E(G),G
其中:V(G)=a,b,c,d
E(G)=e1,e2,e3,e4
G:G(e1)=(a,b) G(e2)=(b,c) G(e3)=(a,c) G(e4)=(a,a)
试画出G的图形。
即,deg(v)=deg-(v)+deg+(v),或简记为d(v)=d-(v)+d+(v)
4)最大出度:+(G) =max deg+(v) | vV
5)最小出度:+(G) = min deg+(v) | vV
6)最大入度: (G) =max deg-(v) | vV
7)最小入度: (G) = min deg-(v) | vV
解:G的图形如图7.1.2所示。
图 7.1.2
由于在不引起混乱的情况下,图的边可以用有序对或无序 对直接表示。因此,图可以简单的表示为:

离散第18讲 路径、回路及连通性

离散第18讲 路径、回路及连通性
PowerPoint Template_Sub
1 图的基础知识 2 路径、回路及连通性 3 欧拉图与哈密顿图 4 图的矩阵表示
《离散数学》第18讲 路径、回路及连通性 Page 112 to 117
拟路径及长度
定义:图G的顶点v1到顶点vl的拟路径是指以下顶点与边的序列: v1 , e1, v2, e2, v3, …, vl-1, el-1, vl v1 ,v2 ,v3 ,… ,vl-1 ,vl为G的顶点,e1 ,e2 ,… ,el-1 为G的边 ei( i= 1,2, … ,l-1 )以vi及vi+1为端点 对有向图G,ei以vi为起点,以vi+1为终点
证明:若G为不连通图或单一孤立结点的图,那么据定义知:
χ(G) = λ(G) = 0≤δ(G) 。 若G为完全图Kn,那么χ(G) = λ(G) = δ(G) = n – 1 。 对其它情况:先证λ(G) ≤δ(G)。 由于度数最小的那个结点上关联的所有边被删除后,G显然不 再连通,因而λ(G)至多是δ(G),即λ(G) ≤δ(G)。
证明:充分性是显然的。 必要性:设顶点v是简单连通图G的割点,如果不存在两个 顶点v1,v2,使v1到v2的通路都经过顶点v,那么对任意两 个顶点v1,v2,都有一条通路不经过顶点v,因而删除顶点v 不能使G不连通,与v是简单连通图G的割点矛盾。故G中必 存在两个顶点v1,v2,使v1到v2的通路都经过顶点v 。
第18讲 路径、回路及连通性
-20-
边连通度
定义:λ(G)称为图G的边连通度,定义如下:
0
当G非连通图时
(G) 0
当G为一孤立结点时
min{ S : S为G的割集} 否则
v1
v4 v2
v5 v7
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
但受到边的方向的限制,任意两点不一定有通路。
以下分三种情况讨论:
17
(a) (b) (c) 1)强连通图:有向图中,任意A、B是互为可达的。如图(a) 2)单向连通图:在有向图中,任意两点A、B存在着A到B的通 路
或存在着B到A的通路。如图(b)
3)弱连通图:在有向图中,如果其底图是无向连通图。如图(c) 显然:在有向图中,如果有一条通过图中所有点的回路, 则此图是强连通的。 如果有一条通过图中所有点的通路,
对于
v V (G ),应有 v V (G ),且
由于n-1为偶数,所以dG ( v ) , dG ( v ) 同为奇数或
同为偶数。
dG ( v ) d G ( v ) d K n ( v ) n 1
因此G中的r个奇数度顶点,则 G 也有r个奇数度顶点。 24
7.9 设D是n 阶有向简单图, D 是D的子图,已知
D 的边数为 m n(n 1) ,问D的边数m为多少?
解:由于 D 所以
D
m m
m n(n 1)
D D.
25
而n阶有向简单图中,边数 于是
n(n 1) m m n(n 1)
说明D为n阶有向完全图,且
12

用顶点代表人,如果二人会同一种语言,则在代 表二人的顶点间连边,于是得到下图。问题归结为: 在这个图中,任何两个顶点间是否都存在着通路? 由于下图是一个连通图,因此,必要时通过别人翻 译,他们中间任何二人均可对话。
a b c e
d f g
13
定理 在n阶简单图G, 如果对G的每对顶点u和v, deg(u)
连通关系 R={<u,v>| u,v V且uv}是V上的等价关系
连通图: 平凡图, 任意两点都连通的图
连通分支: V关于R的等价类的导出子图
设 V/R={V1,V2,…,Vk}, G[V1], G[V2], …,G[Vk] 是 G 的 连通分支, 其个数记作p(G)=k. G是连通图 p(G)=1 若G为非连通图,则P(G) ≥2,在所有的n阶无向图中,
18
单向连通图都是弱连通图,但弱连通图
却不一定是单向连通图。 在弱连通图中,存在这样的顶点A、B,
从A到B不可达,且从B 到A也不可达。
强连通图既是单向连通图,又是弱连通图。 即强连通单向连通弱连通
19
有向图的连通性(续)
定理(强连通判别法) D强连通当且仅当D中存在 经过每个顶点至少一次的回路 定理(单向连通判别法) D单向连通当且仅当D中 存在经过每个顶点至少一次的通路 例 下图(1)强连通, (2)单连通, (3) 弱连通
离散数学
7.2 通路、回路与图的连通性
简单通(回)路, 初级通(回)路, 复杂通(回)

连通图, 连通分支 弱连通图, 单向连通图, 强连通图 点割集与割点 边割集与割边(桥)
2
一、通路和回路
在图中,一条通路是顶点和边的交替序列,以顶点
开始,以顶点结束。其中,第一条边的终点与第二
d(u,v)+d(v,w)d(u,w)
15
图的连通性的应用
在实际问题中,
除了考察一个图是否
连通外, 往往还要研究一个图连通的 程度, 作为某些系统的可靠性度量。
图的连通性在计算机网、通信网和
电力网等方面有着重要的应用。
16
2、有向图的连通性
对于有向图,“图中任意两点都有通路相连”,
这个要求很高,因为有向图虽然是连在一起的,
,因此 d (v) n 1,
说明G中每个顶点的度数都为n-1,于是有
说明G为n-1阶正则图,即G为n 阶完全图。
23
7.8 一个n(n≥2)阶无向简单图G中,n为奇数,
已知G中的r个奇数度顶点,问G的补图 G有几个
奇数度顶点? 解:由于 G G Kn 而n为奇数,于是Kn中各顶点的度数n-1为偶数,
(1)
(2)
(3)
20
思考:判断下列图中哪些是强连通图,哪些是单向连通图,哪 些 是弱连通图。
(a)
(b)
(c)
(d)
答案: (a), (d)是强连通图, (b)是单向连通图, (c)是弱连通图.
21
有向图的短程线与距离
u到v的短程线: u到v长度最短的通路 (u可达v) u与v之间的距离d<u,v>: u到v的短程线的长度 若u不可达v, 规定d<u,v>=∞. 性质: d<u,v>0, 且d<u,v>=0 u=v d<u,v>+d<v,w> d<u,w> 注意: 没有对称性
证明 用反证法来证明。 设二顶点不连通,则它们必分属两个不同的连通 分支,而对于每个连通分支,作为 G 的子图只有一 个奇度数顶点,余者均为偶度数顶点,与握手定理 推论矛盾,因此,若图中只有两个奇度数顶点,则 二顶点必连通。

11
【例】 在一次国际会议中,由七人组成的小 组 {a,b,c,d,e,f,g} 中, a 会英语、阿拉伯语; b 会英语、西班牙语; c会汉语、俄语; d会 日语、西班牙语;e会德语、汉语和法语;f 会日语、俄语; g 会英语、法语和德语。问: 他们中间任何二人是否均可对话(必要时可 通过别人翻译)?
环是长度为1的圈, 两条平行边构成长度为2 的圈.
7
二、图的连通性:
在图G中,如果A到B存在一条通路,则称A到B是可达的。
1、无向图的连通性 如果无向图中,任意两点是可达的,图为连通图。否则为 不连通图。 当图是不连通时,定是由几个连通子图构成。称这样的连
通图是连通分支。
8
无向图的连通性
设无向图G=<V,E>, u与v连通: 若u与v之间有通路. 规定u与自身总连通.
n阶零图是连通分支最多的其分支数为n.
9
Hale Waihona Puke 设 A={1,2,…,8}, R={ <x,y>| x,y∈A∧x≡y(mod 3) } 即:A上模3等价关系的关系图为:
上述关系图被分成三个互不连通的部分,每部 分中的数两两都有关系,不同部分的图无关系。
10

【例】 求证:若图中只有两个奇度数顶点,则二 顶点必连通。
+ deg(v)≥ n–1, 则G是连通图。 证明 假设G不连通, 则G至少有两个分图。 设其中一个分图含有q个顶点, 而其余各分图共含有 n– q个顶点。
在这两部分中各取一个顶点u和v, 则
0≤deg(u)≤q – 1,
0≤deg(v)≤n – q – 1,
因此deg(u) + deg(v)≤n – 2,
4
3、基本通路:如果通路中各个顶点和边都不相同。
如基本通路:v1→v6 →v3 →v4长度为3
4、基本回路(圈):如果回路中各个顶点和边都不相同。
如基本回路:v1→v6 →v3 →v2 →v1 显然,基本通路(回路)一定是简单通路(回路)。
反之不然。
5
若通路(回路)中有边重复出现, 则称为复杂通路(回路).
这与题设deg(u ) + deg(v)≥n – 1矛盾。
14
无向图的短程线与距离
u与v之间的短程线: u与v之间长度最短的通路
(u与v连通) u与v之间的距离d(u,v): u与v之间短程线的长度 若u与v不连通, 规定d(u,v)=∞.
性质:
d(u,v)0, 且d(u,v)=0 u=v
d(u,v)=d(v,u)
22
7.7 设n阶无向简单图G中 (G) n 1,

(G ) 应为多少?
解:由于 (G) n 1,说明G中任何顶点v 的度数
d (v) (G) n 1
而由于G为简单图,于是 (G) n 1, 则有
d (v) n 1
(G) n 1,
条边的始点重合…...。第一条边的始点称为通路的 始点,最后一条边的终点称为通路的终点。
当通路的终点和始点重合时,称为回路。
通路或回路中所含边数称为该通路或回路的长度。
3
1、简单通路:如果通路中各边都不相同。
如简单通路:v1→v2 →v5 →v6 →v2 →v3 →v4长度为6
2、简单回路:如果回路中各边都不相同。 如简单回路:v1→v2 →v3 →v5 →v2 →v6 →v1长度为6
6
关于通路与回路的几点说明

表示方法 ① 用 顶 点 和 边 的 交 替 序 列 ( 定 义 ), 如
=v0e1v1e2…elvl
=v0v1e2v2e5v3v4v5

② 用边的序列, 如=e1e2…el ③ 简单图中, 用顶点的序列, 如=v0v1…vl ④ 非简单图中,可用混合表示法,如
相关文档
最新文档