离散数学基础 第六章 图论

合集下载

离散数学基础图论

离散数学基础图论

离散数学基础:图论Fundamentals of Discrete Mathematics:Graph Theory周晓聪(isszxc@)中山大学计算机科学系,广州5102752008年12月26日2版权所有,翻印必究目录目录i第一章图的基本概念11.1图的基本定义 (1)1.2道路与回路 (6)1.3图的连通性 (8)1.4邻接矩阵与可达矩阵 (12)第二章树的基本概念192.1树的基本定义 (19)2.2生成树 (21)2.3根树 (26)2.4哈夫曼树 (31)第三章路径问题413.1最短路径 (41)3.2最小生成树 (47)3.3关键路径 (49)第四章平面图与着色554.1平面图及其性质 (55)4.2图的着色 (58)第五章支配集、覆盖集、独立集和匹配655.1支配集、点独立集和点覆盖集 (65)5.2边覆盖与匹配 (67)5.3二部图中的匹配 (73)第六章欧拉图与哈密顿图776.1欧拉图 (77)6.2哈密顿图 (77)iii目录参考文献79第一章图的基本概念这一章介绍有关图论的一些基本概念,包括无向图(有向图)的定义、顶点与边之间的关系、顶点度数、握手定理、图的道路与回路等。

1.1图的基本定义定义1.1.1(无向)图(graph)是二元组G =(V,E ),其中V =∅是图G 的顶点(vertex)集,其中的元素称为G 的顶点(vertex),E 是图G 的边(edge)集,其中的元素称为G 的边(edge),且满足,对图G 的任意边e ∈E ,都有且仅有两个顶点u,v ∈V 与e 关联,称为e 的两个端点,通常将e 记为e =(u,v )或e =(u,v )。

对于边e =(u,v ),这里u,v 没有顺序,因此边e =(u,v )和e =(v,u )是同一条边。

我们只考虑有限图G =(V,E ),也即其顶点集V 和边集E 都是有限集。

上面的定义是说,在定义一个图的时候,要给出它的顶点集和边集,并说明每一条边的两个端点是那两个顶点。

《离散数学图论》课件

《离散数学图论》课件
最短路径问题
实现方法:使用 队列数据结构, 将起始节点入队, 然后依次处理队 列中的每个节点, 直到找到目标节
点或队列为空
Dijkstra算法和Prim算法
Dijkstra算法:用于 求解单源最短路径问 题,通过不断更新最 短路径来寻找最短路 径。
Prim算法:用于求解 最小生成树问题,通过 不断寻找最小权重的边 来构建最小生成树。
图的矩阵表示
邻接矩阵的定义和性质
定义:邻接矩阵是一个n*n的矩阵,其 中n是图的顶点数,矩阵中的元素表示 图中顶点之间的连接关系。
性质:邻接矩阵中的元素只有0和1, 其中0表示两个顶点之间没有边相连, 1表示两个顶点之间有一条边相连。
应用:邻接矩阵可以用于表示图的连通 性、路径长度等信息,是图论中常用的 表示方法之一。
图像处理:优化图像分割, 提高图像质量
物流配送:优化配送路径, 降低配送成本
社交网络:优化社交网络 结构,提高用户活跃度
感谢您的观看
汇报人:PPT
数学:用于图论、组合数 学、代数拓扑等领域
物理学:用于量子力学、 统计力学等领域
生物学:用于蛋白质结构、 基因调控等领域
社会科学:用于社会网络 分析、经济模型等领域
图的基本概念
图的定义和表示方法
图的定义:由节点和边组成的数学结构,节点表示对象,边表示对象之间的关系
节点表示方法:用点或圆圈表示 边表示方法:用线或弧线表示 图的表示方法:可以用邻接矩阵、邻接表、关联矩阵等方式表示
顶点和边的基本概念
顶点:图中的基本元素,表示一个对象或事件 边:连接两个顶点的线,表示两个对象或事件之间的关系 度:一个顶点的度是指与其相连的边的数量 路径:从一个顶点到另一个顶点的边的序列 连通图:图中任意两个顶点之间都存在路径 强连通图:图中任意两个顶点之间都存在双向路径

离散数学图论6

