图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为:G(V.E),其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。
需要注意的几个地方:
1.线性表中我们把数据元素叫元素，树中将数据元素叫结点，在图中数据元素，我们则称之为顶点。
2.线性表中可以没有数据元素，称为空表。树中可以没有结点，叫做空树。在图结构中，不允许没有顶点。在定义中，若V是顶点的集合，则强调了顶点集合V有穷非空。
3.线性表中，相邻的数据元素之间具有线性关系，树结构中，相邻两层的结点具有层次关系，而图中，任意两个顶点之间都可能有关系，顶点之间的逻辑关系用边来表示，边集可以为空。
各种图定义
无向边:若顶点vi到vj之间的边没有方向，则称这条边为无向边，用无序偶对来表示。 例如 G1=(V1,{E1}) 顶点集合V1{A,B,C,D} 边集合E1={(A,B)(B,C)(C,D)(D,A)(A,C)}
有向边:若从顶点vi到vj的边有方向，则称这条边为有向边，也称为弧
用有序偶<vi，vj>来表示，vi称为弧尾，vj称为弧头。如果图中任意两个顶点之间的边都是有向边，则该图为有向图。
G2=(V2，{E2}) 其中顶点集合V2{A,B,C,D} 弧集合E2={<A,D><B,A><C.A><B,C>}
无向边用()表示 有向边用<>表示
在图中，若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。
在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。
在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。
有很少条边或弧的图称为稀疏图
有些图的边或弧具有与它相关的数字，这种与图的边或弧相关的数叫做权
带权的图通常称为图
路径的长度是路径上的边或弧的数目。
第一个顶点到最后一个顶点相同的路径称为回路或环。序列中顶点不重复出现的路径称为简单路径，除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路或简单环
连通图
连通分量:无向图中的极大连通子图
1.要是子图
2.子图要是连通的
3.连通子图含有极大顶点数
4.具有极大顶点数的连通子图包含依附于这些顶点的所有边
在有向图G中，如果对于每一对vi，vj属于V，vi不等于vj，从vi到vj和从vj到vi都存在路径，则称G是强连通图。有向图中的极大强连通子图称做有向图的强连通分量。
