数据结构图ADT

图是一种数据结构，加上一组基本操作，构成抽象数据类型。

图的抽象数据类型定义：关键存储顶点和顶点之间的连线(边或弧)
ADT Gragh{
数据对象：V是具有相同特征的数据元素的集合，称为顶点集；
数据关系：
R={VR}
VR={<v,w>|v,w属于V且P(v,w)<v,w>表示从v到w的弧，
谓词P{(c,w)定义了弧<v,w>的意义或信息}
基本操作：
CreateGraph(&G,V,VR)
初始条件：V是图的顶点集，VR是图中弧的集合。
操作条件: 按V和VR的定义构造图G。
DestroyGraph(&G)
初始条件：图G存在。
操作结果：销毁图G。
LocateVex(G,u)
初始条件：图G存在，u和G中顶点有相同特征。
操作结果：诺G中存在顶点U,则返回该顶点在图中的位置；否则返回其他的信息。
Getvex(G,v)
初始条件：图G存在，v是G中某个顶点。
操作结果：返回v的值
PutVex(&G,v,value)
初始条件：图G存在，v是G中某个顶点。
操作结果：对v赋值value。
FirstAdjVex(G,v)
初始条件：图G存在，v是G中某个顶点。
操作结果：返回v(相对于w的)下一个邻接点。诺w是v的最后一个邻接点，返回NULL。
NextAdjVex(G,v,w)
初始条件：图G存在，v是G中某个顶点，w是v的邻接点。
操作结果：返回v的(相对于w的)下一个邻接顶点。诺w是v的最后一个邻接点，则返回NULL。
InsertVex(&G,v)
初始条件：图G存在，v和图中顶点具有相同特征。
操作结果：在图G中增加新顶点。
DeleteVex(&G,v)
初始条件：图G中在，v是G某个顶点。
操作结果：删除G中顶点及其相关的弧。
InsertArc（&G,v,w)
初始条件：图G存在,v,w是G中两个顶点。
操作结果：在G中添加弧<v,w>，诺G是无相图，则添加对称弧<w,v>
DeleteArc(&G,v,w)
初始条件：图G存在，v和w是G中两个顶点.
操作结果：在图中删除弧<v,w>，诺是对称弧还删除弧<w,v>。
DFSTraverse(G)
初始条件：图G存在。
操作结果：对图进行深度优先遍历，遍历过程中每个顶点访问一次。
BFSTraverse(G)
初始条件：图G存在。
操作结果：对图进行广度优先遍历，遍历过程中每个顶点访问一次。
}

参考文献：《数据结构C语言第二版》