关灯
护眼
字体:

第284章 到底什么实力?

首页书架加入书签返回目录

请安装我们的客户端

更新超快的免费小说APP

下载APP
终身免费阅读

添加到主屏幕

请点击,然后点击“添加到主屏幕”

    计算机系的大神,都没这份水准吧?

    李岩端坐在电脑前,看样子,对电脑非常熟练…

    不,特码的不止是熟练那么简单,这小子编程居然连一丝停顿都没有,完全是一气呵成键盘的敲击声音,美妙的不像话,充满着种节奏般的韵律!

    卧槽……

    全场所有大学生,全部目瞪口呆……这是什么样的编程速度?

    一旁的刘老和任老也是呆滞住了,这小子,电脑技术也太强悍了吧?

    整个大礼堂陷入了鬼一般的寂静,只有李岩键盘的敲击声。

    而一帮大学生和教授,且光无神的看着大屏幕上一连串的字符,有个懂得编程的大学生开始吃起惊来。

    “他在编写一个制图软件…”

    “但是不知道有什么用?”

    “这程序还挺复杂的……”

    确实,李岩编写的这个制图软件,还不是一般的普通操作制图,而是自动制图软件。

    这种可以快速制图的软件,就是证明四色猜想的关键。

    前世,肯普的反证法虽然存在重大自相矛盾的缺陷,但阐明了两个重要的概念,对以后四色猜想的证明提供了途径。

    第一个概念是“构形”。

    就如刚才夏天所说的,不正规地图很容易证明,因为不规则,所以颜色很容易确定,而且或许真正制图之中,都不需要用颜色来确认,因为奇形怪状,很容易分辨。

    所以四色定理的难点在干正规地图。

    四色猜想的证明,就简化为“正规地图,用四色就可以制作而成”,口要证明了这,四色猜想就迎刃而解。

    李岩这时一边编程,一边朝着夏天道;“你把第一次证明四色猜想的解颢步骤,投射到大屏幕上…… ”

    “哦,好……”

    夏天杝被李岩的编程给刺激的傻掉了,这家伙,还有什么不会的?

    她翻看着自己的投影资料,而后唰的一下,一开始夏天阐述的很多关干四色猜想的论证观点,出现在了大屏幕上。

    李岩的声音,也是响彻整个大礼堂。

    “夏天同学,刚才用反证法证明了,在每一张正规地图中,至少有一国具有两个、三个四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是说,由两个邻国,三个邻国、四个或五个邻国组成的一组_’构形’是不可避免的,每张地图至少含有这四秧构形中的一个!”

    “我就不在此计算了,毕竟上面的解题过程都有证明数据,F面数小王5……”

    李岩说完一旁的任老和刘老点了点。

    “这个讨程是对的,这是四色猜想正规地图的构形理论……”

    “只要证明这个构形的地图,只需要四色埴充,就没什么回题了…… ”

    两个数学家相视一眼,但还是没搞懂李岩需要电脑干什么?

    “我们知道,在几何图形之中,如果几何物体在一定条件下分解成一些‘较小’的几何物体的并集,就称它为可约的。”

    李岩开始阐述前世数学家肯普提出的另一个概念一一“可约”。

    “可约”这个词的使用是来自肯普的论证。

    他证明了只要五色地图中有一国具有四个邻国,就会有国数减少的五色地图,也叫作最小五色地图。

    自从引入“构形”,“可约”概念后,数学界对“四色猜想”,有了讲一步的简化方法,只要诼步检查构形以决定是否可约的一些标准方法,就能够寻求可约构形的不可避免组,这是证明... -->>
本章未完,点击下一页继续阅读
上一章目录下一页

请安装我们的客户端

更新超快的免费小说APP

下载APP
终身免费阅读

添加到主屏幕

请点击,然后点击“添加到主屏幕”