图

                   图（Graph）

定义：由顶点的有穷非空集合和顶点之间边集合组成，通常表示为G（V,E）,G表示一个图，V是图G中顶点的集合，E是图G中边的集合。（多对多关系）
图中元素称为顶点。
图分为：无向图、有向图。
1、无向图：顶点之间的边称为无向边；用无序偶对表示；（A,D）小括号表示

2、有向图：之间的边称为有向边，也成为弧。连接顶点A到D的有向边就是弧，A是弧尾，D是弧头<A,D>称为弧。不能反过来写。尖括号表示。

在图中若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。
无向完全图：无向图中，如果任意两个顶点之间都存在边。含有n个顶点则有n*(n-1)/2条边。
有向完全图：任意两个顶点之间都存在方向互为相反的两条弧。n个顶点有n*(n-1)条边。
有很少条边或弧的图称为稀疏图，反之则称为稠密图。这里的稀疏、稠密是模糊的概念，莫有确切的定义来描述。
权（Weight）：图的边或弧的相关数字
网：带权的图
相关联：即一条边和它的两头的两个顶点的关系
无向图顶点的度：这个顶点相关联边数。
有向图顶点的度：这个顶点对应的出度与入度之和
树种根节点到任意结点的路径是唯一的
图中顶点到顶点的路径则不一定唯一，多不唯一
路径的长度是路径上的边或者弧的数目。
回路（环）：第一个顶点到最后一个顶点相同的路径
简单路径 ：序列中顶点不重复出现的路径
一顶点到另一顶点有路径：称其是连通的。
连通图：图中任意两个顶点都是连通的
连通分量：无向图中的极大连通子图。
强调：是子图、子图都是连通的、连通子图含有极大顶点数、具有极大定点数的连通子图包含依附于这些顶点的所有边。
、有向图中对于每一对顶点，都有从前到后，从后到前的路径存在，则称G是强连通图。
有向图的强连通量：有向图中的极大强连通子图
无向图:
连通图的生成树：n个顶点，但有n-1条边。
从而得出若有小于n-1条边则为非连通图
若大于n-1条边则肯定会有环产生。
有向图
恰好有一个顶点的入度为0，其余顶点入度为1，则是一颗有向树。
一个有向图由若干颗有向树构成生成森林。