手机浏览器扫描二维码访问
“这没证明怎么就不能用了,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();
一个稚嫩的小女生,在对的时间遇到了那个似乎自己觉得那个对的人,被爱情冲昏了头脑,为了自己心爱的人貌似什么都能放弃可是好景不长不辞而别又遭遇了车祸的他在几年后的出现给她带来爱人和好朋友的背叛正因为这些才让她变得更强大!...
少年宁轩,一个卑微的奴隶无意中踏上一条残酷的血腥之路,生死之间,尔虞我诈,人道仙道,争端不休,且看宁轩一路高歌猛进,在蓝色的火,白色的光中,浴血奋战,浴火重生以最强之名,轰出一条血路!ps新书买断,完本保障,放心收藏,希望大家能够多多支持。(更新换收藏,在没有推荐的情况下,每天收藏增长60,加更一章,没有上限。)公布一个群号108137287...
...
温小雅本是被欺凌的小胖妞,一场车祸竟让她和白富美交换了灵魂,还成为了偶像顾言溪的女友!可后来她慢慢发现爱豆只是将她当做契约女友,想要转正遥遥无期!爱豆不爱没关系,她还有贴身美男管家独家服侍,后援团两大小迷弟倾身支援,就连模特老师都对她宠爱有加。就算成为大众情敌,温小雅也能披荆斩棘,乘风破浪...
...
每个人都是天上的星辰,当你看到流星坠落的时候,就是一个人的生命走到了尽头。或许,你看的未必就是流星,而是我的拳芒划破了夜空!语音群(40336)。...