7.数据结构 --- 图

1.图的定义和术语
	在图中的数据元素通常称作顶点(Vertex)，V是顶点的有穷非空集合；VR是两个顶点之间的关系的集合。若<v,w>属于VR,则<v,w>表示从
  v到w的一条弧(Arc)，且称v为弧尾或初始点，称w为弧头(Head)或终端点，此时的图称为有向图。若<v,w>属于VR必有<w,v>属于VR,即VR
  是对称的，则以无序对(v,w)代替这2个有序对，表示v和w之间的一条边(Edge)，此时的图称为无向图。

  	我们用n表示图中顶点的数目，用e表示边或者弧的数目。在下面的讨论中，我们不考虑顶点到其自身的弧或者边，即若<vi,vj>属于VR,则
  vi != vj,那么对于无向图，e的取值范围是0到 (n(n-1))/2。有 (n(n-1))/2 条边的无向图称为完全图。对于有向图，e的取值范围是
  0到n(n-1)。具有n(n-1)条弧的有向图称为有向完全图。有很少条边或弧的图称为稀疏图，反之称为稠密图。
  	有时图的边或弧具有与它相关的数，这种与图的边或弧相关的数叫做权。这些权可以代表从一个顶点到另一个顶点的距离或者消耗。

2.图的存储结构
	1.数组表示法
		用两个数组分别存储数据元素(顶点)的信息和数据元素之间的关系(边或弧)的信息。
	2.邻接表
		是图的一种链式存储结构。在邻接表中，对图中的每个顶点建立一个单链表，第i个单链表中的结点表示依附于顶点vi的边(对有向图是以顶点vi为
	  尾的弧)。
	3.十字链表
		有向图的另外一种链式存储结构。可以看成是将有向图的邻接表和逆邻接表结合起来得到的一种链表。在十字链表中，对应于有向图中每一条弧有一个
	  结点，对应于每个顶点也有一个结点。
	4.邻接多重表

3.图的遍历
	我们希望从图中某一顶点出发，且使每一个顶点仅被访问一次。这一过程就叫做图的遍历。图的遍历算法是求解图的连通性问题，拓扑排序和求解关键路径等
  算法的基础。

  1.深度优先搜索
  	类似于树的先根遍历，是树的先根遍历的推广。
  2.广度优先搜索
  	类似于树的按层次遍历的过程。

4.图的连通性问题
	最小生成树：构造连通网的最小代价生成树。一棵生成树的代价就是树上的各边的代价之和。

5.有向无环图及其应用
	一个无环的有向图称为有向无环图。

	1.拓扑排序
		由某个集合上的一个偏序得到该集合的一个全序，这个操作称之为拓扑排序。
		若集合X上的关系R是自反的，反对称的和传递的，则称R是集合X上的偏序关系。
		设R是集合X上的偏序，如果对每个x,y属于X必有xRy,或yRx，则称R是集合X上的全序关系。