(20120901)第四部分图论简介.ppt

图论简介 图论简介 图论是以图作为研究对象的一个数学分支，有一套完整的体系和广泛的内容。它的起源可以追溯到1736年欧拉关于哥尼斯堡桥问题的研究。在19世纪和20世纪的前半期，图论中主要研究 一些游戏问题，诸如迷宫问题、博弈问题和棋盘上马的行走路线等。 1847年，克希荷夫应用图论的方法来分析电网络，奠定了现代网络理论的基础，第一次将图论应用于工程技术。1857年，凯莱在试算饱和碳化氢的同分异性体时，提出了“树”的概念。在这段时间，对图论的发展另有两个里程碑。一个是莫别斯约于1840年提出的“四色猜想”。另一个是威廉。哈密尔顿于1859年提出的周游世界问题。 图论简介 此后约半个世纪研究图论的人并不多，直到1936年哥尼格发表了第一本图论专著，从些图论才成为一门独立的学科。本世纪30年代后，由于科学技术发展对离散数学模型提出了迫切的要求，图论才成长为一门独立的学科。 现在它已广泛地应用于物理、化学、电子学、通讯科学、计算机科学、经济学、语言学和心理学等各个领域，并与群论、拓扑学、运筹学、七概率论等其它一些数学分支相互渗透。近年来，图论这门学科发展迅速，并陆续出现了拓扑图论、代数图论、极图理论、随机图论等新的研究方向。 图论简介 列昂哈德。欧拉（Leonhard Euler 公元1707-1783年） 1707年出生在瑞士的巴塞尔（Basel）城，13岁就进巴塞尔大学读书，得到当时最有名的数学家约翰·伯努利（Johann Bernoulli，1667-1748年）的精心指导。1733年，年仅26岁的欧拉担任了彼得堡科学院数学教授。欧拉渊博的知识，无穷无尽的创作精力和空前丰富的著作，都是令人惊叹不已的！ 图论简介 他从19岁开始发表论文，直到76岁，半个多世纪写下了浩如烟海的书籍和论文。到今几乎每一个数学领域都可以看到欧拉的名字，共写下了886本书籍和论文，其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3%，彼得堡科学院为了整理他的著作，足足忙碌了四十七年。 欧拉还创设了许多数学符号 例如 π(1736年)，i(1777年)，e(1748年)，sin和cos(1748年)，tg(1753年)，△x(1755年)，Σ(1755年)，f(x)(1734年)等。 1736年发表了图论的首篇论文，解决了哥尼斯堡七桥问题，奠定了图论的基础，目前一般公认欧拉为图论之父。 图论简介 七桥问题和一笔画 18世纪时，欧洲有一个风景秀丽的小城哥尼斯堡，那里有七座桥。如图1所示：河中的小岛A与河的左岸B、右岸C各有两座桥相连结，河中两支流间的陆地D与A、B、C各有一座桥相连结。当时哥尼斯堡的居民中流传着一道难题：一个人怎样才能一次走遍七座桥，每座桥只走过一次，最后回到出发点？大家都试图找出问题的答案，但是谁也解决不了这个问题。 图论简介 四色问题又称四色猜想，是近代数学难题之一。 1852年，刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中提出了这样的猜想：在一幅正规地图中。凡是有共同边界结的国家，都可以最多只用四种颜色着色,就能把这些国家区别开来。弗雷赘克读了这封信后，就企图用数学方法来加以证明。但是，他花了许多时间，仍是毫无头绪，他只好去请教他的教师摩尔根，就把它交给了英国著名的数学家哈密顿，直到1865年哈密顿逝世为止，这个问题还没有得到解决。于是这个问题便以“四色猜想”的名字留在了近代数学史上。 图论简介 1976年美国数学家阿佩尔（K.Appel）与哈肯（W.Haken）用电子计算机运行1200小时加以证明。四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家接受，因为它不能由人工直接验证。最终，人们必须对计算机编译的正确性以及运行这一程序的硬件设备 充分信任。在1890年，赫伍德成功地证明了五色定理，即一张地图一共能用五种颜色正确地染色。 图论简介 周游世界问题: 1859年威廉·哈密尔顿爵士发明了一个小玩具，这个小玩具是一个木刻的正十二面体，每面系正五角形，三面交于一角，共有20个角，每角标有世界上一个重要城市，如图所示。他提出一个问题：要求沿正十二面体的边寻找一条路通过20个城市，而每个城市只通过一次，最后返回原地。 哈密尔顿将此问题称为周游世界问题， 并且作了肯定的回答。 * * 闽南师范大学计算机学院 欧拉、克希荷夫、凯莱、哈密尔顿