最复杂的数学证明,四色问题

首页 > 生活 > 家具 > 正文 2018-03-11

度哥世界之最网今天向大家介绍一下最复杂的数学证明-四色问题。

1976年,美国数学家阿佩尔和哈青宣布,他们用电子计算机足足算了1200个小时,终于证明了四色问题!这是迄今为止作出的最繁的数学证明。

1852年,伦敦的一名学生古思烈在一封 信中提到:“在平面或球面上画地图,要使得 相邻的国家具有不同颜色,似乎只要四种颜 色就够了。”人们猜测这里面是否存在着某种必然性,数学家们把它归纳为拓扑学上的一 个数学问题,这就是著名的四色问题。100 多年来,许多数学家为此作了巨大的努力,虽 然取得了进展,但都没有获得最后证明。

最复杂的数学证明 四色问题

从60年代开始,电子计算机技术有了高速的发展。数学家发现,四色 问题经过化简归纳,只要能分析清楚约2000个不同的组合结构图形就能解 决。但其中每一个结构的分析都相当繁杂。显然,用人力去完成它简直是 不可思议的,因为就是用每秒百万次的电子计算机去算也要几万小时。许 多数学家期待电子计算机的速度的进一步提高。但是美国伊利诺斯大学的 阿佩尔和哈青却致力于简化计算程序,他们在细心地检查每一项程序之后, 于1976年1月在美国伊利诺斯大学的三架IBM360型高速电子计算机上 进行分析,总共用了 1200小时,终于证明了这一世界难题1976年6月, 伊利诺斯大学城乌尔班纳邮局盖上了纪念邮戳:“只要四种颜色就够了",将成功的消息传遍全世界。


最复杂的数学证明,四色问题

http://m.xieat.com/shenghuo/12994/


推荐访问:四色定理证明

上一篇世界最贵的家具

下一篇世界生产锁最多的国家

家具推荐文章

家具热门文章

推荐内容