谋杀之谜派对

标题: 四色猜想 [打印本页]

作者: 半只琵琶 时间: 2017-12-29 15:09
标题: 四色猜想

四色定理大家都不陌生吧，就是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。
用数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。

作者: 半只琵琶 时间: 2017-12-29 15:11
一直以为这是个公里呢，今天才知道这原来只是一个还没能理论证明的猜想而已，但包括地图和拓扑学上都已经很早就在使用这个定理了。
最完整的证明就是就在1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿个判断，结果没有一张地图是需要五色的。

作者: LordX 时间: 2017-12-29 16:48
其实我个人认为用枚举办法去证明一样东西不怎么靠谱

作者: Dungeon 时间: 2017-12-29 17:16
这个规律已经在很广泛的引用了，计数机的实验也基本可以无限肯定是自然之理了。

作者: 坦克 时间: 2017-12-29 17:24
世界三大数学猜想即费马猜想、四色猜想和哥德**猜想。虽然并没有公式能确切证明，但也是在广泛应用没毛病了

作者: 牧师 时间: 2017-12-29 17:40
原来还没证明啊，之前一直以为是证明了的。

作者: 剑心 时间: 2017-12-29 17:53
哦？这原来和费马猜想一样还没有被证明啊。
100亿个判断也算是基本证明了

作者: 蘑菇蘑菇 时间: 2017-12-29 20:15
曾经还以为这是个很简单的问题呢，去查了下是个超复杂的问题

作者: 蘑菇蘑菇 时间: 2017-12-29 21:29
想起来了以前是在地理课听说过，就知道地图是这样，今天查了之后才知道这么有内涵

作者: 巴克兹 时间: 2017-12-29 23:21
看这图还以为毕加索的抽象画呢

作者: 七哥 时间: 2017-12-30 00:03
76年的技术就能做200亿次判断了，那现在的技术不是可以几千亿次了，更能贴近真实了。
或者说200亿已经完全足够了。

作者: 黑白键 时间: 2017-12-30 10:37

巴克兹发表于 2017-12-29 23:21
看这图还以为毕加索的抽象画呢

同以为是抽象画

作者: 火星人 时间: 2018-1-18 00:29
我也以为是已经通过什么数学方法证明了呢

欢迎光临谋杀之谜派对 (https://www.murdermysterypa.com/)