半壁书屋 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

1852年,毕业于伦敦大学的格斯里(Francis Guthrie)来到一家科研单位搞地图着色工作时,发现每幅地图都可以只用四种颜色着色。这个现象能不能从数学上加以严格证明呢?他和他正在读大学的弟弟决心试一试,但是稿纸已经堆了一大叠,研究工作却是没有任何进展。

即1890年,人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色,用五种颜色就够了。

不过,让数学家感到欣慰的是,郝伍德没有彻底否定肯普论文的价值,运用肯普发明的方法,郝伍德证明了较弱的五色定理。

肯普是用归谬法来证明的,肯普的证明阐明了两个重要的概念,对以后问题的解决提供了途径。第一个概念是“构形”。

他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是说,由两个邻国,三个邻国、四个或五个邻国组成的一组“构形”是不可避免的,每张地图至少含有这四种构形中的一个。

肯普提出的另一个概念是“可约”性。

“可约”这个词的使用是来自肯普的论证。

他证明了只要五色地图中有一国具有四个邻国,就会有国数减少的五色地图。

自从引入“构形”,“可约”概念后,逐步发展了检查构形以决定是否可约的一些标准方法,能够寻求可约构形的不可避免组,是证明“四色问题”的重要依据。

但要证明大的构形可约,需要检查大量的细节,这是相当复杂的。

1913年,美国着名数学家、哈佛大学的伯克霍夫利用肯普的想法,结合自己新的设想;证明了某些大的构形可约。

后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。

1950年,温恩从22国推进到35国。

1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。

看来这种推进仍然十分缓慢。

高速数字计算机的发明,促使更多数学家对“四色问题”的研究。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。

就在1976年6月,在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿个判断,结果没有一张地图是需要五色的,最终证明了四色定理,轰动了世界。

这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决。

但证明并未止步,计算机证明无法给出令人信服的思考过程。

一个多世纪以来,数学家们为证明这条定理绞尽脑汁,所引进的概念与方法刺激了拓扑学与图论的生长、发展。

在“四色问题”的研究过程中,不少新的数学理论随之产生,也发展了很多数学计算技巧。

如将地图的着色问题化为图论问题,丰富了图论的内容。

不仅如此,“四色问题”在有效地设计航空班机日程表,设计计算机的编码程序上都起到了推动作用。

后来,数学家发现7中颜色可以给空间各种形状相邻的模块染色。

高维空间染色问题,大有可为!

半壁书屋推荐阅读:上门女婿的咸鱼生活诡盗奇谈法力无边高大仙进球吧!教练我们滔搏有救啦!穿越进传奇,我的爆率百分之三百美女公寓英雄联盟之传奇归来我能看透卡牌的隐藏说明全能游戏设计师第二人格不对劲绝地求生之系统无敌禁区之狐胡莱网游之双星传说梦与录神梦说,我有主角之资王者的脚下潜伏深渊在竞技场毁天灭地绝对搞错了什么穿成侯门主母,我成了京圈白月光重生:杀穿末日游戏洪荒:抱错大腿怎么办?欢迎来到诡梦世界求生游戏:种田是需要耐心的NBA:五双神迹谛造者补天记惹他?他隐藏职业,一人屠一城!离婚后,霸总亲手撕了我的马甲我不想受伤,所以我想专注于防御联盟全能大玩家网游之轮回主宰禁区之狐胡莱免费全文阅读海洋求生:从建设海岛开始竹排求生:我家狗子运气超好三个缩小版大佬带百亿资产上门沈翩枝贺厉存四重分裂主角叫楚剑秋柳天瑶的小说卢米安莉雅小说全本免费阅读我能偷渡洪荒世界英伦足球:斯坦福桥的主宰者末世狩猎人网游:当一个血牛自带成长反伤热血传奇:我才是巅峰商如意宇文愆全文免费网游之最强传说全民转职,开局召唤半兽统领满级力量的我,平趟五大联赛网游之终极盾皇最强宠婚:老婆大人,求翻牌西游之从加入诸天聊天群开始又被电竞狙神带飞了
半壁书屋搜藏榜:网游:天赋太强,游戏开局就维护开局滋崩,我在派派疯狂猎杀!篮坛传奇富豪超能进化:我的兵种有点贵黑境时代西游之从加入诸天聊天群开始英雄联盟之传奇归来我真的不修仙从一级玩家,重新开始全境入侵又被电竞狙神带飞了末日降临之天赋异禀我在火影成立夸夸教玄门大佬混都市网游之我的世界什么叫开挂型射手啊我一个NPC能有什么坏心思穿越三代:开局我火你悔NBA:开局一张三分体验卡超级打工仔万物品鉴系统氪金十亿,游戏开始修为反馈!腹黑王爷又吃醋了我能看透卡牌的隐藏说明掌上娇娇小说全文免费阅读世子妃你又被挖墙脚了云婷君远幽盖世小村医足球生涯:从躺冠到成为传奇孤城重启全民游戏:我能召唤赤月恶魔从贞子开始制作怪谈游戏三无勇者搞事中我在异世无限氪金爽翻天!我靠美食成为全朝首富豪门婚色:总裁娇妻太迷人和平精英之逆风而起吐槽篮球仙帝的自我修养卓简傅衍夜你的情深我不配全文免费阅读大结局阮白慕少凌一胎双宝总裁大人夜夜欢免费阅读全文被龙之队开除,我成了禁区之王次元之王者降临变身萌主播:大神,站住!绝品保镖美总裁三国神话世界序列游戏,从抽取道具开始联盟:开局辅助水子哥魅魔君主网游:什么法师!你爹我是火箭军冒牌职业大神
半壁书屋最新小说:杀怪掠夺属性点,这一世我无敌了红魔主教练为了实习证明向魔王发起冲锋网游:魅力值点太高,怪看我的眼神有点不对武侠游戏:只有我知道剧情王者:两局游戏荣登出生榜榜首校园电竞:这座城市的王者诞生足球风云至尊穿越18岁,我成了CF高手流量型前锋,复兴慕尼黑1860网游之我有一箭可弑神NBA:冠军之王全职高手之双散巅峰最强领主:我,天使与亡灵之主路法归,遇端木!梦幻西游:签到打卡就能无敌游戏女尊一天一模拟,硬控乱世一百年网游:开局满星账号,爆杀全服穿越心动小镇:我带兄弟当肝帝穿越00后动漫融合的世界带完美进度农场进入求生游戏网游之大陆征服SAN值归零后我成了高危BUG请叫我腐烂我不是贱圣文明:从不死族到太空死灵虚空拼图业余里踢出来的国足超级后卫开局选择亡灵:我有ss级天赋DNF:求你别搞事,我们真服了我在无限流游戏里打工画渣又怎样?我靠神笔一路躺赢穿越火影之修真者的逆袭宝可梦真实网游:敢惹他?内裤都给你偷没了召唤万界军团史上最贱NPC王者:这个选手,正得发邪游戏降临:从隐藏职业开始封神人在巴黎奥运,班主任催交作业B级天赋,一样可以登顶列车求生:无挂求生nba最强球星詹姆斯哈登夏日狂响曲开局零幸运值?别慌我有任意门校花别撩我,我只想打篮球!NBA:穿越神医变教练带飞姚明网游之独步逍遥让你当王者陪玩,竟把校花泡了?