ch3_2图2_1 《软件技术基础》 教学课件.ppt

3.2 图 3.2.1 图的基本概念 3.2.2 图的存储结构 3.2.3 图的遍历 3.2.4 生成树和最小生成树 3.2.5 小结 3.2.1 图的基本概念 图(Graph)——图G是由两个集合V(G)和E(G)组成的,记为G=(V,E) 其中：V(G)是顶点的非空有限集 E(G)是边的有限集合，边是顶点的无序 对或有序对 3.2.1 图的基本概念 有向图——有向图G是由两个集合V(G)和E(G)组成的 其中：V(G)是顶点的非空有限集 E(G)是有向边（也称弧）的有限集合，弧是顶点的有序对，记为v,w，v,w是顶点，v为弧尾，w为弧头 3.2.1 图的基本概念 无向图——无向图G是由两个集合V(G)和E(G)组成的 其中：V(G)是顶点的非空有限集 E(G)是边的有限集合，边是顶点的无序对，记为（v,w）或（w,v)，并且（v,w)=(w,v) 有向完备图——任意两个顶点之间都有方向相反的两条弧相连接，n个顶点的有向图最大边数是n(n-1) 无向完备图——任意两个顶点都有一条直接边相连接，n个顶点的无向图最大边数是n(n-1)/2 子图——如果图G(V,E)和图G‘(V’,E‘),满足： V’?V E’?E 则称G‘为G的子图 顶点的度 无向图中，顶点的度TD(Vi)为与Vi顶点相连的边数 有向图中，顶点的度分成入度ID(V)与出度OD(V) 入度ID(V) ：以该顶点为头的弧的数目 出度OD(V) ：以该顶点为尾的弧的数目 顶点的度 无向图中，顶点的度TD(Vi)为与Vi顶点相连的边数 有向图中，顶点的度分成入度ID(V)与出度OD(V) 入度ID(V) ：以该顶点为头的弧的数目 出度OD(V) ：以该顶点为尾的弧的数目 对于具有n个顶点、e条边的图，顶点v的度TD (v)与顶点的个数以及边的数目满足关系： (书139页有错，请改正） 路径——顶点vp到顶点vq之间的路径（path）是指顶点序列vp,vi1,vi2, …, vim,vq.。其中，（vp,vi1），(vi1,vi2)，…,(vim,.vq)分别为图中的边。 路径长度——沿路径边的数目或沿路径各边权值之和 回路——第一个顶点和最后一个顶点相同的路径叫~ 简单路径——序列中顶点不重复出现的路径叫~ 简单回路——除了第一个顶点和最后一个顶点外，其余顶点不重复出现的回路叫~ 生成树——所谓连通图G的生成树，是G的包含其全部n 个顶点的一个极小连通子图。 它必定包含且仅包含G的n-1条边。 特点： 1）任意两顶点间有且仅有一条路经 2）在生成树中添加任意一条属于G的边必定会产生回路 3）若生成树中减少任意一条边，则必然成为非连通图 生成树——所谓连通图G的生成树，是G的包含其全部n 个顶点的一个极小连通子图。 它必定包含且仅包含G的n-1条边。 生成森林——在非连通图中，由每个连通分量都可得到一个极小连通子图，即一棵生成树。 这些连通分量的生成树就组成了一个非连通图的生成森林 （一）邻接矩阵——表示顶点间相联关系的矩阵 定义：设G=(V,E)是有n?1个顶点的图，G的邻接矩阵A是具有以下性质的n阶方阵 特点： 有向图邻接矩阵不一定对称；有n个顶点的有向图需存储空间为n2 有向图中， 顶点Vi的出度是A中第i行元素之和 顶点Vi的入度是A中第i列元素之和 特点： 无向图的邻接矩阵对称，可压缩存储；有n个顶点的无向图需存储空间为n(n+1)/2 无向图中顶点Vi的度TD(Vi)是邻接矩阵A中第i行元素之和 特点： 网图的邻接矩阵可定义为： 邻接矩阵的特点： 若G为有向图，则： 有向图邻接矩阵不一定对称；有n个顶点的有向图需存储空间为n2； 顶点Vi的出度是A中第i 行元素之和； 顶点Vi的入度是A中第i 列元素之和； 若G为无向图，则： 邻接矩阵A为对称矩阵，可压缩存储；有n个顶点的无向图需存储空间为n(n+1)/2； 第ｉ行非０元素的个数为顶点Vi的度，TD(Vi)。 图的邻接矩阵存储表示 用一个二维数组存储用于表示顶点间相邻关系的邻接矩阵外，还需用一个一维数组来存储顶点信息，另外还有图的顶点数和边数。 （二）邻接表 邻接表是一种顺序存储(顶点顺序表)与链式存储(边的单链表)结合的存储方法，类似于树的孩子链表表示法。 实现：为图中每个顶点建立一个单链表，第i个单链表中的结点表示依附于顶点Vi的边（有向图中指以Vi为尾的弧），再将所有点的邻接表表头放到数组中。 （二）邻接表 （一）邻接矩阵——表示顶点间相联关系的矩阵 定义：设G=(V,E)是有n?1个顶点的图，G的邻接矩阵A是具有以下性质的n阶方阵 特点