数据结构 第七章（学习笔记一（图））

图的定义

图（Graph）是由顶点 (Vertex) 的有穷非空集合 和顶点之间 边 的集合组成，通常表示为：G(V, E) , 其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。
|V|表示图G中顶点的个数，也称为图G的阶；|E| 表示图G中边的条数。

V = {A，B，C，D，E},|V| = 5
E = {(A, B), (A, C), (A, E), (B, C), (C, D), (C, E)},|E| = 6

注意： 线性表，树都可以为空，但图 不能为空 (顶点集合V要有穷非空，边集可以是空的)。

图的其他基本概念

无向图&有向图

无向图： 若顶点Vi到Vj之间的边没有方向，则称这条边为无向边(Edge)，用无序偶(Vi，Vj）来表示。
有向图： 若从顶点Vi到Vj的边有方向，则称这条边为有向边，也称为弧（Arc），用有序偶<Vi，Vj>来表示 ，Vi称为 弧尾，Vj称为 弧头。

完全图

无向完全图： 在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。含有n个顶 点的无向完全图有n*(n-1)/2条边。
有向完全图： 在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。含有n个顶点的有向完全图有n*(n-1) 条边。

子图

设有两个图G =（V，E) 和 G’ =（V’，E‘），若V’是V的子集，且E‘是E的子集， 则称G’为G的子图，且若V（G）= V（G’）则称 G’ 为 G的生成子图。

子图

生成子图

连通图&强连通图

连通图： 在无向图G中，如果从顶点V1到顶点V2有路径，则称V1和V2是连通的，如果对于图中任意两个顶 点Vi和Vj都是连通的，则称G是连通图 (ConnectedGraph)
连通分量： 无向图中的极大连通子图称为连通分量。


强连通图： 在有向图G中,如果对于每一对Vi到Vj都存在路径,则称G是强连通图。
强连通分量： 有向图中的极大强连通子图称为有向图的强连通分量。

如果原图是一个连通图 (强连通图)，那么它的连通分量 (强连通分量) 与 原图 一模一样；
如果原图不是一个连通图 (强连通图)，那么它的连通分量 (强连通分量) 会有 许多个。

生成树&生成森林

生成树： 连通图包含全部顶点的一个极小连通子图；

生成森林： 非连通图所有连通分量的生成树组成森林。

稀疏图&稠密图

稀疏图和稠密图： 这里的稀疏和稠密是模糊的概念，都是相对而言的，通常认为边或弧数小于n*logn(n是顶点的个数）的图称为稀疏图，反之称为稠密图。

顶点的度

权&网

权和网： 有些图的边或弧带有与宅相关的数字，这种与图的边或 弧相关的数叫做权(Weight)，带权的图通常称为网 (Network)。

有向树

有向树： 一个顶点的入度为0，其余顶点的入度均为1的有向图。

路径&路径长度&回路

路径： 图中顶点v到顶点w的顶点序列，序列中顶点不重复的路径称为简单路径。
路径长度： 路径上边的数目，若该路径最短则称其为距离。

回路： 第一个顶点和最后一个顶点相同的路径。