图

图的概念

图是由顶点集合(vertex)及顶点间的关系集合组成的一种数据结构：
Graph＝( V, E )
其中 V = { x | x Î 某个数据对象是顶点的有穷非空集合；
E = {(x, y) | x, y Î V } 或 E = {<x, y> | x, y Î V && Path (x, y)}是顶点之间关系的有穷集合，也叫做边(edge)集合。
Path (x, y)表示从 x 到 y 的一条单向通路, 它是有方向的

1、 无向图与有向图
在有向图中，顶点对<x, y>是有序的。在无向图中，顶点对(x, y)是无序的。
完全图：若有 n 个顶点的无向图有 n(n-1)/2 条边, 则此图为完全无向图。有 n 个顶点的有向图有n(n-1) 条边, 则此图为完全有向图。
2、顶点的度
入度与出度：在有向图中, 顶点的度分为入度与出度。顶点的度=该顶点的入度+出度。顶点 v 的入度是以 v 为终点的有向边的条数, 记作 ID(v); 顶点 v 的出度是以 v 为始点的有向边的条数, 记作OD(v)

图的存储

图的数组存储

• 无向图的邻接矩阵是对称的，有向图的邻接矩阵可能是对称的
• 在无向图中, 统计第 i 行 (列) 1 的个数可得顶点i 的度
• 在有向图中, 统计第 i 行 1 的个数可得顶点 i 的出度，统计第 j 列 1 的个数可得顶点 j 的入度
  

图的邻接表存储

有向图的十字链表存储（略）

无向图的邻接多重表存储（略）

图的遍历

图的遍历：从图中某个顶点出发游历图，访遍图中其余顶点，并且使图中的每个顶点仅被访问一次的过程

深度优先遍历(Depth-First Search，DFS)

（1）DFS 在访问图中某一起始顶点 v 后, 由 v 出发, 访问它的任一邻接顶点 w1;
（2）再从 w1 出发,访问与 w1邻接但还没有访问过的顶点 w2;
（3）然后再从 w2 出发, 进行类似的访问, …
（4）如此进行下去, 直至到达所有的邻接顶点都被访问过的顶点 u 为止。
（5）接着, 退回一步, 退到前一次刚访问过的顶点, 看是否还有其它没有被访问的邻接顶点。
（6）如果有, 则访问此顶点, 之后再从此顶点出发, 进行与前述类似的访问;
（7）如果没有, 就再退回一步进行搜索。重复上述过程, 直到连通图中所有顶点都被访问过为止。
从深度优先搜索遍历连通图的过程类似于树的先根遍历;
如何判别V的邻接点是否被访问？
解决的办法是:为每个顶点设立一个 “访问标志 visited[w]”;

广度优先遍历(Breadth-First Search，BFS)

BFS在访问了起始顶点 v 之后, 由 v 出发,
(1）依次访问 v 的各个未被访问过的邻接顶点 w1, w2, …, wt
（2）然后再顺序访问 w1, w2, …, wt 的所有还未被访问过的邻接顶点。
（3）再从这些访问过的顶点出发，再访问它们的所有还未被访问过的邻接顶点，… 如此做下去，直到图中所有顶点都被访问到为止
广度优先搜索是一种分层的搜索过程, 每向前走一步可能访问一批顶点，不像深度优先搜索那样有往回退的情况。类似于树的层次遍历。

图的生成树和最小生成树

生成树

生成树：图的所有顶点均由边连接在一起，但不存在回路的图叫生成树。分为深度优先生成树和广度优先生成树。
特点：（1）一个图可以有多个不同的生成树
（2）所有生成树都有以下特点：1）生成树的顶点个数与图的顶点个数相同；2）生成树是图的最小连通子图；3）一个有n个顶点的图的生成树有n-1条边；4）生成树中两个顶点之间的路径是唯一的；5）在生成树中增加一条边必然形成回路。

最小生成树

应用问题： 在 n 个城市间建立通讯线路，如何在最节省经费的前提下建立这个通信网。
上述问题可归结为，设在图中用边的权表示耗费；在有n 个顶点的图中，如何选择费用小的 n-1 条边，构成一个最小生成树的问题。
构造最小生成树的准则:
（1）必须使用且仅使用该网络中的n-1条边来联结网络中的n个顶点；
（2）不能使用产生回路的边；
（3）各边上的权值的总和达到最小
1、普里姆算法（Prim）
从连通网络 N = { V, E }中的某一顶点 u0 出发, 选择与它关联的具有最小权值的边 ( u0, k ), 将其顶点加入到生成树顶点集合U中。以后每一步从一个顶点在U 中,而另一个顶点在V- U 中的各条边中选择权值最小的边(u, k), 把它的顶点加入到集合 U 中。如此继续下去, 直到网络中的所有顶点都加入到生成树顶点集合 U 中为止。(V==U) 此时有n-1条边
2、克鲁斯卡尔算法(Kruskal)
基本思想：设有一个有 n 个顶点的连通网络 N = { V, E }, 最初先构造一个只有 n个顶点,没有边的非连通图 T = { V, Æ }, 图中每个顶点自成一个连通分量。当在E 中选一条具有最小权值的边时, 若该边的两个顶点落在不同的连通分量上，则将此边入到 T 中; 否则将此边舍去，重新选择一条权值最
小的边。如此重复下去,直到有顶点在同一个连通分量上为止。