图图的基本概念及术语.pptVIP

第7章 图 主要内容 线性表结构：线性关系 除了起始结点与终止结点外，每个结点只有一个直接前驱和一个直接后继 树形结构：层次关系 除了根结点外，每个结点只有一个父结点，但可以有多个儿子结点 图：非线性结构更加复杂 每个结点(顶点)既可以有前驱结点也可以有后继结点，且个数不加限制。 基本概念-图 图的其它分类 简单图:不考虑顶点到其自身的边,即(u,v)是图G的边，则u≠v；且，如果图中没有相同的边,则称图为简单图 完全图:设|V|=n, |E|=e。 对有向图G，若e=n(n-1)，则称G为完全的有向图; 对无向图G，若e=n(n-1)/2;则称G为完全的无向图。 稀疏图: 有很少条边的图（enlogn） 稠密图: 相反于稀疏图的图。 赋权图： 若无向图的每条边都带一个权，则称相应的图为赋权无向图。 若有向图的每条边都带一个权，则称相应的图为赋权有向图。 通常，权是具有某种实际意义的数，比如，2个顶点之间的距离，耗费 等。 网： 带权的图称为赋权图或网。 一个赋权图、网的例子 邻接点、关联 若(u,v)是一条无向边, 则称u和v互为邻接点,称边(u,v)与两个顶点互相关联 若＜u,v＞是一条有向边, 则称顶点u邻接到顶点v; 顶点v邻接自顶点u,称弧＜u,v＞与顶点u和v互相关联 顶点的度 无向图顶点的度： 关联于该顶点的边的数目，记为D(v)。 有向图顶点： 以顶点v为 终点的边的数目，称为v的入度，记为ID(v)； 以顶点v为起点的边的数目，称为v的出度，记 为OD(v)； 顶点v的度则定义为该顶点的入度与 出度之和，即D(v)=ID(v)+OD(v)。 路径、路径长度 在无向图G中，若存在一个顶点序列u(1),u(2),…， u(m), 使得(u(i),u(i+1))∈E(G)，i=1,2,…，m-1,则称该顶点序列为顶点u(1)和u(m)之间的一条路径。 其中u(1)称为该路径的起点，u(m)称为该路径的终点。 这条路径所包含的边(弧)数m-1称为该路径的长度。 简单路、回路、有根图 简单路: 若一条路径上除了起点和终点可能相同外，其余顶点均不相同，则称此路径为一条简单路径。 回路: 起点和终点相同的路径称为回路或环或圈。 起点和终点相同的简单路径称为简单回路或简单环或圈。 举例 连通图(无向图) 在无向图G中，若从顶点u到顶点v有一条路径,则称顶点u和v在图G中是连通的。 若V(G)中任意2个不同的顶点u和v都是连通的，则称G为连通图。 强连通图（有向图） 在有向图G中，若对于V(G)中任意2个不同的顶点u和v,都存在从u到v以及从v到u的路径，则称G是强连通图。 子图 设G=(V,E)是一个图 若V’是V的子集，E’是E的子 集 且E’中的边所关联的顶点均在V’中 则G’=(V’，E’)也是一个图 并称其为图G的一个子图。 子图举例 子图举例 子图举例 连通分支（无向图） 若G’是无向图G的极大连通子图 即G’是无向图G的连通子图 且G不存在以G’ 为真子图的连通子图 则称G’为G的连通分支。 强连通分支（有向图） 有向图G的极大强连通子图称为G的强连通分支。 显然，强连通图只有一个强连通分支，即其自身。非强连通的有向图有多个强连通分支。 13.3 图的表示法 邻接矩阵表示法 邻接表表示法 紧缩邻接表 设图 A = (V, E)是一个有 n 个顶点的图, 图的邻接矩阵是一个二维数组 A.edge[n][n]，定义： 无向图的邻接矩阵是对称的; 有向图的邻接矩阵可能是不对称的。 在有向图中, 统计第 i 行 1 的个数可得顶点 i 的出度，统计第 j 列 1 的个数可得顶点 j 的入度。 在无向图中, 统计第 i 行 (列) 1 的个数可得顶点i 的度。 网络的邻接矩阵 邻接矩阵二维数组的初始化 G-a=Make2DArray(G-n+1,G-n+1, 0); WItem ** Make2DArray (int r, int l, WItem w) { WItem ** a; a=(WItem ** ) malloc (r*sizeof(WItem *)); for(int i=0;ir;i++) a[i]=(WItem *)malloc (l*sizeof(WItem)); for(int m=0;mr;m++) for(int n=0;nl;n++) a[m][n]=w; return a; } 图的邻接表 (Adjacency List)表示法 同一个顶点发出的边链接在同一个边链表中，每一个链结点代表一条边(边结点), 结点中有另一顶点的下标 dest 和指针 next。 //入度 int I