济南大学数据结构 第七章.docVIP

第七章 图 图是一种较线性表和树更为复杂的数据结构。 线性表: 线性结构（前驱、后继） 树: 层次结构（父子） 图: 任意两个数据元素之间都可能相关（邻接） 7.1 图的定义和基本术语 图 G 是由两个集合顶点集 V(G) 和边集 E(G) 组成的，记作G=( V(G)，E(G) )，简称G=(V，E)。 V是顶点的有穷非空集合 E是两个顶点之间的关系，即边的有穷集合 无向图和有向图 无向图: 边是顶点的无序对，即边没有方向性。 V = { v1 , v2 , v3 , v4 , v5 } E = { ( v1 , v2 ) , ( v1 , v4 ) , ( v2 , v3 ) , ( v2 , v5 ) , ( v3 , v4 ) , ( v3 , v5 ) } ( v1 , v2 )表示顶点 v1 和 v2 之间的边 ( v1 , v2 ) = ( v2 , v1 ) 有向图: 其边是顶点的有序对，即边有方向性。 V = { v1 , v2 , v3 , v4 } E = { v1 , v2 , v1 , v3 , v3 , v4 , v4 , v1 } 通常有向图的边称为弧， v1 , v2 表示顶点 v1 到 v2 的弧。 称 v1 为弧尾，称 v2 为弧头。 v1 , v2 ≠ v2 , v1 带权无向图(无向网) 和 带权有向图(有向网) 有时对图的边或弧赋予相关的数值，这种与图的边或弧相关的数值叫做权。 这种带权的图通常称为网。 带权的无向图称为无向网。 带权的有向图称为有向网。 性质: 若用 n 表示图中顶点数目，用 e 表示边或弧的数目，若在图中不存在顶点到自身的边或弧，则 对于有向图，0 ≤ e ≤ n(n-1) 对于无向图，0 ≤ e ≤ 1/2n(n-1) 证明: 0 ≤ e 显然成立 对有向图来说， 每个顶点至多可发出 n-1 条弧，共 n 个顶点，故至多有 n(n-1) 条弧，即 e ≤ n(n-1) ； 对无向图来说，由于边无方向，则任一两个顶点 v1 和 v2，都有 ( v1 , v2 ) = ( v2 , v1 ) ，故至多有 n(n-1) 条边 ； 完全图、有向完全图、稀疏图、稠密图 有 1/2n(n-1) 条边的无向图称为完全图。 有 n(n-1) 条弧的有向图称为有向完全图。 有很少条边或弧的图称为稀疏图。 反之称为稠密图。 子图 假设有两个图 G=(V, E) 和 G’=(V’, E’) ，如果 V’ ( V，且 E’ ( E，则称 G’ 为 G 的子图。 邻接与关联 对于无向图 G=(V, E)，如果存在边 (v, v’)，则称顶点 v 和 v’ 互为邻接点，即 v 和 v’ 相邻接。 称边 (v, v’) 与顶点 v 和 v’ 相关联。 对于有向图 G=(V, E) ，如果存在弧 v, v’ ，则称顶点 v 邻接到顶点 v’，顶点 v’ 邻接自顶点 v 。 称弧 v, v’ 和顶点 v, v’ 相关联。 顶点的度 对于无向图，顶点 v 的度是和 v 相关联的边的数目，记做TD(v)。 顶点 v3 的度为 对于有向图，顶点 v 的度 TD(V) 分为两部分——出度、入度。 以顶点 v 为头的弧的数目称为 v 的入度，记为ID(v) ； 以顶点 v 为尾的弧的数目称为 v 的出度，记为OD(v)； 顶点 v 的度为 TD(v) = ID(v) + OD(v)。 顶点 v1 的出度为 2 顶点 v1 的入度为 1 顶点 v1 的度为 3 性质: 对于一个图(无向图、有向图)，如果顶点 vi 的度为TD(vi)，那么具有 n 个顶点、e 条边或弧的图，必满足如下关系 无向图、有向图的边或弧均计算两遍。 路径、回路(环)、链、简单路径、简单回路 无向图 G 中若存在一条有穷非空序列 w = v0 e1 v1 e2 v2 ek vk ，其中 vi 和 ei 分别为顶点和边，则称 w 是从顶点 v0 到 vk 的一条路径。 顶点 v0 和 vk 分别称为路径 w 的起点和终点。 路径的长度是路径上的边的数目。 w 的长度为 k 起点和终点相同的路径称为回路(环)。 若路径 w 的边 e1 , e2 , …, ek 互不相同，则称 w 为链。 若路径 w 的顶点 v0 , v1 , 。。。, vk 互不相同，则称 w 为简单路径。 链是否为简单路径? 不一定 简单路径是否为链? 一定 起点和终点相同的简单路径称为简单回路(简单环)。 有向图 G 中若存在一条有穷非空序列 w = v0 e1 v1 e2 v2 ek vk ，其中 vi 和 e