离散数学图论6
例如, K5, K3,3若删去一条边是极大平面图. K1, K2, K3, K4都是极大平面图(它们已无不相邻顶点).
• 极大平面图必连通. • 阶数大于等于3的极大平面图中不可能有割点和桥. • 任何n(n4)阶极大平面图G均有(G)3.
定理 n(n3)阶简单平面图是极大平面图当且仅当它连通且 每个面的次数都为3.
图, 则G也是非平面图.
• Kn(n5), Kn,m(n,m3)都是非平面图. • 平行边与环不影响图的平面性.
3
平面图的面与次数
设G是一个平面嵌入 G的面: 由G的边将平面划分成的每一个区域 无限面(外部面): 面积无限的面, 用R0表示 有限面(内部面): 面积有限的面, 用R1, R2,…, Rk表示 面Ri的边界: 包围Ri的所有边构成的回路组 面Ri的次数: Ri边界的长度,用deg(Ri)表示
定理 平面图各面的次数之和等于边数的2倍. 证 每条边可能在两个面的公共边界上,也可能只在一个面 的边界上. 前者, 在每个面的边界上这条边只出现一次, 计算 两次. 后者, 它在这个面的边界上出现2次, 也计算两次.
4
平面图的面与次数(续)
例1 右图有4个面, deg(R1)=1, deg(R2)=3, deg(R3)=2, deg(R0)=8.
例2 左边2个图是同一个平面 图的平面嵌入. R1在(1)中是 外部面, 在(2)中是内部面; R2 在(1)中是内部面, 在(2)中是 外部面. 其实, 在平面嵌入中 可把任何面作为外部面.
5极大平面图ຫໍສະໝຸດ 定义 若G是简单平面图, 并且在任意两个不相邻的顶点之 间加一条新边所得图为非平面图, 则称G为极大平面图.
6.4 平面图
平面图与平面嵌入 平面图的面 极大平面图与极小非平面图 欧拉公式 平面图的对偶图 地图着色与四色定理

《离散数学》第6章图的基本概念

《离散数学》第6章图的基本概念

一、通路,回路。 1、通路 (回路)
—— G 中顶点和边的交替序列
v0e1v1e2
el vl ,其中 ei (vi 1 , vi )(无向图),
或 ei vi 1 , vi (有向图), v0 ——始点,
vl ——终点,称 为 v0 到 vl 的通路。当 v0 vl
时, 为回路。 2、简单通路,简单回路。 简单通路 (迹) 简单回路 (闭迹) 复杂通路 (回路)
3、初级通路,初级回路。 初级通路 (路径) 初级回路 (圈)
初级通路 (回路) 简单通路 (回路), 但反之不真。
4、通路,回路 的长度—— 中边的数目。
例1、(1)
图(1)中,从 v1 到 v6 的通路有:
1 v1e1v2e5v5e7v6
2 v1e1v2e2v3e3v4e4v2e5v5e7v6 3 v1e1v2e5v5e6v4e4v2e5v5e7v6
设 V v1, v1,
, vn 为图 G 的顶点集,称 , d (vn ) 为G 的度数序列。
d (v1 ), d (v2 ),
2、握手定理。
定理1: 设图 G V , E 为无向图或有向图,
V v1, v1,

, vn ,E m ( m为边数),
d (v ) 2 m
图论简介 图论是一个古老的数学分支,它起源于游戏 难题的研究。图论的内容十分丰富,应用得相当 广泛,许多学科,诸如运筹学、信息论、控制论、 网络理论、博弈论、化学、生物学、物理学、社 会科学、语言学、计算机科学等,都以图作为工 具来解决实际问题和理论问题。随着计算机科学 的发展,图论在以上各学科中的作用越来越大, 同时图论本身也得到了充分的发展。本课程在第 六、七章中介绍与计算机科学关系密切的图论的 基础内容。

离散数学图论图的基本概念

离散数学图论图的基本概念

