[入门必看]数据结构6.1:图的基本概念
第六章 图
小题考频:33
大题考频:11
6.1 图的基本概念
难度:☆☆☆☆
知识总览
6.1.1 图的基本概念
6.1.1 图的基本概念
图的定义
A、B、C……这些元素的集合就是顶点集V,图G中顶点个数也成为图G的阶;
连接各个顶点的边的集合就是边集E
注意。图里面的一条边,连接的u,v两个顶点必须是刚才给出的顶点集中的顶点,边的两头必须连着顶点。
一个图的顶点集不可以为空,边集可以为空
图逻辑结构的应用
无向图、有向图
无向边,简称边;有向边,简称弧。
无向边(v,w)=(w,v)这两种表述方式是等价的;
有向边<v,w>≠<w,v>是不等价的,方向刚好相反。
有向边<v,w>,v称为弧尾,w称为弧头,弧尾是没有箭头的这一边,弧头是有箭头的这一边
用集合的方式表示左边的无向图:
此处用圆括号表示一条边
用集合的方式表示右边的有向图:
此处用尖括号表示弧,如果弧的两个元素位置互换,表示两个相反的弧
简单图、多重图
简单图:不存重复边和顶点连向自身的边
数据结构教程中默认探讨“简单图”
因为绝大多数问题都可以用简单图来解决:
思考,如何描述社交达人、微博大V、吃瓜指数呢?
研究连接一个结点的边有多少条是一个有现实意义的事情。
顶点的度、入度、出度
无向图:
顶点v的度:依附于顶点v的边的条数
有向图:
入度:以v为终点的有向边的条数
出度:以v为起点的有向边的条数
顶点v的度:入度和出度之和
无向图:
全部顶点度之和=边数2倍
有向图:
入度之和=出度之和=弧的条数
顶点-顶点的关系描述
路径:两个顶点之间的路径,指的就是顶点序列。有向图中路径方向要与弧的方向一致。
回路:第一个顶点和最后一个顶点相同的路径称为回路或环。
简单路径:路径序列中,顶点不重复出现。
简单回路:除第一个顶点和最后一个顶点外,其余顶点不重复出现。
路径长度:路径上边的数目
点到点的距离:最短路径称为距离,若不存在路径,记距离为无穷(∞)。
无向图中,若从顶点v到顶点w有路径存在,则称v和w是连通的
有向图中,若从顶点v到顶点w和从顶点w到顶点v之间都有路径(有正向也有逆向),则称这两个顶点是强连通的
连通图、强连通图
对于n个顶点的无向图G,
若G是连通图,则最少有 n − 1 n-1 n−1条边
若G是非连通图,则最多可能有 C n − 1 2 C_{n-1}^{2} Cn−12条边,如果多加一条边,该图就会变为连通图。
对于n个顶点的有向图G,
若G是强连通图,则最少有n条边(形成回路)
研究图的局部——子图
子图首先是一个图
生成子图:包含子图中所有顶点的子图
连通分量
无向图中的极大连通子图称为连通分量。
连通:每一个连通分量都是原图的一个子图,并且这些子图都是连通的。
极大:子图中包含尽可能多的顶点和尽可能多的边
强连通分量
有向图中的极大强连通子图称为强连通分量。
连通:每一个强连通分量都是原图的一个子图,并且这些子图都是强连通的。
极大:子图中包含尽可能多的顶点和尽可能多的边
生成树
生成树:无向图中包含全部顶点的一个极小连通子图,边尽可能地少。
顶点树为n
生成森林
将非连通图生成连通分量
将连通分量生成对应的生成树
生成树的应用:修路,给多种方案选最好的。
哪个最好?看每条路的成本……
边的权、带权图/网
边的权:在一个图中,每条边都可以标上具有某种含义的数值,该数值称为该边的权值。
带权图/网:边上带有权值的图称为带权图,也称网。
带权路径长度:当图是带权图时,一条路径上所有边的权值之和,称为该路径的带权路径长度
带权图的应用举例
几种特殊形态的图
无向完全图:无向图中任意两个顶点之间都存在边
若无向图的顶点数|V|=n,则 |E| ∈ [ 0 , C n 2 0, C_{n}^{2} 0,Cn2 ] = [ 0, n(n–1)/2 ]
有向完全图:有向图中任意两个顶点之间都存在方向相反的两条弧
若有向图的顶点数|V|=n,则|E| ∈ [ 0 , 2 C n 2 0,2C_{n}^{2} 0,2Cn2 = [ 0, n(n–1) ]
一般来说|E| < |V|log|V|时,可以将G视为稀疏图
树:不存在回路,且连通的无向图
若|E|>n-1,则一定有回路
有向树:一个顶点的入度为0(根结点)、其余顶点的入度均为1的有向图 ,称为有向树。
知识回顾与重要考点
6.1.1 图的基本概念
常见考点:
对于n个顶点的无向图G,
- 所有顶点的度之和=2|E|
- 若G是连通图,则最少有n-1条边(树),
若|E|>n-1,则一定有回路 - 若G是非连通图,则最多可能有 C n − 1 2 C_{n-1}^{2} Cn−12条边
- 无向完全图共有 C n 2 C_{n}^{2} Cn2条边
对于n个顶点的有向图G,
- 所有顶点的出度之和=入度之和=|E|
- 所有顶点的度之和=2|E|
- 若G是强连通图,则最少有n条边(形成回路)
- 有向完全图共有条 2 C n 2 2C_{n}^{2} 2Cn2边