第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 树 第9章 图的应用 本章讨论几类具有理论研究与实际应用意义的特殊图，包括欧拉图、汉密尔顿图、平面图、二分图、最短路径和关键路径问题等。这些图在计算机科学中具有广泛的应用，如数据库的实现、优化算法、工作分配、计算机网络等方面。本章主要介绍这些图的基本性质及其相关应用。 第9章 图的应用 主要内容： 9.1 欧拉图 9.2 哈密尔顿图 9.3 二分图与匹配 9.4 平面图 9.5 最短路径与关键路径 9.1 欧拉图 图论的研究与应用中，常常需要以一种特殊的方式对图进行遍历，如经过图的每一条边或每一个结点一次且仅一次的遍历。欧拉图与哈密尔顿图就是讨论这些问题的经典图模型。 在图论的开篇中，我们曾经提到过“哥尼斯堡七桥”问题。在该问题中，欧拉意识到陆地大小形状以及桥的长度等与求解问题是无关的，于是将实际的问题转化为多重图的模型。得到简化的图模型后，欧拉进一步注意到图的每一个结点的度数为奇数，如果从任何一结点出发，由于要构成回路，就必须回到该结点。但由于度数是奇数，且每条边 9.1 欧拉图 仅能遍历一次，故不可能再回到该结点，即不能构成回路。欧拉进一步得出了一个图存在欧拉回路的充分必要条件，有下面的定义与定理： 一、欧拉图的定义 定义9.1.1 给定无孤立点图G，若存在一条回路，经过图中的每边一次且仅一次，该回路称为欧拉回路(Euler circuit)。具有欧拉回路的图称为欧拉图(Euler grpah)。若存在一条迹（通路），经过图中每边一次且仅一次，该条路称为欧拉迹（通路）(Euler trail)。 9.1 欧拉图 定理9.1.1 图G是欧拉图当且仅当G是连通的且每个结点的度数为偶数。 有了欧拉回路的判别定理，因此哥尼斯堡七桥问题立即有了确切的答案，因为有四个结点的度数皆为奇数，故欧拉路必不存在。 推论9.1.1 连通图G是半欧拉图，当且仅当G恰有两个奇数度结点。且图中的欧拉迹一定始于一个奇数度结点而止于另一个奇数度结点。 9.1 欧拉图 而对于有向图，可以类似地有如下定义与定理： 定义9.1.2 给定有向图G，通过图中每边一次且仅一次的一条单向回路（迹），称作单向欧拉回路（欧拉迹）。如果