离散数学第14章——图论
合集下载
离散数学_图论123页PPT
16、业余生活要有意义，不要越轨。——华盛顿 17、一个人即使已登上顶峰，也仍要自强不息。——罗素·贝克 18、最大的挑战和突破在于用人，而用人最大的突破在于信任人。——马云 19、自己活着，就是为了使别人过得更美好。——雷锋 20、要掌握书，莫被书掌握；要为生而读，莫为读而生。——布尔沃
END
Hale Waihona Puke 离散数学_图论1、纪律是管理关系的形式。——阿法 纳西耶 夫 2、改革如果不讲纪律，就难以成功。
3、道德行为训练，不是通过语言影响 ，而是 让儿童 练习良 好道德 行为， 克服懒 惰、轻 率、不 守纪律 、颓废 等不良 行为。 4、学校没有纪律便如磨房里没有水。 ——夸 美纽斯
5、教导儿童服从真理、服从集体，养 成儿童 自觉的 纪律性 ，这是 儿童道 德教育 最重要 的部分 。—— 陈鹤琴
《离散数学图论》课件
最短路径问题
实现方法：使用 队列数据结构， 将起始节点入队， 然后依次处理队 列中的每个节点， 直到找到目标节
点或队列为空
Dijkstra算法和Prim算法
Dijkstra算法：用于 求解单源最短路径问 题，通过不断更新最 短路径来寻找最短路 径。
Prim算法：用于求解 最小生成树问题，通过 不断寻找最小权重的边 来构建最小生成树。
图的矩阵表示
邻接矩阵的定义和性质
定义：邻接矩阵是一个n*n的矩阵，其 中n是图的顶点数，矩阵中的元素表示 图中顶点之间的连接关系。
性质：邻接矩阵中的元素只有0和1， 其中0表示两个顶点之间没有边相连， 1表示两个顶点之间有一条边相连。
应用：邻接矩阵可以用于表示图的连通 性、路径长度等信息，是图论中常用的 表示方法之一。
图像处理：优化图像分割， 提高图像质量
物流配送：优化配送路径， 降低配送成本
社交网络：优化社交网络 结构，提高用户活跃度
感谢您的观看
汇报人：PPT
数学：用于图论、组合数 学、代数拓扑等领域
物理学：用于量子力学、 统计力学等领域
生物学：用于蛋白质结构、 基因调控等领域
社会科学：用于社会网络 分析、经济模型等领域
图的基本概念
图的定义和表示方法
图的定义：由节点和边组成的数学结构，节点表示对象，边表示对象之间的关系
节点表示方法：用点或圆圈表示 边表示方法：用线或弧线表示 图的表示方法：可以用邻接矩阵、邻接表、关联矩阵等方式表示
顶点和边的基本概念
顶点：图中的基本元素，表示一个对象或事件 边：连接两个顶点的线，表示两个对象或事件之间的关系 度：一个顶点的度是指与其相连的边的数量 路径：从一个顶点到另一个顶点的边的序列 连通图：图中任意两个顶点之间都存在路径 强连通图：图中任意两个顶点之间都存在双向路径
实现方法：使用 队列数据结构， 将起始节点入队， 然后依次处理队 列中的每个节点， 直到找到目标节
点或队列为空
Dijkstra算法和Prim算法
Dijkstra算法：用于 求解单源最短路径问 题，通过不断更新最 短路径来寻找最短路 径。
Prim算法：用于求解 最小生成树问题，通过 不断寻找最小权重的边 来构建最小生成树。
图的矩阵表示
邻接矩阵的定义和性质
定义：邻接矩阵是一个n*n的矩阵，其 中n是图的顶点数，矩阵中的元素表示 图中顶点之间的连接关系。
性质：邻接矩阵中的元素只有0和1， 其中0表示两个顶点之间没有边相连， 1表示两个顶点之间有一条边相连。
应用：邻接矩阵可以用于表示图的连通 性、路径长度等信息，是图论中常用的 表示方法之一。
图像处理：优化图像分割， 提高图像质量
物流配送：优化配送路径， 降低配送成本
社交网络：优化社交网络 结构，提高用户活跃度
感谢您的观看
汇报人：PPT
数学：用于图论、组合数 学、代数拓扑等领域
物理学：用于量子力学、 统计力学等领域
生物学：用于蛋白质结构、 基因调控等领域
社会科学：用于社会网络 分析、经济模型等领域
图的基本概念
图的定义和表示方法
图的定义：由节点和边组成的数学结构，节点表示对象，边表示对象之间的关系
节点表示方法：用点或圆圈表示 边表示方法：用线或弧线表示 图的表示方法：可以用邻接矩阵、邻接表、关联矩阵等方式表示
顶点和边的基本概念
顶点：图中的基本元素，表示一个对象或事件 边：连接两个顶点的线，表示两个对象或事件之间的关系 度：一个顶点的度是指与其相连的边的数量 路径：从一个顶点到另一个顶点的边的序列 连通图：图中任意两个顶点之间都存在路径 强连通图：图中任意两个顶点之间都存在双向路径
离散数学-图论
图论
补图
• 给定一个图G=〈V，E〉，构造另一个图， 它的结点集合与G相同，而边的集合则为 相同完全图中边集合与E的差集，称该图 为原图G相对于完全图的补图，记作~G。
图论
子图
• 设G=〈V，E〉是一个图，如果有另一个 图G‘=〈V’，E‘〉，使得V’是V的子集， E‘是E的子集，则称G‘是G的子图。 • 如果G的子图G‘包含G的所有结点，则称 该子图为G的生成子图。
图论
可达性矩阵
• 设G=〈V，E〉是图，V={v1, v2,…, vn}， 建立n阶方阵P(G)=(aij)，使得 aij =1， 从vi到vj至少存在一条路； aij =0，否则， 则称P(G)为图G的可达性矩阵。 比较：可达性矩阵与邻接矩阵的区别
图论
思考
• 邻接矩阵与可达矩阵之间有什么联系？ • 如何从邻接矩阵计算出可达矩阵？
图论
邻接边
• 关联于同一结点的两条不同的边则称为 邻接边。 • 关联于同一结点的两条相同的边则称为 自回路或环。环既可以是有向的，也可以 是无向的。
图论
有向图的度
• 设〈vi, vj〉是有向图G=〈V，E〉中的任 意一条有向边， vi是该边的起始结点， vj是终止结点。 • 在有向图G=〈V，E〉中，以一结点为起 始结点的边的个数称为该结点的出度； 以一结点为终止结点的边的个数称为该 结点的入度。 • 一结点的出度和入度之和称为该结点的 度数，记作deg(v)。
图论
思考
• 结点的连通性是结点集V上的一个等价关 系！ • 连通性所划分的等价类是什么？
图论
点割集
• 设无向图G〈V，E〉为连通图，若有点 集V1是V的真子集，使得图G在删除了V1 中所有结点后，所得的子图是不连通的， 而在删除了V1的任意真子集后，所得的 子图仍然是连通的，则称V1是G的一个点 割集； • 如点割集中仅有一个结点则称此结点为 割点。
离散数学第十四章图论基本概念
8
握手定理
定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
n
d(vi ) 2m
i 1
证 G中每条边 (包括环) 均有两个端点，所以在计算G中各顶点 度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
(3) 初级通路(路径)与初级回路(圈)： 中所有顶点各异，则 称 为初级通路(路径)，又若除v0=vl，所有的顶点各不相 同且所有的边各异，则称 为初级回路(圈)
(4) 复杂通路与回路：有边重复出现
20
几点说明
表示法 ① 定义表示法 ② 只用边表示法 ③ 只用顶点表示法（在简单图中） ④ 混合表示法
3
有向图
定义14.2 有向图D=<V,E>, 只需注意E是VV 的多重子集 图2表示的是一个有向图，试写出它的V 和 E
注意：图的数学定义与图形表示，在同构（待叙）的意义下 是一一对应的
4
相关概念
1. 图 ① 可用G泛指图（无向的或有向的） ② V(G), E(G), V(D), E(D) ③ n阶图
定义14.17 G=<V,E>, EE E是边割集——p(GE)>p(G)且有极小性 e是割边（桥）——{e}为边割集
25
点割集与割点
例3 {v1,v4}，{v6}是点 割集，v6是割点. {v2,v5} 是点割集吗？ {e1,e2}，{e1,e3,e5,e6}， {e8}等是边割集，e8是 桥，{e7,e9,e5,e6} 是边割 集吗？
3. 非负整数列d=(d1, d2, …, dn)是可图化的，是可简单图化的.
握手定理
定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
n
d(vi ) 2m
i 1
证 G中每条边 (包括环) 均有两个端点，所以在计算G中各顶点 度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
(3) 初级通路(路径)与初级回路(圈)： 中所有顶点各异，则 称 为初级通路(路径)，又若除v0=vl，所有的顶点各不相 同且所有的边各异，则称 为初级回路(圈)
(4) 复杂通路与回路：有边重复出现
20
几点说明
表示法 ① 定义表示法 ② 只用边表示法 ③ 只用顶点表示法（在简单图中） ④ 混合表示法
3
有向图
定义14.2 有向图D=<V,E>, 只需注意E是VV 的多重子集 图2表示的是一个有向图，试写出它的V 和 E
注意：图的数学定义与图形表示，在同构（待叙）的意义下 是一一对应的
4
相关概念
1. 图 ① 可用G泛指图（无向的或有向的） ② V(G), E(G), V(D), E(D) ③ n阶图
定义14.17 G=<V,E>, EE E是边割集——p(GE)>p(G)且有极小性 e是割边（桥）——{e}为边割集
25
点割集与割点
例3 {v1,v4}，{v6}是点 割集，v6是割点. {v2,v5} 是点割集吗？ {e1,e2}，{e1,e3,e5,e6}， {e8}等是边割集，e8是 桥，{e7,e9,e5,e6} 是边割 集吗？
3. 非负整数列d=(d1, d2, …, dn)是可图化的，是可简单图化的.
离散数学——图论
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
离散数学 图论-通路与回路
2、简单通路和初级通路的关系
有向图中的每一条初级通路，也都必定是简单通路。 反之不成立 回路也可分为简单回路和初级回路。
3、通路的表示：
可仅用通路中的边序列表示：e1e2…ek 也可仅用通路中所经过的结点的序列表示：v1v2v3…vk
4、性质： 1）定理 在n阶图D中，若从顶点vi到vj(vi≠vj)存在通路，则从vi到vj存在长度 小于或等于(n—1)的通路 若大于n-1，则存在相同节点（有回路），将回路删去可得 2）在n阶图D中，若从顶点vi到vj存在通路，则vi到vj一定存在长度小于或等于 n—1的初级通路(路径) 3）定理 在一个n阶图D中，若存在vi到自身的回路，则一定存在vi到自身长度 小于或等于n的回路． 4）在一个n阶图D中，若存在vi到自身的简单回路，则一定存在长度小于或等 于n的初级回路．
（3）A(D)中所有元素之和为D中长度为1的（边）通路总条数。 主对角线的元素值为图中结点vi长度为1 的环的条数
利用A(D)确定出D中长度为L的通路数和回路数,就需要用到邻接矩阵的幂次运算 （4）A2中的元素值bij是结点vi到vj长度为2 的通路条数：
说明：由矩阵的乘积定义 bij = ∑k aik * akj 由此可推断，A3矩阵中的Cij元素值，表示了从到长度恰为3的通路条数目 （5）定理14．11 设A为有向图D的邻接矩阵，V＝{v1，v2，…，vn} 为D的
注：三种图的关系：强连通图一定是单向连通图，反之不成立
单向连通图一定是弱连通图．反之不成立
6、有关强连通图与单向连通图的判定 （1）定理： 设有向图D＝<V，E>，V＝{v1，v2，…，vn}．
D是强连通图当且仅当D中存在经过每个顶点至少一次的回路． (2) 定理 设D是n阶有向图
有向图中的每一条初级通路，也都必定是简单通路。 反之不成立 回路也可分为简单回路和初级回路。
3、通路的表示：
可仅用通路中的边序列表示：e1e2…ek 也可仅用通路中所经过的结点的序列表示：v1v2v3…vk
4、性质： 1）定理 在n阶图D中，若从顶点vi到vj(vi≠vj)存在通路，则从vi到vj存在长度 小于或等于(n—1)的通路 若大于n-1，则存在相同节点（有回路），将回路删去可得 2）在n阶图D中，若从顶点vi到vj存在通路，则vi到vj一定存在长度小于或等于 n—1的初级通路(路径) 3）定理 在一个n阶图D中，若存在vi到自身的回路，则一定存在vi到自身长度 小于或等于n的回路． 4）在一个n阶图D中，若存在vi到自身的简单回路，则一定存在长度小于或等 于n的初级回路．
（3）A(D)中所有元素之和为D中长度为1的（边）通路总条数。 主对角线的元素值为图中结点vi长度为1 的环的条数
利用A(D)确定出D中长度为L的通路数和回路数,就需要用到邻接矩阵的幂次运算 （4）A2中的元素值bij是结点vi到vj长度为2 的通路条数：
说明：由矩阵的乘积定义 bij = ∑k aik * akj 由此可推断，A3矩阵中的Cij元素值，表示了从到长度恰为3的通路条数目 （5）定理14．11 设A为有向图D的邻接矩阵，V＝{v1，v2，…，vn} 为D的
注：三种图的关系：强连通图一定是单向连通图，反之不成立
单向连通图一定是弱连通图．反之不成立
6、有关强连通图与单向连通图的判定 （1）定理： 设有向图D＝<V，E>，V＝{v1，v2，…，vn}．
D是强连通图当且仅当D中存在经过每个顶点至少一次的回路． (2) 定理 设D是n阶有向图
《离散数学之图论》课件
二分图
二分图是指一个图中的所有顶点可 以被分成两个不相交的集合，即两 个集合内的点之间没有边。
树
树是一种特殊的无向图，他是一个 无环连通图。
图的表示
1
邻接矩阵
邻接矩阵是表示图的最直观的一种方法，它将图中的每个点与其他点之间的连接 关系用一个矩阵来表示。
2
邻接表
邻接表是图中比较常见的一种数据结构，用于存储有向图或无向图中顶点的邻接 关系。
Kruskal算法是一种贪心算
2 自反闭包
3 反对称闭包
在一个有向图中，如果由顶 点i到顶点j有路径，由顶点j 到顶点k有路径，则从i到k也 有路径。这种情况称为传递 闭包。
在一个有向图中，如果自己 只能到自己，则称之为自反 闭包。
在一个有向图中，如果存在 有向边从i到j，同时存在一 个从j到i的反向边，则称之 为反对称闭包。
3
关联矩阵
关联矩阵是一个图矩阵，它将图中的所有点和边都表示为元素，可以将和特定边 相关的点和总结点联系起来。
图的遍历
1 深度优先遍历
深度优先遍历是从图中的起始点开始，递归地访问所有可达的顶点。它通常用堆栈来实 现。
2 广度优先遍历
广度优先遍历是从图中的起始点开始访问每一层可达的顶点。它通常用队列来实现。
最短路径
Dijkstra算法
Dijkstra算法是一种用来求图中单个源点到其他所有点 的最短路径的平均算法。
Floyd算法
Floyd算法是一种用于发现非负权重图中所有点对之间 的最短路径的算法。
最小生成树
1
Prim算法
Prim算法用于寻找加权无向连通图的最小生
Kruskal算法
2
成树，该树包含了关键点并且保证了所有点 都连通。
离散数学中的图论代表知识点介绍
离散数学中的图论代表知识点介绍离散数学是数学的一个分支，它主要研究离散对象以及其离散性质和离散结构。
图论作为离散数学的重要组成部分，以图为研究对象，研究了图的基本概念、图的表示方法以及图的性质和应用。
本文将介绍离散数学中的图论代表知识点。
1. 图的基本概念图是由顶点集合和边集合组成的离散结构，用V表示顶点集合，E表示边集合。
图可以分为有向图和无向图两种类型。
有向图中的边是有方向的，而无向图中的边是无方向的。
图中的顶点可以表示为V={v1, v2, v3, ...}，边可以表示为E={(vi, vj)}。
在图中，两个顶点之间有边相连时，称这两个顶点是相邻的。
2. 图的表示方法图可以用多种方式来表示。
常见的表示方法有邻接矩阵和邻接表。
邻接矩阵是一个二维数组，其中的元素表示两个顶点之间是否存在边。
邻接表则是通过链表的方式来表示图的结构，每个顶点都对应一个链表，链表中存储着与该顶点相邻的顶点。
3. 图的性质图论研究了图的许多性质和特性。
其中一些重要的性质包括连通性、路径、回路、度数、树和连通分量等。
连通性是指图中任意两个顶点之间是否存在路径。
如果图中任意两个顶点都存在路径相连，则图被称为连通图。
反之，如果存在无法通过路径相连的顶点对，则图为非连通图。
连通图中的任意两个顶点之间至少存在一条路径。
路径是指从一个顶点到另一个顶点的顶点序列。
路径的长度是指路径上边的数量。
最短路径是指两个顶点之间边的数量最少的路径。
回路是指路径起点和终点相同的路径。
如果回路中除起点和终点以外的顶点不重复出现，则称为简单回路。
度数是指图中顶点的边的数量。
对于有向图来说，度数分为入度和出度，分别表示指向该顶点的边和从该顶点指出的边的数量。
树是一种无回路的连通图，它具有n个顶点和n-1条边。
树是图论中一个重要的概念，它有广泛的应用。
连通分量是指图中的极大连通子图，即在该子图中的任意两个顶点都是连通的，且该子图不能再加入其他顶点使其连通。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
证 G中每条边 (包括环) 均有两个端点，所以在计 算G中各顶点度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
本定理的证明类似于定理14.1
பைடு நூலகம்
推论 任何图 (无向或有向) 中，奇度顶点的个数是偶数. 证 设G=<V,E>为任意图，令
• 注意：图的数学定义与图形表示，在同构（待叙） 的意义下是一一对应的
相关概念 1. 图
① 可用G泛指图（无向的或有向的） ② V(G), E(G), V(D), E(D) ③ n阶图 2. n 阶零图：一条边也没有的图称为零图 3. 平凡图：1阶零图 4. 空图——：顶点集为空集的图 5. 用 ek 表示无向边或有向边
简单性质：边数
(2) n (n1)阶有向完全图——每对顶点之间均有两条 方向相反的有向边的有向简单图.
关联一对顶点的无向边多于1条，则称这些边为平 行边。 (2) 有向图中的平行边及重数（注意方向性） (3) 多重图：含平行边的图 (4) 简单图：不含平行边也不含环的图
三、顶点的度数及握手定理 定义14.4
(1) 设G=<V,E>为无向图, vV, 称v 作为边的端点 的次数之和为 v的度数，记作d(v)，简称度
第四部分 图论
本部分主要内容 图的基本概念 欧拉图、哈密顿图 树
第十四章 图的基本概念
• 主要内容 •图 • 通路与回路 • 图的连通性 • 图的矩阵表示 • 图的运算
第一节 图
一、无向图与有向图的定义 定义14.1 无向图G = <V,E>, 其中 (1) V 为顶点集，元素称为顶点 (2) E为VV 的多重集，其元素称为无向边，简称边
6. 顶点与边的关联关系 ① 关联、关联次数 ②环 ③ 孤立点
7. 顶点之间的相邻与邻接关系
8. 邻域与关联集 ① vV(G) (G为无向图)
② vV(D) (D为有向图)
9. 标定图与非标定图 10. 基图：将有向图的各条有向边改成无向边后 所得到的无向图称为这个有向图的基图
二 多重图与简单图 定义14.3 (1) 无向图中的平行边及重数：在无向图中，如果
实例
设 V = {v1, v2, …,v5}, E = {(v1,v1), (v1,v2), (v2,v3), (v2,v3),
(v2,v5), (v1,v5), (v4,v5)} 则 G = <V,E>为一无向图
定义14.2 有向图D=<V,E>, 只需注意E是VV 的多重 子集，图2表示的是一个有向图，试写出它的V 和E
• 判断两个图同构是个难题
(1)
(2)
(3)
(4)
图中，(1)与(2)不同构（度数列不同），(3)与(4)也不同构.
(1)
(2)
• 图中(1)与(2)的度数列相同，它们同构吗？为 什么？
五、完全图与竞赛图 定义14.6 (1) n (n1) 阶无向完全图——每个顶点与其余顶点
均相邻的无向简单图，记作 Kn.
(2) 设D=<V,E>为有向图, vV, d+(v)——v的出度：以v为始点的次数之和 d(v)——v的入度：以v为终点的次数之和 d(v)——v的度或度数
(3) (G) ：无向图G的最大度 (G)：无向图G 的最小度
(4) +(D)：有向图D的最大出度 +(D)：有向图D的最小出度 (D)：有向图D的最大入度 (D)：有向图D的最小入度 (D)：有向图D的最大度 (D) ：有向图D的最小度
V1={v | vV d(v)为奇数} V2={v | vV d(v)为偶数} 则V1V2=V, V1V2=，由握手定理可知
由于2m,
均为偶数，所以
为偶数，但因为
V1中顶点度数为奇数，所以|V1|必为偶数.
例1 无向图G有16条边，3个4度顶点，4个3度顶 点，其余顶点度数均小于3，问G的阶数n为几？
(5) 度数为1的顶点称为悬挂顶点，与它关联的边称 为悬挂边
（6）奇顶点度：度为奇数的顶点 偶顶点度：度为偶数的顶点
例 ：求顶点的度，以及图的(G), (G)，+(D), +(D), (D), (D), (D), (D)
2. 图论基本定理 握手定理 定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
并且, (vi,vj)（<vi,vj>）与 (f(vi),f(vj))（<f(vi),f(vj)>）的 重数相同，则称G1与G2是同构的，记作G1G2.
• 图之间的同构关系具有自反性、对称性和传递 性.能找到多条同构的必要条件，但它们全不是 充分条件：
① 边数相同，顶点数相同; ② 度数列相同; ③ 对应顶点的关联集及邻域的元素个数相同， 等等 若破坏必要条件，则两图不同构
解 本题的关键是应用握手定理. 设除3度与4度顶点外，还有x个顶点v1, v2, …, vx， 则
d(vi) 2，i =1, 2, …, x， 于是得不等式
32 24+2x 得 x 4, 阶数 n 4+4+3=11.
3. 图的度数列
（1）V={v1, v2, …, vn}为无向图G的顶点集，称d(v1), d(v2), …, d(vn)为G的度数列
为偶数的
• 易知：(2, 4, 6, 8, 10)，(1, 3, 3, 3, 4) 是可图化的， 后者又是可简单图化的，而(2, 2, 3, 4, 5)，(3, 3, 3, 4) 都不是可简单图化的，特别是后者也不是可图 化的
• 定理14.4 设G为任意的n阶无向简单图，则
•
四、图的同构
定义14.5 设G1=<V1,E1>, G2=<V2,E2>为两个无向图 (两个有向图)，若存在双射函数f:V1V2, 对于 vi,vjV1, (vi,vj)E1 当且仅当 (f(vi),f(vj))E2 （<vi,vj>E1 当且仅当 <f(vi),f(vj)>E2 )
（2）V={v1, v2, …, vn}为有向图D的顶点集，
D的度数列：d(v1), d(v2), …, d(vn)
D的出度列：d+(v1), d+(v2), …, d+(vn)
D的入度列：d(v1), d(v2), …, d(vn)
（3）非负整数列d=(d1, d2, …, dn)在 情况下可图形化
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
本定理的证明类似于定理14.1
பைடு நூலகம்
推论 任何图 (无向或有向) 中，奇度顶点的个数是偶数. 证 设G=<V,E>为任意图，令
• 注意：图的数学定义与图形表示，在同构（待叙） 的意义下是一一对应的
相关概念 1. 图
① 可用G泛指图（无向的或有向的） ② V(G), E(G), V(D), E(D) ③ n阶图 2. n 阶零图：一条边也没有的图称为零图 3. 平凡图：1阶零图 4. 空图——：顶点集为空集的图 5. 用 ek 表示无向边或有向边
简单性质：边数
(2) n (n1)阶有向完全图——每对顶点之间均有两条 方向相反的有向边的有向简单图.
关联一对顶点的无向边多于1条，则称这些边为平 行边。 (2) 有向图中的平行边及重数（注意方向性） (3) 多重图：含平行边的图 (4) 简单图：不含平行边也不含环的图
三、顶点的度数及握手定理 定义14.4
(1) 设G=<V,E>为无向图, vV, 称v 作为边的端点 的次数之和为 v的度数，记作d(v)，简称度
第四部分 图论
本部分主要内容 图的基本概念 欧拉图、哈密顿图 树
第十四章 图的基本概念
• 主要内容 •图 • 通路与回路 • 图的连通性 • 图的矩阵表示 • 图的运算
第一节 图
一、无向图与有向图的定义 定义14.1 无向图G = <V,E>, 其中 (1) V 为顶点集，元素称为顶点 (2) E为VV 的多重集，其元素称为无向边，简称边
6. 顶点与边的关联关系 ① 关联、关联次数 ②环 ③ 孤立点
7. 顶点之间的相邻与邻接关系
8. 邻域与关联集 ① vV(G) (G为无向图)
② vV(D) (D为有向图)
9. 标定图与非标定图 10. 基图：将有向图的各条有向边改成无向边后 所得到的无向图称为这个有向图的基图
二 多重图与简单图 定义14.3 (1) 无向图中的平行边及重数：在无向图中，如果
实例
设 V = {v1, v2, …,v5}, E = {(v1,v1), (v1,v2), (v2,v3), (v2,v3),
(v2,v5), (v1,v5), (v4,v5)} 则 G = <V,E>为一无向图
定义14.2 有向图D=<V,E>, 只需注意E是VV 的多重 子集，图2表示的是一个有向图，试写出它的V 和E
• 判断两个图同构是个难题
(1)
(2)
(3)
(4)
图中，(1)与(2)不同构（度数列不同），(3)与(4)也不同构.
(1)
(2)
• 图中(1)与(2)的度数列相同，它们同构吗？为 什么？
五、完全图与竞赛图 定义14.6 (1) n (n1) 阶无向完全图——每个顶点与其余顶点
均相邻的无向简单图，记作 Kn.
(2) 设D=<V,E>为有向图, vV, d+(v)——v的出度：以v为始点的次数之和 d(v)——v的入度：以v为终点的次数之和 d(v)——v的度或度数
(3) (G) ：无向图G的最大度 (G)：无向图G 的最小度
(4) +(D)：有向图D的最大出度 +(D)：有向图D的最小出度 (D)：有向图D的最大入度 (D)：有向图D的最小入度 (D)：有向图D的最大度 (D) ：有向图D的最小度
V1={v | vV d(v)为奇数} V2={v | vV d(v)为偶数} 则V1V2=V, V1V2=，由握手定理可知
由于2m,
均为偶数，所以
为偶数，但因为
V1中顶点度数为奇数，所以|V1|必为偶数.
例1 无向图G有16条边，3个4度顶点，4个3度顶 点，其余顶点度数均小于3，问G的阶数n为几？
(5) 度数为1的顶点称为悬挂顶点，与它关联的边称 为悬挂边
（6）奇顶点度：度为奇数的顶点 偶顶点度：度为偶数的顶点
例 ：求顶点的度，以及图的(G), (G)，+(D), +(D), (D), (D), (D), (D)
2. 图论基本定理 握手定理 定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
并且, (vi,vj)（<vi,vj>）与 (f(vi),f(vj))（<f(vi),f(vj)>）的 重数相同，则称G1与G2是同构的，记作G1G2.
• 图之间的同构关系具有自反性、对称性和传递 性.能找到多条同构的必要条件，但它们全不是 充分条件：
① 边数相同，顶点数相同; ② 度数列相同; ③ 对应顶点的关联集及邻域的元素个数相同， 等等 若破坏必要条件，则两图不同构
解 本题的关键是应用握手定理. 设除3度与4度顶点外，还有x个顶点v1, v2, …, vx， 则
d(vi) 2，i =1, 2, …, x， 于是得不等式
32 24+2x 得 x 4, 阶数 n 4+4+3=11.
3. 图的度数列
（1）V={v1, v2, …, vn}为无向图G的顶点集，称d(v1), d(v2), …, d(vn)为G的度数列
为偶数的
• 易知：(2, 4, 6, 8, 10)，(1, 3, 3, 3, 4) 是可图化的， 后者又是可简单图化的，而(2, 2, 3, 4, 5)，(3, 3, 3, 4) 都不是可简单图化的，特别是后者也不是可图 化的
• 定理14.4 设G为任意的n阶无向简单图，则
•
四、图的同构
定义14.5 设G1=<V1,E1>, G2=<V2,E2>为两个无向图 (两个有向图)，若存在双射函数f:V1V2, 对于 vi,vjV1, (vi,vj)E1 当且仅当 (f(vi),f(vj))E2 （<vi,vj>E1 当且仅当 <f(vi),f(vj)>E2 )
（2）V={v1, v2, …, vn}为有向图D的顶点集，
D的度数列：d(v1), d(v2), …, d(vn)
D的出度列：d+(v1), d+(v2), …, d+(vn)
D的入度列：d(v1), d(v2), …, d(vn)
（3）非负整数列d=(d1, d2, …, dn)在 情况下可图形化