第387章 章 计算机证明世界猜想！(第 1/3 页)

    吴敌端坐在电脑前，看样子，对电脑非常熟练……

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

    卧槽……

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

    一旁的刘半学和丁兆祖也是呆滞住了，这小子，电脑技术也太强悍了吧？

    整个大礼堂陷入了鬼一般的寂静，只有吴敌键盘的敲击声。

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

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

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

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

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

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

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

    第一个概念是“构形”。

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

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

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

    吴敌这时一边编程，一边朝着夏天道：“你把第一次证明四色猜想的解题步骤，投射到大屏幕上……”

    “哦，好……”

    -->>(第 1/3 页)（本章未完，请点击下一页继续阅读）