数据结构 图的定义和术语

图：Ｇ＝（Ｖ，Ｅ）　　Graph = (Vertex, Edge)

Ｖ：顶点（数据元素）的有穷非空集合．

Ｅ：边的有穷集合．

无向图：每条边都是无方向的．

有向图：每条边都是有方向的．

完全图：任意两个点都有一条边相连

无向完全图如果有n个顶点，那么它就有n(n-1)/2条边

有向完全图如果有n个顶点，那么它就有n(n-1)条边

稀疏图：有很少边或弧的图

稠密图：有较多边或弧的图

网：边／弧带权的图．

邻接：有边／弧相连的两个顶点之间的关系

存在（Vi, Vj),则称Vi,Vj互为邻接点(无向）．存在＜Vi, Vj>,则称Vi邻接到Vj, Vj邻接于Vi（有向）

关联（依附）：边／弧与顶点之间的关系 

存在（Vi, Vj)／＜Vi, Vj>，则称该边／弧关联于Vi和Vj

顶点的度：与该顶点相关联的边的数目，记为TD(v)

在有向图中，顶点的度等于该顶点的入度与出度之和

顶点v的入度是以v为终点的有向边的条数，记作ID(v)

顶点v的出度是以v为始点的有向边的条数，记作OD(v)

 当有向图中仅１个顶点的入度为0，其余顶点的入度均为１，此时，这个有向图是树，而且是有向树

 路径：接续的边构成的顶点序列．

路径长度：路径上边或弧的数目／权值之和．

回路（环）：第一个顶点和最后一个顶点相同　的路径．

简单路径：除路径起点和终点可以相同外，其余顶点均不相同的路径．

简单回路（简单环）：除了路径起点和终点相同外，其余顶点均不相同的路径．

连通图（强连通图）：在无（有）向图Ｇ＝（Ｖ，Ｅ）中，若对任何两个顶点v,u都存在从v到u的路径，则称G是连通图（强连通图）

权与网

图中边或弧所具有的相关数称为权（表明从一个顶点到另一个顶点的距离或耗费等）

带权的图称为网

子图

设有两个图Ｇ＝（Ｖ，Ｅ），Ｇ１＝（Ｖ１，Ｅ１），若Ｖ１Ｖ，Ｅ１Ｅ，则称Ｇ１是Ｇ的子图

连通分量（强连通分量）

无向图Ｇ的极大连通子图称为Ｇ的连通分量．

极大连通子图的意思是：该子图是Ｇ连通子图，将Ｇ的任何不在该子图中的顶点加入，子图不再连通．

极小连通子图：该子图是Ｇ连通子图，在该子图中删除任何一条边，子图不再连通

生成树：包含无向图Ｇ所有顶点的极小连通图．

生成森林：对非连通图，由各个连通分量的生成树的集合