八零中文网 www.80zw.cc，最快更新都市之最强小学生 ！
计算机系的大神，都没这份水准吧？
李岩端坐在电脑前，看样子，对电脑非常熟练…
不，特码的不止是熟练那么简单，这小子编程居然连一丝停顿都没有，完全是一气呵成键盘的敲击声音，美妙的不像话，充满着种节奏般的韵律！
卧槽……
全场所有大学生，全部目瞪口呆……这是什么样的编程速度？
一旁的刘老和任老也是呆滞住了，这小子，电脑技术也太强悍了吧？
整个大礼堂陷入了鬼一般的寂静，只有李岩键盘的敲击声。
而一帮大学生和教授，且光无神的看着大屏幕上一连串的字符，有个懂得编程的大学生开始吃起惊来。
“他在编写一个制图软件…”
“但是不知道有什么用？”
“这程序还挺复杂的……”
确实，李岩编写的这个制图软件，还不是一般的普通操作制图，而是自动制图软件。
这种可以快速制图的软件，就是证明四色猜想的关键。
前世，肯普的反证法虽然存在重大自相矛盾的缺陷，但阐明了两个重要的概念，对以后四色猜想的证明提供了途径。
第一个概念是“构形”。
就如刚才夏天所说的，不正规地图很容易证明，因为不规则，所以颜色很容易确定，而且或许真正制图之中，都不需要用颜色来确认，因为奇形怪状，很容易分辨。
所以四色定理的难点在干正规地图。
四色猜想的证明，就简化为“正规地图，用四色就可以制作而成”，口要证明了这，四色猜想就迎刃而解。
李岩这时一边编程，一边朝着夏天道；“你把第一次证明四色猜想的解颢步骤，投射到大屏幕上…… ”
“哦，好……”
夏天杝被李岩的编程给刺激的傻掉了，这家伙，还有什么不会的？
她翻看着自己的投影资料，而后唰的一下，一开始夏天阐述的很多关干四色猜想的论证观点，出现在了大屏幕上。
李岩的声音，也是响彻整个大礼堂。
“夏天同学，刚才用反证法证明了，在每一张正规地图中，至少有一国具有两个、三个四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组_’构形’是不可避免的，每张地图至少含有这四秧构形中的一个！”
“我就不在此计算了，毕竟上面的解题过程都有证明数据，F面数小王5……”
李岩说完一旁的任老和刘老点了点。
“这个讨程是对的，这是四色猜想正规地图的构形理论……”
“只要证明这个构形的地图，只需要四色埴充，就没什么回题了…… ”
两个数学家相视一眼，但还是没搞懂李岩需要电脑干什么？
“我们知道，在几何图形之中，如果几何物体在一定条件下分解成一些‘较小’的几何物体的并集，就称它为可约的。”
李岩开始阐述前世数学家肯普提出的另一个概念一一“可约”。
“可约”这个词的使用是来自肯普的论证。
他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图，也叫作最小五色地图。
自从引入“构形”，“可约”概念后，数学界对“四色猜想”，有了讲一步的简化方法，只要诼步检查构形以决定是否可约的一些标准方法，就能够寻求可约构形的不可避免组，这是证明“四色题”的重要依据。
但要证明超大地图的构形可约，雲要检查大量的细节，这是相当复杂的。
靠人脑，很难搞定。
因为这可能涉及到几百亿达甚至几千亿次的尝试。
“我现在编写的这个程序，是自动制图软件，我会让计算机的高谏运算，把这些可能的正规地图构型和可约，全部制作出来……”
李岩说完、所有人就看到他猛地敲击键盘，电脑品示屏之上，顿时出现了一个程序。
唰！
程序自动运行，而后产生了无数种的图形变幻。
“我这个程序，能一秒钟制作几百万张正规的地图构形，从最小的5国开始，5国就一种可能，而6国就有3种可能……一直推演下去，到几百国家，几千国家，几万……”
李岩在那说着，台下所有人都惊为天人，这尼玛，太牛逼了啊！
分分钟制作了一个这样牛逼的软件。
说完，李岩又开始坐到了另外一台电脑上，开始继绩编程。
“另一台电脑要搞什么？”
“不知道啊…
“看样子，是颜色区分的某种程序…… ”
几个懂编程的太学生在那看着，李岩却是一分钟就编程好了这个自动染色软件。
相比干刚才的自动制图，这染色品然简单很多。
但是这台电脑的运算却也不低，因为李岩要证明四色猜想，必须两台电脑联动……在第一台电脑上快速生成各种正规图形，从最少的五个国家开始，一直增加！
而第二台电脑，就是要给这生成的地图，快速染上四种颜色，确保四色猜想的证明无误。
所以两台电脑的运算，都是要全速开启才行。
“当国家数到达几十万的时候，基本就能证明无穷，这所说的可约，也是数学上的递讲规律，而几十万个国家的地图，对于世界上村镇制图，都是可以完全证明的…也就是说，只要十几万国构型四色成功，那就能证明，四色猜想证明成立！”
李岩说完，计算机已经推讲到了一百多个国家……这速度，估让人脑计算，得好多年……
一分钟没到，一百多个国家所有可能的正规地图，已经全部被计算机梳理了一遍，但却都可以用四色才渲染制作。
因为所有的图形，都被完整的保存在了电脑里面。
一旁的任老和刘老已经看傻了！
还能这样？
这种证明方法，也太暴力了吧？
直接平推，没有一点技术含量！
但是，你要说他没证明吧，显然不对这样的证明方法，是符合逻辑的，这在数学上叫做暴力解法，也叫作排除法。
把所有可能性推除，但到了最后，不就证明出理论了么？！
“我估计最多1小时，就能推算到10万个国家……再推算下夫也行，但没什么实际意义……”
李岩朝着一旁的任老和刘老说着，两个人都是点了点头：“行，那就让电脑先计算吧……我们等待一小时，一小时后，我得把证明成果都带走，这是证明的珍贵资料！”
“好，我在家已经做讨了一遍实验，没有任何问颗…至于这道程序，是可以用数学公式推导的，相信数学院可以把自动制图的程序用数学公式推导出来……到时候凭借证明过程，再加上电脑计算，四色猜想的证明，就此成立！”
李岩说这话的时候，脸色没有任何情绪。
但一旁的任老和刘老，却是有些老泪纵横。