本章介绍的图,是一种重要的结构,表示客观世界中对象之间关系的一个数学抽象。
例如: 可用图来表示计算机网络, 城市交通问题等。
一 知识结构图
在图G=<V, E>中,若|V| = n, G称为 n阶图; 若E 为空集, 称图G是n阶零图。
阶: 指 顶点数。
在图G, 若某顶点的度数为奇数, 称V为奇顶点或奇点。
定理1 所有顶点的度数之和等于边数的2倍
定理2 任意图G, 奇顶点必有偶数个
完全图:一个无向图,每个顶点都与其余顶点连接,称为完全图,记作
二 通路和回路、 连通图
在图中,通路是指由顶点和边构成的, 可以出现重复的顶点。 若通路中的所有边互不相同,则称为简单通路或迹。
若通路中所有结点互不相同,所有边互不相同,则称为基本通路、初级通路、路径。
回路是指起点和终点相同的通路。若回路中的所有边互不相同, 则称为简单回路或闭迹。
若回路中所有结点互不相同,所有边互不相同, 则称为基本回路、初级回路。
可以看到: 简单 对应的是 所有边互不相同, 基本 的限制更多,还要加上所有结点互不相同。
连通图:若图G中任意两个顶点之间都是连通的,称G为连通图。
设G是一个简单连通图, 若G有一个顶点度数为a, 则G至少有a+1个顶点。
~~~~~~~~~~~~~~~~~~
看一个例题: 设G是无向简单图, 有11个顶点, 每个顶点的度数均到少为5。 证明:G是连通图。
分析: 图的 证明题一般都是用反证法。
证明: 用反证法:
假设G不是连通图, 则G至少包含两个连通分支A、B
A、B都是连通图, 且每个顶点度数至少为5, 所以A、B均至少有6个顶点。
所以图G至少有12个顶点, 与已知条件矛盾。
故假设不成立, 即G是连通图。
~~~~~~~~~~~~~~~~~~~~~~
三 矩阵
2.1 无向图的邻接矩阵
- 无向图的邻接矩阵是关于主角线对称的矩阵
- 主对角线的元素不为0表示对应的结点有环
- 第 i 行对应的结点V i没有环时, 这一行的所有元素之和是结点Vi的度数。
2.2 有向图的邻接矩阵
邻接矩阵 定义: 设图G=<V, E>, V={V1, V2, V3, V4}, 用 表示从顶点vi 到vj的边数,则可得到图G的邻接矩阵M
例:
说明: 第1行第1列的1 ,表示从V1到V1有一条边,
第1行第2列的0, 表示从V1到V2 没有边
注意: 矩阵每个值,是从左边 ——> 上边, 例如 2是指V2——>V1
四 欧拉图
定义: 设G = (V, E) 是无向图或有向图, 若G中有一条包含所有边的简单回路, 称该回路为欧拉回路,称图G为欧拉图。
就是说, 欧拉图是在 简单回路 再加上限制条件 得来
若G中有一条包含G中所有边的简单通路, 称它为欧拉通路, 称图G为半欧拉图。
规定平凡图是欧拉图。
欧拉图的判断
定理1: 无向连通图G是欧拉图, 当且仅当G的所有结点的度数都是偶数。
定理2: 连通无向图G是半欧拉图, 当且仅当G中只有两个奇度数的结点,其余结点的度数都是偶数。
定理3: 连通有向图G是欧拉图, 当且仅当G中每个结点的入度等于它的出度。
定理4: 连通有向图G是半欧拉图, 当且仅当G中有且仅有两个奇度数结点, 其中一个结点的入度比出度大1, 另一个结点的入度比出度小1. 其余结点的入度和出度相等。
看一个例题
解: 图(1)是欧拉图, 根据定理3.
图 (2) 是半欧拉图, 根据定理4, 有两个奇度数的结点。
图(3)有两个结点,其中一个入度-出度=2, 另一个出度-入度=2, 所以不是欧拉图,也不是半欧拉图。 只能称为有无欧拉图向回路。
注: 判断一个图能否一笔画出,就是判断一个图是否欧拉图或是半欧拉图。
五 哈密顿图
定义: 设图G是无向图或有向图, 若G中有一条包含G的所有结点(仅一次)的回路, 称该回路为哈密顿回路, 称图G为哈密顿图。
若图G有一条包含G的所有结点的通路, 称该通路为哈密顿通路, 称图G为半哈密顿图。
规定平凡图是哈密顿图。 平凡图是指 仅有一个顶点的图。
环图都是哈密顿图。
用哈密顿图解决实际问题
例: 有7个人,A会讲英语,B会讲英语和汉语, C会讲英语、意大利语和俄语, D会讲日语和汉语, E 会讲德语和意大利语, F会讲法语、日语和俄语,G会讲法语和德语, 问能否将他们沿圆桌安排就坐成一圈, 使得每个人都能与两旁的人交谈?
分析:每人用一个结点表示, 两个人会讲同一种语言,则在对应的结点之间连接一条边, 得到图。