【图】图的相关概念以及图的存储

图的定义

图是一种复杂的非线性结构。

在图形结构中，节点之间的关系是任意的，图中任意两个数据元素之间都有可能相关。

图G由两个集合V(顶点Vertex)和E(边Edge)组成，定义为G=(V，E)。

图的相关概念

1、无向图

无向边：若顶点Vi到Vj之间的边没有方向，则称这条边为无向边，用无序偶对(Vi,Vj)来表示。

如果图中任意两个顶点时间的边都是无向边，则称该图为无向图，
G=(V, {E})、0≤边≤n(n-1)/2。

上图表示：
G=(V,{E}) 其中顶点集合V={A,B,C,D}；边集合E={(A,B),(B,C),(C,D),(D,A),(A,C)}

有向图

有向边：若从顶点Vi到Vj的边有方向，则称这条边为有向边，也称为弧。

用有序偶 < Vi,Vj > 来表示，Vi称为弧尾，Vj称为弧头。

如果图中任意两个顶点之间的边都是有向边，则称该图为有向图：
G=(V, {A})、0≤弧≤n(n-1)。

上图表示：
连接顶点A到D的有向边就是弧，A是弧尾，D是弧头，< A, D>表示弧。注意不能写成< D, A>。

对于如上有向图来说，G=(V,{E})其中顶点集合V={A,B,C,D};弧集合E={< A,D >, < B, A>,< C,A >,< B,C >}

3、完全图
完全无向图：若有n个顶点的无向图有n(n-1)/2 条边, 则此图为完全无向图。即，所有的边都是无向边。

完全有向图：有n个顶点的有向图有n(n-1)条边, 则此图为完全有向图。即，所有的边都是有向边。

4、邻接顶点

邻接顶点：在无向图中G中，若(u, v)是E(G)中的一条边，则称u和v互为邻接顶点，并称边(u, v)依附于顶点u和v；在有向图G中，若< u, v>是E(G)中的一条边，则称顶点u邻接到v，顶点v邻接自顶点u，并称边< u, v>与顶点u和顶点v相关联。

5、顶点的度

顶点的度：顶点v的度是指与它相关联的边的条数，记作deg(v)。

在有向图中，顶点的度等于该顶点的入度与出度之和，其中顶点v的入度是以v为终点的有向边的条数，记作indev(v);顶点v的出度是以v为起始点的有向边的条数，记作outdev(v)。因此：
dev(v) = indev(v) + outdev(v)

对于无向图，顶点的度等于该顶点的入度和出度，即dev(v) = indev(v) = outdev(v)。

记住，不管是无向图还是有向图，顶点数n，边数e和顶点的度数有如下关系：

因此，就拿有向图(b)来举例，由公式可以得到图G的边数e=(D(V1)+D(V2)+D(V3)+D(V4))/2=(3+2+2+1)/2=4

6、路径长度

路径长度：对于不带权的图，一条路径的路径长度是指该路径上的边的条数；对于带权的图，一条路径的路径长度是指该路径上各个边权值的总和。

7、连通图(无向图)

在无向图G中，如果图中任意两个顶点vi, vj属于V，vi和vj都是连通的，则图G是连通图。

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

*8、强连通图(有向图)

在有向图G中，如果每一对顶点vi, vj属于V且vi不等于vj，从vi到vj与从vj到vi都存在路径，则图G是连通图。

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

9、生成树

生成树：一个连通图的最小连通子图称作该图的生成树。有n个顶点的连通图的生成树有n个顶点和n