昨天和同学复习图论,深入讨论了欧拉定理,有了相对透彻的理解,我希望写下来,我的博客就是我的笔记本,记录学习的点点滴滴而已。

定理5.1   G为非空连通图,则G Euler图  <=> G中无度为奇数的顶点。

文字版我仔细的解释和理下思路。

证明

=> :令C = u0 e1 u1 e2 u2 ... ue (ue  = u0 )为G的一Euler环游 ,起点为u0 。则对任一顶点v ¹ u0  ,当v每次作为内部顶点出现于C时,C上有二边与v相关联。由于C上包含了G的所有边且不重复,因此d(v)=偶数。类似地,d(u0)=偶数。

<=:反证,假设存在非空连通图,它的每个顶点的度都是偶数,但却不是Euler图 。在这种图中选取G使其边数最少(这种图的特殊之处是:每个点的度都是偶数的连通图,但是不是欧拉图的边数最少的图,也就是再少一条边就是欧拉图了)。由于 d(G) ³ 2,G包含圈(因为如果存在叶子节点,那么必然有顶点的度为奇数)。令C为G中的最长闭迹(根据定义,那么这个闭迹就是一个Euler图了)。由假设,C不会是 Euler环游。因此G - E(C)中一定有一分支G’ 使e(G’)>0(因为G不是Eluer图,那么C仅仅是最长闭迹,所以一定有边不在这条闭迹上,因此剩下的补图中边的个数一定大于0)。由于C本身为 Euler图,(由定理的必要条件知)C中每个顶点的度都是偶数,因此G’中无度为奇数的顶点(因为G是所有顶点的度都是偶数的非Euler图,对于每个顶点的度来说,偶数减去偶数,还是偶数)。但e(G’) < e(G)(这是显然的,因为G中去掉C中的边才是G’)由G的选择知,G’中含一 Euler环游 C’。 又,由于G连通,C与C’至少有一公共顶点(因为G是连通的,G’中每个点的度都是偶数,它们符合Eluer闭迹的条件,这些点肯定是在C’中的,不然怎么能叫最长闭迹呢),设为v,不妨设它同时为它们的起点。于是,CC’是G的一闭迹,其长大于C的长,矛盾。

注:这是我和同学讨论后我们的思路,或许红色字体解释的部分没有严谨的证明,欢迎指正和交流。

哥尼斯堡七桥——Euler欧拉定理证明相关推荐

  1. 哥尼斯堡七桥问题用计算机,哥尼斯堡七桥问题解法真的解不出来?请尽快解答.急...

    十八世纪,东普鲁士的首府哥尼斯堡是一座景色迷人的城市,普莱格尔河横贯城区,使这 座城市锦上添花,显得更加风光旖旋.这条河有两条支流,在城中心汇成大河,在河的 中央有一座美丽的小岛.河上有七座各具特色的 ...

  2. 图解图论介绍及应用(1):哥尼斯堡七桥

    点击上方"AI公园",关注公众号,选择加"星标"或"置顶" 作者:Vardan Grigoryan 编译:ronghuaiyang 导读 知 ...

  3. 图论入门六:哥尼斯堡七桥问题

    转载自https://blog.csdn.net/saltriver/article/details/54585595 哥尼斯堡七桥问题: 1736年,年仅29岁的数学家欧拉来到普鲁士的古城哥尼斯堡( ...

  4. 欧拉如何解决哥尼斯堡七桥问题(二)

    上一讲欧拉已经证明哥尼斯堡七桥问题不存在每座桥只走一次的走法.但是这里有一个特殊情况,即A.B.C.D每个地区恰巧都有奇数个桥连通.欧拉当然也想到了如果存在偶数桥,及任意数量的河和桥图是否存在每座桥只 ...

  5. 七桥问题在计算机领域的应用,哥尼斯堡七桥问题在高考中应用

    摘 要:在数学教学和学习过程中把抽象.概括和具体化结合起来是非常重要的.哥尼斯堡七桥问题就是很好的一个例子. 关键词:哥尼斯堡七桥 一笔画 抽象 18世纪,东普鲁士哥尼斯堡有条普莱格尔河,这条河有两个 ...

  6. 世界数学难题——哥尼斯堡七桥问题 哥尼斯堡七桥问题

    七桥问题 七桥问题Seven Bridges Problem 18世纪著名古典数学问题之一.在哥尼斯堡的一个公园里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图).问是否可能从这四块陆地中任一 ...

  7. 欧拉如何解决哥尼斯堡七桥问题(一)

    解决问题的方法有两种,一种是学习并利用他人的研究成果去解决一些问题,一种是通过自己思考发现 问题的解决方法并解决问题.最近我国被各种卡脖子的问题所困扰,毫不客气的说我们解决大部分问题都是 采用第一种, ...

  8. 图论的起源:柯尼斯堡七桥(一笔画)问题与欧拉路径/回路

    柯尼斯堡七桥问题 大数学家欧拉一生中的大部分时间在俄国和普鲁士度过.1735年,他提出了著名的柯尼斯堡七桥(Seven Bridges of Königsberg)问题: 柯尼斯堡(今俄罗斯加里宁格勒 ...

  9. 案例6-1.3 哥尼斯堡的“七桥问题”

    题目 可否走过这样的七座桥,而且每桥只走过一次?瑞士数学家欧拉(Leonhard Euler,1707-1783)最终解决了这个问题,并由此创立了拓扑学.这个问题如今可以描述为判断欧拉回路是否存在的问 ...

最新文章

  1. matlab randint函数
  2. 如何才能学好单片机?​
  3. DotLucene源码浅读笔记(1) : Lucene.Net.Analysis 【转】
  4. SQL Server数据库中的T-SQL如果存在语句概述
  5. vscode 插件之 htmltagwrap的修改
  6. 基础学习笔记之opencv(2):haartraining前将统一图片尺寸方法
  7. 从360和QQ打架看客户端的高精尖武器技术发展:自己留着,防止忘记!
  8. 【北京迅为】i.MX6ULL终结者RS232驱动测试RS485测试
  9. 数字图像处理 DCT变换
  10. html二级页面怎么设置,网页中的二级页面和三级页面是什么啊?怎么做?
  11. 高速内部总线HSIB和设备总线DB
  12. 计算机系统如何恢复出厂设置路由器,斐讯p.to怎么恢复出厂设置?-斐讯路由器设置...
  13. 关于适配,我想说。。。
  14. 粗粒度与细粒度的解释
  15. 基于QT的华为网络摄像头二次开发
  16. automake编译工程
  17. 人类 vs AI:玩梗大作战,看看谁是最后的赢家?
  18. table隐藏列与colgroup标签
  19. 苏州PHp工资哪家高,苏州各区平均工资排行榜,第一名居然是..……
  20. JQuery表单的提交方式

热门文章

  1. 为什么CPU流水线会提高代码执行效率?
  2. 固原计算机速成班培训,固原日常化妆培训速成班
  3. 无线网络慢应该怎么解决
  4. xcode 报Remote object proxy returned error: Error Domain=NSCocoaErrorDomain Code=4099 The connec...
  5. DeepMind新成果:让AI做了200万道数学题,结果堪忧
  6. [激光器原理与应用-11]: 2022 年中国光纤激光器行业全景图谱
  7. WM算法原理与代码实现(模式匹配)
  8. centos开ftp账号
  9. 微信小程序-订单页面——可左右滑动(附源码)
  10. MATLAB碎纸片的拼接复原