离散数学课件(第7章)讲述.ppt

《离散数学》教案 计算机科学与技术学院 课程学时：64 主 讲：宋 成 第四篇：图论 图论是最近几年发展迅速而又应用广泛的一门新兴科学。图论是一个重要的数学分支。它最早起源一些数学游戏的难题研究，数学家欧拉1736年发表了关于图论的第一篇论文，解决了著名的哥尼斯堡七桥问题。克希霍夫对电路网络的研究、凯来在有机化学的计算中都应用了树和生成树的概念。以及在民间广为流传的一些游戏问题：例如迷宫问题、棋盘上马的行走路线问题等等。这些古老的问题当时吸引了许多学者的注意，从而在这些问题研究的基础上，又提出了著名的四色猜想和环游世界各国的问题 第四篇篇：图论 图论的不断发展，他在解决运筹学、网络理论、信息论、控制论、博弈论以及计算机科学等各个领域的问题时，显示出越来越大的效果 对于这样一门应用广泛的学科，其包含的内容是丰富的，本篇首先给出图、简单图、完全图、子图、路和图的同构等概念，接着研究了连通图性质和规律，给出了邻接矩阵、可达性矩阵、连通矩阵和完全关联矩阵的定义。最后介绍了欧拉图与哈密尔顿图、平面图、对偶图与着色、树与生成树。为今后有关学科及课程的学习和研究提供方便 第七章：图论 §7.1 图的基本概念 §7.2 路与回路 §7.3 图的矩阵表示 §7.4 欧拉图与哈密尔顿图 §7.5 平面图 §7.6 对偶图和着色 §7.7 树与生成树 第七章：图论 教学目的及要求： 深刻理解和掌握图的有关概念和表示 教学类容： 图的基本概念、路与回路、图的矩阵表示、欧拉图与汉密尔顿图、平面图、对偶图与着色、树与生成树。 教学重点： 图、路、图的矩阵表示、平面图、对偶图与着色、树与生成树 教学难点： 树与生成树。 第七章：图论 §7.1 图的基本概念 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 §7.2 路和回路 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 第七章：图论 图7.40的(a)也是一棵有序根树，按照上述方法，做完①得(b)，做完②得(c)，(c)是一颗二叉树。 第七章：图论 用二叉树表示有序根树的方法可以推广到森林中去，其方法如下： ①将森林中每一棵有序根树表示成二叉树。 ②除最左边的二叉树外，逐次将右边的二叉树作为左边的二叉树的根的右子树。 例如图7.39(a)中的有序根树和图7.40(a)中的有序根树从左向右组成的一个森林，此森林转化为二叉树，只须将图7.40(c)作为图7.39(c)的根v1的右子树就可以了。如图7.41所示。 ? 二叉树在计算机科学和技术中有广泛的应用，人们对它的研究也比较深入，有很多重要的结论，以下是最基本的几条。 【定义7.8.7】在根树中，由树根到分枝点的路长叫做内部通路长。由树根到树叶的路长叫做外部通路长。若v是根树的任意结点，树根到v的路长叫做结点v通路长，它是内部通路长或外部通路长，结点v通路长记为l(v)。 【定理7.8.2】若完全二叉树有n个分枝点，内部通路长度的总和为I，外部通路长度的总 和为E，则E=I＋2n。 证明:对分枝点的数目n进行归纳证明。 ① n=1，即一个分枝点，两片树叶， 如图7.42所示。I=0，E=2=I＋2n。 ②设n=k-1时，结论成立，即Ek–1=Ik–1＋2(k-1)。以下证明，当n=k时，结论也成立，即Ek=Ik＋2k。 设Tk的分枝点为k个，如果删除一个分支点v，v的内部通路长为l且v的两个儿子是树叶，得到新树 Tk–1。Tk–1与Tk比较，减少了两片外部通路长为l+1的树叶和一个内部通路长为l的分枝点。增加了一个外部通路长为l树叶。故在Tk中，Ek= Ek–