图
一、概念。
图： 是一种复杂的非线性数据结构。
图的二元组定义：
图 G 由两个集合 V 和 E 组成，记为：
G=(V, E) 其中： V 是顶点的有穷非空集合,
E 是 V 中顶点偶对(称为边)的有穷集。
通常，也将图 G 的顶点集和边集分别记为 V(G) 和 E(G) 。 E(G) 可以是空集。若 E(G) 为空，则图 G 只有顶点而没有边。
有向图： 若图 G 中的每条边都是有方向的，则称 G 为有向图 (Digraph) 。
无向图： 若图 G 中的每条边都是没有方向的，则称 G 为无向图 (Undigraph) 。
完全图：若无向图中的每个顶点之间存在着一条边，有向图中的每两个定点之间都存在着方向相反的两条边，则称此图为完全图。
稠密图： 当一个图接近完全图时，则称它为稠密图。
稀疏图：当一个图含有较少边数（即e<< n(n-1)，双小于号表示非常小于的含义）时，则称它为稀疏图。
简单图：图中每条边的顶点均不相同。
邻接点：
有向图：如果 <u, v>∈ E, 则称v为u的邻接点，u为v的逆邻接点。边<u, v>与顶点u和v相关联，从u出发的边称为u的出边或邻接边，而指向顶点u的边称为u的入边或逆邻接边。
无向图：如果(u, v)∈ E, 则称u与v互为邻接点。
顶点的度、入度与出度：
依附与某顶点v的边数 称为度；
在有向图中，顶点v的 入度 指以顶点为终点的边的数目。
出度 指以顶点起始点的边的数目；
无向图中出度入度相等。
通路或路径：由m+1个顶点与m条边交替构成的一个序列。
环路：如路径的第一个顶点和最后一个顶点相同，称之为环路。
可达分量：有向图中，若顶点s到v有一条通路，称v是从s可达的。对于s，从s可达的所有顶点的集合叫可达分量。
连通图：无向图中，若一个顶点到另一个顶点有路径，则称这2个顶点是连通的。如果图中任意2顶点都是连通的，则称该图是连通图。
连通分量：指无向图的极大连通子图。
权：与图中边有关的实数。
带权图或网：边上具有权值的图。
强连通分量(有向图)：顶点s在图G中的可达分量 与 s在镜像图R(G)中的可达分量的交集。
最小生成树：从图中的不同顶点或从同一顶点按不同的优先搜素过程可以得到不同的树。而对于一个连
通网(连通带权图)来说，生成的树不同，每棵树的代价(树中每条边上权值之和)也可能不同，代价最小
的生成树为图的最小生成树。
二、抽象数据类型
ADT Graph{
数据对象D：具有相同性质的数据元素的集合。
数据关系R：R{<u,v>|(u,v∈D)}。
基本操作：
1 int getType();//返回图的类型
2 int getVexNum();//返回图的顶点数
3 int getEdgeNum();//返回图的边数
4 Iterator getVertex();//返回图的所有顶点
5 Iterator getEdge();//返回图的所有边
6 void remove(Vertex v);//删除一个顶点v
7 void remove(Edge e);//删除一条边e
8 Node insert(Vertex v);//添加一个顶点v
9 Node insert(Edge e);//添加一条边e
10 boolean areAdjacent(Vertex u, Vertex v);//判断顶点u、v是否邻接，即是否有边从u到v
11 Edge edgeFromTo(Vertex u, Vertex v);//返回从u指向v的边，不存在则返回null
12 Iterator adjVertexs(Vertex u);//返回从u出发可以直接到达的邻接顶点
13 Iterator DFSTraverse(Vertex v);//对图进行深度优先遍历
14 Iterator BFSTraverse(Vertex v);//对图进行广度优先遍历
15 Iterator shortestPath(Vertex v);//求顶点v到其他顶点的最短路径
16 void generateMST() throws UnsupportedOperation;//求无向图的最小生成树,如果是有向图不支持此操作
17 Iterator toplogicalSort() throws UnsupportedOperation;//求有向图的拓扑序列,无向图不支持此操作
18 void criticalPath() throws UnsupportedOperation;//求有向无环图的关键路径,无向图不支持此操作
}
请看 接口定义 Graph
三、图的存储方法
１、邻接矩阵表示法：采用2个数组来表示图;一个是存储所有顶点信息的一维数组、一个是存储图中顶点之间关联关系的二维数组,这个二维数组称为邻接矩阵。
对于无向图a，邻接矩阵是一个对称矩阵。第i行(i列)非∞元素的个数正好是第i个顶点的度。
对于有向图b，第i行非∞元素的个数是第i个顶点的出度、i列非∞元素的个数是第i个顶点的入度。
邻接矩阵的不足：
1、由n个顶点构成的图中最多可以有n2条边，但大多数情况下，边的数目远远达不到这个量级，邻接矩阵中大多数单元都是闲置的。
２、矩阵结构是静态的，大小Ｎ需要预先估计，然后创建Ｎ*Ｎ的矩阵，而图的规模往往是动态变化的，Ｎ估计过大会造成空间浪费，过小则造成空间不够用。
２、邻接表表示法：
链接表是图的一种动态的链式存储方法，类似于树的孩子链表表示法。
对于n个顶点、m条边的无向图，采用邻接表，需要n个表头节点和2m个边表节点。在边稀疏的情 况下，要比使用邻接矩阵节省空间。
邻接表的特性：
在无向图中，顶点ｖ的度为ｖ的邻接表中 表表节点的个数。
在有向图中，顶点ｖ的邻接表中边表的节点个数仅为ｖ的出度。入度需要遍历这个邻接表 或者
从逆邻接表中获取。
判断２个顶点直接是否有边需要搜素２个顶点对应的邻接表。不如邻接矩阵方便。
３、双链式存储结构：
邻接表是图的一种很有效的存储结构，但是在该结构中删除顶点，边，或添加顶点，边的操作实现起来都比较复杂，所需时间代价较大。所以给出双链式存储结构解决上述问题。
顶点、边都抽象为独立的类，所有的顶点类都存储在一个链接表中，所有的边类也存储在一个链接表中。并在顶点、边之间建立关系。
边中有5个重要的指针域：第一顶点域、第二顶点域、第一边表位置域、第二边表位置域、边位置域。
有向图中：第一顶点域指向该边的起始顶点在顶点表中的位置、第二顶点域指向该边的终止顶点在顶点表中的位置； 第一边表位置域指向边在其起始点的出边表中的位置，第二边表位置域指向边表在其终止点的入边表中的位置；
无向图：二个顶点域分别指向边的两个顶点在顶点表中的位置。第一边表位置域、第二边表位置域分别指向第一、第二顶点的邻接边表中的位置。
边位置域指向边在边表中的位置。
双链式存储结构的顶点定义 Vertex.java
双链式存储结构的边的定义 Edge.java
四、图的一种简单实现 示意
AbstractGraph.java
