• 注册
  • 应用数学 应用数学 关注:608 内容:3

    图论,用最美妙的语言解决最困难的问题。

  • 查看作者
  • 打赏作者
  • 当前位置: 博科园 > 数学 > 应用数学 > 正文
    • 11
    • Lv.17伽马射线
      高考加油
    • 博科园AI人工智能助手 图灵
      [ AI在线 ]
      __
    • ”千言万语不及一张图“—–基础概念

      图论(Graph Theory)是离散学的一个分支,它以为研究对象。


      图可用于在物理生物社会和信息系统中建模许多类型的关系和过程,许多实际问题可以用图来表示。因此,图论成为运筹学、控制论、信息论、网络理论、博弈论、物理学化学生物学社会科学语言学、计算机科学等众多学科强有力的数学工具。在强调其应用于现实世界的系统时,网络有时被定义为一个图,其中属性(例如名称)之间的关系以节点和或边的形式关联起来。


      图是用来对对象之间的成对关系建模的数学结构,由”节点”或顶点”(Vertex)以及连接这些顶点的“边”(Edge)组成,简单来说,图就是由若干个不同的点以及连结其中某些点的图形。

      值得注意的是,图的顶点集合不能为空,但边的集合可以为空。图可能是无向的,这意味着图中的边在连接顶点时无需区分方向。否则,称图是有向的。下面左图是一个典型的无向图结构,右图则属于有向图。本章节介绍的图都是无向图。

      图论,用最美妙的语言解决最困难的问题。

      一般来说,图均指简单图

      自环在图论中,自环( Loop )是一条 顶点与自身连接的边 。

      图的连通性:在图论中,连通图基于连通的概念。在一个无向图 G 中,若从顶点 i 到顶点 j 有路径相连(当然从j到i也一定有路径),则称 i 和 j 是连通的。

      无向图中,关联一对顶点的无向边如果多于1条,则称这些边为平行边,平行边的条数称为重数。含平行边的图称为多重图中不包含自环不含平行边的图称为简单图(Simple graph。简单图并不一定是无向图,也可以是有向图。简单来讲,简单图中可以有点不与其他点连线,但任一点不与自己连线,且任两点之间至多连一条线。

      完全图完全图是一个简单的无向图,其中每对不同的顶点之间都恰连有一条边相连。下图就是一个完全图(complete graph)。

      图论,用最美妙的语言解决最困难的问题。

      上述的图常用字母G表示,图G中的点,称为顶点(Vertex)所有顶点的集合记作V(G)或V;图G中的线,则称为边(Edge),所有边的集合记作E(G)或E.

      请注意,这里说的图不涉及通常的几何性质,因此,图中顶点位置及边的曲直长短等,均无关紧要。我们仅关心图中顶点及边的数目,一个顶点引出了多少条边,哪些顶点之间有边相连(连通)

      设V是一个顶点集合,x∈V是一个顶点,由x引出的边的条数非常重要,我们用d(x)表示这个数目,它称为x的次数(或度)

      很多问题都可以改用图论的语言重述:用点表示所研究的对象,用连结一对的边表示对应的对象之间有某种关系,这就作出一个图。

      10个人参加会议,会后统计出各人的朋友数:

      (i)3,3,3,3,5,6,6,6,6,6;

      (ii)1,1,3,3,3,3,5,6,8,9.

      证明:两组统计数据都有误.

             证明  我们将人用顶点表示.如果两人是朋友,就在对应的两个顶点之间连一条边.

      各个顶点的次数之和应当等于边数的2倍(因为每条边被计算了两次).特别地,次数总和是一个偶数,但(i)中次数之和47却是一个奇数,因此统计有误。

      (ii)中的数的和虽然是偶数42,但他们仍不能作为一个图的顶点的次数.因为次数为9的点与所有其他的点连边,它特别与两个次数为1的点连结了边.从而数为8的点不能与任一次数为1的点连边,这样,仅剩下7个点供连结,与次数8相违.证毕.

      其实我们会得到一个基本结论:

      图论,用最美妙的语言解决最困难的问题。

      这是图论中最基本的一个结论,它将实际与抽象联系在了一起。

      发展历史

      图论本身是应用数学的一部份,因此,历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论著中,他所考虑的原始问题有很强的实际背景。


      众所周知,图论起源于一个非常经典的问题——哥尼斯堡(Konigsberg)问题

      1736年29岁的欧拉向圣彼得堡科学院递交了《哥尼斯堡的七座桥》的论文,在解答问题的同时,开创了数学的一个新的分支——图论几何拓扑,也由此展开了数学史上的新历程。由此图论诞生。欧拉也成为图论的创始人。

      这个问题的内容是:

      18世纪初普鲁士的哥尼斯堡,有一条河穿过,河上有两个小岛,有七座桥把两个岛与河岸联系起来(如概述图)。有个人提出一个问题:一个步行者怎样才能不重复、不遗漏地一次走完七座桥,最后回到出发点。

      大数学家欧拉把它转化成一个几何问题——一笔画问题(1.凡是由偶点组成的连通图,一定可以一笔画成。画时可以把任一偶点为起点,最后一定能以这个点为终点画完此图。2.凡是只有两个奇点的连通图(其余都为偶点),一定可以一笔画成。画时必须把一个奇点为起点,另一个奇点为终点。3.其他情况的图都不能一笔画出。(奇点数除以2便可算出此图需几笔画成。))。他不仅解决了此问题,且给出了连通图可以一笔画的充要条件是:奇点的数目不是0个就是2个(连到一点的数目如果是奇数条,就称为奇点;如果是偶数条,就称为偶点。要想一笔画成,必须中间点均是偶点,也就是有来路必有另一条去路,奇点只可能在两端。因此任何图能一笔画成,奇点要么没有,要么在两端)

      欧拉把每一块陆地考虑成一个点,连接两块陆地的桥以线表示。
      后来推论出此种走法是不可能的。他的论点是这样的,除了起点以外,每一次当一个人由一座桥进入一块陆地(或点)时,他(或她)同时也由另一座桥离开此点。所以每行经一点时,计算两座桥(或线),从起点离开的线与最后回到始点的线亦计算两座桥,因此每一个陆地与其他陆地连接的桥数必为偶数。

      1859年,英国数学家汉密尔顿发明了一种游戏:用一个规则的实心十二面体,它的20个顶点标出世界著名的20个城市,要求游戏者找一条沿着各边通过每个顶点刚好一次的闭回路,即“绕行世界”。用图论的语言来说,游戏的目的是在十二面体的图中找出一个生成圈。这个生成圈后来被称为汉密尔顿回路。这个问题后来就叫做汉密尔顿问题。由于运筹学计算机科学编码理论中的很多问题都可以化为汉密尔顿问题,从而引起广泛的注意和研究,一百多年来对哈密顿问题的研究促进了图论的发展。这个问题在20实际70年代被证明是NP完全的。实际上对于节点数不到100的网络,利用现有最好的算法和计算机也需要几百年才能确定是否确定存在这样一条路径。

      图论,用最美妙的语言解决最困难的问题。

      猜想

      在图论的历史中,还有一个最著名的问题--四色猜想。这个猜想说,在一个平面或球面上的任何地图能够只用四种颜色来着色,使得没有两个相邻的国家有相同的颜色。每个国家必须由一个单连通域构成,而两个国家相邻是指它们有一段公共的边界,而不仅仅只有一个公共点。这一问题最早于1852年由Francis Guthrie提出,最早的文字记载则现于德摩根于同一年写给哈密顿的信上。包括凯莱、肯普等在内的许多人都曾给出过错误的证明。泰特(Tait)、希伍德(Heawood)、拉姆齐和哈德维格(Hadwiger)对此问题的研究与推广引发了对嵌入具有不同亏格曲面的图的着色问题的研究。一百多年后,四色问题仍未解决。1969年,Heinrich Heesch发表了一个用计算机解决此问题的方法。1976年,阿佩尔(Appel)和哈肯(Haken)借助计算机给出了一个证明,此方法按某些性质将所有地图分为1936类并利用计算机,运行了1200个小时,验正了它们可以用四种颜色染色。四色定理是第一个主要由电脑证明的理论,这一证明并不被所有的数学家接受,因为采用的方法不能由人工直接验证。最终,人们必须对电脑编译的正确性以及运行这一程的硬件设备充分信任。主要是因为此证明缺乏数学应有的规范,以至于有人这样评论“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿!”

      虽然四色定理证明了任何地图可以只用四个颜色着色,但是这个结论对于现实上的应用却相当有限。现实中的地图常会出现飞地,即两个不连通的区域属于同一个国家的情况(例如美国的阿拉斯加州),而制作地图时我们仍会要求这两个区域被涂上同样的颜色,在这种情况下,四个颜色将会是不够用的。

      20世纪80-90年代曾邦哲的综合系统论(结构论)观将“四色猜想”命题转换等价为“互邻面最大的多面体四面体”。每个地图可以导出一个图,其中国家都是点,当相应的两个国家相邻时这两个点用一条线来连接。所以四色猜想是图论中的一个问题。它对图的着色理论、平面图理论、代数拓扑图论等分支的发展起到推动作用。
      (下图是在上下对折再左右对折以后形成一个轮胎形状,有7个区域两两相连,就是说在一个环面上作图,需要7种颜色,外国数学家构造林格证明:Np=[(7+√1+48p)/2],p=1,N1=7。

      图论的广泛应用,促进了它自身的发展。20世纪40-60年代,拟阵理论、超图理论 、极图理论,以及代数图论、拓扑图论等都有很大的发展。

      结语

      本文还是了我很多时间的,但是希望各位能在其中能够大概了解并大部分理解内容。感谢博科园,谢谢各位!

      参考资料

      奥数教程(第七版)  刘诗雄    华东师范大学出版社,2018

      离散数学(第六版)  耿素云、屈婉玲、张立昂 出版社 清华大学出版社 2021

      简单图_百度百科 (baidu.com)

      图论基础和表示 | 教程 (runoob.com)

      图论(图论)_百度百科 (baidu.com)

      七桥问题_百度百科 (baidu.com)

      完全图_百度百科 (baidu.com)

      连通图_百度百科 (baidu.com)

      图论中的一些概念_xsgaaa的博客-CSDN博客_图论 环

      连通图图片_百度百科 (baidu.com)

      四个经典图论问题 – 知乎 (zhihu.com)


    • 生成海报
    • Lv.8仄米空洞
      靓号:1956
      9周年🎂
      我首先要求诸君信任科学,相信理性,信任自己,并相信自己——黑格尔
      回复
      Lv.43刺魟星云
      博科园VIP7
      冯·诺依曼
      音乐能激发或抚慰情怀,绘画使人赏心悦目,诗歌能动人心弦,哲学使人获得智慧,科学可改善物质生活,但数学能给予以上的一切。——克莱因
      回复
      Lv.43刺魟星云
      博科园VIP7
      冯·诺依曼
      打赏了3金币
      回复
      Lv.43刺魟星云
      博科园VIP7
      冯·诺依曼
      赠送了礼物[棒棒糖]
      回复
      Lv.44猫眼星云
      飞越太阳系
      科学的讲述~
      回复
      Lv.44猫眼星云
      飞越太阳系
      打赏了3金币
      回复
      Lv.28蜂鸟
      林奈
      [s-70]
      回复
      Lv.10粲夸克
      3000天纪念

      666


      回复
      Lv.35火星
      博科园VIP6
      9周年🎂
      热爱科学就是热爱真理,因此,诚实是科学家的主要美德——费尔巴哈
      回复
      Lv.44猫眼星云
      飞越太阳系
      我首先要求诸君信任科学,相信理性,信任自己,并相信自己——黑格尔
      回复

      请登录之后再进行评论

      登录

      赞助商

    • 相互支持,合作共赢 Win-Win Cooperation

      邀请好友加入【博科园】有奖励啦♪

    • 任务
    • 偏好设置(换皮肤)
    • ★基于全球领先的AI4.0大语言模型 知识问答 内容创作 AI绘画 代码编程 生活办公 对话聊天 样样精通 超强大的AI助手★
      博科园AI
      有疑惑?万能AI为你解答
    • 到底部
    • 帖子间隔 侧栏位置:
      关闭窗口
      下载海报