第六图1.pptVIP

第六章 图 图的概念 图的存储结构 图的遍历方法 求生成树 找最短路径 关键路径 拓扑排序 计算机科学与工程学院《数据结构》课程组 * 图（graph） 图是一种数据结构，它的形式化定义为G=(V，E)，其中： V是一个非空有限集合，它的元素称为顶点(vertex)。 顶点的偶对(x，y) (x∈V，y∈V)叫做边(edge)，E是边的集合 图的定义 * 有向图（ digraph ） 若图中代表一条边的顶点偶对是有序的，记作x，y x为弧尾(tail)或初始点(initial node) y为弧头(head)或终端点(terminal node) x，y表示从x到y的一条弧(arc) 此时的图称为有向图 无向图(undigraph) 图中代表一条边的顶点偶对(x，y)是无序的，则称其为无向图。 (x，y)，(y，x)是同一条边 图基本术语 * G1=(V1，E1) ,其中： V1={v1，v2，v3，v4} E1={v1，v2，v1，v3，v3，v4，v4，v1} G2=(V2，E2) ,其中： V2={v1，v2，v3，v4，v5} E2={(v1，v2)，(v1，v4)，(v2，v3)，(v2，v5)，(v3，v4)，(v3，v5)} 图基本术语 有向图G1 (b)无向图G2 图 6.1 图的示例 * 完全图(completed graph) 对于无向图，e的取值范围是0到n(n-1)/2，有n(n-1)/2条边的无向图称为完全图 对于有向图，e的取值范围是0到n(n-1)。具有n(n-1)条弧的有向图称为有向完全图。 邻接点(adjacent) 对于无向图G=(V，E)，如果边(v，v’)∈E，则称顶点v和v’互为邻接点，即v和v‘相邻接; 边(v，v)依附(incident)于顶点v和v，或者说边(v，v)和顶点v，v相关联。 图基本术语 * 度 顶点v的度是和v相关联的边的数目,记作TD(V) 例如G2中顶点v3的度是3 入度 有向图中，以顶点v为头的弧的数目称为v的入度，记为ID(V) 出度 有向图中，以顶点v为尾的弧的数目称为v的出度，记为OD(v)； 顶点v的度为：TD(v)=ID(v)+OD(v) 有个n顶点，e条边或弧的图，满足以下关系 图基本术语 * 子图(subgraph) 假设有两个图 G=(V，E)， G=(V，E) 如果V包含于V，E包含于E，则称G是G的子图。 (a)G1的子图 (b)G2的子图 图6.2 子图示例 图基本术语 * 例 2 1 3 2 1 3 有向完备图 无向完备图 3 5 6 例 2 4 5 1 3 6 图与子图 例 2 4 5 1 3 6 G1 顶点2入度：1 出度：3 顶点4入度：1 出度：0 例 1 5 7 3 2 4 G2 6 顶点5的度：3 顶点2的度：4 * 路径 无向图G=(V，E)中从顶点v到顶点v’的路径是一个顶点序列(v=vi0，vi1，vi2，...，vin=v’)，其中(vi，j-1，vij)∈E，1≤j≤n 如果G是有向图，则路径也是有向的，顶点序列应满足vi，j-1，vij∈E，1≤j≤n。 路径的长度 是指路径上的边的或弧的数目。 图基本术语 * 回路 第一个顶点和最后一个顶点相同的路径称为回路或环。 简单路径 序列中顶点不重复出现的路径称为简单路径。 简单回路 除了第一顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路或简单环。 图基本术语 * 例 1 5 7 3 2 4 G2 6 例 2 4 5 1 3 6 G1 路径：1，2，3，5，6，3 路径长度：5 简单路径：1，2，3，5 回路：1，2，3，5，6，3，1 简单回路：3，5，6，3 路径：1，2，5，7，6，5，2，3 路径长度：7 简单路径：1，2，5，7，6 回路：1，2，5，7，6，5，2，1 简单回路：1，2，3，1 * 连通 在无向图G中， 如果从顶点v到顶点v有路径，则称v和v是连通的。 连通图 如果对于图中任意两个顶点vi，vj∈V，vi，vj都是连通的，则称G是连通图。 图6.1中的G2句是一个连通图 图基本术语 * 连通分量 指的是无向图中的极大连通子图。 强连通图 在有向图G中，如果对于每一对vi，vj∈V，vi!=vj，从vi到vj和从vj到vi都存在路径，则称G是强连通图。 强连通分量 有向图中的极大强连通子图称作有向图的强连通分量。 图基本术语 * 图6.4 G1的两个强连通分量 (a)无向图G3 (b)G3的三个连通分量 图6.3 无向图及其连通分量 图基本术语 * 连通图 例 2 4 5 1 3 6 强连通图 3 5 6 例 非连通图 例 2 4 5 1 3 6 *