6.1基本概念 图是一种数据结构,它的形式化定义为:G=(,E) 其中: V={ E dataobject}E=(n,ym(n,)入(,∈D) 在上面定义中,数据元素ν叫做顶点,V是顶点的非空有限 集合;E是两个顶点之间的关系的集合若<v2v>∈E,且 <,><vV>,则<V,V>表示从到v的一条弧 V叫做弧尾或初始顶点,v叫做弧头或终端顶点.并称顶点 V邻接于顶点v,或称顶点v邻接到顶点v,此时的图称为 有向图,如下面各图均为有向图.对于有向图(a)可表成 ①②WG)=如"2} (④ <V,V,><V1,V3> E(G1) <v32V4>,<V42V (b)6 . 1 基本概念 图是一种数据结构, 它的形式化定义为: G = (V,E) 其中: V = v vdataobject , E =  vi ,vj  p(vi ,vj )  (vi ,vj V) 在上面定义中, 数据元素 v 叫做顶点, V 是顶点的非空有限 集合; E 是两个顶点之间的关系的集合.若  vi ,vj  E ,且  vi ,vj  vj ,vi  , 则  vi ,vj  表示从 i v 到 j v 的一条弧 i v 叫做弧尾或初始顶点, j v 叫做弧头或终端顶点. 并称顶点 j v 邻接于顶点 i v , 或称顶点 i v 邻接到顶点 j v , 此时的图称为 有向图, 如下面各图均为有向图. 1 3 2 4 1 (a)G 1 3 (b) 1 1 2 4 3 4 1 3 对于有向图(a)可表成 V(G1 ) = v1 ,v2 ,v3 ,v4                = 3 4 4 1 1 2 1 3 1 , , , , , , , ( ) v v v v v v v v E G