计算机系的大神，都没这份水准吧？
李岩端坐在电脑前，看样子，对电脑非常熟练…
不，特码的不止是熟练那么简单，这小子编程居然连一丝停顿都没有，完全是一气呵成键盘的敲击声音，美妙的不像话，充满着种节奏般的韵律！
卧槽……
全场所有大学生，全部目瞪口呆……这是什么样的编程速度？
一旁的刘老和任老也是呆滞住了，这小子，电脑技术也太强悍了吧？
整个大礼堂陷入了鬼一般的寂静，只有李岩键盘的敲击声。
而一帮大学生和教授，且光无神的看着大屏幕上一连串的字符，有个懂得编程的大学生开始吃起惊来。
“他在编写一个制图软件…”
“但是不知道有什么用？”
“这程序还挺复杂的……”
确实，李岩编写的这个制图软件，还不是一般的普通操作制图，而是自动制图软件。
这种可以快速制图的软件，就是证明四色猜想的关键。
前世，肯普的反证法虽然存在重大自相矛盾的缺陷，但阐明了两个重要的概念，对以后四色猜想的证明提供了途径。
第一个概念是“构形”。
就如刚才夏天所说的，不正规地图很容易证明，因为不规则，所以颜色很容易确定，而且或许真正制图之中，都不需要用颜色来确认，因为奇形怪状，很容易分辨。
所以四色定理的难点在干正规地图。
四色猜想的证明，就简化为“正规地图，用四色就可以制作而成”，口要证明了这，四色猜想就迎刃而解。
李岩这时一边编程，一边朝着夏天道；“你把第一次证明四色猜想的解颢步骤，投射到大屏幕上……”
“哦，好……”
夏天杝被李岩的编程给刺激的傻掉了，这家伙，还有什么不会的？
她翻看着自己的投影资料，而后唰的一下，一开始夏天阐述的很多关干四色猜想的论证观点，出现在了大屏幕上。
李岩的声音，也是响彻整个大礼堂。
“夏天同学，刚才用反证法证明了，在每一张正规地图中，至少有一国具有两个、三个四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组_’构形’是不可避免的，每张地图至少含有这四秧构形中的一个！”
「如章节缺失请退出#阅#读#模#式」
你看#到的#内#容#中#间#可#能#有#缺#失，退#出#阅#读#模#式，才可以#继#续#阅#读#全#文,或者请使用其它#浏#览#器
