手机浏览器扫描二维码访问
第九十六章 四色猜想（第2页）
“四色猜想？”沈知文立马反应过来。“艹，汪潮他怎么想的。这机器不宕机就怪了。”
“估计他自己也没反应过来，认为逻辑自洽就行了。这不宕机就怪了。计算量太大，可能需要超算才能完成。”吴哲笑着说道。
“而且他不光搞了一个四色问题的世界性难题，涉及图论那块他还搞了个西塔潘猜想出来。我都不知道说他是天才还是蠢材了。两个没证明的猜想能拿来运用，而且逻辑还是自洽的。回来我要逼着他给证明了。”汪潮恨恨说道。
“这没证明怎么就不能用了，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缠上 太昊金章 公府娇娘（重生） 满级医修重回真假千金文 四合院：终极粮草 潜行者 盗墓：我搬山传人，被向往曝光了 骄纵玫瑰 三万年后我满级归来[星际] 从聊斋开始做狐仙 轮回世界：我的无限战争 烈日骄阳
程少撩妻：豪门主母
＊程牧初见陶夭。灯光流转，觥筹交错，她在跪舔别人的裤腿。程牧再见陶夭。光天化日，众目睽睽，别人在跪舔她的高跟鞋。程牧一笑，丫头片子有点能耐。边上有人促狭道二爷，听说那姑娘在圈子里拜了个干爹。程牧呵。＊陶夭说生活就像吃屎，无所谓今天吃，还是明天吃，不吃得饿死。头颅仰得太高，没用，不如低眉顺眼先活着，活着活着，一只狗也保不齐活出人样了。不曾想她将自己当成狗了，某位爷愣是想将她捧成角。角是那么好当的吗？人前，她像花瓶，香江程二爷重金打造。人后，她像抹布，二爷花样太多，总将她拧成各种形状，晚上白天，死去活来。她不想干了，肚子里多了个小祖宗。得，豪门主母这位子坐定了。＊奉子成婚。陶夭小腹微凸，高调入豪门。婚礼上，她眼瞅着对面一向冷峻深沉的男人勾唇含笑，有点眼花，无语道您到底图我什么呢？想给您生孩子的女人手拉手能绕香江两圈了。程牧低笑，俯身在她耳边，一字一顿，日久生情，这种事，栽了就认了。陶夭翻个白眼，无耻。程牧看着她一脸酡红，笑而不语。他懒，这辈子所有的精力，用来调教一只小野猫已是不易，哪有闲情，再去招惹其他？＊世人只知他程二爷在香江一手遮天。却不知，他乐意遮的，从来只有她头顶那片天。他庆幸，他看见了她的好。＊本文又名影后成名史，男主强取豪夺，男配统统想上位，一对一结局和，清冷倔强百折不挠型女主，权势滔天冷漠腹黑型男主，豪门婚恋，娱乐圈元素，欢迎跳坑。＊推荐阿锦完结暖文已出版影后重生之豪门萌妻，出版书名献给亲爱的邵先生待出版重生娱乐圈之名门盛婚，出版书名待定。豪门暖媳，出版书名待定。搜索作者其他作品或者直接在书院搜索作者名书名均可见哈。＊新浪微博浮光锦，求关注么么哒。...
女神的至尊神婿（林云李幼琪）
曾被人设下骗局，输尽百万家产他发誓在那里跌倒，就在那里爬起来三年沉默，一朝爆发，他誓要拿回曾经失去的一切！...
龙门赘婿
十六年前的他，是豪门弃子。十六后归来的他，权势滔天，无人可挡。哪怕如此，他也甘心当上门女婿，只为了梦中的那张笑脸。...
盛世嫡妃，世子爷宠妻如命
七年的相伴，原来只不过是利用，冷宫赐死的苏明月也许是命不该绝，回到了十四岁那年，从此踏上了复仇之路。她想，她应该是需要一个帮手，所以，她找上了京城所有少女的梦中情人宸王府世子元澈。他想，他应该是需要一个媳妇，所以，他找上了整个京城人人都称彪悍的将门虎女苏明月。明明说好的是合作，怎么就进了洞房了，还美其名曰，为长期合作奠定良好的基础。婚后大家只看见了向来英明神武的世子爷变成了妻控，唯妻是从。ampldquo世子爷，阮家的公子对我们世子妃动手动脚的？amprdquo小厮禀道。ampldquo把那小子的手给爷剁了。amp...
修真回收进化
石头木头树皮粘土沙子金属。这世界上就没有张阳不能回收换金币的。金币可以干嘛？灵石丹药破境丹应有尽有。秘宝法器随手就来，被困在阵法里了？没事，张阳随手召唤传送门。被天位老祖追杀了？没事，张阳可以开无敌盾。随身带着回收系统，真的可以为所欲为！...
帝国总裁心尖妻
传说中，龙骁是无比尊贵，只需跺跺脚帝都都要抖三抖的龙氏帝国总裁，霸道阴狠，残酷无情，可只有他自己知道，他有病，而盛锦，是他唯一的良药...