数据结构.徐孝凯.第7章 图.pptVIP

* * 第七章 图 7.1 图的概念 7.1.1 图的定义 图(graph)是一种复杂的非线性数据结构。图在各个领域都有着广泛的应用。图G的二元组定义为：G=(V,E) 其中V是顶点集合，即V={vi|0≤i≤n-1,n≥0,vi∈VertexType}，VertexType为顶点值的类型，它同以前使用的ElemType一样可以代表任何类型，n为顶点数，当n=0时则V为空集；E是V上的一个二元关系，即V上顶点的序偶或无序对（每个无序对(x,y)是两个对称序偶x,y和y,x的简写形式）的集合。对于V上的每个顶点，在E中都允许有任意多个前驱和任意多个后继，即对每个顶点的前驱和后继个数均不加限制。 对于一个图G，若E是序偶的集合，则每个序偶对应图形中的一条有向边，若E是无序对的集合，则每个无序对对应图形中的一条无向边，所以可把E看做是边的集合。这样图的二元组定义可叙述为： 图由顶点集(vertex set)和边集(edge set)所组成。针对图G，顶点集和边集可分别记为V(G)和E(G)。若顶点集为空，则边集必然为空，若顶点集非空，则边集可以为空，也可以不为空，当为空时，图G中的顶点均为孤立顶点。 图7-1 无向图和有向图 对于一个图G，若边集E(G)中为有向边，则称此图为有向图(Directed Graph)，若边集E(G)中为无