3、补图1)定义 设G=< V,E >为n阶无向简单图,以V为顶点集,以所有使G成为完全图Kn的添加边组成的集合为边集的图,称为G的补图,记作
2)性质:设G是n阶Байду номын сангаас-正则图,证明G的补图也是正则图 对图中任何结点v的度有
dG(v) + d(v) = dKn(v)= n-1 d(v) = n-1- dG(v)=n-1-k = n-(k+1) 3)自补图:若图 G ≌ (同构) 则称G为自补图。
6)邻接: 边的相邻:ek,el∈E.若ek与el至少有一个公共端点, 则称ek与el是相邻的 顶点的相邻:若∃et∈E,使得et = <vi,vj>, 则称vi为et的始点,vj为et的终点, 并称vi邻接到vj,vj邻接于vi 两个结点为一条边的端点,则称两个结点互为邻接点, 也称边关联于这两个结点,或称两个结点邻接于此边。7)平行边: 在无向图中,关联一对顶点的无向边如果多于1条,则称这些边为平行边,平行边的条数称为重数. 在有向图中,关联一对顶点的有向边如果多于1条,并且它们的方向相同,则称这些边为平行边.8)多重图和简单图:含平行边的图称为多重图 既不含平行边也不含环的图称为简单图.(主要讨论简单图)
3)定义:(G) = max{d(v)|v∈V(G)} 为图G中结点最大的度 δ(G) = min{d(v)|v∈V(G)} 为图G中结点最小的度 简记为、δ定义: -(D) = max{d-(v)|v∈V(D)} 为图D中结点最大的入度 +(D) = max{d+(v)|v∈V(D)} 为图D中结点最大的出度 δ-(D) = min{d-(v)|v∈V(D)} 为图D中结点最小的入度 δ+(D) = min{d+(v)|v∈V(D)} 为图D中结点最小的出度5、握手定理(欧拉)1)定理1 设G=<V,E>为任意无向图,V={v1,v2,…,vn},|E| = m, 则 ∑d(vi) = 2m (所有结点的度数值和为边数的2倍) 证: G中每条边(包括环)均有两个端点,所以在计算G中各顶点度数之和时,每条边均提供2度,当然,m条边共提供2m度2) 定理2 设D=<V,E>为任意有向图,V={v1,v2,…,vn},|E| = m , 则 ∑d+(vi) = ∑d-(vi) = m. 且∑d(vi)=2m3) 推论 任何图(无向的或有向的)中,奇度顶点的个数是偶数个

离散数学——图论

离散数学——图论

2021/10/10
11
哥尼斯堡七桥问题
❖ 把四块陆地用点来表示,桥用点与点连线表 示。
2021/10/10
12
❖ 欧拉将问题转化为:任何一点出发,是否存在通过 每条边一次且仅一次又回到出发点的路?欧拉的结 论是不存在这样的路。显然,问题的结果并不重要, 最为重要的是欧拉解决这个问题的中间步骤,即抽 象为图的形式来分析这个问题 。
2021/10/10
2
图论的发展
❖ 图论的产生和发展经历了二百多年的历史, 从1736年到19世纪中叶是图论发展的第一阶 段。
❖ 第二阶段大体是从19世纪中叶到1936年,主 要研究一些游戏问题:迷宫问题、博弈问题、 棋盘上马的行走线路问题。
2021/10/10
3
❖ 一些图论中的著名问题如四色问题(1852年)和哈密 尔顿环游世界问题(1856年)也大量出现。同时出现 了以图为工具去解决其它领域中一些问题的成果。
❖ P(G)表示连通分支的个数。连通图的连通 分支只有一个。
2021/10/10
40
练习题---图的连通性问题
❖ 1.若图G是不连通的,则补图是连通的。 ❖ 提示:直接证法。
根据图的不连通,假设至少有两个连通分 支;任取G中两点,证明这两点是可达的。
2021/10/10
41
❖ 2.设G是有n个结点的简单图,且 |E|>(n-1)(n-2)/2,则G是连通图。
❖ 例子
2021/10/10
29
多重图与带权图
❖ 定义多重图:包含多重边的图。 ❖ 定义简单图:不包含多重边的图。 ❖ 定义有权图:具有有权边的图。 ❖ 定义无权图:无有权边的图。
2021/10/10
30

离散数学图论-图的基本概念

离散数学图论-图的基本概念
构的,记作Gl ≅ G2。
对有向图有相同的定义。
定义说明了:两个图的各结点之间,如果存在着一一对应关系 f
这种对应关系又保持了结点间的邻接关系,
那么这两个图就是同构的
在有向图的情况下, f 不但应该保持结点间的邻接关系,还应
该保持边的方向。
结点数相同边数相同
结点的度相同
但是两个图
不同构
(1) V ≠ ø 称为顶点集,其元素称为顶点或结点.
(2)E为边集,它是笛卡儿积 VⅹV的有穷多重子集,其元
素称为有向边,简称边(弧).
有向图D=<V,E> 其中 V={v1,v2,v3 }
边集合E={<v1,v2>,<v2,v1>,
<v2,v1>,<v2,v3>,<v3,v3>
<v3,v3>}
(与前面的关系的图表示相当)

条件:奇度数的结点个数应该是偶数个
(2)序列的可图化:对一个整数序列d=(d1,d2,…dn),若存在以n个顶
点的n阶无向图G,有d(vi)=di ,称该序列是可图化的。
特别的,如果得到的是简单图,称该序列是可简单图化的。
(3)定理 设非负整数列d=(d1,d2,…,dn),则d是可图化的当且
仅当
1)完全图
定义 设G为n阶无向简单图,若G中每个顶点均与其余的n—1个顶点相
邻,则称G为n阶无向完全图,简称n阶完全图,记作Kn(n≥1).
设D为n阶有向简单图,若D中每个顶点都邻接到其余的n—1个顶
点,又邻接于其余的 n—1个顶点,则称D是 n 阶有向完全图.
可画图表示(无向图5阶、有向图3阶和4阶)
子图、生成子

