【数据结构】图

补充知识

1. 十字链表
2. 邻接多重表
3. 图详解
4. 图应用
5. 数据结构与算法面试80道题

一、图形结构的基本知识

写在前面——图论的起源：哥尼斯堡七桥问题

在哥尼斯堡的普莱格尔河上有七座桥将陆地连接起来。
问：
能否从这四块陆地中任何一块开始，通过每一座桥正好一
次，再回到起点？

1736年，欧拉用抽象分析法将这个问题归结为第一个图论问题：把每一块陆地用一个点来代替，桥用连接两个点的线来代替，从而相当于得到一个“图”

推广这个问题，给出了对于一个给定的图可以某种方式走遍的判定法则

“判断欧拉回路¹是否存在”。

判断方法： 若图连通且结点的度数都是偶数则回路存在否则
回路不存在

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)中，从顶点v_p到顶点v_q之间的路径是一个顶点序列（v_p=v_i0,v_i1…v_im=v_q）,其中，（v_ij-1,v_ij）属于E（1<=j<=m）。若G是有向图，则路径也是有方向的，顶点序列满足<v_ij-1,v_ij>属于E

连通图

在无向图中，如果从一个顶点v_i到另一个顶点v_j（i != j）有路径，则称顶点v_i和v_j是连通的。如果图中任意两点都是连通的，则称该图是连通图。

连通分量

非连通图的极大连通分量称为连通分量。
极大连通分量：

• 含有极大顶点数
• 依附于这些顶点的所有边
  
  注意：连通分量是对无向图的一种划分。

强连通图

在有向图中，对图中任意一对顶点v_i和v_j（i！=j）若从顶点v_i到v_j到顶点v_i均有路径，则称该有向图是强连通图。

强连通分量

非强连通图的极大强连通子图

生成树

n个顶点的连通图G的生成树是包含G中全部顶点的一个极小连通子图。
极小连通子图：含有n-1条边

• 多----构成回路
• 少----不连通

生成森林

在非连通图中，由每个连通分量多可以得到一颗生成树，这些连通分量的生成树就组成了一个非连通图的生成森林。

1.3 图的存储结构

邻接矩阵

邻接矩阵就是用一维数组存储图中顶点的信息，用一个二维数组（称为邻接矩阵）存储图中各顶点之间的邻接关系。

无向图的邻接矩阵：
特点：主对角线为0，且一定是对称矩阵。

有向图的邻接矩阵：

带权网图的邻接矩阵：

邻接表

邻接表有两种结点结构：顶点表结点和边表结点。

边表结点:每个结点对应狱中的一条边。
邻接表的时间复杂度为：o（n+e）

名称	解释
vertex	数据域，存放顶点信息
firstedge	指针域，指向边表中第一个结点
adjvex	邻接点域，边的终点在顶点表中的下标
next	指针域，指向边表的下一个结点

无向图的邻接表

有向图的邻接表：

---

1. 欧拉回路： 笔不离开纸面，可画过图中每条边仅一次且最
   终回到起点的一条回路。 ↩︎