数据结构61(图).pptVIP

* 图：由顶点集V和边集E组成，通常记作 G = ( V, {E} ) 非空 可为空 第五章 图5.1 图的定义和术语 * 可表示为： Ｇ： V = { V1，V2，V3，V4，V5} E = {（V1，V2）,（V1，V3）,(V1，V4）, （V1，V5），（V3，V5），（V2，V4）} 图中的边是顶点的无序对。即(V1, V2) 和(V2, V1) 表示同一条边，这种图又称为无向图。 例：图 1 3 2 4 5 * 对于无向图，如果边(V, V?)∈E，则称 V 和 V? 互为邻接点，即 V 和 V? 相邻接。边(V, V?)依附于顶点 V 和 V? ，或称(V, V?)和顶点V、V? 相关联。 有些问题需要用有向图来表示。如学生学习的各门课程之间存在一种“先后次序”关系。若以顶点表示课程，则课程间的次序关系可以顶点间的有向边（也称“弧”）来表示。 * 如下图： PASCAL 汇编 导论 数据结构 编译原理 离散数学 操作系统 v1 v2 v3 v4 v5 v6 v7 V={V1,V2,V3,V4,V5,V6,V7} E={V1,V2,V1,V3,V2,V4,V3,V5,V3,V4 V5,V6,V5,V7,V4,V6,V4,V7} * 有向图是由顶点的非空有限集和弧的有限集组成。弧是顶点的有序对。 V1,V2和V2,V1表示的是不同的弧。 若Vi,Vj是有向图中的一条弧，则称Vi 为弧尾或初始点，Vj 为弧头或终端点。 Vi Vj * n 图中顶点的数目。 e 图中边或弧的数目。 0 ~n(n-1)/2 , 对于无向图 e = 0~n(n-1) ，对于有向图 完全图：具有n(n-1)/2条边的无向图 称为完全图。 有向完全图：具有n(n-1)条弧的有向图 称为有向完全图。 * 稀疏图：有很少条边或弧的图称为稀疏图。 稠密图：当一个图接近完全图时，称为稠密图。 网：若图中每一条边附有一个对应的数，则称之为网，这些数称为权。 有向网：弧上带权的有向图称为有向网。 子图：假设有两个图G, G?，满足下述条件： V(G?)? V(G) 和 E(G?)? E(G) 则 G? 为 G 的子图。 * 度：与某个顶点V相关联的边的数目称为该顶点的度，记为 TD(V)。 入度：在有向图中，以某个顶点V为头的弧的数目称为V的入度，记为ID(V)。 出度：在有向图中，以V为尾的弧的数目称为V的出度。记为OD(V)。 TD(V) = ID(V) + OD(V) ID(V) = 2 OD(V) = 3 V * 路径：无向图中从顶点V到V?的路径是一个顶点序列（V=Vi0,Vi1, … , Vim = V?），其中(Vij-1,Vij)?E, 1≤j≤m。 路径长度：路径上的边或弧的数目。 * 有向路径：在有向图中，由顶点和弧组成的路径 简单路径：序列中顶点不重复出现的路径。 回路（环）：第一个顶点和最后一个顶点相等的 路径 简单回路（环）：除了第一个顶点和最后一个顶 点之外，其余顶点不重复出现的回路。 * 连通图：在无向图G中，如果从顶点V到顶点V?有路径，则称V和V?是连通的。如果图中任何两个顶点是连通的，则G是连通的。 连通分量：无向图中的极大连通子图。任何连通图的连通分量只有一个，即是自身，而非连通的无向图有多个连通分量。 * 强连通图：在有向图G中，如果对于每一对顶点Vi,Vj, 从Vi到Vj和从Vj到Vi都存在路径，则称G是强连通图。 强连通分量：有向图中的极大强连通子图。 1 2 3 4 1 2 3 4 两个强连通分量 不连通的有向图 * 连通图的生成树：是一个极小连通子图，它含有图中全部顶点，但只有足以构成一棵树的n-1条边。 1 2 3 4 1 2 3 4 生成树 * *