离散数学微课版第六章课后答案

离散数学微课版第六章课后答案

离散数学微课版第六章课后答案离散数学是一门重要的数学课程,它涉及数学中的许多基本概念,如逻辑、集合、函数和图论。

离散数学微课版第六章的主要内容是图论,图论是离散数学的重要组成部分。

本章主要讨论了图的基本概念、图的结构和图的表示方法。

图的基本概念是指图的元素,它由顶点和边组成。

顶点是图中的一个点,它可以是一个实体或一个抽象的概念,而边是两个顶点之间的关系。

图的结构是指图中顶点和边之间的关系,它可以是连通的、无向的或有向的。

连通的图中,任意两个顶点都有一条路径可以相连;无向图中,边的两个顶点之间没有方向性;有向图中,边的两个顶点之间有方向性。

图的表示方法有多种,其中最常用的是邻接矩阵和邻接表。

邻接矩阵是一个二维矩阵,它用来表示图中顶点之间的关系,如果顶点u和v之间有边,那么矩阵中的对应元素为1,否则为0;而邻接表则用一维数组来表示图中顶点之间的关系,它将每个顶点与其相邻顶点列出来,以此来表示图中的边。

离散数学微课版第六章课后答案是指离散数学微课版第六章的课后习题答案,其中包括了有关图的基本概念、图的结构和图的表示方法的习题。

答案可以帮助学生更好地理解图论的概念,并能够熟练地使用图的表示方法。

本章的课后习题答案可以帮助学生更好地理解图论,并能够熟练地使用图的表示方法。

首先,学生需要了解图的基本概念,包括顶点和边,并能够识别连通图、无向图和有向图;其次,学生需要了解图的表示方法,包括邻接矩阵和邻接表,并能够熟练地使用它们。

离散数学微课版第六章课后答案的重要性在于,它可以帮助学生更好地理解图论,并能够熟练地使用图的表示方法。

此外,它还可以帮助学生更好地学习离散数学,掌握离散数学中的重要概念和方法,从而为今后的学习和应用打下坚实的基础。

离散数学基础 第六章 图论

离散数学基础 第六章 图论

v6
1 (b)
每条边上所赋的非负实数称为这条边上的权,它可以理解为 该边上的流量或通过该边的时间,还可以理解为该边的长度。
14
二、 图中顶点的度数
1、无向图中顶点的度数
【定义】在图(无向图或有向图)中,若顶点a和
b是边e的两个端点,则称顶点a和b是邻接的,并 称边e关联于顶点a和b。
【定义】设图G是无向图,v是图G中的顶点,与v
简单图:不含平行边且不含自环的图。
12
13
权重图(赋权图):设G = (V, E)是任意图,若G的 每一条边上都赋予一个非负实数,则称G是权重图 (边赋权图)。 v2 v6 v4 v2 7 7
2
v1
5 2 5 5 v3 1 v7 3 3 1 7 v4 v5 5 (a)
1
v1
2
2 4
v3
5
3
6
v5
deg-(a)=1 deg-(b)=2 deg-(c)=2 deg-(d)=2 deg-(e)=0
23
【定理】 设图G是有向图,G中含有n个顶点 和 m条边,则图中各顶点的的出度之和与各顶 点的入度之和相等,且等于图的边数。
24
三、特殊图
【定义】设图G为无向简单图,如果图G中各个顶 点的度数都为k,则称G为k度正则图,记为k-正 则图
52
二、回路
定义
1)起点与终点相同的通路(长度 1)称为 回路(circuit)。 2)边不重复的回路称为简单回路。 3)除起点重复一次外, 别的结点均不重 复的简单回路称为基本回路或环(cycle)。
53
v0到v0的回路:
简单回路,也 是基本回路
v0
简单回路, 非基本回路
v0

离散数学第6章 图论

离散数学第6章 图论

