吴敌端坐在电脑前,看样子,对电脑非常熟练……
不,特码的不止是熟练那么简单,这小子编程居然连一丝停顿都没有,完全是一气呵成,键盘的敲击声音,美妙的不像话,充满着一种节奏般的韵律!
卧槽……
全场所有大学生,全部目瞪口呆……这是什么样的编程速度?!
一旁的刘半学和丁兆祖也是呆滞住了,这小子,电脑技术也太强悍了吧?
整个大礼堂陷入了鬼一般的寂静,只有吴敌键盘的敲击声。
而一帮大学生和教授,目光无神的看着大屏幕上一连串的字符,有几个懂得编程的大学生开始吃起惊来。
“他在编写一个制图软件……”
“但是不知道有什么用?”
“这程序还挺复杂的……”
确实,吴敌编写的这个制图软件,还不是一般的普通操作制图,而是自动制图软件。
这种可以快速制图的软件,就是证明四色猜想的关键。
前世,肯普的反证法虽然存在重大自相矛盾的缺陷,但阐明了两个重要的概念,对以后四色猜想的证明提供了途径。
第一个概念是“构形”。
就如刚才夏天所说的,不正规地图很容易证明,因为不规则,所以颜色很容易确定,而且或许真正制图之中,都不需要用颜色来确认,因为奇形怪状,很容易分辨。
所以四色定理的难点在于正规地图。
四色猜想的证明,就简化为“正规地图,用四色就可以制作而成”,只要证明了这,四色猜想就迎刃而解。
吴敌这时一边编程,一边朝着夏天道:“你把第一次证明四色猜想的解题步骤,投射到大屏幕上……”
“哦,好……”
夏天也被吴敌的编程给刺激的傻掉了,这家伙,还有什么不会的?!
她翻看着自己的投影资料,而后唰的一下,一开始夏天阐述的很多关于四色猜想的论证观点,出现在了大屏幕上。
吴敌的声音,也是响彻整个大礼堂。
“夏天同学,刚才用反证法证明了,在每一张正规地图中,至少有一国具有两个、三个、四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是说,由两个邻国,三个邻国、四个或五个邻国组成的一组‘构形’是不可避免的,每张地图至少含有这四种构形中的一个!”
“我就不在此计算了,毕竟上面的解题过程都有证明数据,F面数小于5……”
吴敌说完,一旁的丁兆祖和刘半学点了点头。
“这个过程是对的,这是四色猜想正规地图的构形理论……”
“只要证明这个构形的地图,只需要四色填充,就没什么问题了……”
“对!”
两个数学家相视一眼,但还是没搞懂吴敌需要电脑干什么?
“我们知道,在几何图形之中,如果一个几何物体在一定条件下分解成一些‘较小’的几何物体的并集,就称它为可约的。”
吴敌开始阐述前世数学家肯普提出的另一个概念——“可约”。
“可约”这个词的使用是来自肯普的论证。
他证明了只要五色地图中有一国具有四个邻国,就会有国数减少的五色地图,也叫作最小五色地图。
自从引入“构形”,“可约”概念后,数学界对“四色猜想”,有了进一步的简化方法,只要逐步检查构形以决定是否可约的一些标准方法,就能够寻求可约构形的不可避免组,这是证明“四色问题”的重要依据。
但要证明超大地图的构形可约,需要检查大量的细节,这是相当复杂的。
靠人脑,很难搞定。
因为这可能涉及到几百亿次甚至几千亿次的尝试。
“我现在编写的这个程序,是自动制图软件,我会让计算机的高速运算,把这些可能的正规地图构型和可约,全部制作出来……”
吴敌说完,所有人就看到他猛地敲击键盘,电脑显示屏之上,顿时出现了一个程序。
唰!
程序自动运行,而后产生了无数种的图形变幻。
“我这个程序,能一秒钟制作几百万张正规的地图构形,从最小的5国开始,5国就一种可能,而6国就有30种可能……一直推演下去,到几百国家,几千国家,几万……”
吴敌在那说着,台下所有人都惊为天人,这尼玛,太牛逼了啊!
分分钟制作了一个这样牛逼的软件。
说完,吴敌又开始坐到了另外一台电脑上,开始继续编程。
“另一台电脑要搞什么?”
“不知道啊……”
“看样子,是颜色区分的某种程序……”
几个懂编程的大学生在那看着,吴敌却是一分钟就编程好了这个自动染色软件。
相比于刚才的自动制图,这染色显然简单很多。
但是这台电脑的运算却也不低,因为吴敌要证明四色猜想,必须两台电脑联动……在第一台电脑上快速生成各种正规图形,从最少的五个国家开始,一直增加!
而第二台电脑,就是要给这生成的地图,快速染上四种颜色,确保四色猜想的证明无误。
所以两台电脑的运算,都是要全速开启才行。
“当国家数到达几十万的时候,基本就能证明无穷,这是数学上所说的可约,也是数学上的递进规律,而几十万个国家的地图,对于世界上村镇制图,都是可以完全证明的……也就是说,只要十几万国构型四色成功,那就能证明,四色猜想证明成立!”
吴敌说完,计算机已经推进到了一百多个国家……这速度,估计人脑计算,得好多年……
喜欢都市之七岁大宗师请大家收藏:(www.zcwx8.com)都市之七岁大宗师总裁文学更新速度全网最快。