查六度空间理论资料的时候,总看到说和四色问题很相似,但后者可以在数学上证明。之前也只知道结论,顺便查下,看看数学上是怎么证明的,同时也弄明白几个疑问。

地图四色定理(Four color theorem)最先是由一位叫古德里(Francis Guthrie)的英国大学生提出来的。四色问题的内容是:“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”

百科上介绍,为了解决这个问题,刺激了图论和拓扑学的发展。这个问题还是很牛的,可即便如此,到如今还只有哈肯与阿佩尔在计算机上证明,而没有简洁的书面证明。

拓扑学的百度百科中有简易的四色定理证明,但并不严密。

  • “二维组合”中,只有证明至少需要四种颜色,而四色定理应该还包括“只需要四种颜色”。

  • 不过,在“三位扩展”中,有提到“在三维空间上,根据七色环面 ,可以构造一个空间的划分,使得至少需要七种颜色才可以完全分割。”

Matrix67在经典证明:环面上的七色定理中有七色定理的证明,是四色定理从二维空间推广到环面上。

那将推广到三维空间中呢?

应该是无解的。因为在三维空间中,任意N个点是可以两两相连的。四色定理拓展到三维的话是几色?里面用章鱼解释的很形象。

更高维度也是如此。

对于四色定理的应用,有效地设计航空班机日程表,设计计算机的编码程序上都起到了推动作用。而对于互联网,目前还没想到有什么可以应用的地方。不过,排课程表的时候可以用到吗?貌似不是很相关,除非要给课程表的框框里涂色。。

四色定理也有局限性。

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

参考资料:

  1. 四色定理

  2. 拓扑学

  3. 图论

  4. 经典证明:环面上的七色定理

四色问题:证明、推广和应用相关推荐

  1. 四色问题证明的计算机程序,【四色问题】四色问题的证明方法

    [答案] 证明方法将地图上的无限种可能情况减少为1,936种状态(稍后减少为1,476种),这些状态由计算机一个挨一个的进行检查.这一工作由不同的程序和计算机独立的进行了复检.在1996年,Neil ...

  2. 零知识证明与zkSNARK

    2019独角兽企业重金招聘Python工程师标准>>> 最近以太坊启动了"大都会"硬分叉,很重要的一个功能就是整合了ZCash的零知识证明技术zkSNARK.我们 ...

  3. 《从一到无穷大》中的程序思维

    这篇文章是最近几天看李永乐老师的<从一到无穷大>读书专栏而想到的一篇文章.在第一章 「做做数学游戏」 的简单数学,以及第二章 「空间.时间和爱因斯坦」 的拓扑学中(其实也是因为李老师目前只 ...

  4. √2是个无理数,没有尽头,为什么边长为1的直角三角形可以画出来? 是悖论吗?...

    恭喜你,不经意间发现了史上的第一次数学危机.如果在2500年前,你也许会被当作异端扔进海里哦.这事还得从公元前580~568之间的古希腊说起. 当时数学家毕达哥拉斯(Pythagoras)建立了毕达哥 ...

  5. 丘成桐谈几何:从黎曼、爱因斯坦到弦论

    来源 : 超级数学建模 著名数学家丘成桐先生发表了题为"几何:从黎曼.爱因斯坦到弦论"的演讲,追溯了为广义相对论发展奠定基础的的黎曼几何,回顾了影响广义相对论发展的物理学突破,并谈 ...

  6. 从双曲几何到Gauss-Bonnet-Chern定理

    编者按:在正式转载这篇文章前,需要说明的是:Gauss-Bonnet定理                                               其中Γ是二维可定向闭曲面, 其边界 ...

  7. Racket编程指南——13 类和对象

    13 类和对象 本章基于一篇论文[Flatt06]. 一个类(class)表达式表示一类值,就像一个lambda表达式一样: (class superclass-expr decl-or-expr . ...

  8. k叉树的性质_二叉树的性质总结.doc

    <二叉树的性质总结.doc>由会员分享,提供在线免费全文阅读可下载,此文档格式为doc,更多相关<二叉树的性质总结.doc>文档请在天天文库搜索. 1.一.二叉树的性质性质1 ...

  9. 高数考研归纳 - 微分学 - 中值定理

    点击此处查看高数其他板块总结 文章目录 记忆内容 1 中值定理 (一) 费马引理 - F\mathrm{F}F (二) 罗尔定理 - R\mathrm{R}R (三) 拉格朗日中值定理 - L\mat ...

  10. 传奇开服教程,传奇开服需要学多久? 开传奇sf需要准备什么呢? 开传奇需要多少本钱?---开服流程

    传奇架设教程,传奇开服需要学多久 小白同学刚刚跨入传奇这行业,对于传奇是完全陌生的状态,整的就是一脸懵,作为进军传奇行业的资深顽家,我来给大家分享一下传奇开服流程 按照阶段性来划分第一阶段:筹备阶段 ...

最新文章

  1. IntelliJ IDEA 配置chrome插件调试js代码
  2. 无人车致命车祸视频曝光:Uber技术失败的实锤,一场本可避免的灾难
  3. linux下mysql数据库目录迁移_mysql实现linux下数据库目录迁移
  4. 网页内容复制粘贴(三种方案 兼容多种浏览器)
  5. mongodb启动很慢:[initandlisten] found 1 index(es) that
  6. 好玩免费的api接口
  7. 关于禅道二次开发的分享
  8. 【UCOSIII操作系统】简介
  9. 吃剩的苹果、长芽的土豆别扔!会有奇迹发生!
  10. linux 僵尸进程deffunc,subprocess.Popen引起的僵尸进程[sh] defunct
  11. 北大软件工程 计算机技术,2019年北京大学软件工程细致入微考研经验分享
  12. 3G技术特点及市场分析
  13. 基于HTML5的在线地图 - 加载TopoJSON数据
  14. 一周信创舆情观察(10.18~10.24)
  15. 央行发文深入推进农村支付服务环境建设并答记者问
  16. 为什么薄膜干涉的厚度要很小_薄膜干涉,薄膜厚度?
  17. 使用JFram模拟台球运动
  18. IDEA svn中文目录翻译
  19. 利用VBA批量替换多个Word内容(带窗体界面/支持备份、大小写、通配符等功能)
  20. 为什么流行双频无线路由器 优点告诉你

热门文章

  1. 协作机器人市场现在状况如何?——探讨关于UR机器人的发展前景
  2. matlab如何导入大量的图片_本期介绍:如何在论文中插入高清的图片
  3. 泰坦尼克号乘客生存情况分析第一部分
  4. centos7无盘启动_centos启动tftp服务器
  5. leaflet运动轨迹
  6. arcgis js 4 风场可视化
  7. HDU 2565 放大的X【图形】
  8. np.arry()的用法
  9. Springboot期刊在线投稿系统74j50计算机毕业设计-课程设计-期末作业-毕设程序代做
  10. gt2e鸿蒙系统,华为Watch GT2e评测:轻松开启年轻人一手掌控的百变运动潮酷生活...