哥尼斯堡七桥问题
七桥问题Seven Bridges Problem

七桥问题Seven Bridges Problem著名古典数学问题之一。
在哥尼斯堡的一个公园里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图)。
问是否可能从这四块陆地中任一块出发,恰好通过每座桥一次,再回到起点?欧勒于1736年研究并解决了此问题,他把问题归结为如下右图的“一笔画”问题,证明上述走法是不可能的。
有关图论研究的热点问题。
18世纪初普鲁士的柯尼斯堡,普雷格尔河流经此镇,奈发夫岛位于河中,共有7座桥横跨河上,把全镇连接起来。
当地居民热衷于一个难题:是否存在一条路线,可不重复地走遍七座桥。
这就是柯尼斯堡七桥问题。
L.欧拉用点表示岛和陆地,两点之间的连线表示连接它们的桥,将河流、小岛和桥简化为一个网络,把七桥问题化成判断连通网络能否一笔画的问题。
他不仅解决了此问题,且给出了连通网络可一笔画的充要条件是它们是连通的,且奇顶点(通过此点弧的条数是奇数)的个数为0或2。
当Euler在1736年访问Konigsberg, Prussia(now Kaliningrad Russia)时,他发现当地的市民正从事一项非常有趣的消遣活动。
Konigsberg城中有一条名叫Pregel的河流横经其中,这项有趣的消遣活动是在星期六作一次走过所有七座桥的散步,每座桥只能经过一次而且起点与终点必须是同一地点。
Euler把每一块陆地考虑成一个点,连接两块陆地的桥以线表示。
后来推论出此种走法是不可能的。
他的论点是这样的,除了起点以外,每一次当一个人由一座桥进入一块陆地(或点)时,他(或她)同时也由另一座桥离开此点。
所以每行经一点时,计算两座桥(或线),从起点离开的线与最后回到始点的线亦计算两座桥,因此每一个陆地与其他陆地连接的桥数必为偶数。
七桥所成之图形中,没有一点含有偶数条数,因此上述的任务无法完成.欧拉的这个考虑非常重要,也非常巧妙,它正表明了数学家处理实际问题的独特之处——把一个实际问题抽象成合适的“数学模型”。
哥尼斯堡七桥问题与图论

