图的相关概念

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

数据元素不同的表示：
线性表中称之为元素
树中称之为结点
图中称之为顶点

线性表中，无数据元素称之为空表
树中无结点称之为空树
图，一般情况下强调顶点集合V要又穷非空

线性表中，相邻的数据元素之间具有相邻关系。
树中相邻两层结点具有层次关系。
图中任意俩个顶点之间都有可能具有关系，顶点之间的逻辑关系用边表示，边集可以为空。

2.无向边：
若顶点Vi到Vj之间的边没有方向，称之为此边为无向边（Edage）用无偶序（Vi，Vj）表示。

下图G1是一个无向图 G1 = {V1,E1}
V1 = {A , B, C, D}
E1 = { (A,B), (A,C), (A,D), (B,C), (C,D) }

3.有向边 : 从顶点Vi到Vj的边有方向,则称之为这条边为有向边,也称之为弧(Arc),用有序偶<Vi,Vj>来表示，Vi为弧尾，Vj为弧头。

下图G是一个有向图G2={V2,E2}
V2 = {A, B, C, D}
E2 = {<A,B>, <C,A>, <C,B>, <D,A>, <D,C>}

4.简单图：在图结构中，如不存在顶点到其自身的边（自环）且同一条边不重复出现，则这样的图称之为简单图。
下图左边第一个为简单图，其余两个均不是。
5.无向完全图
：在无向图中，任意两个顶点之间都存在边，则这样的图称之为无向完全图。
含有n个顶点的无向完全图有n*(n-1)/2条边。

6.有向完全图：
在有向图图中，任意两个顶点之间都存在方向互为相反的两条弧，则称之为改图为有向完全图。

含有n个顶点的有向完全图有n*(n-1)条边。

7.稀疏图和稠密图

稀疏图和稠密图是一个较为模糊的概念，一般来说，一个图中的边或者弧个数小于等于nlogn(n为顶点的个数)的时候称之为稀疏图，反之为稠密图。

8.权，网
有些图中，弧或者边中带有数字，这些数字表示这某种意义，这些数字称之为权 带权的图称之为 网
如图所示，边上的数字表示顶点之间的距离

9.子图
如果有两个图G1=(V1,E1) ， G2=(V2,E2)

图二中的图均为图一子图之一。

10.邻接点，度

1.对于无向图G=(V,E)，如果边(V1,V2)属于E，称顶点V1和V2互为邻接点,即V1和V2相邻接。边(V1,V2)依附于顶点V1，V2，或者说边(V1,V2)与顶点V1,V2相关联

与V相关联的边的数目，称之为V的度 记为TD(V)
下图中顶点A与顶点B互为邻接点，边(A,B)依附于顶点A和B，顶点A的度为3

2.
对于有向图G=(V,E)，如果有<V1,V2>属于E，则称顶点V1邻接道顶点V2，顶点V2邻接顶点V1。

以顶点V为头的弧的数目称之为V的入度(InDegree) 记为ID(V),

以V为尾的弧的数目为V的出度(OutDegree)，记为OD(V)，因此顶点V的度为TD(V) = ID(V)+OD(V)。

下图中顶点A的入度是2，出度是1。顶点A的度为3

11.环 ， 简单环
图中路径中的长度是图中 路径的边或者弧的数目。

第一个顶点到最后一个顶点相同的路径称为回路或环

序列中顶点不重复出现的路径称为简单路径，除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路称为简单回路或简单环
右图为是简单回路，左图不是。

12.连通图

1. 在无向图，如果从顶点V1到顶点V2有路径,不一定有边，则称V1和V2是连通的，如果对于图 中任意来个顶点Vi和Vj是连通的，则称G是连通图(ConnectedGraph)

   左图不是连通图，右图则是
   2.在有向图G中，如果对于每一对Vi到Vj都存在路径，则称G是强连通图
   有向图中的极大强连通图称为有向图的强连通分量。

下图左侧不是强连通图，右侧是。 右侧是左侧的极大强连通图，也是左侧的强连通分量。