离散数学10图的基本概念分解
离散数学 图
陕西师范大学计算机科学学院
欧拉是这样解决这个问题的：将四块陆
地表示成四个点，桥看成是对应结点之间的 连线。则哥尼斯堡七桥问题就变成了：从A， B ， C ， D 任一点出发，通过每边一次且仅一 次返回原出发点的路线（回路）是否存在？ 欧拉证明这样的回路是不存在的。
陕西师范大学计算机科学学院
第二阶段是从 19 世纪中叶到 1936 年。
陕西师范大学计算机科学学院
图论的产生和发展经历了二百多年的历
史，大体上可分为三个阶段： 第一阶段是从 1736 年到 19 世纪中叶。 当时的图论问题是盛行的迷宫问题和游戏问 题。最有代表性的工作是著名数学家欧拉于 1736年解决的哥尼斯堡七桥问题。
陕西师范大学计算机科学学院
东普鲁士的哥尼斯堡城（今俄罗斯的加里宁格
陕西师范大学计算机科学学院
例10.1.1 图10-1的两个图分别为无向图和
有向图。在（ a ）中， e7 是环， e1 、 e2 与 e3
是邻接边。在（ b ）中， v2v1 与 v2v3 是邻接
边，但v2v3和v3v2不是邻接边，v5为孤立结
点。
陕西师范大学计算机科学学院
定义 10.1.2 （ 1 ）含有平行边（或弧）的图 称为多重图（ Multigraph ）。不含平行边 （ 或 弧 ） 和 环 的 图 称 为 简 单 图 （ Simple Graph）。
论应用于电网络研究。1857年英国的凯莱也
独立地提出了树的概念，并应用于有机化合 物分子结构即CnH2n+2的同分异构物数目的研 究中。 1936年匈牙利的数学家哥尼格写出了第 一本图论专著《有限图与无限图的理论》， 标志着图论成为一门独立学科。
陕西师范大学计算机科学学院
离散数学 图
10.7 树及其应用 教学内容：树，树叶，分支点，生成树，
最小生成树，Kruskal算法， Prim算法，根树，有序树， 二叉树，树的遍历， 最优二叉树， Haffman算法
陕西师范大学计算机科学学院
10.9 最短路径 教学内容：最短路径，Dijks位于普雷格尔（Pregel）河的两岸，河中有
一个岛，于是城市被这条河、它的分支和岛分成了
四个部分，各部分通过7座桥彼此相通。该城的居
民喜欢在周日绕城散步。于是就产生了这样一个问
题：能不能设计一条散步的路线，使得一个人从家
里（或从四部分陆地任一块）出发，经过每座桥恰
好一次再回到家里？这就是有名的哥尼斯堡七桥问
题。
陕西师范大学计算机科学学院
哥尼斯堡七桥问题看起来并不复杂，因
此立刻吸引许多人的注意，但是实际上很难
解决。
瑞士数学家欧拉注意到了这个问题，并
在1736年写的有关“哥尼斯堡七桥问题”
的论文中解决了这个问题。这篇论文被公认
为是图论历史上的第一篇论文，欧拉也因此
被誉为图论之父。
陕西师范大学计算机科学学院
简单（回）路，基本（回）路， 连通图，连通分支，点（边）割集， 割（边），强（单向，弱）连通图， 强（单向，弱）分图
陕西师范大学计算机科学学院
10.4 欧拉图与哈密顿图 教学内容：欧拉（回）路，欧拉图，
哈密顿（回）路，哈密顿图
陕西师范大学计算机科学学院
10.6 平面图 教学内容：平面图，面，边界，欧拉公式
1936年匈牙利的数学家哥尼格写出了第 一本图论专著《有限图与无限图的理论》， 标志着图论成为一门独立学科。
陕西师范大学计算机科学学院
第三阶段是1936年以后。由于生产管 理、军事、交通运输、计算机和通讯网络等 方面的大量问题的出现，大大促进了图论的 发展。特别是计算机的大量应用，使大规模 问题的求解成为可能。
离散数学图论整理
离散数学图论整理总结第⼋章图论8.1 图的基本概念8.1.1 图定义8.1―1 ⼀个图G 是⼀个三重组〈V (G ),E (G ),ΦG 〉,其中V (G )是⼀个⾮空的结点(或叫顶点)集合,E (G )是边的集合,ΦG 是从边集E 到结点偶对集合上的函数。
⼀个图可以⽤⼀个图形表⽰。
定义中的结点偶对可以是有序的,也可以是⽆序的。
若边e 所对应的偶对〈a ,b 〉是有序的,则称e 是有向边。
有向边简称弧,a 叫弧e 的始点,b 叫弧e 的终点,统称为e 的端点。
称e 是关联于结点a 和b 的,结点a 和结点b 是邻接的。
若边e 所对应的偶对(a ,b )是⽆序的,则称e 是⽆向边。
⽆向边简称棱,除⽆始点和终点的术语外,其它术语与有向边相同每⼀条边都是有向边的图称为有向图。
每⼀条边都是⽆向边的图称为⽆向图。
有向图和⽆向图也可互相转化。
例如,把⽆向图中每⼀条边都看作两条⽅向不同的有向边,这时⽆向图就成为有向图。
⼜如,把有向图中每条有向边都看作⽆向边,就得到⽆向图。
这个⽆向图习惯上叫做该有向图的底图。
在图中,不与任何结点邻接的结点称为弧⽴结点。
全由孤⽴结点构成的图称为零图。
关联于同⼀结点的⼀条边称为⾃回路。
在有向图中,两结点间(包括结点⾃⾝间)若同始点和同终点的边多于⼀条,则这⼏条边称为平⾏边。
在⽆向图中,两结点间(包括结点⾃⾝间)若多于⼀条边,则称这⼏条边为平⾏边。
两结点a 、b 间互相平⾏的边的条数称为边［a ,b ］的重数。
仅有⼀条时重数为1,⽆边时重数为0。
定义8.1―2 含有平⾏边的图称为多重图。
⾮多重图称为线图。
⽆⾃回路的线图称为简单图。
仅有⼀个结点的简单图称为平凡图。
定义 8.1―3 赋权图G 是⼀个三重组〈V ,E ,g 〉或四重组〈V ,E ,f ,g 〉,其中V 是结点集合, E 是边的集合,f 是定义在V 上的函数,g 是定义在E 上的函数。
8.1.2 结点的次数定义 8.1―4 在有向图中,对于任何结点v ,以v 为始点的边的条数称为结点v 的引出次数(或出度),记为deg +(v );以v 为终点的边的条数称为结点v 的引⼊次数(或⼊度),记为deg -(v );结点v 的引出次数和引⼊次数之和称为结点v 的次数(或度数),记作deg (v )。
离散数学图的基本概论
简单通路： = v0 e1 v1 e2… ek vk为通路且边e1 e2… ek 互不相同，又称之为迹，可简用v0 v1 … vk 来表示。 简单回路 (v0 = vk)又称为闭迹。
初级通路或基本通路： = v0 e1 v1 e2… ek vk为通路 且顶点v0 v1… vk 互不相同。 基本回路： v0 = vk。 初级通路一定是简单通路，但简单通路
不一定是一条初级通路。
例8.6 就下面两图列举长度为5的通路，简 单通路，回路，简单回路，再列举长 度为3的基本通路和回路。
e3 v5
e7 v4
v1
e2
e1 v2
e6 e4
e5 v3
e1 v5 e8 e4
v4
v1
e3
e2 v2
e6 e5
e7 v3
(1)
(2)
解：试对照定义，自己做一做！如：
(1)中 v1e1v2e2v5e3v1e1v2e4v3 为v1到v3的通路；
021?01ijn11iiij??????mmjm从而?12im1jijvdm?????mmvvddmm??????i?????1i?niinmijij11从而有从而有1?im1jijvdm??????由mij的定义知?11jmvdm????????i???1i??n1inm1jij1通路数与回路数的矩阵算法
平行边：无向图中，关联一对结点的无向边 多于一条，平行边的条数为重数； 有向图中，关联一对顶点的无向边 多于一条，且始、终点相同。
多重图：包含平行边的图。
简单图：既不包含平行边又不包含环的图。
二、度
度：(1) 在无向图G = < V, E >中，与顶点v(vV) 关联的边的数目(每个环计算两次)，记 作：d(v)。
《离散数学》图基本概念
17
无向图的相邻矩阵
说明: 在无向图中，环是长度为1的圈, 两条平行边构成长度
为2的圈. 无向简单图中, 所有圈的长度3 在有向图中，环是长度为1的圈, 两条方向相反边构成 长度为2的圈. 在有向简单图中, 所有圈的长度2.
《离散数学》图基本概念
4
通路与回路(续)
定理
在n阶图G中，若从顶点vi到vj（vivj）存在通路，则从 vi到vj存在长度小于等于n1的通路.
m m
j1 ij
d(vi )
(i 1,2,..., n)
(3) mij 2m
i, j
(4) 平行边的列相同
《离散数学》图基本概念
16
v1 e1
e2
e3
e4 v2
v3
e5
v4
关联次数为可能取值为0，1，2
1 1 1 0 0
M (G ) 0
1
1
1
0
1 0 0 1 2
0
0
0
0
0
《离散数学》图基本概念
《离散数学》图基本概念
10
几点说明： Kn无点割集（完全图） n阶零图既无点割集，也无边割集. 若G连通，E为边割集，则p(GE)=2 若G连通，V为点割集，则p(GV)2
ห้องสมุดไป่ตู้
《离散数学》图基本概念
11
有向图的连通性
设有向图D=<V,E> u可达v: u到v有通路. 规定u到自身总是可达的. 可达具有自反性和传递性 D弱连通(也称连通): 基图为无向连通图 有向边改为无向边后是连通图 D单向连通: u,vV，u可达v 或v可达u D强连通: u,vV，u与v相互可达
d(u,v)=d(v,u)（对称性） d(u,v)+d(v,w)d(u,w) （三角不等式)
离散数学——图论
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
离散数学中的图论代表知识点介绍
离散数学中的图论代表知识点介绍离散数学是数学的一个分支，它主要研究离散对象以及其离散性质和离散结构。
图论作为离散数学的重要组成部分，以图为研究对象，研究了图的基本概念、图的表示方法以及图的性质和应用。
本文将介绍离散数学中的图论代表知识点。
1. 图的基本概念图是由顶点集合和边集合组成的离散结构，用V表示顶点集合，E表示边集合。
图可以分为有向图和无向图两种类型。
有向图中的边是有方向的，而无向图中的边是无方向的。
图中的顶点可以表示为V={v1, v2, v3, ...}，边可以表示为E={(vi, vj)}。
在图中，两个顶点之间有边相连时，称这两个顶点是相邻的。
2. 图的表示方法图可以用多种方式来表示。
常见的表示方法有邻接矩阵和邻接表。
邻接矩阵是一个二维数组，其中的元素表示两个顶点之间是否存在边。
邻接表则是通过链表的方式来表示图的结构，每个顶点都对应一个链表，链表中存储着与该顶点相邻的顶点。
3. 图的性质图论研究了图的许多性质和特性。
其中一些重要的性质包括连通性、路径、回路、度数、树和连通分量等。
连通性是指图中任意两个顶点之间是否存在路径。
如果图中任意两个顶点都存在路径相连，则图被称为连通图。
反之，如果存在无法通过路径相连的顶点对，则图为非连通图。
连通图中的任意两个顶点之间至少存在一条路径。
路径是指从一个顶点到另一个顶点的顶点序列。
路径的长度是指路径上边的数量。
最短路径是指两个顶点之间边的数量最少的路径。
回路是指路径起点和终点相同的路径。
如果回路中除起点和终点以外的顶点不重复出现，则称为简单回路。
度数是指图中顶点的边的数量。
对于有向图来说，度数分为入度和出度，分别表示指向该顶点的边和从该顶点指出的边的数量。
树是一种无回路的连通图，它具有n个顶点和n-1条边。
树是图论中一个重要的概念，它有广泛的应用。
连通分量是指图中的极大连通子图，即在该子图中的任意两个顶点都是连通的，且该子图不能再加入其他顶点使其连通。
离散数学图论基本概念解释
离散数学图论基本概念解释离散数学是一个研究离散对象及其关系和操作的数学分支，而图论则是离散数学的一个重要分支，用于研究图结构以及图中各种相关问题。
本文将对离散数学图论的基本概念进行解释。
一、图的定义图是指由一组顶点和连接这些顶点的边组成的数学结构。
图可以用G=(V, E)来表示，其中V表示顶点集合，E表示边的集合。
顶点之间的连接关系用边来表示，边有可能是有向的或无向的。
二、图的分类1. 无向图：图中的边没有方向，表示顶点之间的无序关系。
无向图可以是简单图（没有自环和重复边）或多重图（包含自环和多条重复边）。
2. 有向图：图中的边有方向，表示顶点之间的有序关系。
有向图也可以是简单图或多重图。
3. 加权图：顶点之间的边带有权重，用于表示边的强度或成本。
加权图可以是无向图或有向图。
三、图的常用术语1. 顶点的度：无向图中与某个顶点连接的边的数量称为该顶点的度。
在有向图中，顶点的度分为出度和入度，分别表示从该顶点出发的边的数量和指向该顶点的边的数量。
2. 路径：在图中，路径是指由一系列顶点和它们之间所连接的边组成的序列。
路径的长度是指路径中经过的边的数目。
3. 连通图：如果图中的任意两个顶点都存在一条路径相连，则称该图为连通图。
如果图非连通，则称为非连通图。
4. 完全图：如果一个无向图的任意两个顶点之间都有边相连，则称该图为完全图。
完全图有边n(n-1)/2条，其中n表示顶点的数量。
四、图的表示方法1. 邻接矩阵：邻接矩阵是一种以二维矩阵的形式来表示图的方法。
矩阵的行和列分别表示顶点，矩阵中的元素表示相应的边。
如果两个顶点之间存在边，就用1表示；否则，用0表示。
2. 邻接表：邻接表是一种以链表的形式来表示图的方法。
每个顶点都对应一个链表，链表中存储与该顶点相连的其他顶点。
五、图的遍历算法1. 深度优先搜索（DFS）：DFS是一种用于遍历图的算法，它从一个初始顶点开始，沿着一条路径一直走到底，然后回溯到上一个顶点，再继续沿另一条路径走到底。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
10.2 图与图模型 例10.2 某学校共有10名教师，他们分别参加7个班级的讨论 课，每个班级可能同时需要多位教师参加，有的教师可能需 要参加多个班级的讨论，每个班级必须单独开展讨论课，则 如何安排才使得所有班级在最短时间段内完成讨论课？讨论 课的情况如下（Vi为班级编号，数字1-10为教师编号）： V1={1，2，3}， V2={1，3，4，5}，
图是人们日常生活中常见的一种信息载
体，其突出的特点是直观、形象。图论，顾
名思义是运用数学手段研究图的性质的理论，
但这里的图不是平面坐标系中的函数，而是 由一些点和连接这些点的线组成的结构。图 论是有许多应用的古老学科，也一直以来都 是一个热门学科，它已经被广泛应用于计算
机科学、化学、运筹学、心理学等很多领域。
V1
V7
V2
V3={2，5，6，7}，
V4={2，6，7}， V5={4，7，8，9}， V6={8，9，10}， V7={1，3，9，10}。
V6 V3 V4
V5
10.2 图与图模型
V2
V1 V7
V6 V3 V4
V5
顶点集V={V1, V2, V3, V4, V5, V6, V7 } 边集E={ <V1,V2>,<V1,V3>,<V1,V4>,<V1,V7>,<V2,V3>,<V2,V4>,<V2,V7>,
研究主题
旅行商问题：TSP问题 中国邮路问题
地图着色问题：四色定理
最短路径问题 网络流 匹配 组合计数
主要内容
1) 图的基本术语；
2) 结点的度，子图，完全图；
3) 图的连通性；
4) 图的运算，图的矩阵表示及其性质；
5) 图的同构；
6) 欧拉图与哈密尔顿图的性质及其应用。
10.1 图论概述
的图都是无向图(Undirected Graph)。有向图中边
uv与vu是两条不同的边，对于边uv，称u为始点，v 为终点。
有向图中，结点v的度分为入度，即与该结点相
关联并以该结点为终点的边的数目，以及出度,即与 该结点相关联并以该结点为始点的边的数目,分别记 作deg+(v)，deg-(v)。
图G的所有结点度数的最小度数称为G的最小度，记作(G)，
而所有结点度数的最大者称为G的最大度，记作(G)。 各结点的度均相同的图称为正则图（Regular Graph）。各结点 度均为k的正则图称为k-正则图。
10.2 图与图模型 定义10.3 如果图的每条边是二结点构成的有序对， 则该图称为有向图(Directed Graph)，上文所定义
10.2 图与图模型
节点集合V(G)的基数n表示图G的阶，边集合E(G)的 基数m表示图G的规模，有时也将图G记作(n,m)。
在图G中，若边集E(G)=Ф ,则称G为零图，此时，又 若G为n阶图，则称G为n阶零图，记作Nn，特别地， 称N1为平凡图（Trivial graph）。 N7
V1 V7 V2 V6 V3 V4
e1
v2 e2
v1
分离边
悬挂边
悬挂点
孤立点 (G)=0
v3
平行边/重边 多重图
v3结点度为3, deg(v3)=3
10.2 图与图模型
如果图中存在某两条边的端点都相
同，则称该图为多重图(Multigraph)，
该两条边称为平行边。如果一条边关联
的两个结点是相同的结点，则称该边为
圈或自环(Loop)。不存在平行边与圈的
<V3,V4>,<V3,V5>,<V4,V5>,<V5,V6>,<V5,V7>,<V6,V7> }
图G=(V,E)的阶为7， 图的规模为13
10.2 图与图模型 定义10.1 图G=(V,E)包括两个集合： 结点集V(G) ：非空的对象的集合,V={v1,v2,…,vn} ； 边集E(G) ：有限的两个对象构成的V的无序对构成的 集合。E={e1,e2,…,em}; 其中，每一条边都是集合V的二元子集，如边ei={u，v}， 常常简记为uv或vu，其中u、v称为边uv的端点。
V5
10.2 图与图模型
结点集为空集的图为空图（Empty Graph），并将空图记为。 阶为有限的图称为有限图(Finite Graph)， 否则称为无限图(Infinite Graph)。
10.2 图与图模型:无向图
边e2关联结点v1、v2
环loop-->非简单图 deg(v2)=4
结点 (G)=4
10.2 图与图模型
设 V ={v1，v2，v3，v4，v5}, E = {v1 , v2}, {v1 , v3}, {v2 , v3}, {v 2 , v 4}, {v3 , v4},{v 3 , v 5 }, {v 4 , v 5 } 则 G=（V，E）是一个图。 图(a).(b)分别给出了图G的图解方法。
第10章 图的基本概念
如何找到物流运输的最优路径？ 如何找到最优的网络通信线路？ 如果你想周游全国所有城市，如何设计旅游线路？ 化学化合物分析：结构是否相同？
程序结构度量：程序是否结构相似？
如何为考试分配教室，使得资源利用率最优？
如何安排工作流程而达到最高效率？
如何设计为众多的电视台频道分配最优方案？ 如何设计通信编码以提高信息传输效率？ 操作系统中,如何调度进程而使得系统效率最优？
图即称为简单图(Simple Graຫໍສະໝຸດ h)。10.2 图与图模型
定义10.2
如果uv是图G的边，记为e，即uvE(G),则称结点u和v邻接 (Adjacent),
否则称结点u与v非邻接。
与同一个结点关联的两条边称为邻接边。 与结点v关联的边数称为结点v的度，记作deg(v)。与结点v关联 的环对v的度数的贡献要计算两次。 如果结点v的度为0，则称之为孤立点(Isolated Vertex)。 一度的结点称为悬挂点（Pendant Vertex）。
如何设计集成电路线路布局而达到最优效率？
如何设计计算机鼓轮？ 七枚同重量硬币与一枚较轻的伪币，使用天平秤多 少次就能找出伪币？ 如何设计下棋程序？
n-皇后问题
最少用几种颜色就能将世界地图都着色？ 如何使箱子尽可能装满物体？ 一个船夫要把一只狼，一只羊和一棵白菜运过河。 问题是当人不在场时，狼要吃羊，羊要吃白菜，而 他的船每趟只能运其中的一个。那么他怎样才能把 三者都运过河呢？