图的定义与术语总结

    图的定义：图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G(V,E)，其中G表示一个图，V是图G中顶点的集合，E是图G中边的集合。

顶点：图的数据元素(结点)

边：顶点之间的逻辑关系

无向边：没有方向的边

无向图：图中所有边都是无向边

有向边(弧)：有方向的边

有向图：图中所有边都是有向边

 无向图中A到D的无向边可以表示为(A,D)，也可以表示为(D,A)。

 有向图中A到D的有向边就是弧，A是弧尾，D是弧头，用<A,D>表示，A，D顺序不能换。

 

简单图：不存在顶点到自身的边，且同一条边不重复出现的图。

无向完全图：任意两个顶点之间都存在无向边的无向图。含有n个顶点的无向完全图有n×(n-1)/2条边。

有向完全图：任意两个顶点之间都存在方向互为相反的两条弧的有向图。含有n个顶点的有向完全图有n×(n-1)条边。

 

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

稠密图：有很多条边或弧的图

权：与图的边或弧相关的数或

网：带权的图

 

假设有两个图G=(V,{E})和G'(V',{E'})，如果V蕴含V'且E蕴含E'，则称G'为G的子图。

 

 

 对于无向图G=(V,{E})，如果边(V,V')∈E，则V和V'互为邻接点，边(V,V')依附于顶点V和V'或者说边(V,V')与顶点V和V'相关联。

顶点的度：和某顶点相关联的边的数目称为该顶点的度。

 (边数等于各个顶点的度数的和的一半)

 

对于有向图G=(V,{E})，如果弧<V,V'>∈E，则称顶点V邻接到顶点V'，顶点V'邻接自顶点V。

入度：以某顶点为弧头的的弧的数目称为该顶点的入度。

出度：以某顶点为弧尾的的弧的数目称为该顶点的出度。

(同一个图中，弧数=入度和=出度和)

 

路径的长度：路径上的边或弧的数目

回路(环)：起点和终点相同的路径

简单路径：顶点不重复出现的路径

简单回路(简单环)：除了起点和终点外，其余顶点不重复出现的回路

 

在无向图G中，如果从顶点V到顶点V'有路径，则称V和V'是联连通的。

如果图中任意两点都是连通的，则称G是连通图。

连通分量：无向图中的极大连通子图

 

在有向图G中，任意两个顶点都存在通向对方的路径，则称G是强连通图。

强连通分量：有向图中的极大强连通子图

 

生成树：有n个顶点n-1条边的连通的无向图

如果一个图有n个顶点和小于n-1条边，则此图是非连通图，如果改图的边多于n-1条边，则此图必定是一个环。

 

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

一个有向图由若干棵有向树构成生成森林