哥尼斯堡七桥问题与图论.docxVIP

PAGE PAGE 1 哥尼斯堡七桥问题与图论 大家公认，图论诞生于七桥问题．出生于瑞士的伟大数学家欧拉（Leonhard Euler，1707—1783）于 1736 年发表了论文《与位置几何有关的一个问题的解》， 文中提出并解决了七桥问题，为图论的形成奠定了基础．今天，图论已广泛应用在计算机学科、运筹学、控制论、信息论等学科中，成为对现实世界进行抽象的一个强有力的数学工具． 七桥问题是这样描述的：17 世纪的东普鲁士有一座哥尼斯堡城（现在叫加里宁格勒，在波罗的海南岸），城中有一座岛，普雷格尔河的两条支流环绕其旁， 并将整个城市分成北区、东区、南区和岛区4 个区域，全城共有七座桥将 4 个城区连接起来，图1 是这条河以及河上的两个岛和七座桥的草图．于是，产生了一个有趣的数学难题：一个人是否能在一次步行中穿越全部的七座桥后回到起点， 且每座桥只经过一次， 为了解决哥尼斯堡七桥问题，欧拉用 A、B、C、D 表示 4 个城区，用 7 条线表示 7 座桥，将哥尼斯堡七桥问题抽象为一个图模型，如图2 所示，从而将哥尼斯堡七桥问题抽象为一个数学问题：求经过图中每条边一次且仅一次的回路，后来人们称之为欧拉回路．欧拉论证了这样的回路是不存在的，并且将问题进行了一般化处理，即对于任意多的城区和任意多的桥，给出了是否存在欧拉回路的判定规则： 如果通奇数桥的地方多于两个，则不存在欧拉回路； 如果只有两个地方通奇数桥，可以从这两个地方之一出发，找到欧拉回路； 如果没有一个地方通奇数桥，则无论从哪里出发，都能找到欧拉回路．在欧拉发现七桥问题之后的一个世纪，著名的爱尔兰数学家哈密顿（William Hamilton，1805—1865）提出了另一个著名的问题——哈密顿回路问题，他用正十二面体的 20 个顶点代表 20 个城市，要求从一个城市出发，经过每个城市恰好一次，然后回到出发城市．图3 所示是一个正十二面体的展开图，按照图中的顶点编号所构成的回路，就是哈密顿回路的一个解． 哈密顿回路与欧拉回路看上去十分相似，但他们是两个不同的问题．哈密顿回路是访问每个顶点一次且仅一次，而欧拉回路是访问每条边一次且仅一次．对一个图是否存在欧拉回路已经给出充分必要条件，而对一个图是否存在哈密顿回路至今未找到充分必要条件．