New York
San Francisco
Denver
Chicago
Washington
Los Angeles
50
(2) 完全无向图
定义 设G = (V, E)是n阶简单无向图, 若G中任意 节点都与其余n - 1个节点邻接, 则称G为n阶完全 无向图, 记为Kn.
K1 K4
K2 K5
K3
|
E(Kn)
成子图记为G – F.
G[a, b, c]? a v1
v2
v2
b
a b
v1
f g
e G {a,b, c}? v1
d v5 v2
f g
e d v5
v3 c v4
v3 c v4
v3
v4
63
2. 图的运算
定义
(1)并
G1 (V1, E1 ),G2 (V2 , E2 ). G1 G2 . V1∪V2 E1∪E2
|
n(n 2
1) .
51
(3) 补图 定义 设G = (V, E)是n阶简单无向图,由G的所有节
点以及由能使G成为Kn需要添加的边构成的图称 为G的补图, 记为 G.
(u和v在G中不邻接 u和v在 G中邻接)
定义 设 G (V , E) 为 n 阶简单图,从完全图 Kn 中 删去 G 中的所有边而得到的图称为 G 的补图,记为 G .
所有边都是无向边的图称为无向图, 所有边都是有向边的图称
为有向图.
46
(c) 我们讨论的图不但与节点位置无关, 而且与边的形状和长 短也无关.
有n个节点的图称为n阶图, 有n个节点m条边的图称为(n, m)图.
在图G = (V, E)中, 称V = 的图为空图, 记为, 若 V 但 E = 的图称为零图, n 阶零图可记为Nn, 仅一个节点的零图称为平凡图.

离散数学习题集及答案第6-7章图论含答案

离散数学习题集及答案第6-7章图论含答案

第6-7章一.选择/填空1、设图G 的邻接矩阵为0101010010000011100000100,则G 的边数为( D ). A .5 B .6 C .3 D .42、设有向图(a )、(b )、(c )与(d )如下图所示,则下列结论成立的是( A ).A .(a )是强连通的B .(b )是强连通的C .(c )是强连通的D .(d )是强连通的3、给定无向图G 如下图所示,下面给出的结点集子集中,不是点割集的为( B ).A .{b , d }B .{d }C .{a , c }D .{b , e }4、图G 如下图所示,以下说法正确的是 ( D ) .A .{(a , c )}是割边B .{(a , c )}是边割集C .{(b , c )}是边割集D .{(a, c ) ,(b, c )}是边割集5、无向图G 存在欧拉通路,当且仅当(D ).A .G 中所有结点的度数全为偶数B .G 中至多有两个奇数度结点C .G 连通且所有结点的度数全为偶数D .G 连通且至多有两个奇数度结点6、设G 是有n 个结点,m 条边的连通图,必须删去G 的( A )条边,才能确定G 的一棵生成树.A .1m n −+B .m n −C .1m n ++D .1n m −+7、已知一棵无向树T 中有8个结点,4度,3度,2度的分支点各一个,T 的树叶数为(B ).A .8B .5C .4D .38、已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 . 9、连通无向图G 有6个顶点9条边,从G 中删去 4 条边才有可能得到G 的一棵生成树T .10、如右图 相对于完全图K 5的补图为(A )。

11、给定无向图,如下图所示,下面哪个边集不是其边割集( B )。

A 、;B 、{<v1,v4>,<v4,v6>};C 、;D 、。

