第7章_图论.docVIP

天津理工大学本科《离散数学》教学教案  PAGE 294 第7章 图论 学习目标： 1．掌握图、子图、结点的度数、有向图、无向图、多重图、完全图、补图、生成子图、图的同构、路、回路、连通图、弱连通、强连通等概念及其性质； 2．掌握图的矩阵表示，给定图的邻接矩阵会求（1）任一结点的入度、出度和度数；（2）一个结点到另一个结点长度为k的路径的条数；（3）该图的可达性矩阵。 3．了解欧拉图和汉密尔顿图及其判别； 4．掌握平面图的概念及其判别方法； 5．掌握树、有向树、无向树、生成树、最小生成树、根树、树根、树叶、分枝点、有序树、完全m叉树、正则m叉树、最优树等概念及其有关性质； 6．掌握有关树的几个等价命题及其证明； 7．熟练掌握最小生成树的Kruscal算法及最优二叉树的构造方法。 主要内容： 1．代数系统的概念 2．二元运算的性质及其判定 3．半群及其性质 4．含幺半群及其性质 5．群与子群 6．阿贝尔群和循环群 7．置换群 8．代数系统的同态与同构 9．环与域 重点： 1．图的矩阵表示； 2．结点的度数及其相关性质； 3．树、有向树、无向树、生成树、最小生成树、根树、树根、树叶、分枝点、有序树、完全m叉树、正则m叉树、最优树等概念及其有关性质； 4．有关树的几个等价命题及其证明； 5．最小生成树的Kruscal算法及最优二叉树的构造方法。 难点： 无 教学手段： 通过多个实例的精讲帮助同学理解重点的内容，并通过大量的应用实例使同学们巩固和掌握图的一些基本概念、结点的度数及其相关性质、图的矩阵表示、树、有向树、无向树、生成树、最小生成树、根树、树根、树叶、分枝点、有序树、完全m叉树、正则m叉树、最优树等概念及其有关性质、最小生成树的Kruscal算法及最优二叉树的构造方法。 习题： 习题7.1：2，4，6；习题7.2：2，4；习题7.3：1，2，4；习题7.4：1，2，5，7；习题7.6：1，2，4；习题7.7：1，4，5；习题7.8：2，4。 图论是建立和处理离散型数学模型的重要数学工具，它已发展成具有广泛应用的一个数学分支。图论的发展已有200多年的历史，它最早起源于一些数学游戏的难题研究。1736年瑞???数学家欧拉（L.Eluer）发表了关于解决哥尼斯堡七桥问题的一篇文章，标志着图论的正式诞生。从19世纪中叶到20世纪中叶，图论问题大量出现，如汉密尔顿图问题、四色猜想等。这些问题的出现进一步促进了图论的发展。随着计算机科学的迅猛发展，在现实生活中的许多问题，如交通网络问题，运输的优化问题，社会学中某类关系的研究，都可以用图论进行研究和处理。图论在计算机领域中，诸如算法、语言、数据库、网络理论、数据结构、操作系统、人工智能等方面都有重大贡献。 本章主要介绍图论的基本概念、基本性质和一些典型应用。 7.1 图的基本概念 7.1.1　图的基本概念 1.图的定义 图在现实生活中随处可见，如交通运输图、旅游图、流程图等。此处我们只考虑由点和线所组成的图。这种图能够描述现实世界的很多事情。例如，用点表示球队，两队之间的连线代表二者之间进行比赛，这样，各支球队的比赛情况就可以用一个图清楚地表示出来。 到底什么是图呢？可用一句话概括：图是用点和线来刻划离散事物集合中的每对事物间以某种方式相联系的数学模型。因为上述描述太过于抽象，难于理解，因此下面给出图作为代数结构的一个定义。 定义7.1.1 一个图（Graph）是一个三元组〈，，〉，其中是一个非空的节点集合，是有限的边集合，是从边集合到点集合中的有序偶或无序偶的映射。 例7.1.1 图=〈，，〉， 其中=，=， ，，，，，。 一个图可以用图形表示出来。例7.1.1的图可表示为图7-1()或()。 由于在不引起混乱的情况下，图的边可以用有序偶或无序偶直接表示。因此，图也可以简单的表示为： 其中，是非空节点集， 是连接节点的边集。 图7-1 若边与节点无序偶相关联，则称该边为无向边（Undirected Edge）。 若边与节点有序偶相关联，则称该边为有向边（Directed Edge），其中称为的起点（Initial Vertex），称为的终点（Terminal Vertex）。 定义7.1.2 每一条边都是无向边的图称为无向图（Undirected Graph），例如图7-2()。 每一条边都是有向边的图称为有向图（Directed Graph），例如图7-2()。 如果在图中，一些边是有向边，一些边是无向边，则称之为混合图（Mixed Graph）。例如图7-2()。 图7-2 这些图可分别表示为： G=V, E，其中， ，其中， ，其中， 今后我们只讨论有向图和无向图。 2. 图G的节点与边之间的关系及图的分类 定义7.1.3 在一个图中