补充知识
一、图形结构的基本知识
写在前面——图论的起源:哥尼斯堡七桥问题
在哥尼斯堡的普莱格尔河上有七座桥将陆地连接起来。
问:
能否从这四块陆地中任何一块开始,通过每一座桥正好一
次,再回到起点?
1736年,欧拉用抽象分析法将这个问题归结为第一个图论问题:把每一块陆地用一个点来代替,桥用连接两个点的线来代替,从而相当于得到一个“图”
推广这个问题,给出了对于一个给定的图可以某种方式走遍的判定法则
“判断欧拉回路1是否存在”。
判断方法: 若图连通且结点的度数都是偶数则回路存在否则
回路不存在
1.1 图形结构的逻辑特点
在图中,常常将数据元素称为顶点(Vertex),将顶点之间的关系用边(Edge)来表示。
图的定义
图(Graph)是由非空的顶点集合和一个描述顶点之间关系——边(或者弧)的集合组成,其形式化定义如下:
G=(V,E)
V={vi|vi∈dataObject}
E={(vi,vj)|vi,vj∈V∧P(vi,vj)}
其中,G表示一个图,V是图G中顶点的集合,E是图G中边的集合,集合E中P(vi,vj)表示顶点vi和顶点vj之间有一条直接连线,即偶对(vi,vj)表示一条边。
图G中:V(G)={v1,v2,v3,v4,v5}
E(G)={(v1,v2), (v1,v4), (v2,v3), (v2,v5),(v3,v4), (v3,v5), (v4,v5)}
在线性表中,元素个数可以为零,称为空表;
在树中,结点个数可以为零,称为空树;
在图中,顶点个数不能为零,但可以没有边。
1.2 图的基本术语
无向完全图
在无向图中,如果任意两个顶点之间都存在边,则称该图为无向完全图。
含n个顶点的无向完全图有 :n*(n-1)/2 条边。
有向完全图
在有向图中,如果任意两个顶点之间都存在方向相反的两条弧,则称该图为有向完全图。
含n个顶点的有向完全图有:n*(n-1) 条边。
稀疏图
称边数很少的图为稀疏图
稠密图
称边数很多的图为稠密图
顶点的度
依附于该顶点的边数,通常记为TD(v)。
顶点的入度
在有向图中,顶点v的入度是指以该顶点为弧头的弧的数目,记为ID(v);
顶点的出度
在有向图中,顶点v的出度是指以该顶点为弧尾的弧的数目,记为OD(v)。
子图
若图G=(V,E),G’=(V’,E’),如果V’属于V且E’属于E,则称图G’是G的子图。
权
是指对边赋予的有意义的数值量。
网
边上带权的图,也称网图。
路径
在无向图 G = (V,E)中,从顶点vp到顶点vq之间的路径是一个顶点序列(vp=vi0,vi1…vim=vq),其中,(vij-1,vij)属于E(1<=j<=m)。若G是有向图,则路径也是有方向的,顶点序列满足<vij-1,vij>属于E
连通图
在无向图中,如果从一个顶点vi到另一个顶点vj(i != j)有路径,则称顶点vi和vj是连通的。如果图中任意两点都是连通的,则称该图是连通图。
连通分量
非连通图的极大连通分量称为连通分量。
极大连通分量:
- 含有极大顶点数
- 依附于这些顶点的所有边
注意:连通分量是对无向图的一种划分。
强连通图
在有向图中,对图中任意一对顶点vi和vj(i!=j)若从顶点vi到vj到顶点vi均有路径,则称该有向图是强连通图。
强连通分量
非强连通图的极大强连通子图
生成树
n个顶点的连通图G的生成树是包含G中全部顶点的一个极小连通子图。
极小连通子图:含有n-1条边
- 多----构成回路
- 少----不连通
生成森林
在非连通图中,由每个连通分量多可以得到一颗生成树,这些连通分量的生成树就组成了一个非连通图的生成森林。
1.3 图的存储结构
邻接矩阵
邻接矩阵就是用一维数组存储图中顶点的信息,用一个二维数组(称为邻接矩阵)存储图中各顶点之间的邻接关系。
无向图的邻接矩阵:
特点:主对角线为0,且一定是对称矩阵。
有向图的邻接矩阵:
带权网图的邻接矩阵:
邻接表
邻接表有两种结点结构:顶点表结点和边表结点。
边表结点:每个结点对应狱中的一条边。
邻接表的时间复杂度为:o(n+e)
名称 | 解释 |
---|---|
vertex | 数据域,存放顶点信息 |
firstedge | 指针域,指向边表中第一个结点 |
adjvex | 邻接点域,边的终点在顶点表中的下标 |
next | 指针域,指向边表的下一个结点 |
无向图的邻接表
有向图的邻接表:
欧拉回路: 笔不离开纸面,可画过图中每条边仅一次且最
终回到起点的一条回路。 ↩︎