定义：图G是由两个集合V和E构成的二元组，记作G=(V,E)，其中V是图中顶点的非空有限集合，E是图中边的有限集合。从数据结构的逻辑关系角度来看，图中任一顶点都有可能与图中其他顶点有关系，而图中所有顶点都有可能与某一顶点有关系。在图中，数据结构中的数据元素用顶点表示，数据元素之间的关系用边表示。 有向图：若图中每条边都是有方向的，则称为有向图。从顶点vi到vj的有向边<vi，vj>也称为弧，起点vi称为弧尾；终点vj称为弧头。在有向图中，<vi，vj>与<vj，vi>分别表示两条弧，如图(a)所示。 无向图：若图中的每条边都是无方向的，顶点vi和vj之间的...