图论的起点——七桥问题

ops/2025/1/22 8:56:13/

普瑞格尔河从古堡哥尼斯堡市中心流过,河中有小岛两座,筑有7座古桥,哥尼斯堡人杰地灵,市民普遍爱好数学。1736年,该市一名市民向大数学家Euler提出如下的所谓“七桥问题”:

从家里出发,7座桥每桥恰通过一次,再回到家里,是否可能?

事实上,人们此前已经反复试验多次,不管怎样游行,亦未成功地实现美桥恰过一次的旅行。但又无人严格证明七桥问题的答案是否定的。

欧拉首先想到的是用穷举法, 就是把所有的走法都一一列出来,然后再一个一个的验证是否可行。 但是他马上发现这样做太麻烦了, 因为对七座桥的不同走法就有7!=5040种,逐一检验太耗时费力了,况且这样的方法没有通用性。如果桥的位置或桥的数量发生变化,岂不又得重新检验? 看来此法不可行。

Euler把两岸分别用C和D两个点来表示,两岛分别用A与B两点来表示。A、B、C、D各点的位置无关紧要,仅当两块陆地之间有桥时,在上述相应的两个点间连有一段曲线段,此曲线段的曲直长短也无关紧要,于是得到图:

欧拉在这里是把实际问题抽象成纯数学模型来进行研究从而获得了解决一类问题的方法。所谓抽象就是把研究的事物从某种角度看待的本质属性抽取出来 进行考察的思维方法。在数学中,例如在由“一个人”“一头羊”“一只猴”或者一个其他什么具体事物抽象出相应的数学概念“1”时,我们所注意的只是这些对象在数量上的共同特征,即量的多少,而根本不去考虑所说对象的质的内容(是人是羊是猴还是别的什么东西)。又如哥尼斯堡七桥问题中,一笔画问题便是从七桥问题中抽象出来的数学模型。在该模型里仅仅保留了一次过七桥的基本属性而舍弃了其他一切属性。

通过数学建模,已经把实际问题转化成了数学问题。这时欧拉注意到,如果一个图形能一笔画成,那么除去起点和终点外,其他的点都是经过点。而经过点是有进有出的点,即有一条线进这个点,就一定有一条线出这个点。不可能有进无出,如果有进无出,它就是终点; 也不可能有出无进,如果有出无进,它就是起点。因此,在经过点进出的线总数应该是偶数。我们称在一个点进出线的总数是偶数的点为偶点; 总数为奇数的点称为奇点。如果起点和终点是同一个点,那么它也属于有进有出的点,它也是偶点,这样图上的点全是偶点。如果起点和终点不是同一个点,那么它们必定是奇点。 因此,能够一笔画的图形最多只有两个奇点。

1736年,欧拉证明了自己的猜想,一次不重复走完七座桥是根本不可能的。随即他发表了“一笔画定理”:

一个图形要能一笔画完,必须符合以下两个条件: 

(1)图形是封闭连通的;

(2)图形中的奇点个数为 0 或 2;

七桥问题中的四个点全是奇点,当然不能一笔画,即不可能一次无重复地走完七座桥。 一般地说,如果图中的点全是偶点,那么可以任意选择一个点作为起点,当然终点与起点重合,能一笔画成;如果图中有两个奇点,那么可以任意选一个奇点作为起点,另一个奇点为终点,可以一笔画成。

欧拉的这个研究成果,开创了图论和拓扑学这两门新的学科。这两门学科在计算机科学中有着广泛的应用。由此可见,只要善于用数学的眼光、数学的方法去观察事物,分析问题,就能把生活中的一些实际问题转化为数学问题,并用数学的方法来处理和解决。


http://www.ppmy.cn/ops/152156.html

相关文章

人工智能之深度学习_[3] -PyTorch自动微分模块和构建线性回归模型

文章目录 自动微分模块9.1 梯度基本计算9.2 梯度下降法求最优解9.3 梯度计算注意点9.4 自动微分模块应用 10 PyTorch构建线性回归模型 自动微分模块 自动微分就是自动计算梯度值,也就是计算导数。 什么是梯度 对函数求导的值就是梯度 什么是梯度下降法 是一种求最优梯度值的方法…

HTB:Remote[WriteUP]

目录 连接至HTB服务器并启动靶机 信息收集 使用rustscan对靶机TCP端口进行开放扫描 将靶机TCP开放端口号提取并保存 使用nmap对靶机TCP开放端口进行脚本、服务扫描 使用nmap对靶机TCP开放端口进行漏洞、系统扫描 使用nmap对靶机常用UDP端口进行开放扫描 使用ftp尝试匿名…

自动化01

测试用例的万能公式:功能测试界面测试性能测试易用性测试安全性测试兼容性测试 自动化的主要目的就是用来进行回归测试 新产品--第一个版本 (具备丰富的功能),将产品的整体进行测试,人工创造一个自动化测试用例,在n个版本的时候…

【腾讯云】docker创建网络遇到Unable to enable SKIP DNAT rule

docker创建网络遇到Unable to enable SKIP DNAT rule 背景 今天打算在服务器上安装es,但是在创建网络时,提示 Error response from daemon: Failed to Setup IP tables: Unable to enable SKIP DNAT rule: (iptables failed: iptables --wait -t nat -I DOCKER…

【2024年终总结】我与CSDN的一年

👉作者主页:心疼你的一切 👉作者简介:大家好,我是心疼你的一切。Unity3D领域新星创作者🏆,华为云享专家🏆 👉记得点赞 👍 收藏 ⭐爱你们,么么哒 文章目录 …

@RabbitListener处理重试机制完成后的异常捕获

application.properties中配置开启手动签收 spring.rabbitmq.listener.direct.acknowledge-modemanual spring.rabbitmq.listener.simple.acknowledge-modemanual定义一个重试器 Slf4j Configuration public class RabbitMQRetryConfing {Bean("customRetry")publi…

【深度学习入门】深度学习知识点总结

一、卷积 (1)什么是卷积 定义:特征图的局部与卷积核做内积的操作。 作用:① 广泛应用于图像处理领域。卷积操作可以提取图片中的特征,低层的卷积层提取局部特征,如:边缘、线条、角。 ② 高层…

更新布局元素的属性

每个布局元素都有一组可以通过编程来更新的属性.布局元素有很多种不同的类型,如图例,图形,文本,地图整饰等等. 操作方法: 1.打开目标活动地图文档 2.打开python窗口 3.导入arcpy模块 import arcpy.mapping as mapping 4.引用当前活动地图文档,把该引用赋值给变量 mxd map…