在维基百科看到一个四色定理,就想到软件中的四色原型。软件中的四色原型是类与类之间的四种关系:“关联、依赖、继承、实现”,类的这四色是任何复杂软件系统的基础,于是有了ManyToOne,ManyToMany,Extends,Implements这些关键字.
维基百科的四色定理如下:
四色定理 指出每个可以画出来的无飞地地图都可以至多用4种颜色来上色,而且没有两个相接的区域会是相同的颜色。被称为相接 的两个区域是指他们共有一段边界,而不是一个点。
这一定理最初是由Francis Guthrie在1853年提出的猜想。很明显,3种颜色不会满足条件,而且也不难证明5种颜色满足条件且绰绰有余(仅使用到欧拉-笛卡尔公式)。但是,直到1977年四色猜想才最终由Kenneth Appel 和Wolfgang Haken证明。他们得到了J. Koch在算法工作上的支持。
证明方法将地图上的无限种可能情况减少为1,936种状态(稍后减少为1,476种),这些状态由计算机一个挨一个的进行检查。这一工作由不同的程序和计算机独立的进行了复检。在1996年,Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法,检查了633种特殊的情况。这一新证明也使用了计算机,如果由人工来检查的话是不切实际的。
四色定理是第一个主要由计算机证明的理论,这一证明并不被所有的数学家接受,因为它不能由人工直接验证。最终,人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。参见实验数学。
缺乏数学应有的规范成为了另一个方面;以至于有人这样评论“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿!”
虽然四色定理证明了任何地图可以只用四个颜色着色,但是这个结论对于现实上的应用却相当有限。现实中的地图常会出现飞地,即两个不连通的区域属于同一个国家的情况(例如美国的阿拉斯加州),而制作地图时我们仍会要求这两个区域被涂上同样的颜色,在这种情况下,四个颜色将会是不够用的。
(来自http://zh.wikipedia.org/w/index.php?title=%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86&variant=zh-cn )
我把它抽象成一个3×3无限模型,下面一种是只需要四种颜色就可以完整的填充的:
ColorB
|
ColorD
|
ColorC
|
ColorC
|
ColorA
|
ColorB
|
ColorB
|
ColorD
|
ColorC
|
注意第一行和第三行是重复的,如果说9个方格完全不一样需要9种颜色(3×3=9),那么第一行和第三行一样就省了三种,9-3=6,假设最多是6种颜色,然后可以注意到第一行第三列和第二行第一列是不相邻的,同样第一行第一列和第二行第三列也不是相邻的
,又可以省去两种颜色,6-2=4种颜色
我是直觉证明,呵呵
==============
在程序语言中,我们尽量节省地址空间,可以用char的地方不要轻易用varchar,可以用short的地方不要轻易用Integer或Long
==============
在www.jdon.com里有篇文章,讲的是类的四色,就是类与类之间的四种关系,继承、实现、组合、关联
分享到:
相关推荐
四色定理的证明,采用图论中的方法企图证明四色定理,求拍砖。
这是四色定理的证明,其中详细说明了四色定理的漏洞所在,或许不是很准确.
北大POJ1129-Channel Allocation【四色定理】 解题报告+AC代码
与四色定理等价的几个命题,很好哦,很详细,
四色定理论证的关键,很好哦,可以参考参考
四色定理的证明,杨建国,许三星,本文在深入研究换色技术的基础上,采用巧妙而深层次的换色方法,通过破坏了平面图的平面性等相关技巧给出了四色定理的一个完整证明
四色定理的简单证明:二维平面不存在两两相交的直线,只有公用的共点
四色定理的思考
证明四色定理的新数学_图论中的锁阵运筹.rar
四色定理又称四色猜想、四色问题,是世界三四色定理是一个著名的数学定理,通俗的说法是:每个平面地图都可以只用四种颜色来染色,而且没有两个邻接的区域颜色相同。本程序利用利用栈的思想和回溯算法来解决地图染色...
用四种颜色给地图上的不同地区着色。要求相邻地区不能是相同颜色。这个代码最后能得到一种着色方案。
珀西·约翰·海伍德(Percy John Heawood)是最早的先驱者之一,他已经证明了五色定理。 此外,肯培(Kempe)首次展示了有关平面图的重要结论:在任何地图中,一个国家必须有五个或更少的邻居。 Kempe的证明提出了...
Darkside 的 NeverSquare 项目 该游戏是在 Sonen Game Jam ( ) 中创建的。 挑战是在 24 小时内创建一款游戏。 源代码: : 使用过的软件 JavaScript 库 JavaScript 库 (v.2.0.3) jQuery 插件 ...
搜索有关四色问题的铅笔和纸质证明。 有关信息,请参见http://4coloring.wordpress.com。 请让我知道您对此应用程序的看法。 另请访问YouTube频道:http://www.youtube.com/user/mariostefanutti/videos
使用四种颜色给中国地图上色的MATLAB程序,可作为四色问题,回溯算法,MATLAB地图文件使用等课程的学习资源
“四色问题”的探索与论证,肖开洲,,本文在图论已有的定义、公理、定理的基础上,证明“四色问题”。首先,对所需的基础理论进行了归纳总结,并逐一列出证明过程中需
四色由支持的四色定理/贴图求解器的可视化演示。 有关更多信息和演示,请参阅。这个怎么运作运行中的算法: 首先,用户在画布上绘画。 完成后,过程可能如下: 使用洪水填充(BFS)查找区域/节点使用每个区域的...
四色定理的计算机证明,网上有coq平台和定理证明的源代码下载。
戴维南定理和诺顿定理实验_模板 内设思考题目
给定 无向连通图G=(V,E) 和 c种不同的颜色,用这些颜色为图G的各顶点着色,每个顶点着一种颜色。...著名的 四色定理 就是指每个平面地图都可以只用四种颜色来染色,而且没有两个邻接的区域颜色相同。