宠物乐园-第151章
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
梢越晌钪招翁Ｋ裕颐潜匦虢贫裰乓餐蹦扇肫平饨獭！�
麒麟：“我们可以破解吗？”
神龙：“不是我们，而是齐聚了世界差不多三千多名电脑天才组成的破解队伍！”
黑暗金字塔
自从进化成为天龙以来，龙蛇非常地彷徨，彷徨到很想自己再变成龙蛇。
而今天，终于让它感应到了什么，它的嘴角终于露出了许久以来未有的微笑，这个世界，终于又开始向前发展了，而自己，又要发展到什么地步呢？
是要，成神了吗？
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的正整数解的问题，当n=2时就是我们所熟知的毕氏定
理（中国古代又称勾股弦定理）：x2 ＋ y2 =z2，此处z表一直角形之斜边而x、y为其之
两股，也就是一个直角三角形之斜边的平方等於它的两股的平方和，这个方程式当然有
整数解（其实有很多），例如：x=3、y=4、z=5；x=6、y=8、z=10；x=5、y=12、z=13
等等。
费马声称当n》2时，就找不到满足xn ＋yn = zn的整数解，例如：方程式x3 ＋y3=z3就无法
找到整数解。
当时费马并没有说明原因，他只是留下这个叙述并且也说他已经发现这个定理的证明妙
法，只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题，三百
多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最
后定理也就成了数学界的心头大患，极欲解之而后快。
十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人，可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔（P？Wolfskehl）在1908年提供十万马克，给能够证明费马最后定理是正确的人，
有效期间为100年。其间由於经济大萧条的原因，此笔奖额已贬值至七千五百马克，虽然
如此仍然吸引不少的「数学痴」。
二十世纪电脑发展以后，许多数学家用电脑计算可以证明这个定理当n为很大时是成立的 ，1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243…1时费马定理是正确 的（注286243…1为一天文数字，大约为25960位数）。
虽然如此，数学家还没有找到一个普遍性的证明。不过这个三百多年的数学悬案终於解
决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是
利用二十世纪过去三十年来抽象数学发展的结果加以证明。
五0年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想，后来由另一位数学家志 村五郎加以发扬光大，当时没有人认为这个猜想与费马定理有任何关联。在八0年代德
国数学家佛列将谷山丰的猜想与费马定理扯在一起，而威利斯所做的正是根据这个关联
论证出一种形式的谷山丰猜想是正确的，进而推出费马最后定理也是正确的。这个结论
由威利斯在1993年的6月21日於美国剑桥大学牛顿数学研究所的研讨会正式发表，这个报 告马上震惊整个数学界，就是数学门墙外的社会大众也寄以无限的关注。不过威利斯的
证明马上被检验出有少许的瑕疵，於是威利斯与他的学生又花了十四个月的时间再加以
修正。1994年9月19日他们终於交出完整无瑕的解答，数学界的梦魇终於结束。1997年6 月，威利斯在德国哥庭根大学领取了佛尔夫斯克尔奖。当年的十万法克约为两百万美金
，不过威利斯领到时，只值五万美金左右，但威利斯已经名列青史，永垂不朽了。
要证明费马最后定理是正确的
（即xn ＋ yn = zn 对n33 均无正整数解）
只需证 x4＋ y4 = z4 和xp＋ yp = zp （P为奇质数），都没有整数解。
三分钟过后，拳头将程序注入了玻璃密码箱中，拿到了进入第四关的钥匙。
大家现在是什么话也没有说，直接进入了第四关。前三关都这样了，那后面还不难上天了，时间就是关数呀！
进入了第四关，大家看着面前的玻璃字迹，都无言的露出了苦笑。
红色球：“这个问题谁能解决？”
黄金剑：“我能解决就成世界级的大数学家了！”
飘雪：“这个问题无解！”
射日弓：“没得解决的方法，没有程序。”
玻璃上写着一行惊心动魄地信息：“请写出证明哥德巴赫猜想的程序。”
哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数（只能被和它本身整除的数）之和。如6＝3＋3，12＝5＋7等等。 1742年6月7日，哥德巴赫写信将这个问题告诉给意大利大数学家欧拉，并请他帮助作出证明。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。他们对一个个偶数开始进行验算，一直算到3．3亿，都表明猜想是正确的。但是对于更大的数目，猜想也应是对的，然而不能作出证明。欧拉一直到死也没有对此作出证明。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代，才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明，得出了一个结论：每一个比大的偶数都可以表示为（99）。这种缩小包围圈的办法很管用，科学家们于是从（9十9）开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止，这样就证明了“哥德巴赫”。 1924年，数学家拉德马哈尔证明了（7＋7）；1932年，数学家爱斯尔曼证明了（6＋6）；1938年，数学家布赫斯塔勃证明了（5十5），1940年，他又证明了（4＋4）；1956年，数学家维诺格拉多夫证明了（3＋3）；1958年，我国数学家王元证明了（2十3）。随后，我国年轻的数学家陈景润也投入到对哥德巴赫猜想的研究之中，经过10年的刻苦钻研，终于在前人研究的基础上取得重大的突破，率先证明了