1736年29《哥尼斯堡的七座桥》的论文,创了数学的一个新的分支—一、哥尼斯堡七桥问题哥尼斯堡在俄罗斯境内,现称为加里宁格勒.生和培养过许多伟大人物.格尔河,横贯城中,如图1所示.流,一条称为新河,一条主流,的商业中心.区、北区、东区和南区.桥,两支流上.这一别致的桥群,图1早在18世纪,散步中走过每座桥,发点?”走遍这七座桥共有A77=7!=验,谈何容易.那么在这5040而形成了著名的图2欧拉请他帮助解决这个他似乎看到其中.经过一年的研究,29岁的并于1736年向彼得堡科哥尼斯堡的七座桥》的论文.C(岛区)、A(南区);七座桥看成这四个点、6、7七个数字表示,如图3所示.“一笔画”问题:否能一笔不.布勒格尔河模型蔡思明58遍历的路径称作欧拉路径(一个环或者一条链),如果路径闭合(一个圈),则称为欧拉回路.图论中的欧拉定理(一笔画定理)要分有向图(边有特定方向的图)与无向图(边没有特定方向的图)两种情况进行讨论.1.无向图的情况定理:连通无向图G有欧拉路径的充要条件为:G中奇度顶点(即与其相连的边数目为奇数的顶点)有0个或者2个.证明:必要性.如果图能够被一笔画成,那么对每个顶点,考虑路径中“进入”它的边数与“离开”它的边数(注意前提是无向图,所以我们不能称其为“入边”和“出边”).很显然这两个值要么相同(说明该顶点度数为偶),要么相差1(说明该顶点度数为奇).也就是说,如果欧拉路径不是回路,奇度顶点就有2个,即路径的起点和终点;如果是欧拉回路,起点与终点重合,则不存在奇度顶点.必要性得证.证明:充分性.如果图中没有奇度顶点,那么在G中随机取一个顶点v0出发,尝试构造一条回路c0.如果c0就是原路,则结束;如果不是,那么由于图是连通的,c0和图的剩余部分必然存在某公共顶点v1,从v2出发重复尝试构造回路,最终可将整张图分割为多个回路.由于两条相连的回路可以视为一条回路,所以该图必存在欧拉回路.如果图中有2个奇度顶点u和v,那么若是加一条边将u和v连接起来的话,就得到一个没有奇度顶点的连通图,由上文可知该图必存在欧拉回路,去掉这条新加的边,就是一条以u和v为起终点的欧拉路径.充分性得证.可知,哥尼斯堡七桥问题中的图有4个奇度顶点(1个度数为5,3个度数为3),所以不存在欧拉路径.2.有向图的情况定理:底图连通的有向图G有欧拉路径的充要条件为:G的所有顶点入度和出度都相等;或者只有两个顶点的入度和出度不相等,且其中一个顶点的出度与入度之差为1,另一个顶点的入度与出度之差为1.显然,可以通过与无向图情况相似的思路来证明,过程略.当时的数学界起初并未对欧拉解决七桥问题的意义有足够的认识,甚至有些人仅仅当其为一个数学游戏.图论这一数学分支诞生后并未得到很好的发展,直到200年后的1936年,匈牙利数学家科尼希出版了《有限图与无限图理论》,此为图论的第一部专著,其总结了进200年来有关图论的成果,这是图论发展的第一座里程碑.此后,图论进入发展与突破的阶段,又经过了半个多世纪的发展,现已成为数学科学的一个独立的重要分支.图论原是组合数学中的一个重要课题.我们用点表示事物,用连接点的边表示事物间的联系,便可得到图论中的图.图论为研究任何一类离散事物的关系结构提供了一种框架.图论中的理论已应用于经济学、心理学、社会学、遗传学、运筹学、逻辑学、语言学计算机科学等诸多领域.由于现代科学尤其是大型计算机的迅猛发展,使得图论大有用武之地,无论是数学、物理、化学、地理、生物等基础科学,还是信息、交通、战争、经济乃至社会科学的众多问题,都可以运用图论方法予以解决.当然,图论也是计算机科学的基础学科之一.值得一提的是,欧拉对七桥问题的研究,后演变成多面体理论,得到了著名的欧拉公式V+F=E+2,欧拉公式是拓扑学的第一个定理.哥尼斯堡的七座桥如今只剩下三座,一条新的跨河大桥已经建成,它完全跨过河心岛——内福夫岛,导游们仍向游客讲述哥尼斯堡桥的故事,有的导游甚至仍称“七桥问题”没有被解决,留给游客以遐想.虽然七座哥尼斯堡桥成了历史,但是“七桥问题”留下的“遗产”不像这些桥那样容易破坏,欧拉卓越的解答方式被永载史册.60。
哥尼斯堡七桥问题[欧拉图]
![哥尼斯堡七桥问题[欧拉图]](https://img.taocdn.com/s3/m/bc5c022cbdd126fff705cc1755270722192e59b0.png)
哥尼斯堡七桥问题[欧拉图]⼀、历史背景1736年,年仅29岁的数学家欧拉来到普鲁⼠的古城哥尼斯堡(哲学家康德的故乡,今俄罗斯加⾥宁格勒)。
普瑞格尔河正好从市中⼼流过,河中⼼有两座⼩岛,岛和两岸之间建筑有七座古桥。
欧拉发现当地居民有⼀项消遣活动,就是试图每座桥恰好⾛过⼀遍并回到原出发点,但从来没⼈成功过。
欧拉证明了这种⾛法是不可能的。
现在看来,欧拉的证明过程⾮常简单,但他对七桥问题的抽象和论证思想,开创了⼀个新的学科:图论(Graph)。
如今,⽆论是数学、物理、化学、天⽂、地理、⽣物等基础科学,还是信息、交通、经济乃⾄社会科学的众多问题,都可以应⽤图论⽅法予以解决。
图论还是计算机科学的数据结构和算法中最重要的框架(没有之⼀)。
⾸先能想到的证明⽅法是把⾛七座桥的⾛法都列出来,⼀个⼀个的试验,但七座桥的所有⾛法共⽤7\!=5040种,逐⼀试验将是很⼤的⼯作量。
欧拉作为数学家,当然没那样想。
欧拉把两座岛和河两岸抽象成顶点,每⼀座桥抽象成连接顶点的⼀条边,那么哥尼斯堡的七座桥就抽象成下⾯的图:Processing math: 100%假设每座桥都恰好⾛过⼀次,那么对于A、B、C、D四个顶点中的每⼀个顶点,需要从某条边进⼊,同时从另⼀条边离开。
进⼊和离开顶点的次数是相同的,即每个顶点有多少条进⼊的边,就有多少条出去的边,也就是说,每个顶点相连的边是成对出现的,即每个顶点的相连边的数量必须是偶数。
⽽上图中A、C、D四个顶点的相连边都是3,顶点B的相连边为5,都为奇数。
因此,这个图⽆法从⼀个顶点出发,遍历每条边各⼀次。
欧拉的证明与其说是数学证明,还不如看作是⼀个逻辑证明。
⼀个曾难住那么多⼈的问题,竟然是这样⼀个简单的出⼈意料的推理,还开创了⼀个新的学科。
欧拉⾮常巧妙的把⼀个实际问题抽象成⼀个合适的数学模型,这种研究⽅法就是我们应该掌握的数学模型⽅法。
这并不需要运⽤多么深奥的理论,但能想到这⼀点,却是解决问题的关键。
哥尼斯堡七桥问题与图论

哥尼斯堡七桥问题与图论
大家公认,图论诞生于七桥问题。
出生于瑞士的伟大数学家欧拉(Leonhard Euler,1707—1783)于1736年发表了论文《与位置几何有关的一个问题的解》,文中提出并解决了七桥问题,为图论的形成奠定了基础。
今天,图论已广泛应用在计算机学科、运筹学、控制论、信息论等学科中,成为对现实世界进行抽象的一个强有力的数学工具。
七桥问题是这样描述的:17世纪的东普鲁士有一座哥尼斯堡城(现在叫加里宁格勒,在波罗的海南岸),城中有一座岛,普雷格尔河的两条支流环绕其旁,并将整个城市分成北区、东区、南区和岛区4个区域,全城共有七座桥将4个城区连接起来,图1是这条河以及河上的两个岛和七座桥的草图。
于是,产生了一个有趣的数学难题:一个人是否能在一次步行中穿越全部的七座桥后回到起点,且每座桥只经过一次?
为了解决哥尼斯堡七桥问题,欧拉用A、B、C、D表示4个城区,用7条线表示7座桥,将哥尼斯堡七桥问题抽象为一个图模型,如图2所示,从而将哥尼斯堡七桥问题抽象为一个数学问题:求经过图中每条边一次且仅一次的回路,后来人们称之为欧拉回路。
欧拉论证了这样的回路是不存在的,并且将问题进行了一般化处理,即对于任意多的城区和任意多的桥,给出了是否存在欧拉回路的判定规则:
(1)如果通奇数桥的地方多于两个,则不存在欧拉回路;
(2)如果只有两个地方通奇数桥,可以从这两个地方之一出发,找到欧拉回路;
(3)如果没有一个地方通奇数桥,则无论从哪里出发,都能找到欧拉回路。
哥尼斯堡七桥问题给我们的启示

哥尼斯堡七桥问题给我们的启示
哥尼斯堡七桥问题是欧洲数学家欧拉在18世纪提出的一个著名的数学问题,这个问题是如何通过哥尼斯堡城市中的七座桥,每座桥只能过一次,将城市中的四块陆地分隔开来。
这个问题最终被欧拉用图论的方法解决了,也成为了现代数学和计算机科学的基础之一。
哥尼斯堡七桥问题给我们的启示是:
创新思维:欧拉在解决这个问题时,采用了新颖的图论方法,这种创新的思维方式对于解决其他问题也同样适用。
抽象思维:欧拉将哥尼斯堡城市的地图抽象成为图形,通过对图形的分析和计算,解决了这个问题。
这种抽象思维方式,对于解决其他问题也同样重要。
多角度思考:欧拉在解决这个问题时,考虑了不同的角度和方法,最终找到了解决问题的突破口。
在日常生活和工作中,也需要多角度思考问题,寻找解决问题的最佳方法。
团队协作:欧拉在研究这个问题时,与其他数学家和科学家进行了交流和合作,共同解决了这个问题。
在工作中也需要团队协作,共同解决问题,取得更好的成果。
总之,哥尼斯堡七桥问题是一个启示我们创新思维、抽象思维、多角度思考和团队协作的经典案例。
哥尼斯堡七桥问题

现在已发展成为研究连续性现象的数学分支。
拓扑学应用实例
前面所提的哥尼斯堡七桥问题、四色问题? 左手套能否在空间掉转位置后变成右手套? 一条车胎能否从里朝外的把他翻转过来? 一只有把的茶杯与救生圈更相似,还是与花瓶更相
互相衔接的两两不同的一串“弧”称为“路”。路中弧的端 点称为路的“顶点”。如果起点与终点相同称为“闭路”。 如果闭路的顶点又不相同,称为“圈”。如下所示:
路
闭路
圈
网络与一笔画问题
于是我们可以给出一笔画的理论叙述。
“一笔画”问题相当于给定一个网络。问: “有没有可能把所有的弧排成一条路”。
如果一个网络的全部弧可以排成一条路,那 么我们称这个网络为一个一笔画。
纸圈,然后只允许用一种颜色,在纸圈上的一面涂抹,最后 把整个纸圈全部抹成一种颜色,不留下任何空白。 这个纸圈应该怎样粘? 如果是纸条的首尾相粘做成的纸圈有两个面,势必要涂完一 个面再重新涂另一个面,不符合涂抹的要求。 能不能做成只有一个面、一条封闭曲线做边界的纸圈?
莫比乌斯带的发现
对于这样一个看来十分简单的问题,数百年间,曾有许多科 学家进行了认真研究,结果都没有成功。后来,德国的数学 家莫比乌斯对此发生了浓厚兴趣,他长时间专心思索、试验, 也毫无结果。
当地的市民正从事一项非常有趣的消遣活动。这项有趣的消 遣活动是在星期六作一次走过所有七座桥的散步,每座桥只 能经过一次而多人对此很感兴趣,纷纷进行试验,但在相 当长的时间里,始终未能解决。
而利用普通数学知识,每座桥均走一次,那这七座桥所有的 走法一共有5040种,而这么多情况,要一一试验,这将会是 很大的工作量。
哥尼斯堡七桥问题

你 能 画 出 来 吗 ?如 果 你 画 出 来 了 ,那 么
一 请 你 再 看 图 2能 不 能 一 笔 画 出来 ? 虽 然 你 动 了脑 筋 ,但 我 相 信 你 肯 定 不 能 一 笔 画 出来 !
为 什 么 我 的 语 气 这 么 肯 定 ?我 们 来 分 析 一 下 图2.我们 把 图2看 成 是 由 点 和 线 组
(Mobius,1790~1868)和 约翰 ·李 斯 丁 发 现 : 就 是 说 ,它 的 曲 面 只 有 一个 .关 于 莫 比乌 斯
把 一 根 纸 条 扭 转 180。后 ,两 头 再 粘 接 起 来 带 的 单 侧 性 ,同学 们 可 如 下 直 观 地 了解 ,如
做 成 的纸 带 圈 ,具 有 魔 术 般 的 性 质 .普 通 纸 果 给 莫 比乌 斯 带 着 色 ,色 笔 始 终 沿 曲 面 移
沿 河 过 桥 散 步 .渐 渐 地 ,爱 动脑 筋 的 人 们 提 出 了一 个 问题 :一个 散 步者 能否 一 次 走 遍 7
座桥 ,而 且 每 座桥 只许 通 过 一 次 ,最 后仍 回
到起 始 地 点 .这 就 是 七 桥 问题 ,一 个 著 名 的
图 1
图 2
图 论 问 题 .
果 有 偶 数 条 边 连 它 ,这 点 就 称 为 偶 点 ;如 猜 想 是 正 确 的 .欧 拉 是 这 样 解 决 问题 的 :既
果 有 奇 数 条 边 连 它 ,就 称 它 为 奇 点 .我 们 知 然 陆地 是 桥 梁 的 连 接 地 点 ,不 妨 把 图 中被 道 ,能 一 笔 画 的 图 形 只 有 两 类 :一 类 是 所 河 隔 开 的陆 地 看 成4个 点 ,7座 桥 表示 成 7条
七桥问题

18世纪著名古典数学问题之一。
在哥尼斯堡的一个公园里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图)。
问是否可能从这四块陆地中任一块出发,恰好通过每座桥一次,再回到起点?欧拉于1736年研究并解决了此问题,他把问题归结为如下右图的“一笔画”问题,证明上述走法是不可能的。
18世纪德国哥德堡有一条河,河中有两个岛,两岸于两岛间架有七座桥。
问题是:一个人怎样走才可以不重复的走遍七座桥而回到原地。
这个问题好像与数学关系不大,它是几何问题,但不是关于长度、角度的欧氏几何。
很多人都失败了,欧拉以敏锐的数学家眼光,猜想这个问题可能无解(这是合情推理)。
然后他以高度的抽象能力,把问题变成了一个“一笔画”问题,能否从一个点出发不离开纸面地画出所有的连线,使笔仍回到原来出发的地方。
以下开始演绎分析,一笔画的要求使得图形有这样的特征:除起点与终点外,一笔画问题中线路的交岔点处,有一条线进就一定有一条线出,故在交岔点处汇合的曲线必为偶数条。
七桥问题中,有四个交叉点处都交汇了奇数条曲线,故此问题不可解。
欧拉还进一步证明了:一个连通的无向图,具有通过这个图中的每一条边一次且仅一次的路,当且仅当它的奇数次顶点的个数为0或为2。
这是他为数学的一个新分枝――图论所作的奠基性工作,后人称此为欧拉定理。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一笔画
⒈凡是由偶点组成的连通图,一定可以一笔画成。画时可以把任一偶点为起 点,最后一定能以这个点为终点画完此图。 ⒉凡是只有两个奇点的连通图(其余都为偶点),一定可以一笔画成。画时 必须把一个奇点为起点,另一个奇点为终点。 ⒊其他情况的图都不能一笔画出。(奇点数除以二便可算出此图需几笔画 成。)
哥尼斯堡七桥问题
七桥问题
1736年29岁的欧拉向圣彼得堡科 学院递交了《哥尼斯堡的七座桥》 的论文,在解答问题的同时,开创 了数学的一个新的分支——图论与几 何拓扑,也由此展开了数学史上的 新历程。
莱昂哈德·欧拉
莱昂哈德·欧拉,瑞士数学家、自然科学家。1707年4月15日出生 于瑞士的巴塞尔,1783年9月18日于俄国圣彼得堡去世。欧拉出生 于牧师家庭,自幼受父亲的影响。13岁时入读巴塞尔大学,15岁 大学毕业,16岁获得硕士学位。欧拉是18世纪数学界最杰出的人 物之一,他不但为数学界作出贡献,更把整个数学推至物理的领 域。他是数学史上最多产的数学家,平均每年写出八百多页的论 文,还写了大量的力学、分析学、几何学、变分法等的课本, 《无穷小分析引论》、《微分学原理》、《积分学原理》等都成 为数学界中的经典著作。欧拉对数学的研究如此之广泛,因此在 许多数学的分支中也可经常见到以他的名字命名的重要常数、公 式和定理。 此外欧拉还涉及建筑学、弹道学、航海学等领域。瑞 士教育与研究国务秘书查尔斯·克莱伯曾表示:“没有欧拉的众 多科学发现,今天的我们将过着完全不一样的生活。”法国数学 家拉普拉斯则认为:读读欧拉,他是所有人的老师。 2007年,为 庆祝欧拉诞辰300周年,瑞士政府、中国科学院及中国教育部于 2007年4月23日下午在北京的中国科学院文献情报中心共同举办纪 念活动,回顾欧拉的生平、工作以及对现代生活的影响。
最终成果
1736年,在经过一年的研究之后,29岁的欧拉提交了《哥 尼斯堡七桥》的论文,圆满解决了这一问题,同时开创了 数学新一分支---图论。 在论文中,欧拉将七桥问题抽象出来,把每一块陆地考虑 成一个点,连接两块陆地的桥以线表示。并由此得到了如 图一样的几何图形。 若我们分别用A、B、C、D四个点表 示为哥尼斯堡的四个区域。这样著名的“七桥问题”便转 化为是否能够用一笔不重复的画出过此七条线的问题了。 若可以画出来,则图形中必有终点和起点,并且起点和终 点应该是同一点,由于对称性可知由B或C为起点得到的效 果是一样的,若假设以A为起点和终点,则必有一离开线 和对应的进入线,若我们定义进入A的线的条数为入度, 离开线的条数为出度,与A有关的线的条数为A的度,则A 的出度和入度是相等的,即A的度应该为偶数。即要使得 从A出发有解则A的度数应该为偶数,而实际上A的度数是5 为奇数,于是可知从A出发是无解的。同时若从B或D出发, 由于B、D的度数分别是3、3,都是奇数,即以之为起点都 是无解的
推断方法
当欧拉在1736年访问哥尼斯堡时,他发现当地的市 民正从事一项非常有趣的消遣活动。哥尼斯堡城中 有一条名叫普雷格尔河流横经其中,这项有趣的消 遣活动是在星一地 点。 欧拉把每一块陆地考虑成一个点,连接两块陆地的 桥以线表示。 后来推论出此种走法是不可能的。他的论点是这样 的,除了起点以外,每一次当一个人由一座桥进入 一块陆地(或点)时,他(或她)同时也由另一座 桥离开此点。所以每行经一点时,计算两座桥(或 线),从起点离开的线与最后回到始点的线亦计算 两座桥,因此每一个陆地与其他陆地连接的桥数必 为偶数。
七桥问题和欧拉定理
欧拉通过对七桥问题的研究,不仅圆满地回答了哥尼斯堡居民提出的问 题,而且得到并证明了更为广泛的有关一笔画的三条结论,人们通常称 之为 欧拉定理。对于一个连通图,通常把从某结点出发一笔画成所经 过的路线叫做欧拉路。人们又通常把一笔画成回到出发点的欧拉路叫做 欧拉回路。具有欧拉回路的图叫做欧拉图。
提出时间
18世纪著名古典数学问题之一。在哥尼斯堡的一个公园 里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起 来(如图)。问是否可能从这四块陆地中任一块出发,恰 好通过每座桥一次,再回到起点?欧拉于1736年研究并 解决了此问题,他把问题归结为如右图的“一笔画”问 题,证明上述走法是不可能的。 有关图论研究的热点问题。18世纪初普鲁士的哥尼斯堡, 有一条河穿过,河上有两个小岛,有七座桥把两个岛与 河岸联系起来(如右上图)。有个人提出一个问题:一 个步行者怎样才能不重复、不遗漏地一次走完七座桥, 最后回到出发点。后来大数学家欧拉把它转化成一个几 何问题(如左图下)——一笔画问题。他不仅解决了此 问题,且给出了连通图可以一笔画的充要条件是:奇点 的数目不是0 个就是2 个(连到一点的数目如是奇数条, 就称为奇点,如果是偶数条就称为偶点,要想一笔画成, 必须中间点均是偶点,也就是有来路必有另一条去路, 奇点只可能在两端,因此任何图能一笔画成,奇点要么 没有要么在两端)