手机浏览器扫描二维码访问
“这没证明怎么就不能用了,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();
布桐在路边捡了个帅到惨绝人寰的老公,婚后,厉先生化身妻奴,宠起老婆来连老婆本人都怕。老公,说好的高冷呢?厉先生无辜摊手,高冷在你面前一无是处。厉先生要出差一个月,布桐假装闷闷不乐相送,转身就开香槟庆祝,终于可以放大假了。第二天醒来,厉先生站在床头,太太,惊不惊喜?感不感动?布桐不敢动,不敢动...
前世身为孤儿,在末法时代修习鬼道真解却为恶鬼反噬,就此殒命。重生修仙界,胡冬寒抱着自家童养媳的大腿进了邪道阴魂宗,成了一名普通的外门弟子,高高仰望着自家的童养媳。于是,胡冬寒一面修行鬼道真解,一面发誓一定要推倒你!...
三年婚姻,一朝成刺。孩子病危等着救命,老公却撒手不管还骂我给他戴绿帽子。无奈之下,我将自己的身体与灵魂一并出卖,只为换孩子的平安。他是威震黑白的四哥,像勾魂摄魄的毒花,在我的世界惊艳,让我迷惘,沉沦,崩溃,幻灭。他说,别人接近你,只是为了得到你的身体。而我不一样,我要得到的,是你的全部。他又说,春风十里不如你,浩月繁星不如你,江河湖海不如你。最后他说,我对你说那些,都是假的。我说,不管真的假的,我...
作者方糖精的经典小说契约总裁太霸道最新章节全文阅读服务本站更新及时无弹窗广告小说契约总裁太霸道一纸婚约,将她束缚在他身边五年,受尽苦难,五年后,恩怨却没有结束...
17岁的顾未央原本只是一名单纯的元气少女,却不料某天醒来后,发现自己的脑海里竟会很是突然的冒出对于某件事的选项,有时有三个选项,也有时只有一个。一旦顾未央弃权不选择,头就会变得越来越疼,直到自己受不了最终还是被迫选择。同样的,如果选择了不按照选项去做结果也是如此。只是这些选项在大多时候都不靠谱的且浮夸的。...
作者温晓的经典小说盛世女侯最新章节全文阅读服务本站更新及时无弹窗广告小说时府嫡女才艺无双,绝色倾城,但性格怯懦人人可欺,还被世人误认为是个草包丑女。待现代女特种兵魂穿入体,时非晚突然性格大改。从此钟鸣鼎食之家多了一个闺阁怪胎文可斗继母恶庶,辩文臣大佬,洗上古奇冤,翻朝堂风云武可出闺阁,着戎装,训奇兵,成一代名将可惜她最后竟然栽在了某煞星手上此主明也修罗,暗也修罗。有人欺她辱她谤她,他便多管闲事弄死他有人恋她痴她追她,他便咬牙切齿更要宰了他!...