手机浏览器扫描二维码访问
“四色猜想?”沈知文立马反应过来。“艹,汪潮他怎么想的。这机器不宕机就怪了。”
“估计他自己也没反应过来,认为逻辑自洽就行了。这不宕机就怪了。计算量太大,可能需要超算才能完成。”吴哲笑着说道。
“而且他不光搞了一个四色问题的世界性难题,涉及图论那块他还搞了个西塔潘猜想出来。我都不知道说他是天才还是蠢材了。两个没证明的猜想能拿来运用,而且逻辑还是自洽的。回来我要逼着他给证明了。”汪潮恨恨说道。
“这没证明怎么就不能用了,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();
脑海里有世界碎片的神豪 骄纵玫瑰 四合院:终极粮草 都市奇门小神医 我在惊悚世界开酒店 盗墓:我搬山传人,被向往曝光了 战王狂婿 从聊斋开始做狐仙 废物美人被偏执boss缠上 太昊金章 公府娇娘(重生) 潜行者 三万年后我满级归来[星际] 华夏第一战神萧天策 烈日骄阳 盖世战神萧天策 轮回世界:我的无限战争 斗罗:无敌,从打工变强开始! 顶级强者萧天策 满级医修重回真假千金文
...
重生八零神医娇妻,有点凶前世,潇甜做的最后悔的事,就是伤害了一直深爱自己的男人,抱憾终身重活一世,潇甜准备虐渣,斗极品,以及紧紧抱住男人的大腿不撒手,只是为毛那个男人好像和自己前世所认识的人不太一样?他变得貌似有些作死?...
骆三姑娘仗着其父权倾朝野,恃强凌弱声名狼藉,没事就领着一群狗奴才上街招惹良家美少年。对清阳郡主来说,这种人敢在她面前撒野,她伸根手指头就让她消失了直到她睁开眼,发现自己叫骆笙。...
书海阁小说网免费提供作者髙富帅的经典小说做首富从外卖小哥走起最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说网红美女小哥,你打算一直送外卖吗?叶欢不一定,这送外卖确实太累了,二十四小时待命,太不人道了!说完,叶欢走出大门,坐上限量版保时捷扬长而去,留下网红美女风中凌乱。任务完成,恭喜主人,获得风团外卖百分之十股权合同一份!恭喜主人,完成订单,获得顶级赛车技能!单手法拉利,秀他一脸!当红记者小帅哥,听说你送外卖赚了一百万,能跟我们分享一下你的心情吗?叶欢吓了一跳,赶紧拨打银行客服问...
※任前世岁月无情,看今生锦绣芳华。※前世惨死的程湘死后来到三途川中,历经劫难之后,终于得以重生归来。程湘暗下决心,这一生,她定要有怨报怨,有仇报仇,好教那些为恶之人知晓,何谓天理循环,报应不爽!某人冷笑‘天理循环,报应不爽’?前一句是什么?程湘疑惑‘以彼之道,还施彼身’?话音刚落,某人连人带嘴一起伸了过来。不不是,你等等,朋友你要干什么?!把你曾经对我做过的事情,如数奉还!本文慢热,前期主打复仇,后期男主才会上线,敬请等待。...
忽然多出好多女儿怎么办?在线等,很急!什么?我还要给你们找妈?!...