第4篇-图论之基本概念.pptVIP

第4篇 图论 主讲人：任长安 计算机与信息科学系 2009.07 引言 图论是在民间游戏当中孕育和诞生的，作为数学的一个分支已有两百多年的历史。图论的起源可以追溯到1736年由瑞士数学家欧拉(Leonhard Euler，1707-1783)撰写的一篇解决“哥尼斯堡七桥问题”的论文。哥尼斯堡是东普鲁士的一座城，流经该城的Pregel河将城市分为彼此之间由七座桥相连接的四个部分，如图1（a）所示。当时，一些好奇的市民尝试这样一个有趣的游戏：从一个地方出发，通过每座桥一次且仅一次，最后回到出发地，这样的路线是否存在？ 引言 欧拉在论文中给出了解决这个问题的很容易理解的简单证明，他将这个问题转化为图1（b）所示的问题，将被河流分割的城市四个部分用点从A、B、C、D来表示，而将七座桥用称为边的线段来表示，于是问题转化为：任何一点出发，是否存在通过每条边一次且仅一次又回到出发点的路？欧拉的结论是不存在这样的路。显然，问题的结果并不重要，最为重要的是欧拉解决这个问题的中间步骤，即抽象为图的形式来分析这个问题，当时来说，这是一种全新的思考方式，由此欧拉在他的论文中提出了一个新的数学分支，即图论，因此，欧拉也常常被图论学家称为“图论之父”。? 引言 引言 在欧拉之后，图论得到了迅速的发展。一些图论中的著名问题如四色问题(1852年)和哈密尔顿环游世界问题(1856年)也大量出现。同时出现了以图为工具去解决其它领域中一些问题的成果。1847年德国的克希霍夫(G.R.Kirchoff)将树的概念和理论应用于工程技术的电网络方程组的研究。1857年英国的凯莱(A.Cayley)也独立地提出了树的概念，并应用于有机化合物的分子结构的研究中。1936年匈牙利的数学家哥尼格(D.Konig) 发表了第一部集图论二百年研究成果于一书的图论专著《有限图与无限图理论》，这是现代图论发展的里程碑，标志着图论已经作为一门独立的学科。 ? 引言 ?现代电子计算机的出现与广泛应用极大地促进了图论的发展和应用。在计算机科学中计算机科学的核心之一就是算法的设计与理论分析，而算法是以图论与组合数学为基础；图论与组合数学关系也非常密切，已正式成为计算机诸多分支中一种有力的基础工具。因而，作为计算机专业人员，了解和掌握图论的基本原理和方法是必要的。现在，它已成为系统科学、管理科学、运筹学、化学、经济学、网络理论、信息论、控制论等学科和理论研究中的重要数学工具，受到数学界和工程技术界越来越多广泛的重视。 主要内容 1 图的基本概念及表示 2 图的应用 3 树 第8章 图的基本概念及表示 图是人们日常生活中常见的一种信息载体，其突出的特点是直观、形象。我们所讨论的图（graph）与人们通常所熟悉的图，例如圆、椭圆、函数图标等是不相同的。图论中所谓的图是指某类具体离散事物集合和该集合中的每对事物间以某种方式相联系的数学模型。如果我们用点表示具体事物，用连线表示一对具体事物之间的联系，那么，一个图就是由一个表示具体事物的点的集合和表示事物之间联系的一些线的集合所构成，至于点的位置和连线的长短曲直是无关紧要的。 本章主要介绍图论的基本概念、图的运算、连通性以及图的矩阵表示。 第8章 图的基本概念及表示 主要内容： 8.1 图的基本概念 8.2 图的运算 8.3 路径与图的连通性 8.4 图的矩阵表示 8.1 图的基本概念 例8.1 时间安排问题。某大学计算机学院的某教研组共有10名教师，他们分别参加7个班级的讨论课，每个班级可能同时需要多位教师参加，有的教师可能需要参加多个班级的讨论，每个班级必须单独开展讨论课。参加各个班级讨论课的教师情况如下（数字为教师编号）： c1={1，2，3}，c2={1，3，4，5}，c3={2，5，6，7}，c4={2，6，7}，c5={4，7，8，9}，c6={8，9，10}，c7={1，3，9，10}。 这样，一位教师如果给多个班级都授课，则在讨论课时间安排方面则不能冲突，如教师1不能同时参加班级c1与班级c2的讨论课。这种情况可以用图8.1直观地表示。 8.1 图的基本概念 8.1 图的基本概念 如从图中容易看到：c1代表的班级不能与c2、c7代表的班级同时开展讨论课，因此，至少需要安排三个时段，而c1与c5，c6间没有边存在，因此c5、c6均可以与c1在同一时段开展讨论，但c5、c6之间有边存在，故只能c5、c6之一与c1可以在同一时段开展讨论课，等等，依此类推，可以得到各班级开展讨论课时段的安排，但显然，这是比较繁琐的工作，因此，需要一些图的术语来描述这个问题，而且如果能根据图的一些相关性质来设计一个好的算法才是最佳的选择。 8.1 图的基本概念 一、图的定义 定义8.1 由集合V和E组成的数学结构G=V，E叫图。其中