离散数学精品教学（华南理工大学）离散数学15改.pptVIP

今天，先学习第三个知识点： 11.3 图的矩阵表示 一、有向图的矩阵表示 1、邻接矩阵 定义 例题讲解 通（回）路数的计算 例题讲解 2、可达矩阵 定义 可达矩阵的计算 例题讲解 3、关联矩阵 定义 例题讲解 关联矩阵的性质 二、无向图的矩阵表示 1、邻接矩阵和可达矩阵 例题讲解 2、关联矩阵 定义 例题讲解 关联矩阵的性质 本节习题 下面学习第四个知识点： 11.4 欧拉图和哈密顿图 一、欧拉图 1、欧拉与哥尼斯堡七桥问题 2、欧拉图的定义 3、欧拉通路（回路）的判定方法 例题讲解 4、欧拉回路的构造方法 例题讲解 二、哈密顿图 1、问题的提出 2、哈密顿图的定义 3、哈密顿通路存在的判定定理 4、哈密顿图存在的判定定理 例题讲解 5、图的闭包 例题讲解 6、哈密顿图存在的充分必要条件 7、哈密顿图的性质 例题讲解 例题讲解 三、货郎担问题 1、问题的提出 2、货郎担问题的精确求解 例题讲解 3、货郎担问题的近似解 例题讲解 本节习题 例2 找出穆罕默德短弯刀的欧拉回路。 j h k 1 定义11.4.2 设无向图 是 G的一条通路。若 G 的每个顶点在该通路中出现且仅出现一次，则称该通路为哈密顿通路；若 ，且 在该回路中出现且仅出现一次，则称该回路为哈密顿回路。存在哈密顿回路的图称为哈密顿图。 定理11.4.3 设无向简单图 若对任意不相邻的顶点 则 G 中存在哈密顿通路。 请自学证明过程。 定理11.4.4 设无向简单图 若对任意不相邻的顶点 则 G 是哈密顿图。 请自学证明过程。 例3 下图都是哈密顿图，但不满足定理11.4.4的条件。 定义11.4.3 设无向简单图 若存在一对不相邻的顶点 ，使得 则构造 ；在 G’上重复上述过程直至不再存在度数之和大于或等于 n 的不相邻的顶点对为止。称如此得到的图为图 G 的闭包，记为 C(G)。 P.238，例11.4.2 G2 的闭包是 G G 引理11.4.1 设无向简单图 u、v 是 G 中不相邻的顶点，且 则 G 是哈密顿图的充要条件是 是哈密顿图。 定理11.4.5 设无向简单图 G 是哈密顿图的充要条件是 是哈密顿图。 定理11.4.6 设 是哈密顿图，则对 V 的任意非空子集 S 均有 ，其中 G –S 表示在 G 中删除 S 中的顶点以及 G 中所有与 S 中顶点相关联的边。 此定理前者是后者的充分条件，后者是前者的必要条件，因此，把后者作为条件，其否定可以用来判断一个图不是哈密顿图。 P.239，例11.4.3 下图不是哈密顿图。 P.239，例11.4.4 下图尽管满足 ，但它不是哈密顿图。 有 n 个村庄，每两个村庄均有道路，一个售货员要从某一村庄出发，到其余 n - 1 个村庄一次且仅一次，然后再回到出发点，问售货员应如何经过这些村庄使他所走的路线最短？ 归结为数学问题：？？？ ？？？= 求最短的哈密顿回路的长度 （1）求出所有可能的哈密顿回路的长度； （2）从（1）的计算结果中求出最短的哈密顿回路的长度。 * * 1、图的基本概念 2、通路、回路和连通性 3、图的矩阵表示 4、欧拉图和哈密顿图 5、偶图与匹配 6、平面图 7、树 图可以用集合表示（ ），也可以用矩阵表示。用矩阵表示图，便于用计算机研究图的性质，也便于用计算机处理图，用矩阵表示图之前，首先要将图中的顶点和边标定成顺序，使之成为标定图。 主要类型：关联矩阵、邻接矩阵、可达矩阵。 定义11.3.1 设有向图