12、设D 是有n 个结点的有向完全图,则图D 的边数为( A ) (A))1(−n n (B))1(+n n (C)2/)1(+n n (D)2/)1(−n n 13、无向图G 是欧拉图,当且仅当( C )(A) G 的所有结点的度数都是偶数 (B)G 的所有结点的度数都是奇数(C)G 连通且所有结点的度数都是偶数 (D) G 连通且G 的所有结点度数都是奇数。

工科离散数学第二版牛连强第六章

工科离散数学第二版牛连强第六章

工科离散数学第二版牛连强第六章《工科离散数学第二版》是牛连强教授所著的一本离散数学教材,第六章的内容是图论的应用。

首先,让我们简单介绍一下图论的应用这一章的主要内容。

在这一章中,牛连强教授将带领读者深入了解图论在实际问题中的应用,如最短路算法、网络流问题、图的着色理论等。

这些内容不仅可以帮助读者更好地理解图论的基本概念,还能培养读者运用图论解决实际问题的能力。

接下来,让我们分析一下这一章的重点和难点。

图论的应用涉及许多实际问题的解决,如网络优化、交通规划等,这些问题的解决需要深入理解图论的基本概念和算法,同时也需要一定的数学和计算机知识。

因此,本章的重点是掌握图论的基本概念和算法,难点则是如何将图论应用于实际问题,如何设计有效的算法来解决这些问题。

为了帮助读者更好地掌握这一章的内容,我们可以提供一些学习建议和技巧。

首先,建议读者仔细阅读牛连强教授的讲解视频和相关资料,了解图论的基本概念和算法。

其次,可以通过习题练习加深对图论的理解,特别是对于一些实际问题,需要尝试运用图论的方法来解决。

最后,可以通过实际应用案例来加深对图论应用的理解。

针对第六章图论的应用这一章,我们可以给出一些学习建议。

首先,需要掌握图论的基本概念和算法,如节点、边、路径、图、欧拉图等。

其次,需要理解如何运用图论的方法解决实际问题,如最短路算法、网络流问题等。

此外,还需要尝试将所学知识应用于实际问题的解决中,不断探索和总结经验。

总之,《工科离散数学第二版》中的第六章图论的应用是非常重要的一部分内容。

通过认真学习这一章的内容,读者不仅可以加深对图论的理解,还可以培养运用图论解决实际问题的能力。

在学习的过程中,建议读者注重理解基本概念和算法,并通过习题练习和实际应用案例来加深对图论应用的理解。

4~离散数学习题解答习题六(第六章 图论)6

4~离散数学习题解答习题六(第六章  图论)6
G2=({v5},{(v5,v5)}),G3=({v6,φ})
15.给出有向图如下所示:
1)求它的邻接矩阵A;
2)求A2,A3,A4,指出从v1到v4长度为1,2,3,4的路径各有几条?
3)求AT,ATA,AAT,说明ATA和AAT中元素(2,3)和(2,2)的意义;
4)求A(2),A(3),A(4)及可过矩陈R;
(v2)=v2′(v2,v3)=(v2′,v3′)
(v3)=v3′(v3,v4)=(v3′,v4′)
(v4)=v4′(v4,v5)=(v4′,v5′)
(v5)=v5′(v5,v6)=(v5′,v6′)
(v6)=v6′(v6,v1)=(v6′,v1′)
(v1,v4)=(v1′,v4′)
(v2,v5)=(v2′,v5′)
若存在着一个项点v∈V,使得deg(v)=0,则图G中各项点的度最大不超过n-2。因此n个项点的度在集合{0,1,2,…,n-2}里取值,而这个集合只有n-1个元素,因此,根据鸽笼原理,必有两个项点的度相同。
若不存在一个度为零的项点,则图G中各项点的度最大不超过n-1。因此n个项点的度在集合{1,2,…,n-1}中取值,这个集合只有n-1个元素,因此,根据鸽笼原理,必有两具项点的度相同。
m=m1+m2+…mk
=(n-1)· ·((n1-1)+(n2-1)+…+(nk-1))
= (n-1)((n1+n2+…+nk)-k)
= (n-1)(n-k)
≤ (n-1)(n-2) (k≥2)
这与已知M> (n-1)(n-2)矛盾。
因此假设错误,G是连通图。
11.设G=(V,E)是无向完全图(无自环),|V|=n

离散数学 图论

离散数学 图论

第六章 图论基础图是建立和处理离散数学模型的一种重要工具。

图论是一门应用性很强的学科。

许多学科,诸如运筹学、网络理论、控制论、化学、生物学、物理学、社会科学、计算机科学等,凡是研究事物之间关系的实际问题或理论问题,都可以建立图论模型来解决。

随着计算机科学的发展,图论的应用也越来越广泛,同时图论也得到了充分的发展。

这里将主要介绍与计算机科学关系密切的图论的内容。

6.1 图的基本概念我们已知集合的笛卡尔积的概念,为了定义无向图,还需要给出集合的无序积的概念。

