ORnab图论.ppt

第五章：图论(graph theory ) ;第五章：图论 (graph theory ) ;简介; 随着科学技术的进步，特别是电子计算机技术的发展，图论的理论获得了更进一步的发展，应用更加广泛。如果将复杂的工程系统和管理问题用图的理论加以描述，可以解决许多工程项目和管理决策的最优问题。因此，图论越来越受到工程技术人员和经营管理人员的重视。 。 ; 这里，将对图论与网络优化的基本概念与理论作初步的介绍。需要指出的是，不同文献中所使用的图论术语与符号都不尽相同，缺乏统一的标准，因此，此处尽量使用较普遍的术语与符号。;一、七桥问题;哥尼斯堡七桥问题; （见图5.1 a）当地的居民热衷于这样一个问题，一个漫步者如何能够走过这七座桥，并且每座桥只能走过一次，最终回到原出发地。尽管试验者很多，但是都没有成功。为了寻找答案，1736年欧拉将这个问题抽象成图5.1b所示图形的一笔画问题。;哥尼斯堡七桥问题可简化为以下图形 其中的四个顶点都是奇顶点;C; 即能否从某一点开始不重复地一笔画出这个图形，最终回到原点。欧拉在他的论文中证明了这是不可能的，因为这个图形中每一个顶点都与奇数条边相连接，不可能将它一笔画出，这就是古典图论中的第一个著名问题。;二、四色问题; 1878年6月13日，英国当时著名的数学家凯利(Arthur Cayley)正式向伦敦数学学会提出这个问题，之后，四色猜想开始成了世界数学界关注的问题。许多一流的数学家纷纷加入研究，1879年，著名的律师兼数学家肯普(Alfred Bray Kempe)提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此解决了。11年后，即1890年，数学家赫伍德(Percy John Heawood)以自己的精确计算指出肯普的证明是错误的，但该方法经补救后可用来证明五色定理。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马(Fermat)猜想相媲美的难题。; 进入20世纪以后，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。美国数学家富兰克林(Franklin)于1922年证明了25国以下的地图都可以用四色着色，1926年，结果推进到27国，1938年，推进到31国，1940年，推进到35国，1970年，推进到40国，随后又推进到了96国。后来，由于计算机性能的迅速提高，以及人机对话的出现，大大加快了四色猜想证明的进程。1976年6月，美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)经过整整4年的紧张工作，在伊利诺斯大学的两台不同计算机上，花费了1200个小时，作了100亿个判断，终于完成了四色定理的证明。; 四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有一些数学家并不满足于计算机取得的成就，他们仍在寻找着简捷明快的纯数学证明方法。1995年，中国学者李宏棋给出了一个数学证明，收录于《中国科学技术文库》数理科学和化学卷。;图论基本概念 ;【定义1】 非空点集V与连接点的某个线集E之二元组称为图，记作G = (V, E)。G 中的点v称为顶点，线e称为边。V与E所含元素个数各记作p (G)与q (G)，简记为p与q。; 环与多重边：两个顶点相同的边称为环，如e22，两个顶点之间的边数≥2时,叫多重边,如e13 ,e’13就是二重边。 ; 有多重边的图称为多重图，无环且无多重边的图称为简单图。这里，主要研究简单图。为便于讨论，尽量避免边与边交叉或自交的情形。 ;【定义2】 点v关联边的个数称为v的次（或度），记为d (v) 或deg (v)。当d (v) = 0，v称为孤立点；当d (v) = 1，v称为悬挂点；当d (v)为奇（偶）数，v称为奇（偶）点。;悬挂点与孤立点：;v3;v1;二、基本性质; 定理二 所有顶点度数之和等于所有边数的2倍。 ; 定理三在任一图中，奇点的个数必为偶数。; 【例1】 今有9人vi (i = 1, 2, …, 9) 相聚。已知v6、v7各和4人握过手，v8、v9各和6人握过手。证明：9人中必有3人互相握过手。; 在图论中，我们只关心两点间是否有联系，至于公路的大小、等级、状况均无关紧要，亦即不考虑线段（边）的长度，点的位置带有随意性，它们并不按比例尺画，如五个镇之间的连接图也可画成右图表示。 ;三、连通图;图的连通性： 链：由两两相邻的点及其相关联的边构成的点边序列。 如:v0 ,e1 ,