图论教案final.doc

§1 图论的著名问题与历史 图论是数学中一个既古老又年轻的数学分支．欧拉1736年关于哥尼斯堡七桥问题论文的发表标志着图论的诞生．自二十世纪五十年代开始，由于运筹学、计算机科学的促进，以及应用领域的扩大，图论已成为一个独立的数学分支．特别在近三十年，图论正经历着一个蓬勃发展的时期，表现出年轻学科所具有的强大生命力． 图论中的几个著名问题 例1.哥尼斯堡七桥问题 哥尼斯堡历史上曾是德国东普鲁士的省会，第二次世界大战后归苏联所有，也 就是现在的加里宁格勒市.普列格尔（Pregel）河穿城而过，河中有两个小岛，岛与河岸及岛与岛之间有七座桥.当时流行很广的一个难题是：能否从河岸或两个小岛中的任一处出发，经过每一座桥一次且仅一次再回到出发地呢？这个问题被瑞士数学家欧拉解决了.如下图所示，A、B、C、D表示陆地. 1736年，欧拉（1707-1783）在俄国彼得堡科学院院报上发表了一篇论文.他在论文中引进了图的概念和方法，用抽象分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个「图」，将七桥问题转化为一笔画问题.欧拉证明了这个问题没有解——这是由于此「图」与每个顶点相关联的边数均为奇数，并且推广了这个问题.给出了对于一个给定的图可以某种方式一笔画的判定法则.这项工作使欧拉成为图论﹝及拓扑学﹞的创始人. 引深：图G是欧拉图的充要条件是什么？ 例2．哈密尔顿多面体问题 1856年英国数学家哈密尔顿（1790-1868）提出了这样一个问题：用一个规则的实心十二面体，它的二十个顶点标出世界著名的二十个城市，要求游戏者找一条沿着各边通过每个顶点刚好一次的闭回路，即「绕行世界」.用图论的语言来说，游戏的目的是在十二面体的图中找出一个包含所有顶点的圈.这个问题后来就叫做哈密顿问题.由于运筹学、计算机科学和编码理论中的很多问题都可以化为哈密顿问题，从而引起广泛的注意和研究. 引深：什么图是哈密尔顿图呢？其判定条件如何？ 例3.四色问题 在一个平面或球面上的任何地图能够只用四种颜色来着色，使得没有两个相邻的国家有相同的颜色.每个国家必须由一个单连通域构成，而两个国家相邻是指它们有一段公共的边界，而不仅仅只有一个公共点.四色猜想有一段有趣的历史.每个地图可以导出一个图，其中国家都是点，当相应的两个国家相邻时这两个点用一条线来连接.所以四色猜想是图论中的一个问题.它对图的着色理论、平面图理论、代数拓扑图论等分支的发展起到推动作用. 问题转化为：给平面图G的顶点着色，使任一对相邻顶点具有不同的颜色，那么至少要多少种颜色？ 1852年，英国的弗兰西斯提出了四色问题；1878年凯莱在伦敦数学会宣布了此问题，引起了数学界的广泛重视.肯佩和泰特分别与1879年和1880年发表文章，声明证明了四色问题；11年后，希伍德于1890年指出了肯佩证明中的错误，却利用肯佩的方法证明了五色定理；1891年彼得森又指出了泰特证明中的错误，却利用泰特的方法证明了四色猜想的一个等价命题.世界上许多数学家为四色猜想倾注了大量心血.经过一百多年后，这个貌似简单的四色猜想被美国的阿佩尔和哈肯于1976年借助于电子计算机给出了证明.他们的证明用计算机大约需要1200小时，要作出100亿个独立的逻辑判断！他们的工作无疑具有开创性，是值得称赞的.给出四色定理一个无需借助于计算机的证明乃是一个未能解决的问题. 二、图论发展简史 1736年，欧拉关于哥尼斯堡七桥问题的论文的发表，人们普遍认为图论由此诞生. 1847年，德国数学家、物理家克希荷夫应用图论方法来分析电网络，奠定了现代网络理论的基础. 1852年，佛兰西斯提出了四色猜想，引起了数学界的广泛注意，使许多数学家对图论产生了浓厚的兴趣，极大地推动着图的着色理论的发展. 1856年，爱尔兰数学家哈密尔顿提出了正十二面体游戏问题，引出了哈密尔顿的理论. 1857年，英国数学家凯莱在研究饱和碳氢化合物的同分异性体时，发现了“树”的概念和理论，并由此预见了未知化合物的存在. 1936年，匈牙利数学家哥尼科，总结前人的成果，发表了第一部图论专著《有限图和无限图的理论》. 自二十世纪五十年代开始，由于运筹学、计算机的促进以及应用领域的扩大，图论已成为了一个独立的数学分支.特别在近二十年，图论正经历着一个蓬勃发展的时期，表现出年轻学科所具有的强大生命力.许多大学的系，如数学系、计算机科学系、运筹系、组合优化系、电机系等都开设了图论这门课.图论是一门应用广泛的数学分支，它不但在自然科学的许多领域有重要的应用，还应用于社会科学的诸多方面.许多实际问题（离散）所建立的数学模型就是一个图论模型.图论不但与大学生数学建摸竞赛