离散数学及其应用第10章-特殊图模型与算法(上).ppt

* 例 题 【例】图所示图模型表示某邮递员负责投递街道的结构图，其中每条边分别表示一条街道，每个结点表示街道的交叉路口，每条边的权值表示该边所对应街道长度，单位是公里。如何设计线路使得邮递员在经过每条街道至少一次的前期下总路程最短。 * 例 题 【解】步骤1需向其添加平行边扩展为欧拉图。 * 例 题 * 例 题 * 例 题 * 例 题 * 欧拉图与哈密顿图 1 二分图与匹配问题 2 本章学习内容 * 计算机应用技术研究所 * 二分图与匹配问题 * 计算机应用技术研究所 * 二分图与匹配问题 二分图的概念与性质 完备匹配与最大匹配 最大匹配判定与构造 * 二分图实例 【解】可将如图所示图模型的所有结点划分为应聘者和岗位这两个不同的集合，属于同一个集合的结点之间无边联结，图中所有边的两个端点均分属两个不同的集合。具有这种特征的图模型就是二分图。 * 二分图的定义 * 二分图的概念 * 完全二分图 * 例 题 【例】如图所示的图G和H是否为二分图。 【解】图G是二分图。图H则不是二分图。 * 例 题 * 二分图的判定 * 二分图的判定 * 二分图的判定 * 二分图的判定 * 例 题 【例】判定如图所示图模型是否为二分图。 * 例 题 【例】a,b,c,d,e,f分别为某次国际学术会议的六个成员，其中：a只会说德语、日语和俄语；b只会说汉语、法语和日语；c只会说俄语和西班牙语；d只会说汉语和西班牙语；e只会说英语和德语；f只会说英语和法语。会议时需要将该六人分为两组，是否会发生同一组内的任意两个成员不能互相直接交谈的情况？ * 计算机应用技术研究所 * 二分图与匹配问题 二分图的概念与性质 完备匹配与最大匹配 最大匹配判定与构造 * 计算机应用技术研究所 * 欧拉图与哈密顿图 欧拉图及其性质 哈密顿图及其性质 中国邮路问题 哈密顿图的引入 哈密顿图的引入 哈密顿图的定义 【定义】经过图中每个结点一次且仅一次的通路称为哈密顿通路。经过图中每个结点一次且仅一次的回路称为哈密顿回路。存在哈密顿回路的图称为哈密顿图；存在哈密顿通路的图称为半哈密顿图。 规定：平凡图为哈密顿图。 哈密顿图 哈密顿路径的特点 哈密顿通路是经过图中所有结点的最短通路，即：经过图中所有结点的基本通路。 哈密顿回路是经过图中所有结点的最短回路，即：经过图中所有结点的基本回路。 事实上，哈密顿通路就是图中所有结点的一个全排列。 * 例 题 【例】下面各图是否哈密顿图？是否存在哈密顿通路？ * 例 题 哈密顿图的必要条件 哈密顿图的必要条件 哈密顿图的推论 * 例 题 * 通常利用定理的逆否命题判断某图不是哈密顿图。 必要但非充分 * 例 题 * 例 题 哈密顿图的充分条件 定理的证明 定理的证明 定理的证明 奥尔定理 充分而非必要 * 例 题 【例】由7个外交官举行一场重要会议，其中A只会讲英语，B会讲英语和汉语，C会讲英语、意大利语和俄语，D会讲日语和汉语，E会讲德语和意大利语，F会讲法语、日语和俄语，G会讲法语和德语。问如何安排座位，使得在没有翻译官的情况下，这7个人都能够和他身边的人交谈。 【解】 * 例 题 * 例 题 * 例 题 * 例 题 * 计算机应用技术研究所 * 欧拉图与哈密顿图 欧拉图及其性质 哈密顿图及其性质 中国邮路问题 * 中国邮路问题 * 数学模型 * 问题分析 * 构造算法 * 构造算法 A D B C 欧拉图的引入 * * 欧拉图的引入 哥尼斯堡七桥问题：哥尼斯堡小镇有一条贯穿全市的小河，河上有两个小岛，由七座桥将这两个小岛及其与河两岸进行互联，如图所示。问题是怎样才能不重复、不遗漏地走完七座桥，并回到出发点。 欧拉图的定义 【定义】设 G=?V,E?是任意给定的一个图模型，通过图G中所有边一次且仅一次的通路称为欧拉通路，通过图G中所有边一次且仅一的回路称为欧拉回路。如果图G中存在欧拉回路，则称之为欧拉图，如果G中存在欧拉通路但不存在欧拉回路，则称之为半欧拉图。 规定：平凡图为欧拉图。 以上定义既适合无向图也适合有向图 欧拉图的特征 例 题 【例】判断图中，哪些图是欧拉图，哪些图是半欧拉图? 欧拉通路的判定 【定理】设 G=?V,E?是任意给定的一个无向图模型，则G=?V,E?是欧拉图当且仅当 G=?V,E?为连通图且所有结点度数均为偶数。 【推论】设 G=?V,E?是任意给定的一个无向图模型，则G=?V,E?是半欧拉图当且仅当 G=?V,E?为连通图且恰有2个奇度数结点。 例 题 【例】对于如图所示的图模型 ，试判断哪些图能够一笔画成。