2． 系统设计 1．用到的抽象数据类型的定义 图的抽象数据类型定义： ADT Graph{ 数据对象V：V是具有相同特性的数据元素的集合，称为顶点集 数据关系R： R={VR} VR={ |v,w∈V且P(v,w), 表示从v到w的弧， 谓词P(v,w)定义了弧 的意义或信息} 基本操作P： CreatGraph(&G,V,VR) 初始条件：V是图的顶点集，VR是图中弧的集合 操作结果：按V和VR的定义构造图G DestroyGraph(&G) 初始条件：图G存在 操作结果：销毁图G InsertVex(&G,v) 初始条件：图G存在，v