手机浏览器扫描二维码访问
“这没证明怎么就不能用了,1+1=2还没证明呢?不照样用。
再说四色问题不是已经在计算机上面证明了吗?”
黄明海在旁边说道。
“那只是把四色问题算到了100亿次没出错而已,一天没在数学逻辑上给出证明就还没完。”
说完吴哲倒是来了兴趣,拿起笔和草稿纸开始证明起来。
——————
1852年,毕业于伦敦大学的格斯里,来到一家科研单位搞地图着色工作时,发现每幅地图都可以只用四种颜色着色。
他就想着这个现象能不能从数学上加以证明呢?只能说是吃得太饱闲的,格斯里和他的弟弟还真就研究上了,最后还拉上了他弟弟的老师、著名数学家德·摩尔根,可到死几人也没研究出来。
直到1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题,世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
1880年的时候,数学家利用归谬法来证明:大意是如果有一张正规的五色地图,就会存在一张国数最少的“极小正规五色地图”
,如果极小正规五色地图中有一个国家的邻国数少于六个,就会存在一张国数较少的正规地图仍为五色的,这样一来就不会有极小五色地图的国数,也就不存在正规五色地图了。
这样肯普就认为他已经证明了“四色问题”
,但是后来人们发现他错了。
1922年费兰克林证明了每个有至多25个国家的地图都可以用四种颜色着色。
1926年雷诺德将这一结果推广到27个国家,然后在1938年费兰克林又创造了31个国家的纪录。
1940年温恩证明了35个国家的情形以后,这方面的研究有所停滞,直到1970年,奥尔和史坦普尔对所有至多包含40个国家的地图证明了四色定理。
在哈肯和阿佩尔最终证明四色定理而使所有这类结果都黯然失色以前,这个数字曾经达到了96。
1950年德国数学家希许就曾估计,证明四色猜想大概要涉及一万个不同构形。
虽然后来证明他的估计是过分夸大了,但它却正确地指明了,四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
1972年哈肯与阿佩尔联手,经过整整四年的紧张工作,终于在1976年6月他们用三台计算机花费了1200个计算机小时,处理了两千多个构形,才算验证了四色问题成立。
可对于数学家来说肯定是不满意的。
——————
吴哲先从着色判定问题入手:设已知一个图g和m>0种颜色,在只准使用这m种颜色对g的结点着色的情况下,是否能使图中任何相邻的两个结点都具有不同的颜色呢?
再从m-着色最优化问题则求可对图g着色的最小整数m。
这个整数称为图g的色数。
这是求图的最少着色问题,来求出m的值。
for(i=1;i<=n;i++)
{
if(DFS(0,i))
{
cout<<“themincolors:“<<i<<endl;
break;
}
}
------
read3();
结婚一年,老公宁可找小三也不愿碰她。理由竟是报复她,谁让她拒绝婚前性行为!盛怒之下,她花五百万找了男公关,一夜缠绵,却怎么也甩不掉了!他日再见,男公关摇身一变成了她的顶头上司一边是拿床照做要挟的总裁上司,一边是满心求复合的难缠前夫,还有每次碰到她一身狼狈的高富帅,究竟谁才是她的此生良人...
他是战场上最强的利剑,是血色的风暴,他所到之处血雨腥风,却受命退伍,返回都市,开启了一段香艳而疯狂的征服之路。男人见了他色变,女人见了他‘变色’,无论是战场还是繁华都市,他都是最强大的男人,最碉堡的战兵。...
他是个受尽屈辱的上门女婿,但没人知道,他也是首富家族的公子!...
伊诺作为准新娘,即将嫁入豪门,却因为一场蓄意迫害,与陌生男人欢度一夜,事后事情曝光,她被抛弃,远走他国,七年后,她带着IQ超高的儿子归来,萌宝一心想给她做媒,凡是长得帅,有钱,素质高的,他都不放过这不,前男友,现任上司全被她的宝贝儿子招惹来了,一个愿为她赴汤蹈火,一个可给她如画江山,他们到底谁才能入宝贝儿子的法眼呢,谁又是他的亲生爹地呢?...
他,来自未来,利用自己的知识创造了无穷的财富 他,是宇宙最高文明的继承人,利用强大的科技帮助自己的国家崛起,并且建立了自己的国度 他,一生桃花运不断,利用自己独特的魅力征服了各种各样无穷的美女 金钱,美女,权利,他一样不缺...
书海阁小说网免费提供作者茜茜曦兮的经典小说一胎三宝神医狂妃,太难宠最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说自爆身亡,没想到穿越到了低阶大陆的废柴小姐身上,什么?穿一送三,她怀里还有三个绝世逆天的小宝宝!既然重活一世,那她就带她的三个崽子!将这个世界搅的翻天覆地!曾经伤害过自己和三宝的人,都统统给我洗好了等着抹脖!某男,娘子,今晚轮到相公陪了吧?相公新学的按摩技术一流,你可得好好试试!某女嫌弃脸,你先问问大宝二宝三宝同不同意?某男把三宝揍服之后,娘子,现在可以了吧?某女不耐烦的指了指肚子,...