“志民，你真的已经证明了四色问题吗？”
周志民道：
“谁跟你说的？我还没有开始呢，不过这台机器已经开始了，嘿嘿。”
这时候段学复这才注意到在周志民身后，被徐献瑜他们围起来的那台计算机。
他是第一次见到实体，之前虽然也听说过101项目，但压根儿就没机会见。
而且他一个搞数学理论研究的人，跟应用研究的人，本来就是两条水平线上，很少有交流。
第249章 四色猜想证明思路，满月酒
酒仙桥地区，七七四厂，101项目实验室。
此时的实验室内聚集了许多人。
不算徐献瑜他们，段学复、吴文俊、华罗庚、江泽涵他们这些人全都在。
华罗庚这人既是纯数学理论研究专家，也是应用科学带头人。
因为之前中科院的103电子管计算机就是华罗庚带头研发出来的，嗯，准确来说是仿制成功。
现在华罗庚他们之所以齐聚这里，是因为周志民居然想要跟101计算机比拼。
但是现在最让华罗庚吃惊不是周志民跟机器比拼的事儿，反而是101计算机的实际算力。
“不是，志民，你们真的已经研制出来了？这台计算机的每秒运算速度真的是一百万次？”
站在计算机面前，华罗庚满脸不可置信。
要知道，他之前研制的那台103机，每秒浮点运算速度仅为三十次。
其主机占地面积约为四十平米，比周志民在南锣鼓巷住的十八平米主卧房间还要大一倍多。
去年，103机改用自主研发的磁心存储器之后，运算速度提升至每秒1800次。
但是现在周志民却告诉他：101项目研制的超级计算机每秒浮点运算速度居然高达百万次？
差距竟然如此之大？
徐献瑜一脸骄傲自豪，却是谦虚的语气：
“是的，华领导，我们这台101计算机，已经顺利通过今天上午的性能基准测试项目，测试结果是每秒1028963次，这是平均值，最高达到了1036577次.....当然这算不了什么，我们周主任的设计目标是三百万次每秒，所以我们还需要更加努力。”
华罗庚顿时目瞪口呆，良久没说话。
人比人，气死人！
同时华罗庚也意识到了前年冬天，京城学术界关于电子管和晶体管的技术讨论问题。
中科院的学术派们，基本上都是电子管计算机的坚定支持者，当时闵乃大、夏培肃他们这些人都非常支持这一点。
谁让那会儿103机刚被仿制成功没多久呢？中科院气势正隆。
反观作为晶体管计算机的坚定支持者七七四厂，那就是草莽江湖派，当时别说教授了，连个硕士研究生都没有的技术团队，却喊着口号，要研制晶体管。
那会儿，甭说七七四厂，就算是国内也根本没有任何一家机构能够研制出硅晶体管，就更别说晶体管计算机了。
偏偏周志民带队，攻克一道又一道难题，抢先研制出了硅晶体管，然后又在五九年年中启动101项目。
到了现在六零年四月中下旬，101超级计算机居然出现曙光。
一台能够达到每秒达到百万次浮点运算速度的计算机，其实就已经是完成该项目研发工作了。
只不过周志民的心很大，设计之初，就是研发三百万次。
说到就要做到。
华罗庚深呼吸一口气，冲周志民竖起大拇指，夸赞道：
“志民，你真是好样的，我们国内计算机领域，你现在是这个！”
“对了，你过两天有没有空？到时候要不来我们中科大讲讲课？”
段学复一听，立马抢先道：
“华主任，你这就不厚道了吧？志民要讲课，那也是先来我们北大啊。”
他称呼对方为华主任，就是点名对方中科大数学系主任的身份，抢学生可不是这么抢滴，而且还是当着他的面，那也太不把他放眼里了吧？
眼瞅着他们俩要争吵，周志民赶紧拉住他们。
劝开他们俩之后，周志民转移了话题，并且提议，让段学复他们帮忙安排人盯着给101计算机进行四色问题的论证。
华罗庚自告奋勇，表示他亲自蹲守。
四色问题是格斯里在1852年提出来的：任何一张（无外飞地的）地图都可以只用始终颜色给这些区域然而，并且不会使具有共同辩解的国家着上香甜的颜色。
用数学语言来表示：将平面任何地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。
关于该问题的整体证明工作，那是相当复杂的，一个多世纪都没人能够证明。
就算是华罗庚借用101超级计算机，估计也是一样的结果。
因为整个证明过程将会涉及检查上千种配置，即便是使用计算机来辅助运算，那么计算机的运行时间也会长达数月，甚至更长时间。
这怎么可能做得到呢？
“嗯，那就交给华教授你来帮忙了。”
周志民笑呵呵地点头，随后他又看向段学复道：
“对了，段主任，你可不能跟斯梅尔他们说我研究四色问题这个课题，这台机器是最高等级的保密程序，在未来五年时间内都不能够让外界知道....”
后者肃然表示他知道怎么做。
今天所有前来七七四厂的人，包括吴文俊、江泽涵他们这些人，在进来之前，都签署了相关的文件。
并且他们也是能够被确认可以接触这些保密信息的人。
否则的话，他们根本不可能进得来。
只要保密工作做好，周志民就不担心。
“对了，志民，我刚才就想问你了，你是不是已经证明了费马猜想？”
段学复的话，让华罗庚等人全都看向周志民。
费马猜想这道题的难度系数，跟四色问题和哥德巴赫猜想一样。
都是地狱级的难度，困扰了数学界一个世纪以上的时间。
“没呢，只是进行到了一半，还剩下一半没完成。”
周志民没说实话，要不然今天这事儿铁定跑偏。
对他来说，现在最要紧的根本不是什么四色问题或费马猜想的证明，而是101超级计算机的研发测试工作。
“是吗？”段学复深深地看了周志民一眼。
他心中清楚，周志民这小子铁定没说实话，虽然说这小子刚才立马就摇头否定了。
但段学复总感觉哪里不对劲。
参考之前周志民总是以忙为借口，拖延推脱论文提交时间，段学复心中已然有了答案。
甚至周志民现在对四色问题都如此信心十足，搞不好他都已经完成了关键性的证明步骤。
诚然，证明四色问题的过程涉及到检查上千种配置，并且还需要解决地图着色问题等，必须得拥有对图论和拓扑学有极为深入的研究才行。
而周志民这个数学天才断然不能以常理看待，他本身就是拓扑学专家，甚至在证明了庞加莱猜想之后，他俨然成为拓扑学领域第一人。
尽管他在图论领域没什么成就，但他毕竟是搞晶体管计算机的研究专家，想来对组合优化和算法图论等方面，都有超强的理论基础和技术能力。
段学复没有继续追问，华罗庚等人同样沉默不语。
大家都是聪明人，岂能想不到周志民是在藏拙？
要是徐献瑜他们他们知道华罗庚等人的想法，恐怕会十分无语。
毕竟周志民已经狂妄到要跟101超级计算机比拼算力了，这样的人，竟然还是一位懂得藏拙的谦虚君子吗？
不可能！
绝对不可能！
当天下午，关于四色问题的证明推论，便已经开始。
周志民亲自输入指令，协助华罗庚完成对四色问题的配置论证检查。
在全球数学界当中，凡是研究过四色问题的数学家都非常清楚，手动证明所有配置是不现实的。
因为足足有1963个配置，每个都是诸如度数较低的顶点或特定子图，这些配置覆盖了所有可能的最小反例。
就这，还仅仅是目前能够确认的配置数量，详细是多少配置，只有亲自动手证明才会发现它有多么困难。
这也是为什么一个多世纪以来，没有一位数学家能够证明它。
转眼第二天，周志民出现在101项目实验室内，华罗庚他们也准时到达。
昨天晚上负责测试的小队，这时候就去休息了。
101超级计算机是没办法休息的，必须要运转足够长的时间才行。
尽管从目前来看，101计算机系统运作足够稳定，但是运行时间不够长，那是没用的。
江泽涵就坐在周志民旁边，看着后者在纸上写写画画，不到十分钟就写满了五张纸。
上面全都是外界看不到的数学符号，但江泽涵却能够看得懂。
他满脸震惊，很想开口问一句：难道志民你想要手动证明四色猜想？
这得多么头铁的人，才会这么蛮干呀？
为什么？
按照128国四色猜想的原则填数，含最大4的128次方的填数量，约等于9.41158*10的80次方，大约相当于整个宇宙的原子数。
如果现在有最快的计算机每秒5.1*10的17次方，以此来计算，全球128国大概需要10的55次方年。
所以暴力破解基本无望。
要不然何至于一个多世纪无人破解四色猜想？
然而周志民的证明思路却是与众不同，采用极简思维模式来另辟蹊径。
整体的证明思路是这样的，任何一个国家的形状都可以由圆形变形而来，假设这个国家为A，而任何一个平面和球面都可以从A国开始往外增加国家做出这幅地图。
所以只需要推导从A国开始再增加1到X国，无论是增加的国家还是其外延始终小于等于4，那么就可以直接推导出任何平面和球面地图都只需要用4色就可以涂成。
证明思路很简单，江泽涵并不知道，但他看着周志民的证明过程，却是越看越心惊。
半小时之后，他就知道周志民的思路是正确的，绝对能够很快就完成证明。
接下来几天时间，周志民都在忙碌中度过，直到时间来到四月二十三日，他这才抽空出来。
因为今天是他儿子满月，所以他就算再忙碌都好，也得抽时间给小家伙办一个满月酒。
但是由于101项目的关系，他也没办法抽出太多时间来，所以操办满月酒这件事都是交给季宝军来帮忙处理的。
他就是出个人，仅此而已。