目录
下一篇:图的存储邻接矩阵
一、图的定义
图G由顶点集V和边集E组成,记为G=(V,E)
V(G)表示G中图中顶点的有限非空及,E(G)表示图G的顶点之间的关系(边)集。
若V={v1,v2,v3,…,vn},则|V|表示G中顶点的个数,也称G的阶
E={ (u,v) | u∈V,v∈V },用|E|表示G中边的条数
注意!:线性表和树都可以空,但是图是非空集
但是边集可以是非空集
二、图结构的应用
三、无向图有向图
无向图:
无向图的边集E是无向边(简称边)的有限集合
(w,v)=(v,w),也就是两个点之间没有方向关系
其中v、w是顶点,可以说v、w互为邻接点,边(w,v)依附于w和v或者说和v、w互相关联
有向图:
E是有向边(弧)的有限集合
弧是顶点的有序对,记为,其中v、w是顶点,v称为弧尾,w称为弧头,称为从顶点v搭配w的弧,也称为v邻接到w或w邻接自v
注:有向图中 !=
四、简单图和多重图
简单图:
1、不存在重复的边
2、不存在顶点到自身的边
多重图
G中某两个结点的边数多于一条,又允许顶点通过一条边与自己关联
五、顶点的特点
对于无向图:
顶点的度:依附于该顶点的边的条数,记作TD(v)
可以得出所有顶点的度之和为2倍的|E|
对于有向图:
入度是以顶点v为终点的有向边的数目,记为ID(v)
出度是以顶点v为起点的有向边的数目,记为OD(V)
可以得出入度之和等于出度之和
顶点与顶点的关系描述
1、路径:顶点vp到vq之间的一条路径
简单路径:在路径序列中,顶点不重复出现的路径或环
注:在有向图中路径是有方向的
2、回路:第一个顶点和最后一个顶点相同的路径称为回路
简单回路:除第一个顶点和最后一个顶点外,其余顶点不重复出现的回路
3、路径长度:路径上的边数
4、顶点到顶点之间的距离:从顶点u出发到v的最短路径若存在,则此路径的长度为u到v的距离
注:若不存在路径,则记为该距离为∞
5、连通
无向图:从v到w有路径存在,则v与w连通
有向图:从v到w和从w到v之间都有路劲,则称这两个顶点是强连通的
6、连通图:G中任意两个顶点都是连通的
7、强连通图:G中任何一对顶点都是强连通的
考点1:对于n个顶点的无向图,若是连通图,则至少有n-1条边,若是非连通图则最多有
考点2:对于n个顶点的 有向图G,若G是强连通图,则至少有n条边(即形成回路可以互相强连通且只需要最少的边)
六、子图(图的局部)
定义:设有两个图G=(V,E)和G'=(V',G'),若V'是V的子集,且E'是E的子集则称G'是G的子图
子图不是从图中随意挑去顶点和边集的
若有满足V(G')=V(G)的子图G',则称其为G的生成子图
七、连通分量
定义:无向图中的极大连通子图称为连通分量
极大代表包含尽可能多的顶点和边
强连通分量
在有向图中使用的是极大连通子图称为强连通分量
八、生成树
1、生成树的定义:连通图的生成树是包含图中全部顶点的一个极小(边尽可能的少)连通子图
特点:
若图中定点数为n,则它的生成树含有n-1条边(参考树中除了根结点每个结点头上都有一个度)。对生成树而言,若砍去它的一条边,则会变成非连通图,若加上一条边则会形成一个回路
2、生成森林
在非连通图中,连通分量生成的树构成了非连通图的生成森林
生成树可以应用在修路问题中,在资金有限的情况下找到能够连通所有村落的连通图
九、边的权、带权图/网
边的权:每条边都可以带上权值
带全图/网:边上带权值的图称为带全图,也称网
十、几种特殊形态的图
1、无向完全图:任意两个顶点之间都存在边
n个顶点有Cn2条边即n(n-1)/2
2、有向完全图:任意两个顶点之间都存在方向相反的两条弧
n个顶点有n(n-1)条边
3、稀疏图:边很少的图
4、稠密图:边很多的图
注意:稀疏图与稠密图没有绝对的界限,一般来说是|E|<|V|log|V|
5、树:不存在回路,且连通的无向图(n-1条边),同理还有森林
常见考点:n个顶点的图,若|E|>n-1则一定有回路
6、有向树:一个顶点入度为0,其余顶点入度均为1的有向图(并不是强连通图)
小结: