下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、七桥问题及其证明七桥问题对很多人来说并不是陌生的名词,尤其当它已经被写进了小学数学课本 不过,此处还是再来啰嗦地介绍一下七桥问题到底是怎样的一个命题。传说在 18 世纪普鲁士的哥尼斯堡城,有一条叫做普雷格尔的河,河中间有两个岛, 有七座桥把这两个岛与河岸相连, 就像下面这个示意图里左图给出的一样。 市民们饭后茶余就在讨论, 能不能不重复的经过每一座桥而回到出发点呢。 这个问题也可以被简化成右图是否能够被一笔画的问题。大数学家欧拉思考过后认为,市民们一直在找寻的那条路径是不存在的,把每座桥看成图的一个边(右图) ,想要不重复的经过每一条边而回到原点, 则每个顶点必须有偶数条边与之相连, 才能满足
2、从一条边来从另一条边出。 用图论的语言来说,一个非空连通图是 Euler 图当且仅当它没有奇度顶点。这里 Euler 图指的是有 Euler 闭迹的图,而 Euler 闭迹是,经过图 G 的每条边恰好一次的闭迹。有了这样的定义,上面的 “七桥问题一笔画是不可能的 ”论证过程可以这样表述: 设图 G 是 Euler 图,C 是 G中一个 Euler 闭迹。对 G 中任一个顶点 v,v 必在 C 上出现。因 C 每经过 v 一次,就有两条与 V 关联的边被使用。设 C 经过 v 共 k 次,则 C 经过了 2k 条与 v 关联的边,故 v 的度为 2k(节点 v 的度指图 G 中与 v 相连的边的
3、数量)细心而学究的人会发现, 上面仅仅是对命题的必要性证明,那么,充分性的证明呢?当一个非空连通图G 的每个顶点都是偶度顶点,那图 G 就有 Euler 闭迹吗?直接证明这个比较困难,可以用反证法来证明:无妨设图的顶点个数 n >1。因 G 连通,故至少有一条边。假设图 G 无奇度顶点,但它不是 Euler 图。令 S = G | G 是至少有一条边的 n 阶连通图,无奇度顶点,且不是 Euler 图 ,则 S 非空。取 S 中边数最少的一个,记为 G0。因 G0 无奇度顶点,故 G0 中顶点的度至少为 2,因此 G0 含有圈,从而含有闭迹。 设 C 是中一条最长的闭迹。由假设, C 不是 G0 的 Euler 闭迹。因此 G0 中将 C 的边去掉后必有一个连通分支至少含有一条边。记这个连通分支为 G1。由于 C 是闭迹,故 G1 中没有奇度顶点,且 G1 的边少于 G0 的边。由 G0 的选择可知, G1 必有 Euler 闭迹,记为 C1。因此 CC1 是的一条闭迹,且它比 C 更长,这与 C 的选取矛盾。证毕。是不是看的稀里糊涂呢?其实仔细想想不难理解,考虑所有节点度之和为偶数,则除去一个 Eule
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年县乡教师选调考试《教育学》模拟题库及答案详解(名校卷)
- 本册综合教学设计小学信息技术(信息科技)6年级武汉版
- 2025年县乡教师选调考试《教育学》测试卷附有答案详解带答案详解(培优a卷)
- 2026年焊接与热切割作业考试题库含答案详解(能力提升)
- 2026年临床执业医师预测试题(原创题)附答案详解
- 2026年信息技术检测卷包附答案详解(轻巧夺冠)
- 大学提案办理工作制度
- 大学生资助工作制度
- 大杨村卫生室工作制度
- 大食堂工作制度范本
- 《免疫细胞治疗》课件
- 2025年中国SPA馆市场发展前景预测及投资战略咨询报告
- 术中低体温的预防课件
- (正式版)FZ∕T 13015-2024 篷盖用维纶本色帆布
- 电梯维护保养规则(TSG T5002-2017)
- 河南林业职业学院单招《英语》备考试题库(含答案)
- 新车上市方案
- 酶催化蛋白糖基化改造与新型抗体药物研发
- 品质部质量月报表
- 斗牛场建设项目申请书
- 2023年主治医师(中级)-口腔医学(中级)代码:353考试历年真题集锦含答案
评论
0/150
提交评论