任意两个元素a ,b 构成的无序对(Unordered pair )记作(a ,b ),这里总有),(),(a b b a =。

设B A ,为两个集合,无序对的集合}),{(B b A a b a ∈∧∈称为集合A 与B 的无序积(Unordered Product ),记作B A &。

无序积与有序积的不同在于A B B A &&=。

例如,设=A {}b a ,,{}2,1,0=B ,则)}2,(),1,(),0,(),2,a (),1,(),0,{(&b b b a a B A = A B &=,)},(),,(),,{(&b b b a a a A A =。

为了引出图的定义,我们先介绍如下的例子。

例 6.1-1 (1) 北京、上海、香港、澳门是中国的几个著名的城市,分别用字母表示为M H S B ,,,,城市的集合为{}M H S B V ,,,=,这些城市间现有的航空线的集合是{}),(),,(),,(),,(),,(M S H S M B H B S B E =。

我们也可以将这些城市间的航空线关系用图6.1-1来表示。

⑵∑=101i i 的程序框图如图6.1-2图6.1-1图6.1-26.1.1 图的定义及相关概念定义 6.1-1 一个无向图(Undirected Graph)G 是一个有序二元组><E V ,,记作>=<E V G ,,其中V 是一个非空集合,V 中的元素称为结点或顶点(Vertex );E 是无序积V V &的多重子集(元素可重复出现的集合),称E 为G 的边集(Edge Set),E 中的元素称为无向边或简称边(Edge)。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

v6
1 (b)
每条边上所赋的非负实数称为这条边上的权,它可以理解为 该边上的流量或通过该边的时间,还可以理解为该边的长度。
14
二、 图中顶点的度数
1、无向图中顶点的度数
【定义】在图(无向图或有向图)中,若顶点a和
b是边e的两个端点,则称顶点a和b是邻接的,并 称边e关联于顶点a和b。
【定义】设图G是无向图,v是图G中的顶点,与v
( 4) 2, 2, 2, 2, 2
19
【例】 求解下列各题:
(1) 图G的度数列为2,2,3,5,6,则边数m为
多少?
解:由握手定理: 2m=∑deg(v)=2+2+3+5+6=18,知m=9。
20
(2) 图 G 有 12 条边,度数为 3 的顶点有 6 个,余者
度数均小于3,问G至少有几个顶点? 解:由握手定理∑deg(v)=2m=24,度数为3的顶点 有6个占去18度,还有6度由其余顶点占有;
有向完全图各顶点的入度与出度是多少?
27
四、 子图 【定义】在图G中删去一些边或顶点后所得的 图称为图G的子图。
删边:删去图中某一条边,但仍保留这条边的两个 端点。 删点:删去图中某一点以及与这个点关联的所有边。
28
29
【定义】由图G中删去一些边后所得到的子图称为 图G的生成子图。
【定义】在图G中仅删去一个顶点后所得的子图称 为图G的主子图。
定理
(u≠v)存在通路,则从u到v存在长度
小于等于n-1的基本通路。 在一个n阶图中,若从顶点u到自身存在 回路,则从u到自身存在长度小于等于n 的基本回路。
55
三、图的连通性
若从图的结点u到v存在一条路, 则称u到 v是可达的 (accessible) 。
定义5.1.8
由于结点v到v总存在一条长度为0的路, 因此规 定:任意结点v可达v自身。
{f,w,s,h},{f,w,s},{f,s,h}, {f,w,h},{f,w},{f,s},{f,h}, {w,h},{f},{w},{s},{h}。
50
渡河过程中所有可能的安全状态:
原岸 {f,w,s} 对岸 {h }
{f,w,s,h} { } {f , s , h }
{f,w,h}
结束 状态 初始 状态
41
【例】 下图中 G 是G相对于K5的补图。
42
对于补图,显然有以下结论
(1) G与G互为补图,即 GG
( 2) E (G ) E (G ) E ( K n ) E (G ) E (G )
(3) n阶完全图与n阶零图互为补图
43
第2节 图的连通性
44
一、通路与回路
右图是中国铁路交 通图的一部分,旅客乘 火车旅行,相当于从一 个结点出发,沿着一些 边连续移动到另一个结 点,这就引出了通路的 概念。
定义
33
直观理解:
G1 G2是指其中一个图仅经过下列两种变
换可以变为另一个图: (a) 挪动结点的位置; (b) 伸缩边的长短。
两个图同构的必要条件:
(1)结点数目相同; (2)边数相同; (3)度数相同的结点数相同。
34
例:
35
例:
36
【示例】 下图中,G1G2,其中
f:V1→V2,f(vi)= ui(i=1,2,…,6)。
问题转化为:
n阶简单无向图G中必有两个顶点的度数相同。
22
(2)有向图中顶点的度数
【定义】设图G是有向图,v是G的顶点,以v为始点
的有向边的条数称为v的出度,称为deg+(v), 以v为终 点的有向边的条数称为v的入度,称为deg-(v)。
例: deg+(a)=2 deg+(b)=0 deg+(c)=1 deg+(d)=2 deg+(e)=2
39
在图的集合上定义二元关系R: 对于图G1、G2,G1RG2当且仅当G1和G2同构, 称R为图的同构关系。 容易证明,图的同构关系是等价关系。
ห้องสมุดไป่ตู้40
六、补图
【定义】 G为n阶简单图,由G的所有顶点和 能使 G 成为完全图的添加边所构成的图称为 G 的相 对于完全图的补图,简称G的补图,记作 G 。
2) 边序列
v1e7 v1e1v2e3v3 v1v1v2v3 e7 e1e3
v3v2v2v3v1 e3e2e3e4
48
【例】一个人带着一只狼、一只羊和一捆草要渡
河,由于船太小,人做摆渡者一次只能运送一个
“乘客”,很显然,如果人不在,狼要吃羊,羊要
吃草,问人怎样才能把它们安全地渡过河去?
49
解:这是通路问题的一个典型实例。用f表示人, w表示狼,s表示羊,h表示草。 集合{f,w,s,h}中能安全在一起的子集有:
52
二、回路
定义
1)起点与终点相同的通路(长度 1)称为 回路(circuit)。 2)边不重复的回路称为简单回路。 3)除起点重复一次外, 别的结点均不重 复的简单回路称为基本回路或环(cycle)。
53
v0到v0的回路:
简单回路,也 是基本回路
v0
简单回路, 非基本回路
v0
54
在一个n阶图中,若从顶点u到顶点v
8
1、图绘制的几点说明:
(a)结点或顶点,常用一个实心点或空心点表示,但在
实际应用中还可以用诸如方形、圆形、菱形等符号。
(b)边的表示:

