图论

图论

数学分支
图论〔Graph Theory〕是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形,这种图形通常用来描述某些事物之间的某种特定关系,用点代表事物,用连接两点的线表示相应两个事物间具有这种关系。一些由结点及边构成的图称为线图。在线图中,结点的位置分布和边的长短曲直都可以任意描画,这并不改变实际问题的性质。我们关心的是它有多少个结点,在哪些结点间有边相连,以及整个线图具有的某些特性。
    中文名:图论 外文名: 适用领域:数学 所属学科: 英文名:Graph Theory 提出者:欧拉 提出时间:1736年 应用学科:数学 拼音:tú lùn

概述

图G=(V,E)是一个二元组(V,E)使得E⊆[V]的平方,所以E的元素是V的2-元子集。为了避免符号上的混淆,我们总是默认V∩B=Ø。集合V中的元素称为图G的定点(或节点、点),而集合E的元素称为边(或线)。通常,描绘一个图的方法是把定点画成一个小圆圈,如果相应的顶点之间有一条边,就用一条线连接这两个小圆圈,如何绘制这些小圆圈和连线时无关紧要的,重要的是要正确体现哪些顶点对之间有边,哪些顶点对之间没有边。

图论本身是应用数学的一部份,因此,历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论著中,他所考虑的原始问题有很强的实际背景。

起源

众所周知,图论起源于一个非常经典的问题——柯尼斯堡(Konigsberg)问题。

1738年,瑞典数学家欧拉(Leornhard Euler)解决了柯尼斯堡问题。由此图论诞生。欧拉也成为图论的创始人。

1859年,英国数学家汉密尔顿发明了一种游戏:用一个规则的实心十二面体,它的20个顶点标出世界著名的20个城市,要求游戏者找一条沿着各边通过每个顶点刚好一次的闭回路,即“绕行世界”。用图论的语言来说,游戏的目的是在十二面体的图中找出一个生成圈。这个生成圈后来被称为汉密尔顿回路。这个问题后来就叫做汉密尔顿问题。由于运筹学、计算机科学和编码理论中的很多问题都可以化为汉密尔顿问题,从而引起广泛的注意和研究。

猜想

在图论的历史中,还有一个最著名的问题--四色猜想。这个猜想说,在一个平面或球面上的任何地图能够只用四种颜色来着色,使得没有两个相邻的国家有相同的颜色。每个国家必须由一个单连通域构成,而两个国家相邻是指它们有一段公共的边界,而不仅仅只有一个公共点。这一问题最早于1852年由Francis Guthrie提出,最早的文字记载则现于德摩根于同一年写给哈密顿的信上。包括凯莱、肯普等在内的许多人都曾给出过错误的证明。

泰特(Tait)、希伍德(Heawood)、拉姆齐和哈德维格(Hadwiger)对此问题的研究与推广引发了对嵌入具有不同亏格的曲面的图的着色问题的研究。一百多年后,四色问题仍未解决。1969年,Heinrich Heesch发表了一个用计算机解决此问题的方法。1976年,阿佩尔(Appel)和哈肯(Haken)借助计算机给出了一个证明,此方法按某些性质将所有地图分为1936类并利用计算机,运行了1200个小时,验正了它们可以用四种颜色染色。

四色定理是第一个主要由电脑证明的理论,这一证明并不被所有的数学家接受,因为采用的方法不能由人工直接验证。最终,人们必须对电脑编译的正确性以及运行这一程序的硬件设备充分信任。主要是因为此证明缺乏数学应有的规范,以至于有人这样评论“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿!”

虽然四色定理证明了任何地图可以只用四个颜色着色,但是这个结论对于现实上的应用却相当有限。现实中的地图常会出现飞地,即两个不连通的区域属于同一个国家的情况(例如美国的阿拉斯加州),而制作地图时我们仍会要求这两个区域被涂上同样的颜色,在这种情况下,四个颜色将会是不够用的。

20世纪80-90年代曾邦哲的综合系统论(结构论)观将“四色猜想”命题转换等价为“互邻面最大的多面体是四面体”。每个地图可以导出一个图,其中国家都是点,当相应的两个国家相邻时这两个点用一条线来连接。所以四色猜想是图论中的一个问题。它对图的着色理论、平面图理论、代数拓扑图论等分支的发展起到推动作用。

(下图是在上下对折再左右对折以后形成一个轮胎形状,有7个区域两两相连,就是说在一个环面上作图,需要7种颜色,外国数学家构造林格证明:Np=[(7+√1+48p)/2],p=1,N1=7。

图论的广泛应用,促进了它自身的发展。20世纪40-60年代,拟阵理论、超图理论、极图理论,以及代数图论、拓扑图论等都有很大的发展。

拓扑学

几何拓扑学是十九世纪形成的一门数学分支,它属于几何学的范畴。有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题,后来在拓扑学的形成中占着重要的地位。

在数学上,关于哥尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。

哥尼斯堡(今俄罗斯加里宁格勒)是东普鲁士的首都,普莱格尔河横贯其中。十八世纪在这条河上建有七座桥,将河中间的两个岛和河岸联结起来。人们闲暇时经常在这上边散步,一天有人提出:能不能每座桥都只走一遍,最后又回到原来的位置。这个问题看起来很简单有很有趣的问题吸引了大家,很多人在尝试各种各样的走法,但谁也没有做到。看来要得到一个明确、理想的答案还不那么容易。

1736年,有人带着这个问题找到了当时的大数学家欧拉,欧拉经过一番思考,很快就用一种独特的方法给出了解答。欧拉把这个问题首先简化,他把两座小岛和河的两岸分别看作四个点,而把七座桥看作这四个点之间的连线。那么这个问题就简化成,能不能用一笔就把这个图形画出来。经过进一步的分析,欧拉得出结论--不可能每座桥都走一遍,最后回到原来的位置。并且给出了所有能够一笔画出来的图形所应具有的条件。这是拓扑学的“先声”。

在拓扑学的发展历史中,还有一个著名而且重要的关于多面体的定理也和欧拉有关。这个定理内容是:如果一个凸多面体的顶点数是v、棱数是e、面数是f,那么它们总有这样的关系:f+v-e=2。

根据多面体的欧拉定理,可以得出这样一个有趣的事实:只存在五种正多面体。它们是正四面体、正六面体、正八面体、正十二面体、正二十面体。

相关词条

相关搜索

其它词条