《宠物乐园》第228章

麒麟：“我们可以破解吗？”
神龙：“不是我们，而是齐聚了世界差不多三千多名电脑天才组成的破解队伍！”
黑暗金字塔
自从进化成为天龙以来，龙蛇非常地彷徨，彷徨到很想自己再变成龙蛇。
而今天，终于让它感应到了什么，它的嘴角终于露出了许久以来未有的微笑，这个世界，终于又开始向前发展了，而自己，又要发展到什么地步呢？
是要，成神了吗？
J国秘密网络中心
一个身穿着笔挺军服的中年人给远方的某人打了个电话，脸上露出了会心的微笑。想抛下我们，门都没有！
真理之门，善恶之门，禁区之门，三道门的结合，到底是带来什么？为什么它们会有这样的名字呢？
萧扬带领着团队进入了第二关，跟第一关完全一样，题目是：“请写出四色定理证明程序。”
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯。格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
地图四色定理（Four　color　theorem）最先是由一位叫古德里（Francis　Guthrie）的英国大学生提出来的。德？摩尔根（Augustus　De　Morgan，1806～1871）1852年10月23日致哈密顿的一封信提供了有关四色定理来源的最原始的记载。他在信中简述了自己证明四色定理的设想与感受。一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。1976年美国数学家阿佩尔（K。Appel）与哈肯（W。Haken）宣告借助电子计算机获得了四色定理的证明，又为用计算机证明数学定理开拓了前景。
四色问题又称四色猜想，是世界近代三大数学难题之一。
四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”
这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
萧扬看着这个题目，立马问了一句：“谁可以证明？”
拳头：“我只知道美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。我可不是数学家，这个东西我不懂，你们来！”
黄金剑：“这个问题我看就算能做还是得花很大的时间，还是进行暴力破解吧！”
射日弓：“看我的吧！”
第一百六十二章　世界近代三大数学难题　
没等大家反映过来，射日弓上出现了一阵青色的光芒，青色光芒被注入到那个玻璃内，玻璃上立即出现了一行字迹：“程序验证无误！”却见射日弓上立即出现了一把钥匙的印记。
黄金剑有些疑惑道：“射日弓，你不是吧？这个程序你都写得出来？还是你以前就搞这个研究的？”
飘雪：“我真是对你佩服得五体投地。这个程序你都能弄出来，佩服佩服！”
红色球：“我真的想知道你是怎么弄出来的？”
拳头：“附议。”
射日弓：“嘿嘿，这你们就不知道了吧！刚才拳头不是说了美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。我马上入侵伊利诺大学的档案库，马上就查到了那个证明程序，直接来个复制粘贴不就搞定了嘛！哪需要想得那么复杂！”
红色球：“不错！”
拳头：“我还真的是笨呀，怎么就没想到呢！看来这些密码都应该是可解的！”
黄金剑：“到也别太乐观，前两关就是这些问题，到后面说不定就来个前人没有证明的猜想，那就没得答案！”
飘雪：“这是世界近代三大数学难题之一四色猜想。真的不知道后面会不会把那些难题全拿来考我们，其他有些猜想可是没有证明的！”
射日弓：“好了，别杞人忧天了，反正我们是决心创到最后一关，解不了题就暴力破门吧，走了，别浪费时间……”说完，射日弓已经接触第三关大门，将门打开了，随即跨门而入。
其余人自然是马上跟上去，大家进入了第三关。
红色球看着这个问题，有些无语，说道：“你们的猜测已经成为现实了，我在网上搜索了一下，第二个世界近代三大数学难题之一，不过我是没找到证明程序，只找到了证明的方法。”
拳头：“有了方法那就好办了，我也找到了，这个问题我来吧！”
射日弓：“感谢佛主……”
飘雪：“拳头，加油吧，先说一下，3分钟解决问题，否则，就别写程序了，还是暴力破解好了！”
“没问题，只要有方法，程序还不是手到擒来！”说完，拳头就去工作了。
对于他们来说，写程序肯定不可能再自己一个字母一个字母地敲了，智能程序都能够写出来，自动写程序的程序还制造不出来吗？
只要把问题输入，把解题方法输入，一个程序从编写到编译再到执行，分分钟的问题，除非你这个问题解题方法有错或者是真的是超出了这个程序的能力，否则，编程，小CASE！
费马是十七世纪最卓越的数学家之一，他在数学许多领域中都有极
大的贡献，因为他的本行是专业的律师，为了表彰他的数学造诣，世人冠以「业余王子
」之美称，在三百六十多年前的某一天，费马正在阅读一本古希腊数学家戴奥芬多斯的
数学书时，突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内
容是有关一个方程式　x2　＋　y2　z2的正整数解的问题，当n2时就是我们所熟知的毕氏定
理（中国古代又称勾股弦定理）：x2　＋　y2　z2，此处z表一直角形之斜边而x、y为其之
两股，也就是一个直角三角形之斜边的平方等於它的两股的平方和，这个方程式当然有
整数解（其实有很多），例如：x3、y4、z5；x6、y8、z10；x5、y12、z13…
等等。
费马声称当n》2时，就找不到满足xn　＋ynzn的整数解，例如：方程式x3　＋y3z3就无法
找到整数解。
当时费马并没有说明原因，他只是留下这个叙述并且也说他已经发现这个定理的证明妙
法，只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题，三百
多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最
后定理也就成了数学界的心头大患，极欲解之而后快。
十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人，可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔（P？Wolfskehl）在1908年提供十万马克，给能够证明费马最后定理是正确的人，
有效期间为100年。其间由於经济大萧条的原因，此笔奖额已贬值至七千五百马克，虽然
如此仍然吸引不少的「数学痴」。
二十世纪电脑发展以后，许多数学家用电脑计算可以证明这个定理当n为很大时是成立的　，1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243…1时费马定理是正确　的（注286243…1为一天文数字，大约为25960位?