7-1 图的基本概念 离散数学 教学课件.pptVIP

图论部分 图论是离散数学的重要组成部分，是近代应用数学的重要分支。 1736年是图论历史元年，因为瑞士数学家欧拉在1736年发表了关于图论的第一篇论文，解决了著名的哥尼斯堡七桥问题。人们普遍认为欧拉是图论的创始人。 1936年，匈牙利数学家寇尼格出版了图论的第一部专著《有限图与无限图理论》，这是图论发展史上的重要的里程碑，它标志着图论将进入突飞猛进发展的新阶段。 图论部分 近50年来，随着计算机科学的发展，图论更以惊人的速度向前发展，真是异军突起，活跃非凡。其主要原因有二： 计算机科学的发展为图论的发展提供了计算工具； 现代科学技术的发展需要借助图论来描述和解决各类课题中的各种关系，从而推动科学技术不断地攀登新的高峰。 作为描述事务之间关系的手段或称工具，目前图论在许多领域都得到广泛的应用，如： 计算机科学、物理学、化学、运筹学、信息论、控制论、网络理论、社会科学以及经济管理、军事、国防、工农业生产等方面 图论部分 第7章 图的基本概念 第8章 一些特殊的图 第9章 树 第7章 图的基本概念 7.1 无向图与有向图 7.2 通路、回路、图的连通性 7.3 图的矩阵表示 7.4 最短路径和关键路径 7.1 无向图及有向图 无序对 两个个体x，y的无序序列称为无序对，记为(x,y)。 在无序对(x,y)中，x、y是无序的，其顺序可以颠倒， (x,y)=(y,x) 无序积: A?B={(x,y) | x?A ? y?B} 如A={a,b},B={c,d} 则A?B={(a,c),(a,d),(b,c),(b,d)}= B?A A?A={(a,a),(a,b),(b,b)} 无向图G=V,E, 其中 (1) V??为顶点集，元素称为顶点 (2) E为V?V 的多重子集，其元素称为无向边，简称边. 无向图 无向图G=V,E, 其中 (1) V??为顶点集，元素称为顶点 (2) E为V?V的多重子集，其元素称为无向边，简称边. 如 G=V,E如图所示, 其中V={v2, v2, …,v5}, E={(v1,v1), (v1,v2), (v2,v3), (v2,v3), (v2,v5), (v1,v5), (v4,v5)} 有向图 有向图D=V,E, 其中 (1) V同无向图的顶点集, 元素也称为顶点 (2) E为V?V的多重子集，其元素称为有向边，简称边. 多重集合: 元素可以重复出现的集合 用无向边代替D的所有有向边所得到的无向图称作D的基图 右图是有向图，它的V 和E分别为 V = {a, b, c, d} E = {a,a,a,b,a,b,a,d, b,c,c,d,d,c} 注意：图的数学定义与图形表示,在 同构(待叙)的意义下是一一对应的 无向图与有向图的表示 通常用G表示无向图, V(G)—— G的顶点集 E(G)—— G的边集. ek表示无向边 通常用D表示有向图, V(D)—— D的顶点集 E(D)—— D的边集. ek表示有向边 n 阶图—— n个顶点的图 有限图—— V, E都是有穷集合的图 零 图—— E=?（即无边的图） 平凡图—— 1 阶零图（|V|=1，E= ?，只有一个顶点的图） 空 图—— V=?（无顶点的图） 顶点和边的关联与相邻 设ek=(vi, vj)是无向图G=V,E的一条边, 称vi, vj为ek的端点, ek与vi ( vj)关联. 若vi ? vj, 则称ek与vi ( vj)的关联次数为1; 若vi = vj, 则称ek为环, 此时称ek与vi 的关联次数为2; 若vi不是ek端点, 则称 ek与vi 的关联次数为0. 如右图： v2, v5为e4的端点, e4与v2(v5)关联. e1为环, e1与v1 的关联次数为2 e7与v4(v5)的关联次数为1、与v2关联次数为0 顶点和边的关联与相邻 设ek=(vi, vj)是无向图G=V,E的一条边, 无边关联的顶点称作孤立点. 若(vi,vj) ?E, 则称vi,vj相邻; 若ek,el至少有一个公共端点, 则称ek,el相邻. 如右图： 顶点间的相邻：v1,v2相邻; 边之间的相邻：e2,e3相邻. 顶点和边的关联与相邻 设有向图D=V,E, 设ek=?vi,vj?是有向图的一条边,又称 vi是ek的始点, vj是ek的终点, vi邻接到vj, vj邻接于vi. 如右图： a是e2的始点，b是e2的终点， a邻接到b, b邻接于a 顶点的度数 设G=V,E为无向图, v?V, v的度数(度) d(v): v作为边的端点次数之和 悬挂顶点: 度数为1的顶点