无向边,例: e3 = (v3,v4) = (v4,v3) e3 v3 v4 有向边(弧),例: e8 = <v2,v3> e8 v2 v3
起点 终点
9

2、图的基本术语
出严格的证明(Euler图)。
1736年,欧拉对七桥问题的抽象和论证思想,
开创了图论的研究,这一年可以看成是图论的元年。
5
二、Hamilton环球旅行游戏
1895年,Hamilton设计一个“环球旅行”游戏:
在一个正12面体的20个顶点上各标志一个城市,
如果从一城市出发,沿正12面体的棱行走,每个城 市恰好经过一次,再回到出发点,则算旅行成功。
有向图:图中各边都是有向边
无向图:图中各边都是无向边
混合图:图中既有有向边又有无向边
无向图
有向图
10
顶点与边的关联:若从结点u到结点v有边l,则称边l 与结点u和v相关联(incident) 。
顶点与顶点的邻接:若从结点u到结点v有边,则结 点u和v互为邻接顶点。
u
l
无向图
v
u
l
有向图
v
无向图边与边的邻接:有公共端点的边互为邻接边
北京 沈阳
兰州 成都
天津 西安 武汉 重庆 长沙 厦门 台北 广州 郑州 上海
昆明
高雄
45
一、通路
定义
在任意一个图G = (V, E) 中,称G中结点
与边交替出现的序列L:
L : v0e1v1e2v2 ...vi 1ei vi ...envn
通路的起点 为从v0到vn的一条通路或路径。 通路的终点 ei的起点 ei的终点
25
三、特殊图
【定义】在n阶无向简单图中,如果任意两个不同的顶 点之间都有一条边关联,则称此无向简单图为无向 完全图,记作Kn。
【定理】在 n阶无向完全图 Kn中,共有n(n-1)/2条边。 无向完全图 K 的边数是多少?
n
26
三、特殊图
【定义】在n阶有向图中,如果任意两个不同的顶点 之间都有两条方向相反的有向边关联,且每一个 顶点都有自回路,则称此有向图为有向完全图。
第六章 图
《离散数学基础》——谢胜利
1
图论问题
煤气管道的铺设问题。现为城市的各小区之间铺设煤气 管道(如下图所示),对 n 个小区只需铺设 n-1 条管线,由于地 理环境不同等因素使各条管线所需投资不同,如何使投资成 本最低?
1 B 5 2 4 D 10
A
1
A 3 3 F
7 3 6
3 F 8 E
B 2 D
30
子图示例:
31
五、图的同构
由于在画图的图形时,顶点的位置和边的几何 形状是无关紧要的,因此表面上完全不同的图形可 能表示的是同一个图。
32
为了判断不同的图形是否反映同一个图形的性质,
我们给出图的同构的概念。
设有两个图G1=(V1, E1),G2=(V2, E2), 如果存在着双射:V1→V2,使得 (u,v)∈E1当且仅当 ( (u), (v))∈E2 且边的重数相同,则称图G1与G2同构, 记作 G1 G2。
46
v3
e5
e4
v1
e7
v4
e3 v2
e4
e6 v1
e5 e2
v3
e3
e1
v1e7 v1e1v2e3v3
v2
e2 v3e3v2e2v2e3v3e4v1
e1
通路的长度: 一条路中所包含的边数。对于权重图, 通路的长度为通路中各边的权重之和。
47
路的简记:
v3e3v2e2v2e3v3e4v1
1) 结点序列
E
2
第1节 图的基本概念
3
6.1 图的基本概念
6.1 图的起源 一、哥尼斯堡七桥问题 18 世纪的东普鲁士有个哥尼斯堡城,在横贯全城 的普雷格尔河两岸和两个岛之间架设了7座桥,它们 把河的两岸和两个岛连接起来。从河岸或小岛出发, 七座桥每座桥恰好通过一次,再回到原地,是否可 能?
4
数学大师欧拉对七桥问题给出否定回答,并给
而由题意,其余顶点的度数可为0,1,2; 当均为 2 时所用顶点数最少,所以应有 3 个顶点 占有此6度,即G中至少有9个顶点。
相关文档
最新文档