图（graph）是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G（V,E），其中，G表示一个图，V是图G中顶点的集合,E是图G中边的集合。
线性表中我们把数据元素叫做元素，树中叫结点，在图中数据元素我们称之为顶点（Vertex）。
线性表可以没有数据元素，称为空表，树中可以没有结点，叫做空树，而图结构在咱国内大部分的教材中强调顶点集合V要有穷非空。
线性表中相邻的数据元素之间具有线性关系，树结构中，相邻两层的结点具有层次关系，而图结构中，任意两个顶点之间都有可能有关系，顶点之间的逻辑关系用边来表示，边集可以是空的。
无向边：若顶点Vi到Vj之间的边没有方向，则称这条边为无向边（Edge），用无序偶（Vi，Vj）来表示
上图G1是一个无向图，G1={V1，E1}，其中
-V1={A,B,C,D}，
-E1={(A,B),(B,C),(C,D),(D,A),(A,C)}
有向边：若从顶点Vi到Vj的边有方向，则称这条边为有向边，也称为弧（Arc），用有序偶<Vi，Vj>来表示，Vi称为弧尾，Vj称为弧头
上图G2是一个无向图，G2={V2，E2}，其中
-V2={A,B,C,D}，
-E2={<B,A>,<B,C>,<C,A>,<A,D>}
简单图：在图结构中，若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。
无向完全图，在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。含有N个顶点的无向完全图有n*（n-1）/2条边
有向完全图：在有向图中，如果任意两个顶点之间都存在方向护卫相反的两条弧，则称该图为有向完全图，含有n个顶点的有向完全图有n*（n-1）条边
1 .无向图中的极大连通子图称为连通分量
注意以下概念：
-首先要是子图，并且子图是要连通的。
-连通子图含有极大顶点数。
-具有极大顶点数的连通子图包含依附于这些顶点的所有边。
最后我们再来看连通图的生成树定义：
所谓的一个连通图的生成树是一个极小的连通子图，它含有图中全部的n个顶点，但只有足以构成一棵树的n-1条边。
如果一个有向图恰有一个顶点入度为0，其余顶点的入度为1，则是一棵有向树。
